基于卫星编队序列图像的摄影测量

在现代卫星摄影测量中,由多颗小卫星组成的卫星编队具有比单颗卫星更优越的性能,能提供更高的空间分辨率和时间分辨率。卫星编队拍摄的序列图像可组成多轨道区域网,通过区域网光束法平差解算就可以获得目标点坐标。介绍了几种适于卫星摄影测量的卫星编队,讨论了影响卫星摄影测量精度的几个因素,给出了仿真实验结果,所得结论可为发展基于卫星编队的摄影测量提供参考。     

次优滤波器在航空火力控制中的应用

根据航空火力控制系统的特点,引入一种结合滤波与数据融合的滤波方法——次优滤波法;介绍了次优滤波器的原理和特点;阐述了次优滤波器在火力控制系统中的应用以及比较次优滤波器和其它滤波器的差异与优点。     

任职院校国防生自尊、自我效能感及个性特征的研究

调查任职院校国防生自尊、自我效能感状况及其个性特征,为任职培训期间开展教育和管理工作提供参考。采用自尊量表（SES）、一般自我效能感量表（GSES）、艾森克人格问卷（EPQ）以及自编问卷方法,对535名任职院校国防生进行调查。结果显示：任职院校国防生自尊水平与专业、是否学员骨干等因素有关;自我效能水平与居住地等因素有关;任职院校国防生人格特征与军校生和军人群体相对接近,但与大学生群体有所不同。可见,对任职院校国防生进行教育管理时,应该重点从提高国防生的自尊和自我效能感水平入手,更好地维护和提高国防生在任职培训期间的心理健康水平。     

飞控设备抗强电磁脉冲方法研究

强电磁脉冲可引起空间飞行器的控制设备发生瞬时或永久故障,从而导致飞行失控。针对强电磁脉冲环境下飞控设备的防护问题,首先分析了强电磁脉冲对飞控设备的损伤效应,其次探讨了相关的防护方法,并给出了屏蔽效能和整机防护试验验证的测试结果,为提高飞控设备抗强电磁脉冲能力建立基础。     

基于心理干预的高校班级教学管理模式的探索

所谓班级教学管理模式,是以教学班级为管理单元,以班主任对班级事务和工作全面负责为特征,以充分发挥学生的主体作为核心的管理形式,其实质是班主任负责制。本文是通过借鉴企业管理中的团队合作精神、企业文化的打造、企业中的竞争机制、奖惩机制等,在班级中创造和模拟企业情境,培养学生在学习上的竞争意识和团队协作精神,以适应未来企业和社会发展的需求,构建一种全新的班级教学管理模式。     

离散模糊动态贝叶斯网络在目标分配中的应用

为了满足机动平台目标分配过程的动态性和实时性要求,提出了一种基于离散动态贝叶斯网络的目标分配方法。首先,提出了基于综合攻击优势和目标威胁的目标分配数学模型。然后,分别建立了基于离散动态贝叶斯网络的攻击优势和目标威胁评估模型,用来计算目标分配模型中所需数据。最后给出了仿真算例,验证了该模型的正确性和有效性。     

不确定环境下飞行器航迹规划

根据环境的确定性程度,飞行规划可划分为确定性航迹规划和不确定性航迹规划。针对不确定战场环境航迹规划问题进行了研究,提出了一种基于概率表示的军用飞行器航迹规划方法。根据威胁源的存在概率函数、位置分布概率函数和静态威胁概率函数模型,建立了不确定威胁的威胁概率函数模型。将遗传算法运用到航迹规划中,并进行了仿真实验,仿真结果验证了模型及算法的有效性。     

基于拼接算法的炮膛疵病自动识别技术

针对当前采用目测识别方法进行炮膛疵病检测时存在的识别速度慢、精度低、人为影响因素大等缺点,提出了一种基于拼接算法的炮膛疵病检测方法。该方法采用Harris角点检测算法进行特征点提取,采用归一化互相关法进行特征点初匹配,采用马氏距离提纯算法消除误匹配,采用改进的8参数透视变换优化估计算法和基于边界保持的函数加权平滑融合算法进行炮膛图像融合,并选取图像面积、短长径之比为特征参数完成疵病的自动识别。实验结果表明：该算法对炮膛图像能较好地进行拼接,而且数值化的疵病识别方法相比传统目测识别方法也更加快速、准确,可为部队和相关工程人员进行身管检测提供有益参考。     

基于数据仓库的装备维修经费综合预算管理信息系统设计

针对我军装备维修经费综合预算管理的内容和特点,提出了以综合预算数据库为基础、以预算分析数据仓库为中心、以操作数据存储为支撑、以联机分析处理和数据挖掘为手段的装备维修经费综合预算管理信息系统的结构模型,阐述了综合预算数据库和预算分析数据仓库设计、预算数据分析与数据挖掘模型构建的基本内容,为装备维修经费综合预算管理信息系统开发提供了新的体系框架。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。