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

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

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

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

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

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

球面上等距线的构造

提出了球面上等距线的构造方法.首先,用有理二次Bézier曲线生成球面上的圆弧[1],实现不同圆弧间的拼接,使其达到C1连续,来构造球面上的组合曲线,然后对该组合曲线利用测地线技术求其在球面上的等距线,并通过点与点求交方法来检测所生成等距线的自相交现象,同时去除自交情况.仿真结果表明,该方法能生成球面上的等距线,并基于以下原理:球面上圆弧的球面等距线仍然为圆弧,而圆弧本身不会自相交,从而能快速消除球面上等距线自相交现象.     

阶段Ⅰ/Ⅱ试验中成功曲线的探讨

在阶段Ⅰ/Ⅱ剂量反应问题中,我们的目的是通过成功曲线决定最优剂量。不同的成功曲线会得到不同的最优剂量,本文根据实际中的毒性和有效性来确定了适当的成功曲线。     

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

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

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

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

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

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

浅谈提高企业员工素质

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

一类四阶线性双曲型方程的边值

考虑了一类四阶线性双曲型方程以特征线为数据支柱的边值问题，在支柱上给出了函数值或导数值，用迭代法讨论了问题的正规解或古典解。