事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

基于信息模型的C4ISR系统需求集成方法

多视图需求工程中"分而治之"的需求开发方式,必然会产生"需要集成"和"如何集成"等问题.研究了基于多视图的C<'4>ISR系统需求框架及其视图产品,并在此基础上给出了C<'4>ISR系统需求集成的概念与范围.通过建立需求信息模型,从语法、语义和语用三个层次研究构建一个需求集成框架.通过需求产品之间的关联关系,分析不同视图产品在集成中存在的问题,并给出了需求集成框架中不同需求产品的集成过程,为C<'4>ISR系统需求集成问题的解决提供一个可供参考的方法.     

军民融合是提升我国军工国际竞争力的有效途径

走中国特色军民融合发展路子,建立军民结合、寓军于民的武器装备科研生产体系,是党和国家促进国防科技工业持续、健康和良性发展的大战略。在推进国防科技工业军民融合式发展的过程中,研究军民融合对提高我国国防科技工业国际竞争力的作用,具有十分重要的战略意义。我国国防科技工业的国际竞争力亟待加强衡量一个产业的国际竞争力可以有很多指标,由于某个产业科研生产的最终目标是通过不断满足用户的需求来获取盈利,     

基于体系结构分析的体系建模仿真

基于体系结构分析的建模仿真,是复杂体系建模的一个有效途径。在“模型-实验框架-实验执行控制相分离”的体系建模仿真框架下,提出了基于体系结构分析的体系建模仿真方法,并通过一个案例阐述其方法步骤,结果表明基于体系结构分析的建模仿真可为研究复杂问题的仿真提供了一个系统的、有效的、可组织、灵活的实现方法。     

“种茶能手”杜玉书

贵州省晴隆县沙子镇茶场村,如今,森林覆盖率已达到85％,人均纯收入达到1600元,村民都说是靠种茶能手杜玉书带领才走上了致富路,过上了好日子。     

基于SVG和元模型机制的体系结构建模工具设计

针对体系结构建模缺乏有效工具支持的现状,提出了基于SVG和元模型机制的体系结构建模工具设计方法。该方法利用SVG为体系结构建模图形数据存储提供统一标准,便于信息发布与共享,同时利用元模型机制有效扩展体系结构模型及模型元素,为不同体系结构产品的建模提供支持,保证了体系结构产品在数据上的一致性和完整性。实践证明,该方法具有较强的可行性,对体系结构建模支持具有较好的灵活性和易扩展性。     

TCN的海军多平台协同作战传感器管理体系结构

多平台协同作战是信息条件下未来海战的必然趋势.只有获取了信息优势并将其转换为知识和决策,才能够提供联合作战兵力的竞争优势乃至取得整个作战行动的胜利.传感器资源作为获取信息优势最直接也是最重要的因素,其作用不言而喻.在多平台协同作战背景下,传统的传感器管理体系结构制约了传感器资源的有效利用,同时也造成了武器系统资源的极大浪费.针对这种情况,对多平台协同作战条件下基于TCN(战术组件网)的传感器资源管理体系结构进行了研究.     

ATAM方法及其在C4ISR系统体系结构评价中的应用

ATAM(Architecture Tradeoff Analysis Method)方法是一种评价信息系统体系结构级设计的方法,它通过对诸如性能、可更改性、可靠性、安全性等多个质量属性的分析来确定体系结构设计中的折衷点,从而降低设计风险.介绍了ATAM方法的基本概念、步骤,并给出了该方法在C4ISR系统体系结构评价中的一个应用实例.     

可执行体系结构研究

体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估.可执行体系结构研究为体系结构验证与评估开辟了新的途径.为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念.执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息.它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的.体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据.