农业农村信息化是农业农村现代化的战略制高点,是带动农业增效与农民增收的先导力量与重要引擎。以2000—2021年中国知网和Web of Science核心合集数据库中的585篇文章作为数据集,使用知识图谱软件CiteSpace对国内外农业农村信息化的研究现状进行分析。结果表明,国内外在农业农村信息化领域年度发文数量总体呈递增趋势。中国在该领域的发文量最高达84篇。美国在该领域的影响力最高,其中介中心性为0.35。国内外均形成3个主要由科研院所和高校构成的核心研究团队。国内研究热点是信息化、乡村振兴、数字乡村等方面。国际的研究热点是影响、气候变化、农业、保护等方面。国内研究前沿是乡村振兴、数字农业,国际的研究前沿是生产率、系统、决定因素。
嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证。本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质。最后,用实例证明此方法有效。
