一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

对DEBUG实用程序的一点改进──使DEBUG能跟踪“反跟踪软件”

作者提出对ＩＢＭＰＣ系列微机上ＤＥＢＵＧ实用程序的一种改进方法，即通过修改单步中断和断点中断的处理程序，使之能跟踪“反跟踪软件”，这对软件解密和病毒分析无疑是有用的。     

城市可持续发展水平的指标体系及评价

从经济、环境、资源、社会发展和人口5个方面构建了评价城市可持续发展水平的指标体系.由于涉及到众多的指标,选择因子分析法通过降维处理,能使较多原始指标被综合为几个较少指标.实例证明,指标的选取、方法的选择都比较合理.     

基于HLA和GIS的作战想定整合与态势演播

HLA是近几年发展起来的一种体系结构标准，介绍了将HLA/RTI和网络GIS的集成研究成果及其用于想定整合与态势演播取得的有益实验结果。     

对高职高专院校人才培养水平评估工作中问题的分析

分析了目前我国高职高专人才培养水平评估工作中存在的问题,并提出了相应对策。     

35t/h工业链条炉计算机控制系统的设计

介绍了35t/h工业链条炉计算机控制系统,论述了各控制系统的实现,阐述了系统软件的设计。     

迎评促建进程中的高校图书馆与系部资料室

从充实藏书、建设统一的文献资源体系、培训馆员等方面提出了高校图书馆与系部资料室在迎评促建过程中应做好的工作。     

浅谈提高企业员工素质

该文从提高员工的素质是面对新世纪的客观要求、提高员工素质与煤矿企业的、工作机制、社会环境及经济效益的关系、提高员工的素质,要加强对职工的培训、加强对人才工作的管理,防止人才流失四个方面阐述了如何提高企业员工素质,具有一定借鉴意义。     

临近空间单粒子效应的数值模型和电路模拟

针对临近空间单粒子效应进行了数值模型仿真和特征尺寸为0.1 μm的反相器电路的脉冲注入模拟研究。数值仿真结果表明器件临界电荷随着工作电压的降低而减小,敏感横截面随着临界电荷的降低而逐渐增大。临近空间微电子器件的单粒子翻转概率随敏感横截面增大而上升,但其又随临近空间高度的增加而下降。此外,利用SPICE软件脉冲注入模拟观察到了反相器电路的单粒子翻转现象。所得结论有助于深入研究临近空间的单粒子效应并为器件抗辐射加固提供了理论依据。     

数字式温度传感器在冰箱检测系统中的应用

本文介绍了数字式温度传感器的工作原理、性能特征以及如何在冰箱检测系统中引入单总线技术,使用数字式温度传感器更好的实现温度的采集。