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

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

基于可能度的军品供应商选择方法研究

建立军品供应商的选择方法,是当前军事订货与采购制度改革亟需解决的一个重要问题。本文利用Fuzzy AHP制定了军品供应商的选择方法,并提出了一种新的基于中值点的可能度指标作为三角模糊数互补判断矩阵排序的依据。     

儿童绘本在幼儿园美术教学中的价值分析

绘本作为一种教育资源在幼儿园美术教育教学中广泛运用.本文基于《纲要》对幼儿艺术领域的要求,分析绘本在幼儿园美术教学中的可行性和必要性,并从增强幼儿情感体验,提升幼儿审美水平,激发幼儿想象力,丰富幼儿美术知识和技能四个方面阐述绘本在幼儿园美术教学中的价值.     

混合扩频测控系统抗干扰效能评估与优化选择

针对航天测控系统在复杂电磁环境下的抗干扰效能评估问题,以直扩/跳频混合扩频测控系统为研究对象,分析了系统基本结构和主要性能参数,从信号捕获、跟踪测量、数传通信3个能力视角出发,构建了一种多性能参数结构约束的抗干扰效能评估指标体系,有效解决了传统指标体系中各指标之间一致性模糊、属性分散的缺点。在此基础上,根据不同的评估需求,提出了最大效能和最小代价2种评估指标体系选择模式,分别建立了基于层次分析法(AHP)的综合抗干扰效能评估模型和基于灰色关联法的抗干扰系统参数优化选择模型,通过仿真分析验证了模型在抗干扰评估和系统参数优化选择中的可行性和有效性。     

飞机反区速度矢量不稳定及其控制的机理

在信号流图的基础上,提出多回路分析的方法,并用于研究反区时速度矢量不稳定及其稳定控制的机理。建立了纵向动力学的信号流图,并证明了一个回路的收敛性定理。在此基础上,通过理论分析得出了速度矢量不稳定在不同层面上的原因,也得出了速度和轨迹的发散度表达式等,并表明阻力-速度曲线、轨迹角-速度曲线、极曲线、阻力系数曲线等存在相互对应的反区和正区,并且阻力-速度曲线和轨迹角-速度曲线在斜率上成比例。研究得出进场动力补偿系统下速度矢量的稳定临界条件、收敛度、稳定机理等,理论分析和仿真比较了速度恒定进场动力补偿系统和迎角恒定进场动力补偿系统在控制性能上的差异。     

网络谣言的心理分析与管控

近年来,随着智能移动终端和互联网技术的结合,上网变得十分便利。网民数量激增的同时,网络谣言层出不穷,给社会安全与稳定造成不良影响。文章从心理学角度深入分析助推网络谣言的原因,并基于心理规律提出网络谣言的管控措施。     

基于组合权重的目标识别系统威胁评估

现代信息战场中,对敌方的目标识别系统进行有效干扰,是增强我方、打击敌方的有效手段。对敌方的目标识别系统进行有效的威胁评估,有助于指挥员的决策以及对干扰资源的优化配置。借鉴空中目标威胁评估常用方法,提出对敌方目标的敌我属性识别系统进行威胁评估的方法。首先选择合理的威胁评估指标,然后对指标数据进行规范化处理,利用信息熵法求解威胁评估的客观权重与改进的层次分析法求解出的主观权重加权得到组合权重,运用灰关联分析法进行威胁评估和排序,最后用实例验证方法的有效性和合理性。     

基于虚拟人机环境的某指控舱CATIA人机分析

针对因人机工程模块中缺乏中国大陆成年人数字模型而导致CATIA软件在座舱性化设计适用性差的现象,以GJB4856-2003和指控舱结构设计参数需求为依据,建立了中国大陆成年男子P5、P95人体数字模型和指控舱三维模型,通过人体模型对指控舱的虚拟操作,分别评价了驾驶舱的视野域、操作域和舒适度等方面布局工效,得到了各工效布局评价的结果,并提出了改进建议。     

基于反步法的高超声速飞行器终端滑模控制

为了使高超声速飞行器在再入过程中完成姿态控制,在反步法的基础上将模糊自适应和终端滑模控制相结合设计控制器。对于姿态角动态,使用反步法和模糊自适应设计虚拟控制律;而对于角速率动态,利用终端滑模方法设计控制器,能够有效提高系统鲁棒性。稳定性分析说明所提方法可以保证系统状态的一致渐进有界性。     

基于模糊综合评估的体系作战力量组织运用效能评估

针对体系作战力量的组织运用效能评估问题,利用模糊综合评判方法进行了探索。首先从评估方法的选择入手,确定评估的手段,其次围绕体系作战能力的特点建立评估指标体系,最后综合运用评估方法和评估指标体系,构建出以模糊综合评估为基础的评估体系,并模拟评估过程进行分析计算,得出符合实际的评估结论。