基于时序图的FSP代数模型自动生成方法研究

系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序图与元模型之间的关系自动生成Java框架代码,结合Java框架代码并修改,实现了UML时序图到FSP代数模型自动生成的目的。丰富了系统形式化建模的理论研究,从应用角度为安全苛求系统的安全性分析与研究提供新途径,拓宽了系统需求场景的形式化建模思路。

基于粮食安全贡献度的中国粮食主产区粮食供求格局演变

基于粮食安全贡献度的FSP模型分析框架,从省际粮食供需平衡的角度测算中国粮食主产区对国家粮食安全的贡献,并探究了粮食主产区粮食供求格局的演变特征。结果表明:除2000—2003年粮食产量骤降造成粮食供给缺口外,1991—1999年、2004—2018年中国粮食主产区粮食盈余(调出量)呈“稳中有降—绝对增长”的U型变化趋势,历年粮食安全贡献度均高于85%,粮食主产区的粮食地位相对稳固。粮食主产区的粮食供求格局经历了省际间的分化和重组。一方面,粮食供给向中北部地区集聚,而南部地区粮食产需紧平衡,粮食供需错配严重;另一方面,粮食供需空间分异明显,2000年后黑龙江、河南、吉林3省的粮食安全贡献度合计达50%左右,而湖南、江西、江苏、河北、湖北、四川、辽宁7省的历年粮食安全贡献度均低于5%,粮食调出总量合计仅占粮食主产区粮食调出总量的10%~20%。

基于粮食安全贡献度的山西省粮食供求现状分析

本文基于粮食安全贡献度的FSP模型,分析粮食供销平衡区-山西省的供求现状,并探究其演变影响因素。