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

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

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

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

数字图书馆FAQ服务的探讨

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

一类特殊的奇异级数

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

一类用内积表达的函数凸性

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 An×n 及属于 n 维欧氏空间的向量 a,x 构成[x,Ax]+[a,x]+b(b 为常量)型关于向量 x 的一类内积函数,则此类函数为n 维欧氏空间上的凸函数。A,B 均为 n×n 阶实矩阵、a,x 均属于 n 维欧氏空间向量,那么由 Bx+a,A(Bx+a)构成关于 x 的内积函数,该函数在 n 维欧氏空间上凸的充分条件是 B为任意,A 为半正定的。     

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

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

关于第四类超Cartan域上的Bloch函数

给出了第四类超Cartan域上的Bloch函数的充分条件以及必要条件。     

一阶零点邻域反函数存在定理

证明了实变函数与解析函数在一阶零点邻域内反函数存在定理     

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

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