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

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

试论武器装备的效费比分析

运用价值工程(VE)方法分析武器装备,称效费比为价值。按照杜佩(Dupuy)的方法,把武器装备的效能转化为“战斗效能值”(OLI),又计算出了武器装备的全寿命费用,然后将2者加以对比,获得效能—费用的最佳组合,同时提出了选择武器装备系统的定量分析方法。这些对于提高我国国防经济效益,具有一定的指导和借鉴意义。     

论开放对改革的历史意义和现实作用

中国的改革始终并越来越置于开放的国际大环境和背景下 ,围绕开放来进行 ,改革的历史取向、实际步骤等方方面面都自觉不自觉地受到开放的很大影响 :开放引致改革、开放促进改革、开放制约改革、开放本身就是改革、开放保障改革。因此 ,中国的改革是一种典型的开放式改革 ,中国的“改革开放”也可以或越来越应当是“开放改革” ;就改革与开放的相互关系、作用及对整个社会发展的作用和意义而言 ,开放重于改革。     

“三个代表”重要思想是马克思主义政党学说的新发展

“三个代表”重要思想是马克思主义论述的提炼和概括。以江泽民同志为核心的第三代领导集体不断研究新情况,不断总结我党的宝贵经验,提出了新时期党的建设的总目标,制定了一系列加强党的建设的重大举措,开辟了继毛泽东思想、邓小平理论之后马克思主义基本原理与中国实际相结合的又一新境界。     

军事基础课程体系改革与研究

以新时期军事斗争准备为牵引,改革与创新军事基础课程体系,是我院"4+1"模式新型军事人才对军事基础教学与训练的客观要求.通过重点阐述我院围绕加强学员的素质教育,深化军事基础课程体系改革与研究的思路,为新形势下军事基础课程体系深层次的改革与发展,提供了若干参考.     

略评“语言谬误”──评介楚明锟主编的《逻辑学》

２０世纪５０年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。２０００年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。     

可压缩流动压力修正方程分析

依据Ｐａｔａｎｋａｒ提出的差分方程稳定性判断的４项基本法则,对可压缩流动的压力修正方程进行了分析,得出压力修正方程系数为正的条件．指出在每一次求解压力修正方程时必须提高解的收敛程度,以保证下一次迭代的差分方程矩阵接近主对角占优．分析了速度离散方程的欠松驰因子对可压缩流压力修正方程的影响．     

基于一种模型的中子星结构

从物态方程出发,利用中子星结构方程计算了中子星的结构。得到了引力质量材M_G=1.27M_θ材,转动惯量I=1.29x10(45)g/cm~2,与观测结果符合较好。     

关于雷达角跟踪性能测试方法的探讨

基于雷达跟踪目标最大角速度和角加速度的定义,分析了用雷达跟踪目标最大角速度和角加速度表征雷达跟踪性能的可行性,并对角误差信号的模拟方法进行了讨论。介绍了一个可以测试幅频特性、暂态特性、雷达跟踪目标最大角速度和角加速度的测试系统设计思想。     

脉冲激光测距机测程指标的自动快速检测

分析了目前验收脉冲激光测距机测程指标所采用的方法——“消光法”存在的不足,并在“消光法”的基础上,通过采用计算机技术、准激光技术和延时模拟空间距离的方法,实现了测程指标自动、快速和不解体检测