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

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

基于灰色Verhulst优化模型的电子装备故障预测方法

针对平均故障工作时间数据样本量少的特点,提出利用灰色Verhulst模型预测电子装备故障;又针对灰色Verhulst模型存在预测精度不高的问题,研究了灰色Verhulst模型参数的优化方法。通过实际试验数据对2个模型进行了仿真验证,并基于灰色关联度对2个模型的模拟预测精度进行了比较分析,结果表明：基于灰色Verhulst优化模型适合于电子装备故障预测,并具有较高的拟合预测精度。     

关于一类特殊的（α，β）度量的S曲率

构造了一类具有5个参量的特殊的（α,β）度量,在此基础上计算了其射影平坦的条件,并通过计算得出其具有常S曲率。     

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

采用故障树分析方法,对造成埋地输油管道杂散电流腐蚀的因素进行系统分析;以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形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

μC/GUI图形界面在SOPC系统中的移植研究

图形用户界面(μC/GUI)以其友好的人机交互界面,在各种嵌入式系统中得到广泛应用。文中介绍了μC/GUI在以Nios II处理器为核心的SOPC系统中的移植过程和应用方法。分析了SOPC系统架构和μC/GUI的组织结构,构建了LCD控制器和触摸屏驱动,实现了中文显示。μC/GUI运行结果表明,LCD上图形显示效果良好,体现了μC/GUI在SOPC系统中应用的优越性。     

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

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

运动矢径对AUV协同定位精度影响的仿真

针对在基于运动矢径的自主水下航行器(AUV)协同定位算法中运动矢径对定位精度的影响进行了仿真分析.利用扩展卡尔曼滤波设计了AUV协同定位算法,通过设定不同的运动矢径对该协同定位算法进行仿真,分析研究了运动矢径的变化对定位精度的影响.仿真结果表明,该定位算法受运动矢径的影响,增大运动矢径会使滤波误差波动变大,降低定位精度.     

航路规划中数字地图综合处理技术

以中远程反舰导弹航路规划为背景,研究了数字地图应用的相关处理技术。首先介绍了数字高程模型及其相应的处理技术,其次论述了对数字海图进行网格划分的基本原则,然后分析了计算地图上每个网格单元的代价MC(Map Cost)所需考虑的主要因素,最后给出由MC生成的最小代价BC(Best Cost)的方法,为下一步航路规划算法的实现奠定了基础。