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

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

对三个民族尝味能力测定结果的统计分析

利用离散多元分析方法对三个民族尝味能力的测定结果进行了统计分析,结果表明:三个民族间的PTC尝味阈值差异高度显著,味盲率间差异高度显著;男女尝味阈值差异高度显著,男女味盲率差异高度显著.     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。     

不变拟凸性与多目标规划的一个问题

定义了Ⅰ类不变拟凸、Ⅰ类严格不变拟凸、KT－Ⅰ类严格不变拟凸的向量值函数，并在目标规划中，获得了每个驻点（或KT－T点）是有效点的等价条件。     

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

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

倾斜导轨上二级倒立摆的控制

本文在已有的倾斜导轨上二级倒立摆数学模型的基础上,采用极点配置方法和线性二次型最优控制器对导轨倾斜45o时的二级倒立摆进行了控制,并用MATLAB进行了控制结果仿真,仿真结果表明,控制效果较好。     

设备无关显示软件的开发

介绍了用Visual C 6．0开发能够实现设备无关显示的软件。通过获取窗口到视口的映射比例系数，使得无论采用多大的显示器、无论将显示区域的纵横比调为多大、无论采用多高的显示分辨率，都能够按照对象的物理尺寸进行真实大小的显示，使应用程序用户界面更加友好。     

VB中find方法组的条件表达式

介绍了Visual Basic中find方法组条件表达式的编写格式，总结出find方法组条件表达编写的一些规律，利于学生灵活掌握并运用find方法组编写数据库查询程序。     

次线性算子与幂权的Soria－Weiss定理的拓广

将次线性算子关于测度｜Ｘ｜－ａｄｘ的（ｐ，ｐ）型的Ｓｏｒｉａ－Ｗｅｉｓｓ定理拓广到非光滑核算子的情形中去，而且关于ａ的范围是准确的。     

无界报酬向量值折扣马氏决策规划—最优平稳策略及算法

本文主要讨论了无界报酬向量模型的平稳策略问题，给出了改进平稳策略的方法，建立起向量模型的最优方程，获得平稳策略为强最优策略的充要条件．指出最优平稳策略的期望报酬函数必为极大不动点，最后提出一种寻求最优平稳策略的策略迭代算法．