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

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

计算流体力学及其可视化技术与应用

运用计算机可视化技术对三维数据场进行研究．主要对流场的表示方法、可视化实现步骤和应用进行阐述．     

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

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

灭火战斗中的思想政治工作

文章剖析了消防部队灭火战斗中思想政治工作的特点,针对特点提出了做好思想政治工作的手段及方法,目的是千方百计鼓舞士气,提高部队战斗力。     

结构(构筑)物拆除爆破倒塌的数值计算

拆除爆破中,结构物动态塌落过程的研究一般基于两种方法：一是简单的分析模拟;二是通过计算机进行详细的数值模拟。前者,是设计得对简单结构进行观察提供实际施爆方法,但并未包含才质和详细结构因素。后者,可通过结构材质、结构特性及其破坏准则等,按弹性分析一有限空位分析－结构失稳、破坏塌落全过程进行分析,实现爆破结果预示或再现结果。然而,数值方法的影响因素众多且多变,如何把握和评估诸因素,是数值方法可靠与否的     

国民经济动员指标体系再探宏观决策指标体系

国民经济动员宏观决策指标体系是用于决策和评价的指标体系。对其体系及数据的处理可采用规范法和多指标综合评价法。军品产值、国家国防和动员开支、军工劳动力人数、每千人外科医生数、国防工程投资总额、国防科研和开发经费总额、城市人均人防工程设施面积、高速公路中飞机跑道段长度、每50公里公路加油站数、每50公里汽车修理厂(站)数、每千人病床数、每百人电话机拥有量、移动电话用户、大型货车拥有量、大型客车拥有量、铁路货车拥有量、特大及大型机动船拥有量、粮食储备量、汽煤柴油储备量、天然和合成橡胶储备量共20个指标可选用来构建其体系。用限差阈值法对不同量细的国民经济动员指标进行无量纲化评价比较理想。     

精确制导武器的发展及其实践应用

精确制导武器是现代高技术武器中最引人注目的兵器之一,已成为高技术战争的主战兵器。本文在概述了精确制导武器的定义、特点、制导技术和工作原理的基础上,着重介绍了精确制导武器的现状和发展趋势以及精确制导武器在“盟军”行动中的实践应用情况。     

求解BOOLEAN方程的新方法

应用分离表提出了求解BOOLEAN方程的新方法,该方法的基本思想是在求解BOOLEAN方程的过程中,去掉冗余计算,使得其计算速度大大的提高。同时还研究了该方法在数字电路测试产生中的应用。     

汉明距离的电路计算

介绍了几种汉明距离的电路计算方法,并对其性能特点进行了分析。     

《现代通信技术》多媒体教学训练系统的开发与应用

本文提出了《现代通信技术》多媒体教学训练系统的开发思路和方法,详细论述了该系统的功能与特点.该系统涵盖了模拟、数字、数据、移动、卫星、光缆等通信内容,涉及到现代通信最新技术的原理、应用与发展的诸多方面,声、文、图、像并茂,界面友好,操作方便.尤其是建立了模拟演练和查询系统,因此,在对院校教学及部队训练方面,具有广泛的推广应用价值.