大流量气体减压器振动问题研究

对大流量气体减压器工作过程中的振动故障进行分析,建立了减压器系统动态数学模型,进行了故障数值仿真,找到了简单有效的提高减压器输出响应稳定性的方法--减小控制腔入口面积,并得到试验验证.仿真结果还表明,大流量气体减压器的振动问题不仅和减压器本身设计参数有关,还和下游管路容积有关.     

非自治时滞抛物方程的pullback吸引子

研究一类具有平移指数增长函数的非自治时滞抛物型偏微分方程,证明了由方程解生成的非自治无穷维动力系统在L2(Ω)×C([-r,0];L2(Ω))空间中存在pullback吸引子.     

灰关联分析在情报处理系统效能评估中的应用

利用影响情报处理系统效能主要因素指标的灰色特性,提出用灰关联分析法作为系统效能评估的方法,并建立了基于该方法的效能评估模型.实例计算分析表明,所提出的方法简单有效,不仅能评估系统的效能,还能对多个系统的效能优劣进行排序.     

群体性事件情报预警困境的博弈分析

在公安边防部门辖区内,群体性事件时有发生,成为影响辖区治安的主要因素。如何基于所掌握的情报,找出一种科学合理的情报分析方法成为边防部门亟待解决的问题。从博弈论的角度,建立模型,用数学方法进行求解,对公安边防部门与群体性事件的策动者进行博弈分析。     

美国国家导弹防御系统

美国国家导弹防御系统已引起了世界的广泛关注。主要阐述该系统的主要组成、功能、特点、进展及系统部署设想     

脉冲等离子体推力器羽流的粒子模拟

目前微小卫星正在积极地发展中,脉冲等离子体推力器是其推进系统的一个重要发展方向,为了能够将PPT成功地运用于空间,需对其羽流进行研究.将DSMC(Direct Simulation Monte-Carlo)/PIC(Particle in Cell)流体混合算法与一维MHD放电模型相结合,一体化模拟NASA Glenn PPT羽流,对不同出口偏转角的羽流场进行模拟,并与实验结果进行了比较.计算结果显示引入出口速度的偏转角提高了模型的羽流扩散能力,羽流的扩散角是影响羽流的一个主要因素.     

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

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

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

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

“北斗”卫星导航系统的概述与应用

"北斗"卫星导航系统是我国自主研发、独立运行的卫星导航系统,对于国防和经济建设有着非常重要的作用,自2012年12月27日正式提供导航服务以来,在国防和经济建设中发挥着重要的作用。本文就"北斗"的组成、功能、特点、应用及发展前景进行简述,旨在让读者了解"北斗"卫星导航系统基本知识。     

作战数据工程建设与发展

战争形态正加速向信息化战争演变,数字化作战成为主要形式,作战数据以前所未有的深度广度进入战争全脉络,成为作战的核心,影响着战争进程甚至决定成败。习主席高度重视作战数据建设,多次指出我军数据积累严重不足是军事斗争准备的短板弱项。因此,建设完善配套的作战数据库和形成战时高效的作战数据保障能力,对获取作战信息优势、提升指挥控制能力至关重要,对于提高我军基于网络信息体系的联合作战能力具有重要的支撑作用。