模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

面向对象数据库系统中类层次及其复杂性研究

从面向对象数据库系统中类层次的基本概念出发，讨论了对象与类的成员关系和类与类之间的交互依赖关系，提出了一种类层次模式描述语言，并讨论了将该语言表达为一阶逻辑的方法．对类层次模式中对象与类以及类与类的关系推理问题的复杂性进行了一些分析     

工业大系统的优化协调解

分析了由多个子系统构成的工业大系统中的决策问题，研究了各子系统之间目标出现冲突时的调解方法，采用多人多目标冲突决策模型来描述大系统中的冲突决策问题，提出了大系统中冲突的协商解的概念，并研究了其协商解的求取方法。     

拟面向对象和面向对象智能决策支持系统开发环境

根据实际开发的经验，探讨拟面向对象和面向对象型智能决策支持系统开发环境的设计思想、基本结构、六大功能模块对象类库及用该环境开发拟面向对象型和面向对象型决策支持系统的有关步骤。     

无限维离散不可控系统二次判据问题讨论

通过构造一个范数，并利用动态规划原理对无限维离散不可控系统二次判据问题进行了讨论，得到了最优反馈控制的存在唯一性，以及自治情形下的Ｒｉｃｃａｔｉ方程。     

一种标定立体成像系统的新方法

在立体成像系统中，两相机的位置、取向、倾角由于机械上的困难，很难保证固定不变。因此，在匹配问题解决后，必须对成像系统进行标定，才能最终提取关于景物的三维信息，基于此，提出了一种成像系统的模型及其误差量定义，同时给出了用最小二乘法拟合立体成像系统参数的算法。     

一种立体视觉图像的特征选择与匹配方法

从立体图像对中获取精确的三维信息需要进行相机建模、标定和图像点的匹配［１，２］．提出了特征点的选取；利用金字塔图像结构进行立体匹配，以及对匹配点进行整体性检验的准则。实验表明，该算法匹配速度快，错误概率小，匹配点在整个景物中分布均匀。     

基于小波包的信号检测算法

针对多个相似信号分量的到达时间检测问题提出了一种基于小波包理论的新算法（ＷａｖｅｌｅｔＰａｃｋｅｔｓＤｅｔｅｃｔｉｏｎＡｌｇｏｒｉｔｈｍ，ＷＰＤＡ）．即使在各信号分量严重重叠的情况下，该算法都能非常精确地确定各分量的到达时间。为了进行比较，引用了Ｂ．Ｆｒｉｅｄｌａｎｄｅｒ提出的改进Ｇａｂｏｒ表征方法（ＩＧＲＭ）及其信号模型。实验证明，小波包检测算法可以得到更为优越的性能。还讨论了小波包检测算法中的正交镜像滤波器选择问题。     

基于LPC预测误差DWT的语音基音检测

在对语音信号进行ＬＰＣ分析的基础上，提出了一种有效的语音基音周期检测算法。该算法利用小波变换中著名的Ｍａｌｌａｔ算法逐层分解ＬＰＣ预测误差信号，在最低分辨率的逼近信号中寻找峰值，然后逐层回溯各个分辨率的逼近信号，最后在ＬＰＣ预测误差中确定出峰值，从而求出相应的基音周期。     

心室颤时脑微动脉血管的应力实验

实验测得了猫在心室颤前，后的脑微动脉内径及血压的变化，引入增量应力和应变的概念，计算了在心室颤前后微动脉血管（内径小于１００μｍ）应力与应变的变化规律，并获得了在不同期间内血管的本构方程。