排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
2.
从体系结构设计技术、方法以及支撑技术等方面分析总结了当前C-4ISR系统体系结构研究的现状,并在此基础上探讨了当前体系结构分析研究当中存在的问题,最后针对问题进行了小结。 相似文献
3.
满足使命需求的武器装备系统组合方案搜索算法 总被引:1,自引:0,他引:1
武器装备系统组合是武器装备体系构建的基础。武器装备体系需求建模与仿真的一项基础工作是获得满足使命需求的可行武器装备系统组合方案,从而为武器装备体系需求模型构建提供基础数据支持。本文针对使命需求到装备系统之间的三层映射关系,利用改进的向量运算提出了一种满足武器装备体系需求建模与仿真的需要的装备系统组合方案搜索算法,通过实验证明算法具有便于编程实现、实用性强、可靠性高的特点。 相似文献
4.
体系结构是组成系统各部件的结构、它们之间的关系以及制约它们设计和随时间演进的原则和指南。C4ISR体系结构已成为国内外军事领域的研究热点以及大型军事信息系统开发的关键技术之一。归纳了C4ISR体系结构研究的重要意义及其主要的研究方向。在介绍了C4ISR系统体系结构定义之后,从三个方面总结了C4ISR体系结构技术的研究进展。最后在分析当前体系结构研究不足的基础上对体系结构的发展趋势进行了总结和展望。 相似文献
5.
6.
合成Petri网P不变量的性质分析 总被引:1,自引:0,他引:1
针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示。对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量。 相似文献
7.
8.
姜志平 《科技情报开发与经济》2014,(8):46-48
介绍了图书馆读者投诉的内涵和形式,分析了引发图书馆读者投诉的因素,提出了图书馆读者投诉的应对处理措施. 相似文献
9.
针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified modeling language, UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。 相似文献
10.
综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。 相似文献