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

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

输出/输入比值优势与DEA有效

进一步讨论了多目标规划模型 ( vp)中的 Pareto有效与 DEA有效的关系 ,得到两个重要结论 ,藉此无须求解 DEA模型就能判断某些 Pareto有效 DMU的 DEA有效性。     

数字图书馆FAQ服务的探讨

探讨了在数字图书馆中逐渐普及FAQ服务的意义 .通过对国内部分图书馆主页的访问调查 ,剖析了目前国内的数字图书馆FAQ服务存在的问题 ,如缺乏对用户的深入研究 ,缺乏对问题的分析选择 ,还有设计上存在的问题等 .主张要在充分研究用户的心理和行为的基础上开发和开展FAQ服务 ,并对FAQ的开发步骤做了简要的介绍     

浮动齿轮张紧装置工作原理

本文论述了浮动齿轮张紧装置能够对带传动自动提供张紧力的工作原理,导出了由重力和驱动力矩对带传动提供的张紧力计算式,并指出张紧力的变化范围是(-∞,∞),它具有随外载荷变化而自行调节的性能,能较好地满足带传动的工作要求。最后简述了装置满足张紧条件时的设计计算。     

广谱型C60修饰电极电位传感器的研究

吸附型Ｃ６０修饰玻碳电极可作为一种广谱响应的电位传感器，对十余种无机及有机季铵盐阳离子，其电位－浓度对数值呈一定的线性关系，该电极制备方便、响应速度快，稳定性好。本文还从电极表面Ｃ６０晶型结构出发，对电极的响应机理进行了初步探讨。     

SWITCHING CONTROL： FROM SIMPLE RULES TO COMPLEX CHAOTIC SYSTEMS

This paper reviews and introduces some simple switching piecewise-linear controllers, which can generate complex chaotic behaviors from simple switching systems.The mechanism of simple switching rules creating complex chaotic behaviors is further investigated.     

雷达/红外双模制导背景下的模糊目标跟踪器

在雷达／红外双模制导背景下，对雷达／红外传感器的测量数据进行融合并提出了一种跟踪机动目标的模糊跟踪器。该跟踪器能够精确的获取目标机动的动态信息，应用一系列的模糊规则自适应的调整卡尔曼滤波器的过程噪声协方差矩阵，从而更适合用于实际的跟踪系统。通过对红外成像和雷达多传感器对目标跟踪系统的数字仿真表明所提出的模糊跟踪器性能良好。     

实空间上的闭子集与相似包含关系

Paul Frdos曾提出如下关于实直线R的问题：是否对R的每一个无限子集X，都存在一个具有正测度（Lebesgue测度）的闭子集E，使得E的任何子集都不相似于X（E的任何子集都不与X线性同胚）。1984年，Falconer证明了如下结论：对于一个满足limxn=0和linxn 1/xn＝1的单调递减的正实数列{xn}，Erdos问题有一个部分肯定的解答。本文将证明：上述关于数列的条件可以替换为更一般的（弱一些的）条件。最后把本文的相应结论推广到有限维欧氏空间R^n中。     

上市公司财务状况的动态多指标综合评价方法

针对上市公司财务状况的动态多指标综合评价问题 ,首先建立了评价指标体系 ,并在此基础上 ,综合考虑评价指标的好坏程度和增长程度两种情况 ,提出了一种适用于动态多指标综合评价的理想矩阵法 ,最后给出了一个实际应用算例.