检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]国防科技大学五院,长沙410073 [2]国防科技大学三院,长沙410073
出 处:《系统仿真学报》2009年第11期3434-3438,共5页Journal of System Simulation
基 金:"十一五"预研基金项目(9140A06020306KG0119)
摘 要:作战需求验证是C4ISR装备体系需求开发过程的重要环节,仿真是作战需求验证的一种有效手段,而验证模型的建立是进行仿真验证的前提和关键。针对现有C4ISR装备体系作战需求仿真验证方法在验证模型的建模语言、建模方法等方面的不足,提出采用对象Petri网(OPN)建立仿真验证模型,深入剖析了建立验证模型所需的作战需求描述信息,研究了验证模型的建立过程,可有效支持作战需求验证仿真系统的构建。The validation of operational requirements is an important step during the requirements development of C4ISR System of Systems. Among all kinds of means applied in requirement validation, simulation is a preferred one. Validation model is prerequisite for simulation. Aiming at a few limitations of modeling language, modeling method and etc. in existing validation method, Object Petri Net (OPN) was put forward as a modeling language firstly. Then, parts of operational requirements specification needed to build OPN-based validation model were deeply analyzed Last, a process to create this model was explained. The whole method proposed can be used to build simulation system for requirement validation efficiently.
关 键 词:装备体系 需求验证 对象PETRI网 C^4ISR系统
分 类 号:E917[军事] TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222