一种面向测试的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中。     

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

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

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

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

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

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

基于坐标变换的具有可操舵轮的移动机器人运动学建模

为了提高移动机器人的灵活性和机动性,人们提出了最大限度地利用普通常规轮的运动自由度来实现移动机器人的平面自由运动。当移动机器人具有n(n≥2)个可操舵驱动轮时,它可以实现平面上的自由运动,即它具有3个自由度。针对轮式移动机器人的运动学建模问题,基于坐标变换法,提出了一种解决具有可操舵轮的移动机器人运动学建模的通用方法,建立了在满足理想运动约束条件下的运动学模型,并以具有2个可操舵驱动轮的3自由度移动机器人为例,给出了运动学仿真结果。