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

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

动态网络安全的框架模型

针对现有的静态网络安全模型存在的问题,提出了一种动态网络安全框架模型。该安全模型利用各种安全组件构建了立体的五层防御体系,并实现了防御能力的动态升级。     

一种新型光带通滤波器的设计

设计一新颖的光纤环路作为光带通滤波器,它由３ｄＢ定向耦合器和光纤光栅构成,并用传输矩阵方法对其输入、输出特性进行了理论分析,表明是一种性能优异的带通滤波器,在光通信等领域有着良好的应用前景．     

现场总线技术在舰船监控系统中的应用

讨论了目前舰艇主要装备监控系统中存在的问题,分析了现场总线技术的优点及其在舰船监控系统中的应用,并以电站实例阐述了其监控系统的基本结构．     

一种多方位一距离目标定位的最小二乘伴随估计器

对纯方位最小二乘估计器,在已知某时刻一个观测距离的情况下,导出了一种伴随型的目标速度估计器．该算法嵌入原最小二乘估计器之中,计算简单且便于工程应用．     

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

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

用于潜艇的数据融合算法结构设计

利用数据融合技术,在数据库的支持之下,充分发挥各传感器信息组合的潜能,为客观复现战术态势提供保障．文中给出了用于潜艇的数据融合算法的结构设计．     

武器装备维修效益分析方法研究

运用装备寿命周期费用计算有关知识,为装备维修管理人员提供一种装备维修效益分析方法．     

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

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

舰船可靠性对维修费用的影响分析

对两类主要影响因素分别建立了相应的数学模型．依据约化理论,建立了维修费用的ＶＡＲ模型．同时,根据统计资料分析了实际舰载主要设备的故障规律,指出了传统定时维修方式的理论基础的不完整性．