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

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

被动多传感器阵列中复合观测数据的数据关联

被动多传感器阵列是现代化战争中对雷达等主动传感器的重要补充手段。针对被动多传感器阵列的观测数据特点,提出了一种基于复合观测数据的量测与航迹的关联方法。该方法根据被动传感器对目标的位置量测数据以及运动属性的描述信息,利用模糊积分的方法对观测数据与备选航迹进行关联度量,以实现量测数据与航迹的关联。试验表明该方法是切实可行的,可以有效地进行量测与航迹的关联。     

再入机动弹头滚动回路鲁棒姿态控制系统设计

根据经典控制理论,引入姿态角加速度反馈,采用零、极点相消,变增益补偿等设计方法,所设计的再入机动弹头滚动回路姿态控制系统具有良好的快速性、稳定性和很强的鲁棒性。     

用蒙特卡罗方法计算快中子屏蔽体的厚度

文中使用蒙特卡罗方法,模拟了３００ｋｅＶ氘束流Ｔ（ｄ,ｎ）４Ｈｅ中子源发出的中子在球壳屏蔽体介质铁中的输运规律;对计算结果进行解释和分析,得出将中子能量从１４ＭｅＶ慢化到１ＭｅＶ以下所需的最佳屏蔽厚度。所得结果与国际上同类屏蔽体所取参数相一致,具有一定的应用参考价值。     

基于输出协方差配置的车辆振动控制系统设计

通过对车辆振动系统的振动特性分析,确定出系统反馈控制的设计目标。基于对［１］中状态协方差配置控制理论的推广,文中给出了控制器设计的具体方法,并举例说明该设计方法具有直接有效的特点     

舰载武器系统水平度检测与校正新方法模型

推导出舰载武器系统水平度检测与校正新方法模型,和常用水平度检测方法相比较,新方法可提高检测与校正精度及工效,特别实用于舰载武器系统水平度软件校正,有较大的实用价值     

武装直升机综合火/飞系统的组合智能控制

讨论了武装直升机综合火／飞系统的组合智能控制及系统的设计方法,并且针对某型直升机用数字仿真证明了这种系统的优点及其良好效能     

武器控制系统的核心部件功能耦合部件

论述了功能耦合部件的功能、组成,及对部件各组合件工作电路的情况,详细分析了功能耦合部件的工作原理。阐明武器控制系统通过功能耦合部件与火控系统进行信息交换,从而实现了对武器的正确控制。     

柔性制造单元状态监控与故障诊断的综合决策模型与策略

为解决快速实时的在线状态监控与决策这一与系统功能相适应的问题,针对ＦＭＳ加工设备与过程的特点和对之进行监控与诊断的需要,提出一通用的全局监测与决策模型,包括传感策略、特征提取、状态表述与分类、故障全局综合决策等模块和具体的监测流程。