多尺度方法在强非线性系统中应用的一个注释

多尺度法在求解非线性系统时,目前所得到的结果多集中在弱非线性系统上。论文对多尺度法进行了改进。对强非线性杜芬系统进行了变换,得到了强非线性杜芬系统存在3个解的结论,其中大的和小的是稳定的,中间的是不稳定的,物理上实现哪个稳定运动取决于初始条件。     

武器装备状态维修决策问题研究

装备状态维修决策对于武器装备实施准确、有效的维修活动,保持恢复武器装备的使用性能具有重要现实意义.首先给出了装备状态维修的概念,并分析了状态维修的决策过程.其次对影响状态维修决策的装备状态劣化度和装备状态诊断风险度因素进行了讨论,指出武器装备的状态维修决策目标在于保证装备使用可靠度、状态维修费用以及装备状态影响度满足装备使用任务的需求.最后据此确定了装备执行维修的最佳时机和维修方式等决策信息.     

图形模型在航迹规划中的应用

对几种图形模型航迹规划的基本原理和方法进行了介绍,并进行了仿真验证。针对图形模型航迹规划中可行点选取的随意性,提出利用遗传算法寻找初始可飞区域内的可行点,将可行点连接起来就组成了初始可行航迹,此时便可用dijkstra算法进行航迹规划。由于标准传统遗传算法航迹规划的不足,提出运用实数编码的贝叶斯优化算法进行航迹规划,通过仿真验证了算法的有效性。     

大椭圆停泊轨道月球探测器发射窗口运动学约束特性分析及转移轨道快速设计方法

通过分析大椭圆停泊轨道月球探测器发射窗口的运动学约束特性,给出了转移轨道运动学约束对发射窗口的影响规律,进一步明确了在该种情况下月球探测器的发射机会和增加窗口的可能性.并结合发射窗口运动学约束特性,提出了一种基于大椭圆停泊轨道的地月转移轨道快速设计方法.仿真结果验证了大椭圆停泊轨道下探测器发射窗口运动学约束特性分析的正确性,以及转移轨道设计方法的有效性.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

机动目标一维距离像RAT法线性化补偿

研究了机动目标宽带线性调频脉冲回波全去斜率信号模型,根据速度和加速度的调频频谱展宽特点,提出了机动目标宽带一维距离像线性化调频回波模型,给出了Radon模糊图转换(RAT)法线性参数估计与运动补偿方法,并进一步分析了测速和测距误差.仿真实验验证了RAT法一维距离像线性化参数估计与补偿,表明该方法很好地解决了运动参数未知情况下机动目标的一维距离像频谱展宽问题.     

影响图建模算法的改进

影响图建模方法是一种规范化的复杂系统建模方法,其实质是将表征复杂系统的参量及参量间的耦合关系进行分类,并以此为基础建立系统的数学模型.影响图建模算法就是将系统的参量及参量间的耦合关系进行分类的算法.目前使用的算法是James R.Burns于1979年提出的.该算法仅考虑了最小的反馈回路,而没有考虑影响图中存在的一般反馈回路,且一些操作造成了不必要的循环.在分析该算法的基础上,考虑了一般的反馈回路,并对原算法的操作步骤进行了优化重组.     

能量状态法的无人机节油轨迹优化

应用能量状态法研究了高空长航时无人机节油飞行的最优轨迹问题.构建了基于能量状态法的质点运动模型,简化了传统运动模型的维数,并利用变分法提出了基于能量控制的性能指标,推导出飞机纵向飞行过程(爬升、巡航和下降)的优化方程,得到整个飞行过程的全局最优解,给出了一种适用的算法,利用Matlab对该算法进行了计算仿真.仿真结果表明,优化的节油轨迹算法效率较高,可节省飞机燃油、缩短航行时间.     

等离子体技术在军事上的应用

一、等离子体的基本概念 等离子体又称为物质的第四态,是继固体、液体、气体之后物质存在的第四种物质状态。它是由大量的自由电子和离子组成,且宏观上呈电中性,其运动主要受电磁场力的作用,并表现出显著的集体行为。产生等离子体的方法有多种,例如热致电离、气体放电、高能粒子轰击、激光照射等方法都能使气体电离成为等离子体。在军事上,