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

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

考虑几何及力和力矩非线性时弹丸运动方程的研究

从矢量形式的六自由度弹丸运动方程组出发,推导出了在全部力和全部力矩作用下考虑几何非线性及力和力矩非线性时的弹丸运动方程组,并导出了其用于数值计算的柯西标准形式,得到了攻角和进动角的计算表达式。此动力学模型可用于弹丸大攻角飞行时的弹道计算及某些灵巧弹药(如末敏弹)的设计。     

基于多Agent的分布式防空战场资源管理研究

分布式防空战场资源管理是构建现代防空体系的核心问题。基于对分布式防空战场资源管理特点的分析,提出了基于多智能体(Agent)的分布式防空战场资源管理体系结构,并深入分析了该管理系统的组成和功能,为实现定性和定量相结合的防空战场资源管理的综合集成,提供了一条有效的途径。     

无人作战飞机通信延时仿真

通信作为无人作战飞机任务控制站与无人作战飞机之间的纽带,在无人作战飞机系统中起着至关重要的作用。简要阐述了引起无人作战飞机通信延时的具体因素,分析了无人作战飞机使用的几种通信方式,提出并运用网络仿真工具NS2(networksimulation-2)针对视线通信方式和不同中继方式下的通信延时进行了仿真,最后对仿真作了分析和解释。     

基于GIS的战术级地面防空群指控系统

结合战术级地面防空群指挥控制系统的需求背景,提出了基于GIS软件平台指挥控制系统设计方案。该方案可以充分实现地理信息指控决策的有效结合,在旅级指控系统中已获得成功应用。可大大提高参谋与指挥人员制定作战方案能力和效率,实现对瞬间战情作出动态响应,有效掌握战场的主动权。     

C~4ISR系统体系结构设计集成环境

C4ISR系统体系结构设计是系统综合集成的基础。针对C4ISR体系结构框架2.0,分析了体系结构产品的特点,研究了体系结构产品设计工具的分类以及应该具有的功能,提出体系结构产品设计工具的集成框架和基于体系结构核心数据库的数据管理机制,并实现了体系结构产品设计工具以及体系结构设计集成环境。     

作战飞机可靠性与维修性仿真模型

通过故障树分析建立了作战飞机仿真逻辑关系。在修正线性同余法的基础上获得了随机数模型。在各设备故障发生状态和修复状态识别的基础上,建立了可靠性维修性仿真模型,确定了作战飞机在仿真过程中的工作状态,并根据故障模式影响分析预计了设备故障对作战飞机的影响。最后以F/A-18为例进行可靠性维修性仿真,获得了实时的故障信息和修复信息,验证了仿真模型的可行性。     

一种新的高分辨率ADC有效位数测试方法

谱分析法和正弦拟合法是ADC动态特性测试的两种常用方法。但在测试信号源信噪比较低的情况下,两种方法的测试结果都存在较大的偏差。提出了一种新的ADC动态性能测试方法,该方法能较好消除信号源对测量结果的影响,使得在普通信号源下可以测试高分辨率的ADC。仿真分析证明了这一测试方法的正确性。最后给出了采用该方法对一ADC系统的实测结果。     

线导加尾流自导鱼雷保持距离导引法

依据线导加尾流自导鱼雷捕获和跟踪目标尾流的特殊要求,分析了现有导引方法的不足。利用鱼雷位置点与目标方位线之间的几何关系,提出了\"保持距离导引法\"的概念、建立了线导加尾流自导鱼雷的导引模型,从根本上消除了通过估计目标距离而确定目标方位修正量的困难,并通过仿真计算分析了这种方法的特点及作战应用的可行性。     

防空兵武器装备发展论证专家系统的开发

首先阐明了防空兵武器装备发展论证专家系统开发的目标任务和建造原则,然后建立了专家系统的一般结构,并论述了系统开发过程中的问题定义与系统分析、知识获取、知识表示、软件实现、系统测试与评价等各个环节所应完成的任务,指出了在专家系统开发过程中潜在的主要问题。对于建立一个完备的、权威的防空兵武器装备发展论证专家系统有一定的指导意义。