军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

基于模糊聚类分析的步枪作战效能评估

为了评估步枪的战术效能,科学地构建步枪作战效能评估体系,运用模糊聚类分析方法对步枪作战效能进行评估,最后通过算例验证了所建模型是合理、可行的。     

脉冲随机微分系统的均方指数稳定性分析

研究了脉冲随机时滞微分泛函方程的均方指数稳定性问题。利用Lyapunov-Razumikhin型方法及随机分析的一些技巧,建立了一类脉冲随机泛函微分方程的均方指数稳定性定理。     

SINS/GNSS组合导航测试系统用惯导模拟源技术研究

针对光纤陀螺SINS(捷联惯性导航系统)与GNSS(全球卫星导航系统)组合导航产品高动态性能测试难的问题,本文研究了一种组合导航测试系统,并对捷联惯导模拟源进行了重点研究.首先以捷联惯导解算算法为基础逆推出了捷联惯导模拟源算法,然后对捷联惯导模拟源进行了功能实现,可以与导航卫星信号模拟源同步向组合导航计算机发送数据用于组合导航解算.最后对捷联惯导模拟源的功能与性能进行了验证.结果表明,捷联惯导模拟源功能正常,模拟数据的精度达到设计要求.利用此惯导模拟源与导航卫星信号模拟源配套使用,将可满足后续SINS/GNSS组合导航系统的相关性能测试或验证要求.     

基于滑模自适应控制的不确定混沌系统修正函数投影同步

研究了一类不确定混沌系统的修正函数投影同步。首先,设计了一类滑模曲面;基于该曲面设计了同步控制器,并采用自适应技术设计了自适应律对不确定参数进行逼近。在一定条件下,该同步控制方案可以实现2个不确定异结构混沌系统的修正函数投影同步。然后,为保证合适的控制量,对控制增益进行了优化。从同步效果来看,所设计的控制器对混沌系统的不确定项的影响具有较强的鲁棒性。最后,数值仿真验证了该控制器的有效性和可行性。     

基于比例导引角度线性化的无人机避障研究

基于无人机与障碍物之间的几何关系,在极坐标系下建立了无人机与障碍物之间的运动学方程,通过引入基于角度线性化的比例导引律,使无人机能够顺利避开障碍物。引入的基于角度线性化的比例导引律是关于无人机相对速度航向角与避障点视线角的函数,由比例函数及偏差函数组成。为解决初始时刻相对速度航向角不满足引入导引律的问题,在调节函数中加入了指数项。通过稳定性证明,得到了满足要求的导引律参数取值范围。最后对设计的避障算法进行了仿真,仿真结果验证了算法的有效性。     

Training effectiveness evaluation of helicopter emergency relief based on virtual simulation

Helicopters are playing an increasingly important part in emergency relief, such as earthquake rescue, firefighting and medical transport. With the development of virtual simulation technology, virtual simulation-based training is widely used in the training of the helicopter crew especially for the dangerous and costly missions mentioned above. A complete training effectiveness evaluation method is proposed to evaluate the trainees’ training effect based on virtual simulation in this paper. A key to this method is regarding the complicated process as a discrete event-activity flow system and establishing the evaluation indicator system. Then expert group and Analytical Network Process (ANP) are applied to determine the weight of indicators. When the training data are processed, there is a novel attempt to apply Fuzzy Comprehensive Evaluation (FCE) model to calculate the two categories of indicators. Eventually, an experiment and the analysis were carried out to validate the evaluation method.     

Design and Application of Discrete Sliding Mode Control with RBF Network-based Switching Law

This article proposes a novel approach combining exponential-reaching-law-based equivalent control law with radial basis function (RBF) network-based switching law to strengthen the sliding mode control (SMC) tracking capacity for systems with uncertainties and disturbances. First, SMC discrete equivalent control law is designed on the basis of the nominal model of the system and the adaptive exponential reaching law, and subsequently, stability of the algorithm is analyzed. Second, RBF network is used to form the switching law in a direct and online manner with sliding-mode-related inputs and by approximating evaluation function; and the method to adjust its parameters is devised. Finally, comparable experiments are carried out to verify the application of the proposed approach to an inner-axis driven by a direct current (DC) torque motor through extra-low speed servo for a high precision flight simulator, and the axis works under deteriorating conditions such as periodically fluctuating torques of motor, nonlinear friction, and time-varying model parameters. The results show that the combined SMC can effectively improve the servo performance, for instance, to a stable 0.000 08 (°)/s speed response, the tracking error would be within 0.000 08° in 98% of operating times. Moreover, the hybrid nature of the approach imparts the RBF network the features of removing offline training and ease to set initial parameters.     

也谈"军事计量测量标准价值分析"

就价值分析的内涵和操作要点,以及价值分析在计量领域的应用等方面,对本刊曾发表过的"军事计量测量标准价值分析"一文中的某些提法和分析提出几点不同的看法.     

发挥心理健康教育在思想政治工作中的补偿功能

心理健康教育与思想政治教育都有各自的目的和任务。又不可避免地存在着关联。对两者关系的认识上，有两种偏差存在，即心理问题德育化和德育问题心理化，这对教育工作和学生全面发展都会产生不利影响。本文从两者关联性出发，重点探讨心理健康教育在思想政治工作中的作用和补偿功能，剖析了补偿功能存在的可能性以及补偿功能的具体表现。