一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于模糊二叉树支持向量机的空袭目标属性识别

针对现有空袭目标属性识别方法存在的不足,提出了一种基于模糊二叉树支持向量机的空袭目标属性识别技术。该方法充分发挥了模糊二叉树支持向量机解决二类分类问题的优势,有效地提高了识别率和识别速度。最后给出了与现有识别方法的比较结果,证明了该方法的有效性。     

掠飞末敏弹耦合运动动导数计算

以新型掠飞末敏弹为研究对象,提出了基于欧拉转动定理和滑移网格技术的复杂角运动模拟方法,利用著名的罗德里格斯转换矩阵插值求得弹箭在每个时间步的角速度修正值,并指定给球形滑移网格区。通过对非定常气动参数进行求解辨识,分析了不同马赫数下掠飞末敏弹滚转运动对其俯仰组合动导数和升力系数动导数的影响规律。结果表明:所提角运动模拟方法可有效消除姿态角计算的累积误差,实现对弹箭任意给定角运动的准确模拟;弹箭滚转运动对俯仰组合导数和升力系数动导数的辨识结果均存在显著影响,在进行弹箭动导数计算和稳定性分析时需充分考虑俯仰耦合效应的影响。     

燃惰气发生器燃烧室结构优化设计

预惰化主动防、抑爆技术及惰气高倍泡沫应急消防技术是正在研究开发的新型军用油料洞库安全防护技术.惰气的来源制约了技术的开发实施.以燃惰气发生器燃烧室为研究对象,针对现有设计样机体积大、可靠性差及惰气质量较低等缺陷,对其进行了优化设计,在设计中,采用切向弯曲叶片式旋流器作为进风装置,并在火焰筒内采用了多种先进的强化油气掺混燃烧结构,极大地提高了燃烧效率.对优化设计样机的实验测试结果表明优化设计高效合理,满足了应用要求.     

对新疆构建天山北坡城市带的设想

新世纪,新疆为推动经济的发展,提出了大力发展天山北坡经济带的战略。而经济带的发展必须以城市带为载体,二者是相辅相成关系,文中从构建城市带的意义入手,对城市带建立中存在问题以及思路作了阐述。     

低速滚转弹道导弹的鲁棒滑模控制

建立了在主动段滚转飞行的弹道导弹的非线性动力学模型.在传统反演滑模控制的基础上,考虑到导弹动力学特性依照时间尺度能够分离为快、慢变两个子系统,设计了对外干扰和参数摄动具有不变性的两级子滑模,实现递级滑模控制,同时引入一阶低通滤波器矩阵避免"膨胀项".考虑到不确定性的界值难于事先获知,在滑模控制器中引入了自适应律实时地估计不确定性的大小,削弱抖振.最后通过数字仿真验证了这种控制器可以实现导弹稳定飞行.     

多个并行并联的作战单元备件优化配置建模

资源优化配置是作战单元维修保障的关键因素.对作战单元部件备件满足率进行研究的基础上,针对任务时序逻辑关系为完全并行并联关系的情况,建立了多个作战单元任务的任务成功概率模型.在满足任务成功概率约束条件下,给出了多个作战单元备件携行量优化模型,并运用边际分析法进行了求解,通过算例证明了模型的正确性.     

军事训练转变对政治工作的新要求

机械化条件下军事训练向信息化条件下军事训练转变,反映了战争形态演变和我军军事斗争任务对军事训练的内在要求,是我军军事训练的一次历史性转变。军事训练政治工作必须与此相适应,由机械化条件下传统模式向信息化条件下现代模式转变,科学确定基本任务,积极推进手段信息化,完善军事训练激励机制。     

军校的改革在于开放

分析了我军院校发展中存在的问题,提出了培养合格军事人才军校必须采取的措施,阐明了军校教育必须从封闭走向开放,才能在世界军事斗争中处于不败之地。