信息化条件下装备保障组织变革的新逻辑

分析了装备保障组织作为一个开放的复杂系统,面对信息化所带来的巨大变化,其结构变革的必然性以及变革所要遵循的基本原则,指出了信息化时代装备保障组织所应具有的基本特征。     

导弹气动参数变化时PID与模糊控制的仿真

以参数大范围变化的导弹为研究对象,分别设计PID控制器和模糊控制器,并对PID控制器和模糊控制器组成的稳定回路进行仿真,仿真结果表明,PID控制器不能适应参数大范围的变化,表现为容易产生超调。简单模糊控制器对外界参数具有较好的适应性和鲁棒性,但存在稳态误差,通过采取模糊——积分并联混合,改善了模糊控制的稳态性能,提高了模糊控制的稳态精度。     

一种用模糊逻辑控制的新型三相电压型PWM整流器

介绍一种基于模糊逻辑的三相AC/DC空间矢量变流技术方法,该方法软件结构简单,便于技术实现.应用该方法研制的样机,谐波失真THD值小于3.9%.     

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

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

数字系统演绎故障仿真方法

本文介绍了一种数字系统故障仿真的新方法——演绎故障仿真法。文章提出了加速故障表传输的方法,以及一种时序电路故障表计算的新方法。文章给出了演绎故障仿真的一般步骤。     

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

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

基于灰色关联度和模糊贴近度的复杂设备瞬态虚警辨识

分析了电子设备和武器装备的ＢＩＴ系统虚警形式之一——瞬态虚警的产生原因和一般的预防措施；提出运用灰色关联度和模糊贴近度对瞬态虚警进行辨识并给出了这两种方法的基本原理；分别采用数值模拟和物理模拟的手段，获得了具有温度、湿度、振动（电源）三环境参数系统的状态变化样本群，以及因振动（电源）参数突变而产生的瞬态虚警样本；运用灰色关联度和模糊贴近度方法识别虚警及产生虚警的环境因素，结果表明两种方法可以胜任要求。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

射击门与命中概率分析

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

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

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