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

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

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

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

浅谈教师考评中的心理与调控

“学校或者其他教育机构应当对教师的政治思想、业务水平、工作态度和工作成绩进行考核。考核应当客观、公正、准确，充分听取教师本人、其他教师以及学生的意见。”考核作为系统而存在，被考评者和考评者是考核中互相联系着的两个要素。在实施考评制度过程中，被考评者和考评者的心理状态如何，也是关系到考评成败的因素，对今后工作的开展是否顺利有着直接的影响。因此，我们必须对被考评者和考评者的心理调查、分析与调控，以保证考评工作的顺利。     

基于可视化HPSO的无人机装备维修任务调度

分析了目前军用无人机装备维修任务调度问题的组成及现状,构建了改进的混合粒子群算法,通过离散化粒子群简化粒子论域,加快计算速度;引入浓度监控机制,综合粒子浓度分布和适应度大小两方面信息,对进化过程进行调控;结合遗传算法,增加粒子间的交叉、变异,加快粒子群进化速度,防止陷入局部最优;并在Matlab环境下对图形展示函数进行优化,实现迭代过程动态可视。最后通过实例分析,高效计算得出最佳调度方案,实现了混合粒子群算法在装备资源调度问题的有效应用。     

复杂装备动态组合维修优化模型研究

对于部件之间存在经济相关性的复杂装备,组合维修能提高维修效率并节省维修费用。传统的固定组合维修决策模型是基于无限使用期的,往往忽略了实际维修中某段时间内可能出现的维修信息的改变,比如部件的故障规律发生变化,意外的维修机会等。针对采取定期维修工作的复杂装备,建立以系统维修费用为目标函数,系统可用度为约束的动态组合维修决策模型,将维修信息的变化进行分析,并用滚动时域的方法对模型进行维修优化。最后,通过算例验证了动态组合维修模型的有效性。     

装备维修社会化研究

新型装备的科技含量不断提升，战场透明度不断增大，装备的损坏率也在不断提高，如何快速抢修损坏装备，恢复其保障能力，是事关战争胜负的一个关键环节。针对装备维修力量如何满足未来信息化战争装备保障需求，分析了装备维修社会化的必要性与可行性，提出了装备维修社会化的模式构想。     

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

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

复杂装备维修项目风险评估与控制CPN模型

复杂装备维修工程范围广、周期长,易产生安全、质量、进度及费用风险。为解决维修工程整体风险评估问题,通过定义维修单元任务,明确了维修工程整体风险评估建模需求和模型框架;建立了单元任务风险仿真以及单元任务逻辑关联的CPN模型;构建了以单元任务风险评估值为输入的工程整体风险仿真CPN模型。应用该模型,进行了柴油机中修风险仿真评估及控制分析,操作过程及仿真结果说明了模型的正确性。     

“迷狂式”构思状态及成因管窥

具有强烈的思想感情和丰富的想象，是中西方诗歌的共同特点。但由于中西方历史和文化背景等方面的不同，中西方诗歌在许多方面存在差异，中西方诗人构思时的情绪状态也有差异。中国有“虚静说”，西方有“迷狂说”。西方诗人的“迷狂式”构思状态亦有其产生的原因。