寻找最小生成树的度优先算法

利用Ｋｒｕｓｋａｌ和Ｐｒｉｍ算法的优点，从图的每个顶点的度数入手，采取删除某些无用边的思想方法，给出了一个寻找最小生成树的算法。算法的最坏复杂度为Ｏ（ｍ－ｎ）ｌｏｇｍ），平均复杂度为Ｏ（（ｍ－ｎ）ｌｏｇｎ），就复杂度的常数因子而言，均优于Ｋｒｕｓｋａｌ算法与ｋｉｍ算法，其中ｍ为图的边数，ｎ为图的顶点数。     

含有奇异元件的有源线性网络计算机辅助分析

本文讨论了含有奇异元件的有源线性网络计算机辅助分析的问题,并提出了能解决问题的有效算法。根据本算法,用Pascal语言编写的UECAD程序,是个通用程序,可用以对任何线性电路,同时作可解性问题,复杂度问题,状态方程问题和输出方程问题的分析。这个程序曾在IBM-PC机上运行,效果很好。     

分布式数据库中链查询及树查询全缩减的并行计算

求解对数据库进行全缩减的半联接序列及并行执行这些半联接序列，给出了链式查询全缩减并行计算的一个有效算法，并推广到树查询中。     

用故障树分析煤矿瓦斯爆炸引起的伤亡事故

通过对４９起煤矿瓦斯爆炸典型案例进行的统计，运用故障树分析（ＦＴＡ）．找出了事故发生的可能途径．提出了预防事故的对策表。     

多叉树结构及其实现

讨论了多叉树结构，把二叉树、三叉树概念统一起来，给出实现该结构的方法，并有效地解决了三叉树结构中浪费存储空间的问题。     

关于最小欧拉定向的算法

给出了无向边集是支撑树的混合图为欧拉图的充要条件，在此基础上，结合Guan和Pulleyblank算法，给出了另外一种求解最小欧拉定向的算法。     

燃气锻压机床微机控制系统的故障诊断

本文利用工程故障诊断理论的故障树分析法,首先建立合理的系统故障树,然后根据由故障树得到的结构函数进行定性和定量分析,从而获得最佳诊断决策,对一计算机控制的锻压机床进行了有效的故障诊断.     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。     

新疆树木年轮研究特色

本对40多年来新疆树木年轮研究工作做了简要总结．发现有以下研究特色：1．在年轮水学方面开启了我国利用树木年轮重建河流径流量和河流径流深度场研究的先河；2．在年轮气候学方面，主要是利用树木年轮重建空间上大尺度的气候要素变化，开创我国沙漠地区树木年轮研究工作，利用树木年轮重建某地区单旬降水和山区降水日数，研究了雪与树木年轮的关系以及冰期与降水的关系，创立大样本、多年表、面控制的采轮布局策略等；3．在年轮与环境方面利用树木年轮做春小麦气候产量预报，建立了树木年轮与大气环流因子的关系等。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．