检索结果-维普期刊中文期刊服务平台

混成时空Petri网的CPS实时事件模型被引量：3: 1; 作者谭朋柳汪亚亚朱明《传感器与微系统》 CSCD 2016年第10期32-35,共4页; 在分析网络物理系统(CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网(HSPN)模型,使其不仅能够描... 展开更多; 关键词混成时空petri网(HSPN) 网络物理系统(CPS) 实时事件模型体系结构; 在线阅读下载PDF 职称材料

基于混成自动机的CPS行为建模与属性验证被引量：2: 2; 作者拓明福周兴社 +1 位作者李嘉林李辉《空军工程大学学报（自然科学版）》 CSCD 北大核心 2016年第3期40-44,共5页; 系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后... 展开更多; 关键词信息物理系统模型验证混成自动机混合程序模型转换; 在线阅读下载PDF 职称材料

一种基于LHPN的信息物理融合系统模型验证方法被引量：2: 3; 作者丘威《计算机科学》 CSCD 北大核心 2014年第S1期64-66,86,共4页; 由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合Petri网方法对CPS进行建模和验证研究... 展开更多; 关键词带标记混合petri网信息物理融合系统建模验证; 在线阅读下载PDF 职称材料

基于可能性时空混成自动机的CPS软件建模: 4; 作者彭姣耿生玲 +1 位作者童英华宫海彦《现代电子技术》北大核心 2018年第5期173-177,共5页; 信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法。以时空混成自动机为建模... 展开更多; 关键词 CPS 不确定性可能性时空混成自动机控制系统建模属性验证; 在线阅读下载PDF 职称材料

题名混成时空Petri网的CPS实时事件模型被引量：3: 1; 作者谭朋柳汪亚亚朱明; 机构南昌航空大学软件学院; 出处《传感器与微系统》 CSCD 2016年第10期32-35,共4页; 基金国家自然科学基金资助项目(61364023) 航空基金资助项目(2013ZD56008) 江西省教育厅科技项目(GJJ13516); 文摘在分析网络物理系统(CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网(HSPN)模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。; 关键词混成时空petri网(HSPN) 网络物理系统(CPS) 实时事件模型体系结构; Keywords hybrid spatial-temporal petri nets（HSPN） cyber physical systems（CPS） real-time event model architecture; 分类号 TP305 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于混成自动机的CPS行为建模与属性验证被引量：2: 2; 作者拓明福周兴社李嘉林李辉; 机构西北工业大学计算机学院空军工程大学理学院; 出处《空军工程大学学报（自然科学版）》 CSCD 北大核心 2016年第3期40-44,共5页; 基金国家自然科学基金(61472443); 文摘系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。; 关键词信息物理系统模型验证混成自动机混合程序模型转换; Keywords cyber-physical system （CPS） model verification hybrid automata hybrid program （HP） model conversion; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于LHPN的信息物理融合系统模型验证方法被引量：2: 3; 作者丘威; 机构嘉应学院计算机学院; 出处《计算机科学》 CSCD 北大核心 2014年第S1期64-66,86,共4页; 基金广东省自然科学基金(S2013010013307) 广东省高等学校学科专业建设专项资金(2013KJCX0171)资助; 文摘由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合Petri网方法对CPS进行建模和验证研究,在CPS中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据。提出一种自动抽取及其简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性。; 关键词带标记混合petri网信息物理融合系统建模验证; Keywords labeled hybrid petri net,cyber physical system,modeling,verification; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构] TP202 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于可能性时空混成自动机的CPS软件建模: 4; 作者彭姣耿生玲童英华宫海彦; 机构青海师范大学计算机学院青海师范大学物联网省级重点实验室; 出处《现代电子技术》北大核心 2018年第5期173-177,共5页; 基金国家自然科学基金项目(61403290) 国家社科项目(15XMZ057) +4 种基金青海省自然基金项目(2014-ZJ-908 2015-ZJ-718 2016-ZJ-920Q 2017-ZJ-752) 青海省重大研发项目(2016-SF-130)资助~~; 文摘信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法。以时空混成自动机为建模工具,通过分析CPS的体系结构,讨论衡量不确定性的可能性对CPS软件运行时的时空动态影响,给出一个可能性时空CPS系统架构。通过理论证明和实例分析在不确定环境下可能性时空混成自动机为CPS软件系统建模的可行性。; 关键词 CPS 不确定性可能性时空混成自动机控制系统建模属性验证; Keywords cyber-physical system indeterminacy possibility spatio-temporal hybrid automata control system modeling property verification; 分类号 TN876-34 [电子电信—信息与通信工程] TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	混成时空Petri网的CPS实时事件模型	谭朋柳汪亚亚朱明	《传感器与微系统》 CSCD	2016	3	在线阅读下载PDF 职称材料
2	基于混成自动机的CPS行为建模与属性验证	拓明福周兴社李嘉林李辉	《空军工程大学学报（自然科学版）》 CSCD 北大核心	2016	2	在线阅读下载PDF 职称材料
3	一种基于LHPN的信息物理融合系统模型验证方法	丘威	《计算机科学》 CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料
4	基于可能性时空混成自动机的CPS软件建模	彭姣耿生玲童英华宫海彦	《现代电子技术》北大核心	2018	0	在线阅读下载PDF 职称材料