军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

一体化联合作战与系统化建设

从一体化思想的发展、信息化条件下战争形态的发展及信息化条件下技术和装备的发展等三个方面,论述了一体化联合作战的必然性;从体系对抗性、高度复杂性、整体关联性和信息主导性等四个方面,分析了一体化联合作战需要系统化建设的必要性;提出了军队系统化建设需要协调的六大关系.     

卫星导航系统仿真效能模糊评估的新算法*

根据系统效能模糊评价矩阵,在计算系统效能隶属度时要经过一系列的隶属度转换;但是,已有的隶属度转换算法都不能揭示"指标隶属度中哪部分对目标分类有用,哪部分无用";结果是指标隶属度中原本对目标分类不起作用的冗余数值也被用于计算目标隶属度.为此,从对目标分类角度设计一种滤波器,能识别指标隶属度中对目标分类不起作用的冗余数值,提取对目标分类起作用的有效值计算目标隶属度,由此建立实现隶属度转换的一般算法,并用于卫星导航系统效能评估.     

一种柔性抗攻击网络防护体系结构

网络攻击的复杂性、多变性、综合性等趋势对传统各自为政的网络防护系统提出了严峻挑战。为全面、持久、灵活地应对各种网络攻击,提出一种柔性抗攻击网络防护系统的体系结构。该体系结构以安全核为中心,结合认证、事件采集以及各种抗攻击指令的执行,共同完成网络防护任务,体现出网络防护系统的柔性及抗攻击性。     

基于MSA的高阶调制信号比特度量算法的研究

最小和算法(MSA)折中了译码性能和运算复杂度两个方面,是低密度奇偶校验码(LDPC码)硬件实现最常用的译码算法。比特后验概率对数似然比(LLR)是LDPC码MSA译码的关键参数,现有的高阶调制信号比特后验概率LLR计算方法及简化算法都需要估计噪声方差,估计值影响译码性能。论文从分析M阶无记忆二维调制信号比特后验概率LLR通用的计算方法入手,研究了适用于MSA译码的高阶调制信号比特后验概率LLR简化算法,该算法无需估计噪声方差,进一步降低了运算量和实现复杂度。     

城镇化——破解“三农”难题的关系

当前我国存在的农业、农村和农民问题与城镇化滞后有着密切的关系。解决“三农”问题 ,全面建设小康社会 ,必须统筹城乡经济社会发展 ,积极推进城镇化进程。     

军转干部自主择业制度研究

自主择业制度是我国军队转业干部安置方式的一项重大改革 ,本文阐述了自主择业制度的意义、主要政策、实施中存在的主要问题及对策     

潜射弹道导弹出水姿态分析

分析了潜艇深度、纵倾角、横倾角、海面风速、海面波长、平均波高等因素对潜射导弹的偏航角、俯仰角、滚动角、偏航角速度、俯仰角速度、滚动角速度的影响。由于实验数据比较分散,不适合神经网络的训练,所以首先对实验数据模糊化,并用以对神经网络的训练。用训练好的神经网络分析了潜艇单因素变化的导弹出水姿态。     

微小卫星编队飞行轨道动力学及相对位置保持控制方法

微小卫星编队飞行是20世纪90年代中、后期出现的航天新概念,它是通过一组群聚卫星的协同工作完成相应的空间任务,具有广阔的应用前景。对微小卫星编队飞行的轨道动力学建模进行了详细研究,并应用势函数方法推导了用于卫星编队飞行相对位置保持的连续控制律及离散控制律。     

新形势下关于高校学生管理模式改革的思考

在新形势下,我国高校发生了一系列重大变化,学生管理模式必须进行相应的改革,其主要表现在以下三个方面:树立“以学生为本”的理念,强化服务意识;搜索管理盲点,改革管理体制;注重管理人员的素质,加强学生管理队伍的建设。