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

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

焊接工艺对熔敷金属韧性的影响

探讨了改变焊接工艺对焊条熔敷金属冲击韧性的影响．研究表明：改变焊接工艺,将通过改变熔敷金属的化学成分,影响熔敷金属的强度和韧性;降低焊接线能量时,将降低熔敷金属中的氧含量及其氧化夹杂物的数量和大小,从而提高熔敷金属的韧性     

DOS环境下双机实时火控系统软件设计

在舰载作战指挥与火力控制系统中,基于Multibus总线的计算机系统常配置成双机或多机工作方式,该文以某型火控系统为例介绍一种DOS环境下双机实时系统软件设计方法．     

多媒体数据库在模拟器研制中的应用

以一种训练模拟器的研制为背景,说明多媒体数据库的应用意义,给出了多媒体数据库的生成、检索方法及其在模拟器中的应用．     

开关电源的电磁干扰与抑制

通过分析开关电源产生ＥＭＩ信号的原因,叙述了电磁兼容的重要性,针对开关电源中ＥＭＩ信号的特点,重点介绍了几种抑制ＥＭＩ信号的方法和措施     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。     

紧固件拆装时间预计模型

紧固件拆装作业时间是影响机械产品维修性的主要因素之一,占机械产品维修作业时间的70％～80％。因此,探讨紧固件拆装作业时间的预计方法,对研究、设计机械产品的维修性,将是十分必要的。通过分析紧固件拆装作业过程,探索出了影响拆装作业时间的诸因素,并对所有的影响因素进行分析、权衡和回归,建立紧固件拆装作业时间的预计模型。将此模型在某型履带式车辆上进行了实际验证,证明了模型的正确性及通用性。     

空空导弹三维实时动态数字仿真

主要论述了某型空空导弹实现３维实时动态数字仿真的思路和方法,首先建立３维空战模型,然后通过一定的计算方法和编程技巧实现了数字仿真的实时性。在数字仿真实时性的基础上,实现了导弹攻击目标过程的３维动态图形显示。     

导弹电子设备电源线传导敏感度测试研究

采用ＣＳ０１测试法对导弹武器系统的电子设备进行电源线传导敏感度测试,由于测试指标和测试方法的限定要求,将不仅影响受试电子设备的正常工作,而且还会对ＣＳ０１设备本身产生不利影响。在分析产生上述影响原因的同时,有针对性地提出了有效的解决措施,使由于限定要求带来的不利影响降低到最低限度,以使导弹电子设备电源线传导敏感度测试能按国军标规定要求正常进行。     

高轨双星辐射源跟踪的高斯和-容积Kalman滤波算法

针对辐射源运动方程和观测方程的强非线性,提出基于高斯和框架与5阶容积Kalman滤波(5CKF)的跟踪算法GS-5CKF。该方法将起始时刻的时差观测量所确定的位于地球表面的时差线按经度等间隔划分,初始化多个并行的5CKF,线性组合各滤波器的输出获得辐射源运动状态的估计。针对5CKF,提出新的非线性测度并引入滤波器分裂与合并,从而提高了跟踪精度,同时保持GS-5CKF算法复杂度基本不变。仿真表明,相对仅使用单个5CKF和基于高斯和框架但使用3阶容积Kalman滤波器的GS-3CKF等方法,提出的算法具有更高的估计精度。