研究生撰写文献综述的“道”与“术”

文献综述,作为学位论文的重要组成部分,对研究生了解学科发展轨迹,把握课题研究趋势,确保论文质量具有重要作用。但从现实情况看,部分研究生对文献综述在撰写学位论文中的地位和作用认识不足,不懂不会的现象还比较突出。通过分析文献综述的重要作用、撰写步骤、存在问题和对策,以期让研究生能够科学地把握好文献综述的撰写意义和具体方法。     

杂波背景下导引头性能分析探讨

以杂波背景为典型的实战条件,结合导引头的工作过程,针对采用基于机理建模的方法对导引头在复杂环境下的作战性能进行分析的方式进行了分析探讨,并指出了杂波背景下导引头性能分析中应该注意的若干关键问题.     

弯管结构模态柔度曲率差法损伤识别

对弯管结构进行损伤识别,采用模态柔度比结构的频率或位移模态更灵敏,且模态柔度仅需结构的低阶频率和振型就可准确地计算。采用有限元方法,以一弯管为仿真算例,以结构模型的单元刚度的下降来模拟损伤。结果表明:弯管结构的模态柔度具有方向性,弯管所在平面x、y方向柔度求解的模态柔度曲率差不能对弯管进行频率损伤识别,垂直弯管所在平面z方向柔度不仅可以对弯管进行单处、多处的损伤定位,而且可以对同一位置的损伤程度进行定量分析。     

新中国成立后毛泽东国防工程建设思想探析

新中国成立后,国防工程建设成为巩固国防的重要组成部分.毛泽东从战略高度,对国防工程建设进行精心筹划,做出一系列重大决策和指示,指导中国国防工程体系的构建,保证新中国战备与作战任务的完成,并在支援国家经济建设中发挥重要作用.本文从国防工程建设的基本着眼点、主要内容、基本原则等方面,对新中国成立后毛泽东国防工程建设思想进行初步研究.     

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

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

基于矩阵变换的坦克驾驶训练数字化记录与评判系统研究

为了解决坦克驾驶训练中因操作状态难以保留、操作细节难以再现而无法实现对训练成果深入分析与客观评价的不足,以坦克驾驶训练数字化记录与评判系统总体设计为切入点,基于基础驾驶动作的分解与组合以及车辆状态信息获取设计了驾驶动作记录仪,实现了坦克驾驶训练过程中动作状态信息的采集与数字化存储,并应用矩阵变换理论,提出了一种基于关键性动作参数查找与判断的方法,对基础驾驶动作进行了过程识别与效果评判。分析表明:该系统的技术能对坦克驾驶动作状态进行数字化记录,而基于状态矩阵变换的方法能实现基本驾驶过程的识别与评判。     

埋地输油管道杂散电流腐蚀故障树分析

采用故障树分析方法,对造成埋地输油管道杂散电流腐蚀的因素进行系统分析;以29个基本事件为基础,构建埋地输油管道杂散电流腐蚀故障树。在定性分析中,采用Fussel Vesely法求解得到192个3阶最小割集。在定量分析中,采用专家判断和模糊集理论相结合的方法,计算各基本事件的发生概率,进而求得故障树顶事件的发生概率为3.386×10-4。并以基本事件"保护方式选择不当"为例,按照专家评估、确定权重、将自然语言转化为模糊数、转化为模糊可能性值、转化为模糊失效率5个步骤,求得其模糊失效概率为8.430×10-4。计算得到各基本事件的关键重要度,结果表明,土壤电阻率等8个基本事件具有较大的关键重要度。     

陆军合成部队火力打击行动效果评估

为了有效地调控火力打击行动进程,陆军合成部队指挥员和指挥机关必须及时准确地评估火力打击行动效果,不断调配有限的作战资源。火力打击行动效果评估主要包含敌作战体系毁伤评估、弹药效力评估、己方生存力评估和误伤评估等内容,并通过评估模型进行定性与定量分析,为指挥员和指挥机关调整决心和指挥控制火力打击行动提供决策依据。     

编队对地攻击网络化制导决策方法

以编队对地攻击为背景,对网络瞄准下武器网络化制导决策方法展开了研究。首先给出了制导通路的概念并分析了网络瞄准(Networked Targeting,NT)下网络化制导过程的特点;然后设计了构建制导通路的算法,从制导误差的影响因素出发,分析了影响制导通路性能的因素,并根据制导通路中各编队的对地攻击能力与制导时长建立了通路优选模型;最后从任务机组指挥员的角度设计了网络化制导的动态执行过程,并对算法和模型进行了仿真验证。     

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

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