对象PETRI网

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

检索结果分析

结果分析中...
选择条件：
  • 作者=罗爱民x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DM2的体系结构可执行模型构建方法被引量：4
《国防科技大学学报》2013年第2期27-33,共7页张晓雪 罗爱民 黄力 罗雪山 
国家自然科学基金资助项目(71171197);国家部委资助项目
基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,...
关键词：体系结构 DM2 可执行模型 对象PETRI网 
基于对象Petri网的作战行动方案开发方法被引量：4
《系统工程与电子技术》2012年第10期2058-2063,共6页张晓雪 刘刚 罗爱民 罗雪山 
国家自然科学基金(71171197)资助课题
结合作战指挥决策领域中作战行动方案开发问题的复杂性和不确定性,描述了作战行动方案的开发问题,提出了使用对象Petri网对作战规划问题的建模和仿真的方法。该方法综合考虑了任务、条件、效果、资源、不确定性对方案生成过程产生的影响...
关键词：作战指挥决策 作战行动方案 对象PETRI网 建模仿真 
对象Petri网在反导防空体系建模中的应用被引量：4
《火力与指挥控制》2012年第7期135-138,共4页张嘉焱 刘俊先 于晓浩 罗爱民 
反导防空体系包含的对象多、作战过程复杂。Petri网模型综合了数据流、控制流和状态转移,能方便地描述系统的分布、并发、同步、异步、冲突等特性,既能表示系统的静态功能和结构,又能表现其执行、交互等动态行为。基于对象Petri网的建...
关键词：PETRI网 体系建模 反导防空体系 
作战事件跟踪描述建模及验证方法研究被引量：3
《计算机科学》2012年第5期291-294,共4页刘刚 罗爱民 皇甫先鹏 
国家自然科学基金项目复杂信息系统功能活动模型集成分析方法(71071160)资助
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的...
关键词：对象PETRI网 作战事件跟踪描述 验证评估 
中间产品C^4ISR体系结构动态行为语义一致性验证方法被引量：3
《火力与指挥控制》2009年第6期11-14,23,共5页丁泽柳 罗雪山 罗爱民 
"十一五"国防预研基金资助项目
目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法。针对C4ISR体系结构动态行为的语义一致性,首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri...
关键词：C4ISR 体系结构 动态行为 一致性 对象Petri网(OPN) 
IDEF3过程模型转换为对象Petri网模型方法研究被引量：7
《系统工程与电子技术》2008年第12期2434-2438,共5页姜军 柏晓丽 罗雪山 罗爱民 
国防预研基金资助课题(9140A06020306KG01)
IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、...
关键词：IDEF3过程模型 对象PETRI网 模型转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部