期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于时空自动机的CPS建模与验证 被引量:2
1
作者 赵文明 陈仪香 张敏 《科技通报》 北大核心 2015年第1期94-99,共6页
为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出... 为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。 展开更多
关键词 时空自动机 CPS 微分动态逻辑 时空一致性 验证 KeYmaera
下载PDF
基于可能性时空混成自动机的CPS软件建模
2
作者 彭姣 耿生玲 +1 位作者 童英华 宫海彦 《现代电子技术》 北大核心 2018年第5期173-177,共5页
信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法。以时空混成自动机为建模... 信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法。以时空混成自动机为建模工具,通过分析CPS的体系结构,讨论衡量不确定性的可能性对CPS软件运行时的时空动态影响,给出一个可能性时空CPS系统架构。通过理论证明和实例分析在不确定环境下可能性时空混成自动机为CPS软件系统建模的可行性。 展开更多
关键词 CPS 不确定性 可能性时空混成自动机 控制系统 建模 属性验证
下载PDF
国土空间规划视角下的城镇开发边界划定和空间管控体系构建 被引量:17
3
作者 陈霆 徐伟铭 +1 位作者 吴升 刘洁 《地球信息科学学报》 CSCD 北大核心 2022年第2期263-279,共17页
新时期国土空间规划背景下,科学合理地划定城镇开发边界,建立健全的国土空间用途管制制度是有序引导国土空间各类开发保护行为的重要举措。本文以福州市为例,构建了一种全域多维度国土空间管控体系,将其管控约束条件嵌入未来土地利用格... 新时期国土空间规划背景下,科学合理地划定城镇开发边界,建立健全的国土空间用途管制制度是有序引导国土空间各类开发保护行为的重要举措。本文以福州市为例,构建了一种全域多维度国土空间管控体系,将其管控约束条件嵌入未来土地利用格局模拟中。同时,顾及区域空间异质性和时空依赖性,设计了一种服务于城镇开发边界划定的集成地理分区策略、深度学习技术、FLUS模型功能模块的时空元胞自动机ST-CA(Spatio-Temporal Cellular Automata)模型。基于已有成果集成三区三线,开展“划管结合”思维下的空间管控应用研究。结果表明:①顾及区域空间异质性和时空依赖性的ST-CA模型可以有效提高土地利用变化模拟精度(OA指标从95.95%提升至98.34%),实现更为真实、准确的地理模拟过程;②地理模拟过程中嵌入管控约束条件,可引导城镇、农业和生态3类空间合理布局且规模可控,基于模拟结果划定的城镇开发边界能有效避开规划保护用地;③未来模拟预测结果结合管控预警值可看出,福州市主城区及周边区县的城镇扩张形势比较严峻,未来亟需对福州市国土空间格局进行合理调控;④边界变化趋势特征表明划定结果与福州市的远景发展规划布局一致,符合区域发展诉求,国土空间格局呈现多轴化发展趋势。研究结果可为福州市国土空间开发保护行为提供科学谋划,为国土空间管控及优化提供实践参考依据。 展开更多
关键词 国土空间规划 城镇开发边界 空间管控体系 时空元胞自动机 福州市
原文传递
Evaluation of Spatiotemporal Dynamics of Simulated Land Use/Cover in China Using a Probabilistic Cellular Automata-Markov Model 被引量:2
4
作者 CHEN Xu YU Shi-Xiao ZHANG Ya-Ping 《Pedosphere》 SCIE CAS CSCD 2013年第2期243-255,共13页
Using the fuzzy rule-based classification method, normalized difference vegetation index (NDVI) images acquired from 1982 to 1998 were classified into seventeen phases. Based on these classification images, a probabil... Using the fuzzy rule-based classification method, normalized difference vegetation index (NDVI) images acquired from 1982 to 1998 were classified into seventeen phases. Based on these classification images, a probabilistic cellular automata-Markov Chain model was developed and used to simulate a land cover scenario of China for the year 2014. Spatiotemporal dynamics of land use/cover in China from 1982 to 2014 were then analyzed and evaluated. The results showed that the change trends of land cover type from 1998 to 2014 would be contrary to those from 1982 to 1998. In particular, forestland and grassland areas decreased by 1.56% and 1.46%, respectively, from 1982 to 1998, and should increase by 1.5% and 2.3% from 1998 to 2014, respectively. 展开更多
关键词 classification image fuzzy rule-based classification normalized difference vegetation index remote sensing
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部