长江三峡升船机运行状态故障诊断

利用故障树分析理论，建立了三峡升船机运行各个阶段的故障树，实现了故障诊断算法，并且研制了三峡升船机诊断演示系统，系统包括一个基于ＷＩＮＤＯＷＳ的软件包和一个故障模拟装置。     

基于多元分类树示例学习算法的改进

以往基于多元分类树示例学习算法的适用范围，只限于每优选一个属性结点都至少能导致一个树叶结点的情况。本文给出的改进算法无此限制，从而拓宽了基于多元分类树示例学习方法的应用范围。     

树结构参数化设计的搜索策略与算法

从机械工程图尺寸标注的特点出发，提出了一套新的参数化设计方法，并阐述了尺寸链中各级尺寸的搜索方法、尺寸驱动算法、中心线对称标注尺寸的搜索及尺寸驱动算法．     

FMS系统中的实时故障监测与系统评价

该文对FMS系统中的实时故障监测与系统评价进行研究。在考察静态故障树组成结构和运行环境及FMS的运行特征的基础之上、提出了FMS的一般实时故障树模型及其面向对象的知识表示与推理方法。该方法综合运用故障树授术、面向对象的节点描述及存贮和正．反向推理策略，达到了迅速、准确检测故障的要求。文末给出该系统的组成结构和实现方法，通过实际系统的试验运行，证明了该方法的有效性。     

两种二叉树深度求解非递归算法的实现

二叉树深度求解是一个有多解的问题，从算法的时间复杂度和空间复杂度着眼，采用追踪栈顶指针，层次遍历的两种算法实现二叉树深度的求解，并对算法进行了分析和比较。     

A.J.Schwenk猜想的证明

本文证明了偶图G的特征多项式P(G;X)=sum from k=0 to m ((-1)~ka_(2k)x~(n-2k))的系数a_(2k)是单峰的.因为树是偶图,所以A.J.Schwenk关于树的特征多项式的系数具有单峰性的猜想可由本文的结论直接得到验证.     

关于唯一r－偶泛圈图

设ｒ是不小于４的偶数，一个阶为ｖ（ｖ为偶数）的偶图Ｇ称为唯一ｒ－偶泛圈图，如果对每一偶数ｔ（ｒ≤ｔ≤ｖ），Ｇ恰含一ｔ圈，而不含长小于ｒ的圈。若Ｇ是唯一ｒ－偶泛圈图，则称Ｇ为ｒ－ＵＢ图，设Ｇ是ｒ－ＵＢ图，Ｃ是Ｇ的Ｈａｍｉｌｔｏｎ圈，本文约定Ｇ中不在圈Ｃ上的边全画在Ｃ的内部，并称这些边为Ｇ的桥．如果Ｇ的一条桥的两个端点在圈Ｃ上分离另一条桥的两个端点，则称这两条桥是交叉的．有ｎ对交叉桥的ｒ－ＵＢ图称为ｒ－ＵＢ［ｎ］图．本文确定了所有ｒ－ＵＢ［１］图．     

0／1背包问题的动态状态树的回溯算法

本文给出了一个以动态状态空间树为基础的０／１背包问题的回溯算法．动态树方法对求解线性规划问题等是非常有用的，该算法所用时间比静态状态空间树方法要少．文中给出的Ｓｐａｒｋｓ算法经用Ｃ语言写成程序上机验证，思路正确     

关于3x + 1 猜想的一些递推关系

用Ｎ表示自然数集，Ｊ表示３ｘ＋１运算，Ｈ＝｛ｎ∈Ｎ：有ｋ∈Ｎ是Ｊ＾ｋ（ｎ）＝１｝。猜想Ｈ＝Ｎ便是所谓３ｘ＋１问题。本文关于这一问题给出了几个递推关系。     

自由曲面检测中点云偏差色斑图的显示

针对基于实体CAD模型的数字化检测过程中可视化偏差表示的效率问题,提出了一种采用K-D树的近似偏差可视化表达方法.与点到自由曲面精确偏差表达不同,首先对待测CAD模型曲面进行指定尺度的离散,形成CAD模型点云数据.然后,利用K-D树的分治搜索策略,使点与面距离计算近似地表达成点与点的距离计算,使算法的运算复杂度由O(N3)降低为O(N2logN),其表达精度达到全局性观测的目的,并在ACISRⅡ与HOOPS800图形平台上通过结点颜色插值实现点云色斑图的显示.最后,以某型号车灯零件为例进行验证,取得了较好的效果.