检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:李建军[1] 刘翔[1] 黄光奇[1] 罗雪山[1]
机构地区:[1]国防科学技术大学信息系统与管理学院C4ISR技术重点实验室,湖南长沙410073
出 处:《系统仿真学报》2007年第5期1114-1118,1135,共6页Journal of System Simulation
基 金:国防预研项目(41306070201)
摘 要:IDEF3模型以其具有简单易学、容易理解掌握等特点,在对复杂的作战任务过程描述中得到了广泛应用,但是,IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网模型虽然可以解决上述问题,可是其建模困难,技术要求高。针对此问题,将二者有机地结合起来,实现IDEF3模型向对象Petri网仿真模型的自动转换,在对IDEF3形式化描述的基础上,给出了转换规则的形式化描述和仿真脚本自动生成的方法,最后,结合一个应用实例给予验证。The IDEF3 model has been largely applied to describe the complicated operation task process because of its characteristic that is easy to be learned and to be comprehended, but it also has some shortcomings that the IDEF3 model cannot be used to effectively analyse the logic and time sequence of operation task. The OPN (Objective Petri Net) model can resolve this problem perfectly, while it is difficult to model. How to integrate these two models to realize the automatic transformation from 1DEF3 model to OPN model. The formalization description on IDEF3 model was made, and the formalization description of the transformation rules and the technique of automatic generation of simulation script were found out. A demo to validate the method was given.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.224.37.168