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

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

CIMS中的工程信息管理

在工程信息管理模式方面提出了使用动态库，受控库和静态分别管理处于不同阶段的目标数据的管理办法；在管理机制方面讨论基于这三类库的工程信息管理系统。包括组成该系统的结构管理，设计过程管理，版本管理和计划调度软件，以及支撑上述软件的软件工具。该系统不公支技术工的顺序设计，还支持并行设计。     

谈提高高校图书馆期刊利用率的对策

本文就高校图书馆的期刊利用问题进行了探讨,指出期刊管理人员的素质与服务水平的优劣、期刊的采购不合理、期刊的装订不及时、读者利用文献能力的强弱程度等是影响期刊利用率的主要因素,并提出了提高期刊利用率的六项改进措施。     

探究瑜伽健身术

本文通过对瑜伽深层次的洞察、剖析，使人们提高了对瑜伽的认识，为健身、修身、养身作指导。     

工业废渣做为PVC填料的应用

国内在使用工业废渣做为PVC塑料填充材料的研究方面做了大量工作,取得了明显效果。本文主要介绍目前可做为PVC塑料填料的工业废渣——赤泥、铁泥、硼泥、粉煤灰、磷矿渣、油页岩灰、铜泥及黑泥等的主要组成,填充PVC塑料的应用及工艺过程,并对诸工业废渣对PVC的填充改性情况进行了分析。     

关于和谐学校构建与大学生主体地位的思考

构建和谐学校是当前学校管理工作的一个重要理念和学校发展的着力点.如何从理论与实践的结合上构建和谐学校以促进学校发展,是需要教育工作者进一步研究的重要课题.而如何看待大众化高等教育中学生的地位,充分体现大学生的主体性,更是新时期新形势下高等教育要解决的重要问题.     

反恐大决战

刚刚进入十月的罗马尼亚,天高云淡,全国都沉浸在一种喜悦的气氛里,因为一场足球盛宴——第127届国际足球比赛就要在这个月的5号拉开战幕,就在罗马尼亚人民等待美好时刻降临的时候,一双魔爪正在缓缓地伸向这个国度……     

石灰粉煤灰稳定石屑的基层施工技术

文章详细论述了道路施工中石灰、粉煤灰、稳定石屑作为基层结构的要求、技术指标和施工工艺。     

在有机化学实验教学中实行双语教学的尝试

随着中国加入世界贸易组织、外语在人们的日常生活中变得越来越重要，一个优秀人才不仅要懂专业，而且更要有较高的外语水平，才能适应当今社会的发展要求，根据西南民族学院化学专业学生的实际情况，为了提高学生的专业英语水平，有机化学实验教学中进行了双语教学的尝式，取得了一定的成效。     

钢筋混凝土桁架筒的分析与研究

就钢筋混凝土桥架简体系进行了初步的分析与研究，表明这种结构体系有着良好的力学性能、抗震性能，且经济效益显著，有广阔的发展前景。