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

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

一般Schr(o¨)der方程亚纯函数解的级

对一般Schr(o¨)der方程亚纯函数解的级在放宽方程系数的限制之下给出一个估计,改进了Gundersen等人关于此方程亚纯解级的相应估计结果.     

自然哲学及其泛系分析

本文根据恩格斯辩证唯物主义自然观的基本思想,结合当代自然科学的发展,提出了现代自然哲学研究对象的无限性观点,给出了现代自然哲学的一组准公理化命题,并运用泛系方法论的原理、模式和方法对这些命题进行了新的分析。本文对于传统自然哲学中的一些合理内容、辩证自然观与系统自然观的基本观点给出了新的、相对统一的处理,并阐述了一些新的观点与模式。     

锅炉送、引风机内馈调速节能应用

随着大型火力发电厂的不断投运,目前电力生产的重心逐渐放在节能降耗工作中,如何降低厂用电耗,是每个电厂的经营管理者都在思考的问题.     

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

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

新军事变革中营级组织领导能力建设

为适应世界新军事变革的发展趋势,中国推动了中国特色军事变革。随着武器装备更新换代,军人素养不断提高,作战理念和管理理念逐渐革新,军队各级组织领导部队建设和指挥作战能力面临新的挑战。本文借鉴官僚制理论和目标管理理论,分析和寻找营级组织领导能力建设的可行性途径。     

原料气加热炉出口温度检测控制

本文以原料气加热炉为被控对象,通过对电加热炉对象特性的分析来建立加热炉数学模型,提出了一套计算机系统控制方案。给出了控制系统相应的硬件配置及网络拓扑结构以及控制方案。实现了加热炉炉温的自适应PID智能控制。     

结合山区农村学校实际，开发校本课程资源

《基础教育课程改革纲要（试行）》指出：“为保障和促进适应不同地区、学校、学生的要求，实行国家、地方和学校三级课程管理”，“学校在执行国家和地方课程的同时，应视当地社会、经济发展的具体情况，结合本校的传统和优势，学生的兴趣和需要，开发和选用适合本校的课程”。作为国家课程和地方课程的有益补充，校本课程资源开发的意义是不言而喻的。     

谈高职高专系部信息资料网上导航工作的开展

随着信息时代的到来和网络技术的发展,人们越来越多地依靠网络来获取知识和信息。开展系部信息资料的网上导航的工作是高校资料室的发展趋势,也是在信息时代下信息资料管理工作满足读者需求的必然趋势。     

浅谈黄河引黄涵闸监控系统建设意义与功能

文中对黄河下游引黄涵闸监控系统建设的意义、监控系统实现的功能、引黄涵闸体系结构、监控系统功能结构、各级硬件设备组成及基本工作原理作了简述。