自适应二阶滑模的有限时间收敛角度约束制导律

针对终端角度约束制导问题,提出了一种新型基于自适应二阶滑模的有限时间收敛角度约束制导律.构建非奇异有限时间收敛滑模面,保证了滑模面上角度及角速率误差有限时间快速收敛.采用参数自适应二阶滑模算法构建角度约束制导律,所设计的制导律不仅可抑制目标机动加速度等未知干扰,而且可确保滑模面的有限时间可达.相比采用传统二阶滑模或者含有切换项的滑模制导律,所提出的制导律参数可自适应变化,从而无需提前已知目标加速度等不确定项的上界信息.在各种目标机动情况下仿真,结果表明所设计的制导律具有强自适应以及快速收敛的制导性能.     

地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

A BENDING DAMAGE THEORY FOR BEAMS UNDER PURE BENDING LOADS

ＡＢＥＮＤＩＮＧＤＡＭＡＧＥＴＨＥＯＲＹＦＯＲＢＥＡＭＳＵＮＤＥＲＰＵＲＥＢＥＮＤＩＮＧＬＯＡＤＳＹａｎｇＧｕａｎｇｓｏｎｇ;ＬｕＹｉｎｃｈｕ;ＪｉｎＸｉｎ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｓｐａｃｅＴｅｃｈｎｏｌｏｇｙ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,...     

美国空军装备技术体系规划及发展分析

在新军事变革的局面下,装备体系化发展已成为必然趋势。本文在分析美军"技术地平线"规划研究及"技术地平线"发布后8年来美军重要装备发展情况的基础上,总结美空军技术顶层规划及装备体系研制成功经验,提出了我国未来装备体系建设的方向和建议,为新时期促进我国装备体系建设顶层科学规划,促进装备体系、技术体系、能力体系发展提供参考。     

作战数据工程建设与发展

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

次声波技术与心理战应用

次声波是一种频率变化范围在10?4 Hz～20 Hz之间的声波,它具有穿透力强、传输距离远以及不易被吸收的特点,以此制造的次声波武器伤人但不毁物。近年来,随着高新技术的不断发展,次声波武器在心理战领域得到了广泛应用。本文首先对次声波技术及次声波武器的概念进行了简要介绍;其次,研究了次声波的生物学效应,分析了次声波频率、声压强度以及作用时间与生物学效应的关系,发现三种次声波的作用参数与生物学效应之间的关系虽然错综复杂,但也有一定规律可循;最后,提出了次声波武器在心理战的三个潜在应用前景,即利用次声波穿透力强的特点发展对掩体人员作战的心理战装备、利用次声波的生物学效应发展反恐作战的心理战装备以及利用次声波的生理致伤机理发展心理战防护装备。     

作战指挥系统稳定性分析

稳定性是作战指挥系统的核心,根据指挥系统稳定性的内涵及影响因素,运用概率论和信息熵方面的理论对指挥稳定性指标进行建模.分析了系统可用性、可信性和信息能力三个方面的影响指标,并建立了相应的评估模型.在模型分析基础上,提出了提高指挥系统稳定性的应对措施,为指挥员提高信息化条件下作战能力,保持指挥稳定性提供了理论参考依据,对提高作战指挥效能也具有很好的参考价值.     

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

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

基于快速傅里叶变换的扫描单发单收面阵近场成像技术

近年来,扫描单发单收面阵近场成像技术在安检、医疗等民用领域中引起了广泛关注.然而,传统的距离徙动算法在对回波进行处理的过程中无法避免多步近似和插值操作,并且忽视了信号传播衰减带来的不利影响.因此,提出了一种基于快速傅里叶变换的扫描单发单收面阵近场成像技术,该技术通过保留回波模型中的幅度衰减因子,并根据目标回波方程特性对...     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。