时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

信息时代作战走向“全息一体化”

全息是指“反映物体在空间存在时的整个情况的全部信息”。信息时代作战,必须着眼战略全局,把握全部信息,进行全面筹划,使战略筹划、战役指挥、战斗行动一体化,陆、海、空、天、电(磁)、网(络)各作战空间行动一体化,战场作战与各项保障一体化,才能争取全局优势和全面主动,最大限度地发挥整体作战效能。一、战争全息化是作战全息一体化的客观背景信息时代战争最突出的是战场全球化、威胁不确定化、制约因素多样化、作战对象多元化,使军事行动呈现出全球化的特征,超越了传统的国家对国家的直接军事对抗,跨国犯罪、恐怖主义威胁已成为新世纪不…     

软件内建自测试系统中模板的研究及系统构建

软件内建自测试(Build-In-Self-Test for Software)的思想来自于硬件内建自测试.讨论了在该项目中模板需要存储的有关信息,研究了测试用例的组织方式和在模板中的存储方式及其执行方式.而且就如何简化结构化程序的测试也进行了探讨,并提出了包装类的概念.     

面向通信指挥的多层信息融合及决策支持模型研究

根据通信指挥的需要 ,给出了一个基于信息融合的通信指挥决策支持结构 ,设计了信息融合与决策分析多层黑板模型 ,为便于知识的集成 ,建立了混合知识表示模型用于知识的表示。     

扎实抓好基于信息系统的体系作战能力建设

胡主席关于加强基于信息系统的体系作战能力建设的重要论述,为提高我军应对多种安全威胁、完成多样化军事任务能力,有效履行新世纪新阶段我军历史使命,提供了新的思想指导。省军区各级党委和机关要坚决贯彻落实胡主席重要战略思想,学习军委、总部指示精神,依据军区党委体系作战能力建设发展规划和标准要求,结合基于信息系统体系作战能力建设对省军区系统提出的内在要求,把住根本方向,找准角色定位,理清建设思路,科学统筹攻关,努力推进省军区基于信息系统的体系作战能力建设取得新     

美国海军“独立”号濒海战斗舰模型制作

实舰简介美国海军LCS 2"独立"号濒海战斗舰是美国通用动力公司为美国海军濒海战斗舰计划而设计的一艘新概念战斗舰艇。该舰于2010年1月16日服役,现停驻于诺福克海军基地。     

一种基于VPRSM的辐射源模糊识别方法

为解决辐射源识别的问题,研究利用变精度粗糙集模型来确定辐射源识别特征权值的方法。由概念的正域中对象类的条件属性的描述,得到该概念的充分条件,并依据知识间的依赖性作为所要考虑的因素来获取特征权值,同时结合模糊集理论,提出一种基于变精度粗集特征加权的辐射源模糊识别方法。最后将此识别方法模型应用于雷达辐射源用途识别,仿真实验及其结果验证了该方法的可行性和有效性。     

基于EKF算法的弹道导弹助推段跟踪建模与仿真

围绕弹道导弹助推段跟踪问题,分析了助推段反弹道导弹的基本作战过程,建立了弹道导弹助推段动力学模型,分别就单传感器/单弹道导弹和多传感器/多弹道导弹两种情况建立了基于EKF算法的弹道导弹助推段跟踪模型,并通过算例验证了模型和算法的有效性,可为助推段反弹道导弹建模与仿真提供一定的参考。     

基于Nastran优化的某导弹结构模型修正

为了对某型号导弹结构建立合理的有限元全弹模型,基于Nastran的灵敏度分析及优化功能,首先对初始导弹模型设计参数进行了灵敏度分析,并确定优化设计的设计变量,然后以模态试验结果为优化目标,对其进行动力学优化,得到修正模型.结果表明,修正后模型的计算结果与试验结果偏差有很大程度的改进,符合了工程的使用需要.     

基于灰色模型预测门诊病人人均医药费用的研究

本文介绍了两种常用的灰色模型,并结合已有数据对未来5年门诊病人人均医药费用进行了比较预测。对预测结果给予了解释,这些数据可以为医疗保险及相关政策制定提供参考。