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

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

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

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

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

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

基于结构光的柱体工件直径测量

为实现柱状工件直径的实时快速非接触测量,利用结构光原理,对柱体直径的视觉测量方法进行了研究.详细介绍了结构光法测直径的原理和步骤,以及激光平面的标定和坐标变换求解空间二次曲线方程及特征参数的方法.实验证明该方法测量速度快,精度适中的特点,适用于大批量产品在线测量,亦适用于恶劣环境下的测量.     

关于航测系统工作效能的分析

对航空核辐射测量系统的工作效能作了比较深入的分析，并给出了几种可用的航空核辐射测量探测器不同运用方式时的效能分析结果。     

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

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

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

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

基于改进AHP和云模型的质量状态定性评估

针对传统云模型在质量状态定性评估中存在的评语云化方法、指标权重确定和评估结果判定3个方面的不足,提出了一种基于改进AHP和云模型的定性评估方法。通过设置一个AHP自动调整器使判断矩阵自然满足一致性要求,避免了反复一致性检验导致的繁琐计算以及隐含的盲目性问题,并且根据构造的专家相似矩阵,有效筛选并排除极端专家意见以求解合理的权重值;结合德尔菲法,利用逆向云发生器直接生成评语的云模型,逐步寻优获得了统一协调的意见;此外还设计了一种基于平均隶属度的云相似度度量方法,实现了评估结果与定性评语之间隶属程度的量化表征。最后以某导弹雷达导引头为评估实例,验证了评估方法的有效性和优越性。     

绘制全球八分之一海图的水文测量部队——全景扫描澳大利亚皇家海军之九

众所周知，澳大利亚是一个独占整个大陆的国．家，周边岛国众多，水文条件极其复杂，尤其是北方和东北方，岛屿众多。暗礁和浅滩对澳大利亚皇家海军水面舰艇和潜艇作战构成巨大的威胁。为了摸清澳洲大陆周边水域复杂水文和气象条件，1994年澳大利亚皇家水文测量大队司令部在新南威尔士州伍伦贡市成立，为澳海军提供水文测量兵力，