基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

载重汽车自动离合器坡道起步控制策略与试验研究

根据坡道起步时离合器的接合特性,将离合器接合过程分为3个阶段,分别选取不同的控制参数和控制策略,实现了电机驱动式自动离合器在不同坡道下的起步控制。经试验证明:该控制策略可以适应驾驶员的起步意图,达到了起步冲击度和滑磨功综合控制的目的,取得了满意的控制效果。     

用于蓝军自动决策的多主体协商与协调方法

在分析军事训练与教学实践对蓝军自动决策需求的基础上,设计了基于多主体的蓝军自动决 策系统体系结构,重点论述了多主体间的协商与协调方法。     

第三代短波自适应通信协议分析

第三代短波自适应通信系统是以3G-ALE为核心协议的一种无线分组交换系统,本文从系统协议结构出发,分析了第三代短波自适应通信系统中的主要层次功能和主要协议。     

基于变分模态分解的非稳态备件需求预测方法

备件需求量的预测是备件配置的重要内容,针对当前装备备件需求非稳态的特点,提出一种基于变分模态分解的备件需求预测方法.运用变分模态分解将非稳态备件需求序列分解为若干模态分量,引入模糊熵的概念,将周期性、随机性和长期性特征明显的模态分量进行有效聚合,提高计算效率,进而运用预测效果较好的径向基神经网络预测法对聚合后的模态分量分别进行预测,将各分量预测结果进行整合形成最终的备件需求预测值.通过案例分析与实验对比,结果表明提出的方法能够有效挖掘非稳态备件需求序列的深层次信息,实现非稳态备件需求序列的较好拟合,并与其他非稳态时间序列预测方法对比具有较高的预测精度,为适应新时代实战实训背景下备件需求的特点提供了有效的方法支撑.     

大炸高频率捷变无线电引信的研究

分析了现代战争对无线电引信炸高提出的新要求,提出了一种采用频率捷变体制的大炸高无线电引信的设计方案,采用了软件无线电的设计思想,使引信具有软件可编程能力,提高了引信对战场环境的适应能力和抗干扰能力。在多工作频点捷变的基础上提出一种多频脉冲联合比相测距算法,利用回波相位差实现了引信炸高的测量。最后的算法仿真结果验证了这种基于频率捷变的大炸高无线电引信体制的可行性。     

基于变系数的变前置角导引律设计

对基于变系数的变前置角导引律进行了分析与研究,并从理论上给出了该导引规律的推导过程,然后对整个弹道系统建立仿真模型,并对理论设计的导引方法进行数学仿真计算。将所得到的仿真结果与经典的前置角法进行比较分析,得出最终结论。从而验证该方法的有效性。     

潜艇表面涂层失效机理的研究

评述了有机涂层失效机理的现代研究方法,将电化学测试技术与现代表面分析技术和传统的涂料检测技术相结合,应用于涂层失效机理分析和寿命评估中.探讨了电化学交流阻抗谱技术在研究变海水压力作用下潜艇表面有机涂层的失效机理,以及建立腐蚀性介质渗入与涂层失效之间数学模型的可能性.     

拖航安全性影响因素权值的确定方法

运用重要度排序指数法对拖航安全性影响因素的权重进行评价,对变权综合决策方法在舰船拖带中的应用进行了探讨.针对舰船拖带这一多目标决策问题建立了决策模型,对于影响拖带安全的主要指标的权重给出了相应的计算方法,并通过实例对拖带方案进行了评估,为舰船拖带的最优化评定提供了有效的解决途径.     

模糊离散变结构控制系统研究

系统研究了模糊离散变结构控制的设计方法,提出了几种具体设计方案.对于变结构控制而言,模糊逻辑的引入可以使滑模(变结构)控制具备推理和学习能力,控制信号得以柔化,能够减轻或避免一般滑模控制的抖振现象;对于模糊控制而言,滑模控制思想的引入可以大大简化控制结构,保证控制系统的鲁棒稳定性,对模糊控制系统的设计和性能分析提供了一种工具.