军用嵌入式可信软件研究

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

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

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

基于云物元的非战争军事行动机务保障能力评估

为分析非战争军事行动航空机务保障能力,建立了融人非战争军事行动特点和机务保障要素的指标体系,介绍了云理论和物元理论的相关知识,建立了基于这两个理论的评价模型,并结合实例进行了验证。结果表明,该方法能体现薄弱环节所在,对提升非战争军事行动机务保障能力具有重要的现实意义。     

数字域谱估计的GNSS系统信号带宽测试方法

针对传统的单载波扫频法不适于GNSS（全球导航卫星系统）信号生成通道的带宽测量的问题,提出了采用数字信号处理的信号带宽方法.对实际导航信号进行高速采样,在数字域对采样的导航信号和本地数字生成的理想导航信号进行频谱估计和计算,从而得到GNSS信号带宽.分别使用周期图法和Welch法谱估计,对提出的测试方法进行仿真.仿真结果表明,采用Welch法进行理想信号和实际信号谱估计,对谱估计后的结果进行计算,可以完成GNSS信号带宽精密测量,在Welch法估计参数设置合理的情况下,GNSS信号带宽估计的准确度可以达到99.9％以上.     

一种相控阵雷达系统效能评估方法

文章从武器系统效能评估定义出发，建立了相控阵雷达系统评估的指标体系，并通过将群体决策引入AHP算法确立了各指标权重，采用云重心法对系统综合效能进行了分析，进而建立了完整的对相控阵雷达系统效能评估的方法，最后通过实例进行分析。     

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.     

波形记录仪触发延迟线性的实验研究

提出了使用正弦波激励评价触发延迟线性度和触发抖动的新方法，通过一个波形在有触发延迟和无触发延迟时，采集序列间的相位差对应的时间差来最终判定触发延迟结果。用该方法实现的触发延迟线性度测量方法，将触发延迟直接溯源到激励信号的频率量上，无需额外的精密延时器等装置，减少了测量环节，并且可以实现任意延迟的精确测量。以不同频率、不同触发延迟、不同采集速率下的实验结果的对比给出了触发延迟线性校准的结论性意见，同时验证了所述方法的有效性和切实可行性。     

A sample collector for robotic sample return missions III: Impact survivability studies

Laboratory impact tests have been performed on experimental versions of a proposed robotic sample collector for extraterrestrial samples. The collector consists of a retractable aluminum ring containing an impregnable silicone compound that is pressed into the surface of the body to be sampled. As part of a comprehensive program to evaluate this idea, we have performed tests to determine if the samples embedded in the collector medium can survive the impact forces experienced during direct reentry, such as that of the recent Genesis sample return mission. For the present study, samples of sand, rock, glass, and chalk were subjected to decelerations of 1440–2880 g using drop tests. We found that even the most fragile samples, chosen to be representative of a wide range of the types of materials found on the surface of asteroids that have currently been studied, can withstand impacts of the intensity experienced by a sample return capsule during direct reentry.     

正确评价改革开放三十年需要注意的几个问题

要正确评价改革开放三十年，需要注意几个重大问题：高度评价改革开放30年不等于贬低甚至否定前29年；建立社会主义市场经济体制不等于否定计划经济体制的意义；提出中国特色社会主义理论体系，不等于否定毛泽东思想的重要意义；提出科学发展观不等于否定“以经济建设为中心”。     

航空研制项目技术风险评估模型研究

针对航空研制项目技术风险大的特点,从设计与分析、制造、软件开发、试验与评定和使用5个方面出发,构建了航空研制项目技术风险评估模型。该模型可作为航空研制项目转阶段决策参考的辅助工具。