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

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

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

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

一类特殊的奇异级数

讨论了华林问题中一类特殊的奇异级数，在分析的范围内用代数数论的方法对它的下界作出一个估计，从而改进了Vaughan的结果。     

基于可拓论的工业水分过程系统综合建模

介绍了工业水分过程系统建模的研究方法。该文采用数学机理模型、经验模型、神经网络模型在物元模型的基础上综合方法，建立了大时延、大流量、大范围非线性时变的烟丝水分过程的模型。该模型以数学机理模型的解作为初始点，经验模型作为全局调节器，菱形思维神经网络模型作为局部调节器，从而使该模型更接近于实际工业过程。此方法物理机理明晰、能获得工业过程的全局优化结果、能解决系统中一些结构不良问题等。仿真结果表明：较之三种模型的有效性，对于解决复杂工业过程控制系统问题，可知工程方法是一条可探索途径。     

基于坐标变换的具有可操舵轮的移动机器人运动学建模

为了提高移动机器人的灵活性和机动性,人们提出了最大限度地利用普通常规轮的运动自由度来实现移动机器人的平面自由运动。当移动机器人具有n(n≥2)个可操舵驱动轮时,它可以实现平面上的自由运动,即它具有3个自由度。针对轮式移动机器人的运动学建模问题,基于坐标变换法,提出了一种解决具有可操舵轮的移动机器人运动学建模的通用方法,建立了在满足理想运动约束条件下的运动学模型,并以具有2个可操舵驱动轮的3自由度移动机器人为例,给出了运动学仿真结果。     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

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

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

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

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

使用状况评价研究理论在城市公园中的应用初探

本文尝试将使用状况评价这一建筑设计领域中的研究理论引入城市公园，井对其在城市公园中应用的可行性与可实施途径进行了探讨，由此为这一新鲜的研究课题的进一步深入研究提供参考依据。     

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

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