关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。     

Van der Pol-Duffing系统的非共振Hopf分叉

用多尺度法求出了系统的一次近似平均方程和极坐标形成的分叉响应方程。研究了系统非共振情况下的平衡点性质和Hopf分叉,讨论了零解和极限环的稳定性     

有限时间热力学研究的一些进展

介绍近年来在不可逆热机理论、回热式燃气轮机循环分析、类热机装置分析和广义热力学优化理论研究中的一些进展 ,并简要阐述其发展方向 .     

基于虚拟脱靶量预测的准闭环校射方法

针对传统高炮大闭环校射脱靶量不易检测、可校射时间短暂,提出了一种基于虚拟脱靶量预测的准闭环校射方法。首先给出了弹丸双站角度测量的初始状态估计算法;其次,结合外弹道理论建立了一种虚拟等距脱靶量的预测模型,分析了射击校正量的估计方法与准闭环校射方案的实现流程。该方法避免了大闭环校射对脱靶量的直接检测,并提高了高炮闭环校射的时效性。     

话务女兵业务训练周期的心理特点

针对空军某基地通信站女兵连话务女兵的业务训练周期逐渐变长的情况进行研究,将话务专业的"训练周期"划分为基础业务训练阶段、上机跟班训练阶段、考核冲刺阶段、单放后适应阶段及业务熟练阶段5个阶段。从心理学的角度入手进行原因及对策分析,建立"兴奋期-适应期-疲劳期-调整期-实现期"的心理周期模型。以此为框架分析女新兵在各个训练阶段的心理特点,分别以"培养和提高自信""注意集中和正确归因""焦虑情绪和心境状态的调节"及"目标设置"为重点制定阶段性对策,并着眼训练全过程,从帮助新兵持续保持适当的动机水平的角度提出应对办法。     

寿命周期费用分析中的数据采集问题探讨

寿命周期费用数据采集是寿命周期费用分析的关键问题之一。简要介绍了寿命周期费用的概念,探讨了寿命周期费用数据采集的目的与要求、费用数据的来源、内容、采集形式,以及对费用数据的处理等与寿命周期费用数据采集有关的问题。目的在于为寿命周期费用的数据采集提供一般性指导方法。     

一类军事竞争系统的非线性分析

应用非线性系统的定性理论方法,对一类军事竞争系统进行了定性分析,研究了系统平衡点的性态,证明了系统在全平面不存在闭轨线。     

利用软件生命周期模型改进对软件系统的维护

软件维护一直被认为是软件产品交付后的过程,但实际上它贯穿于生命周期中每个阶段并不是一个独立阶段。文章针对软件维护对软件生命周期模型进行了重新定义;从模型的实现和可行性进行了详细地分析;并且强调了软件维护阶段是一个微型的开发周期,它开始于产品的某个维护请求,终于软件产品的退役;最后讨论了目前常用的维护方法(如再工程和逆向工程)在这个生命周期模型中的应用。     

液氧甲烷膨胀循环变推力发动机系统方案对比研究

当前对液氧甲烷膨胀循环变推力火箭发动机的研制难点和关键技术认识不够清楚,尤其是在大变比推力调节方案方面。基于整个发动机系统,采用理论计算方法,探讨甲烷膨胀做功能力以及变推力调节方案可行性。分别给出了单涡轮系统方案和双涡轮系统方案,首次给出了不同工况下详细的系统状态参数分布,进行了对比分析,并探讨了甲烷做功能力随室压的变化规律。研究结果表明,甲烷做功能力随着室压的减小呈现先减小后增大的趋势,单涡轮和双涡轮系统方案均能够实现大范围推力调节;相比单涡轮方案,双涡轮方案能够更好地保证混合比,且甲烷气体做功能力利用效率更高,氧涡轮和燃料涡轮功率变化范围较窄,涡轮所处环境较为缓和,因此双涡轮系统方案具备一定优势。