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

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

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

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

一种扩展的3-2-1组合夹具定位方法

针对孔系基础板组合夹具定位方案的确定问题，提出了一种扩展的3—2—1的设计方法，介绍了该方法的基本原理，给出了全部设计公式．利用该方法可以自动确定由直线和圆弧组成定位边界的工件的全部可能定位方案．     

数字图书馆FAQ服务的探讨

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

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

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

基于Elmore模型的Steiner树问题的求解

建立了一种求解基于Elmore延迟模型的Steiner树问题的遗传算法。针对Steiner树问题的特点,在引入一种新的具有自适应性的杂交概率和变异概率的基础上,提出了面向Steinet树问题的遺传算法和一种构造染色体的新方法。提供了遗传算法的结构并讨论了遗传算子。分析了基于时间和空间的算法复杂性。     

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

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

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

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

高粘度十二烯基琥珀酸淀粉钠理化性质的研究(Ⅱ)——颗粒形貌和乳化性质

原玉米淀粉经十二烯基琥珀酸酐（DDSA）酯化后，颗粒形貌发生变化。经研究认为：化学反应首先发生在淀粉颗凿表面的无定形区；酯化后淀粉的乳化能力明显增强，不同取代度产品的亲水亲油平衡（HLB）值均大于10，表明它为亲水型乳化稳定剂。