射击门与命中概率分析

详细讨论了火控系统设置射击门前后的命中概率,针对不同的距离区间,给出了在射击门下命中概率的计算公式。     

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

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

先进上面级数字逻辑姿态控制律设计

建立了先进上面级姿态动力学模型和推力器配置方案,根据快速大角速度精确姿态机动的任务要求,设计了数字逻辑姿态控制律.考虑姿态角和姿态角速度的相互关系和测置误差的存在,将姿态相平面划分为多个控制区域,以节省燃料和避免测量误差的影响.在实际上面级参数下进行姿态机动控制仿真,采用数字逻辑姿态控制律能在16s内实现先进上面级俯仰角60°的大角度姿态机动,并能很好地保证姿态指向精度和姿态稳定度,控制效果也优于脉冲宽度调制.     

一体化联合作战指挥信息流通体系逻辑结构分析

针对协同性联合作战向一体化联合作战转变对作战指挥产生的影响,在正确定位指挥信息流通体系的基础上,从一体化联合作战的本质特征及对指挥信息流通体系的影响出发,设计了基本作战单元指挥信息输入、输出模型,并通过将作战体系区分为四类模块,得出了指挥信息流通体系的逻辑结构.     

直接力/气动力复合作用动能拦截弹姿态控制方法

针对直接力/气动力复合作用动能拦截弹的姿态控制问题,建立了拦截弹俯仰-偏航通道短周期运动模型;利用线性二次型最优跟踪控制理论结合姿控固体小火箭点火逻辑设计了复合控制系统,通过分析非线性容限得出了该系统对直接力偏差具有强鲁棒性的结论;姿控回路仿真表明系统具有快速响应特性及良好的跟踪性能,考虑侧喷干扰效应等实际条件的六自由度弹道仿真表明所设计的控制系统能够满足拦截末段直接碰撞要求。     

具有射击门体制的武器系统射击延时分析

针对具有射击门体制的武器系统,研究其因加入射击门而产生的射击延时.藉助于概率转移阵的概念,定义了超速、欠速概率转移阵,导出了概率转移阵的估计式,给出了误差可小于期望值的射击延时分布函数,证明了该射击延时分布函数以及其可任意趋近的上界与下界均服从PH分布.最后,以试验数据验证了结论的可信性.     

具有射击门体制的武器系统首发命中率分析

针对具有射击门体制的武器系统,研究其行进间射击的首发命中率.在分析射击误差时空特性的基础上,得出了射击门对稳定误差具有吸收效应.利用超速、欠速概率转移阵,分析了稳定误差在射击门内的概率密度分布,演绎了首发命中率估值的解析表达,给出了首发命中率的计算方法.通过数值分析,探讨了稳定误差的相关系数与其在射击门内的分布及首发命中率的关系,从而为行进间射击的武器系统稳定系统的设计、优化提供理论支持.     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

制订科学的预防维修大纲加速维修管理科学化

本文探讨了欧洲国家维修团体联盟(EFNMS)第十次学术会议的主题——“维修——为了未来的投资”的意义和内涵.在此基础上,重点介绍了为获取此种投资效益所必需制订的预防维修大纲的方法及其理论依据.