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

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

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

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

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

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

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

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

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

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

临近空间飞行器纵向逆控制系统设计

建立了临近空间飞行器无动力滑翔阶段的纵向运动模型,并应用动态逆方法推导了模型的逆系统.系统相对阶等于绕质心运动模型的系统阶数,实现了绕质心运动模型的线性化.为了克服纵向运动模型的隐动态和参数的不确定性,在内环动态逆控制器的基础上,设计了外环最优调节器.仿真结果表明:飞行器纵向逆控制系统可以准确跟踪俯仰角或攻角指令,并对参数不确定性和外界干扰具有较好的鲁棒性,具有工程适用性.     

求解面向进攻的武器-目标分配问题的蚁群算法

面向进攻的武器-目标分配问题是军事运筹学研究中的重要课题,旨在制定合理的打击策略以最大程度摧毁敌方目标。采用一种融合局部搜索和信息素控制的蚁群算法,兼顾控制解的局部收敛速度和全局收敛质量。在解的构造过程中直接处理约束条件,提高生成解的可行性,并大大缩小了搜索空间,提高了算法效率。通过采用多种算法对不同规模的武器-目标分配问题进行实验,结果表明改进的蚁群算法在收敛速度和求解质量上表现优异。     

人工免疫系统的战场异态电磁信号检测模型

分析了复杂电磁信号环境下电磁信号监测的现实需求,抽象出"异态电磁信号"的概念。结合人工免疫系统建立起基于人工免疫系统的适用于复杂电磁环境下异态电磁信号检测模型,初步的信号检测实验表明该模型在信号检测准确性、检测时间等方面具有一定优势。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

压制干扰条件下雷达组网检测概率建模与仿真

如何评价雷达组网系统在多压制性干扰环境下的检测性能是雷达电子战研究的热点问题之一.推导了以"信干比"表征的多压制性噪声干扰环境下的雷达距离方程,提出了利用"信干比"与检测概率的近似推算关系来研究噪声干扰环境下雷达组网系统检测概率分布图的一种新思路,并建立了相应的检测概率模型,在"三对三"对抗条件下进行了仿真.仿真结果不...