对象PETRI网

作品数：56被引量：162H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗雪山罗爱民陈洪辉刘俊先于晓浩更多>>
相关机构：国防科学技术大学南京大学西安建筑科技大学西北工业大学更多>>
相关期刊：《数字技术与应用》《华南理工大学学报（自然科学版）》《计算机工程与应用》《计算机辅助设计与图形学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统工程与电子技术x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型转换的C4ISR体系结构可执行模型构建被引量：6
《系统工程与电子技术》2014年第8期1537-1543,共7页谢文才 于晓浩 朱鹏飞 
国家自然科学基金(71171197);中国博士后科学基金(2013T60919)资助课题
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterpr...
关键词：C4ISR体系结构 体系结构验证 可执行模型 模型转换 对象PETRI网 
基于对象Petri网的作战行动方案开发方法被引量：4
《系统工程与电子技术》2012年第10期2058-2063,共6页张晓雪 刘刚 罗爱民 罗雪山 
国家自然科学基金(71171197)资助课题
结合作战指挥决策领域中作战行动方案开发问题的复杂性和不确定性,描述了作战行动方案的开发问题,提出了使用对象Petri网对作战规划问题的建模和仿真的方法。该方法综合考虑了任务、条件、效果、资源、不确定性对方案生成过程产生的影响...
关键词：作战指挥决策 作战行动方案 对象PETRI网 建模仿真 
基于对象Petri网的军事信息服务组合与验证方法被引量：5
《系统工程与电子技术》2011年第7期1558-1564,共7页舒振 陈洪辉 罗雪山 
国防预研重点基金(9140A06020407KG0127);国家自然科学基金(71071160;61070216)资助课题
在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了...
关键词：军事信息服务 对象PETRI网 服务组合 模型分析 
IDEF3过程模型转换为对象Petri网模型方法研究被引量：7
《系统工程与电子技术》2008年第12期2434-2438,共5页姜军 柏晓丽 罗雪山 罗爱民 
国防预研基金资助课题(9140A06020306KG01)
IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、...
关键词：IDEF3过程模型 对象PETRI网 模型转换 
基于UML&OPN的C^4ISR系统体系结构仿真验证研究被引量：11
《系统工程与电子技术》2008年第4期671-676,共6页柏晓莉 姜军 罗雪山 张耀鸿 
装备预研重点基金资助课题(9140A06020306kG01)
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时...
关键词：C^4ISR系统 体系结构验证 UML 对象PETRI网 仿真 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部