某防空火箭武器系统对武装直升机的射击能力研究

为了提高某防空火箭武器系统的作战效能,开展了其对武装直升机射击能力的研究。具体分析了防空火箭武器系统抗击武装直升机的搜索能力、抗击强度、射击时间等因素,构建了对武装直升机射击精度的计算模型,并进行了仿真实验。该仿真结果可为防空火箭武器系统快速形成作战能力提供参考。     

基于HLA的炮兵指挥所仿真成员开发

研究基于HLA的炮兵群指挥所成员的开发，并通过MAK RTI和VC实现。其步骤包括：定义RTI代理类和联邦成员代理类的对象，创建联邦执行，加入联邦执行，声明公布／定购关系，声明时间推进策略，注册炮兵群指挥所对象实例，仿真循环，删除群指挥所实例，取消群指挥所实例，退出联邦执行，删除联邦执行。     

形式化B方法到UML类图的转化研究及应用

形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。     

基于DoDAF 的防空兵指挥信息系统作战体系结构

针对近年来指挥信息系统领域中的研究热点,提出一种防空兵指挥信息系统作战体系结构设计方法。在深入分析DoDAF的基础上,给出基于DoDAF的防空兵指挥信息系统作战体系结构设计的步骤,并结合具体的活动建立了部分作战体系结构模型,从不同侧面描述节点及节点间的信息关系。结果表明,该模型能直观易懂、便于理解,对加强指挥信息系统顶层设计有着重要作用。     

一种战场图像目标角点提取方法

一种基于MIC的战场图像快速角点提取方法,先对低分辨率图像进行运算并提取出候选角点,在恢复图像的高分辨率后,对候选角点周围相关像素点进行进一步计算,将遗漏的角点也列入候选角点,减少原MIC算法由低分辨率到高分辨率的变化过程中角点的漏检概率,然后用梯度的概念对候选角点作进一步的筛选,以减少角点虚报的概率。在VC＋＋6.0环境下,经编程实现验证该方法有效可行。     

自然语言生成系统的多视图体系结构

在Reiter的流水线体系结构基础上,LynneCahill、ChristyDoran等人建立了RAGS(ReferenceArchitectureforGenerationSystem),它的目的是为自然语言生成(NLG)系统定义一个参考体系结构,但它是一个半模型,未能完整地描述生成系统。文章在RAGS的基础上提出了自然语言生成系统体系结构多视图方法,从功能、系统、技术三个视图方向对NLG系统体系结构进行了较为完整的描述。     

一体化患者满意度调查系统的研究与实践

分析了患者满意度调查现状,介绍了采集手段多样化、数据分析运用一体化的患者满意度调查系统的体系结构和功能,并从社会公共管理角度对满意度调查的实施过程优化、评价数据利用等方面进行了探讨。     

军用文书自动生成中表层实现的概率模型

一种基于语料库的军用文书自动生成中表层实现的概率模型。运用最大熵模型,把N元文法语法模型获取的生成文本中词汇间的同现概率信息、句法依赖树中的句法信息和属性信息进行有机结合,生成文书文本。实验结果证明,该模型可以逐个词汇地生成满足要求的文本。     

软件需求获取形式化的案例研究

软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.     

美国GE公司DM2000系统在邯钢一轧棒材车间的应用

介绍了美国GE公司DM2000系统在邯钢一轧棒材连轧控制系统中的应用。改进了原系统中的活套控制程序，对系统发生的主要故障的原因进行了分析。