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

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

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

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

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

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

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

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

基于关联规则相关性分析的Web个性化推荐研究

通过分析关联规则在Web个性化推荐中存在的问题,对Web个性化推荐的关联规则相关性分析算法进行改进,并进行了详细的论证和仿真实验。实验结果表明改进的算法能实现更低支持度的推荐,能提高推荐的准确率和速度。     

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

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

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

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

浅谈提高企业员工素质

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

桥式起重机水平刚架结构的设计计算

为桥式起重机金属结构设计中,全面、准确地考虑水平载荷的影响,本文介绍了桥式起重机在惯性力、风力、偏斜侧向力作用下,水平刚架结构的计算简图和准确、简单的内力计算式。方便了设计,提高了计算精度,可供设计选用。     

完善内部控制制度 提高企业管理水平

分析了建立健全内部控制制度的必要性,提出了完善内部控制削度和提高管理水平的具体措施。