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

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

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

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

数字图书馆FAQ服务的探讨

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

GDX—硅胶混合薄层色谱板的效率和定量性能

对用ＧＤＸ－１０２－硅胶Ｇ、有机粘合剂研制出的混合薄层板进行性能测试，评价了其在硝基苯胺异构体、酸性食品染料分离测试方面的应用，得到好的结果。     

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

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

一种对有机废水间接氧化的膜气体扩散阴极

采用膜结构的气体扩散电解作为阴极对染料进行了脱色研究，对膜阴极(MEA)制备工艺以及催化剂进行了探讨，得到了制备MEA的适宜条件。结果表明，使用MEA作阴极，效果远远优于石墨阴极；铂是膜电极的高效催化剂；膜电极制备的优化条件是造孔剂的含量ω=0．30。     

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

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

高含固量聚苯乙烯－聚丙烯酸酯复合乳胶的合成及表征

本文采用种子乳液聚合技术，合成聚苯乙烯－聚丙烯酸酯复合乳液，用ＴＥＭ电镜观察其乳液的形态，用ＧＰＣ方法测定了乳胶聚合物的化学组成。     

生长素对乔纳金苹果试管苗生根的影响

以三倍体苹果品种乔纳金试管苗顶部茎段为试材，将其接种于添加不同生长素及其组合的MS(基本培养基)中，研究IAA、IBA、NAA 3种生长素对苹果试管苗生根的不同效应。结果表明：3种生长素均可诱导乔纳金试管苗生根，且组合处理的效应普遍优于单种激素，其中以MS IBA 0．8mg／L IAA 0．7mg／L为最好，其生根率达92％。