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

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

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

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

数字图书馆FAQ服务的探讨

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

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

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

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

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

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

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

面向21世纪旅游管理专业人才培养及课程体系的研究

高等院校是培养旅游专业人才特别是中高级管理人才的主要机构，高等院校培养人才是通过教育、科研等一系列活动来实现的。在人才培养方面，教学工作始终是重要栽体，其中培养目标、专业设置、课程体系是保证人才培养质量的重要内容。     

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

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

我国股票市场的价值基础及价格泡沫研究

借助剩余收益模型测定了我国股票市场1992年至2002年历年年末的市场价值基础,并探讨了股票市场价格泡沫问题.研究结果表明,尽管上市公司的盈利能力不断下降,但市场的价值基础并未出现明显下降;由于市场的不成熟,我国股票市场中的泡沫成分较多;股价指数及市盈率指标不具有价格泡沫及投资价值的判断功能.