简单图类的生成树数（Ⅰ）

连通图的生成树是该图的极小连通生成子图．本文通过Ｃａｙｌｅｙ公式及求解递推关系方程，分别求出了三类简单外平面图Ａ＿ｍ，Ｂ＿ｍ和Ｚ＿ｍ的生成树的棵数，给出了它们的递推关系式及通项表达式．     

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

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

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

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

Chemical composition of decomposing stumps in successive rotation of Chinese fir （Cunninghamia lanceolata （Lamb.） Hook.） plantations

Decomposition of stumps in successive rotation of Chinese fir （Cunninghamia lanceolata （Lamb.） Hook.） plantations was studied using a chronosequenee approach. The results showed that decomposition rate constant of Chinese fir stump was 0.02695 as calculated from Olson＇s model. The N content of stump increased during the first two-year decomposition. When the dead stump C/N ratio was 463.2 ± 27.3, the stumps started to release N. The pattern of P release was similar to that for N. However, K content of stumps showed a consistent declining trend over time during the whole decomposition. ^13C nuclear magnetic resonance spectroscopy with cross polarization and magic-angle spinning （^13C CPMAS-NMR） was used to analyse organic carbon （C） components in decomposing stumps. The ^13C CPMAS-NMR spectra of stumps displayed that stump was dominated by cellulose and hemieellulose. The spectra also showed the accumulation of intensity in alkyl C, aromatic C, and earboxyl C spectral regions, which was expected as the labile cellulose and hemieellulose components in O-alkyl C spectral region were selectively decomposed first.     

树扩图生成树数的界

连通图的生成树是指该图的极小连通生成子图．在Cayley公式的基础上，给出树扩图生成树数的上下界．     

煤与瓦斯突出预报数据关联性的聚类分析

合理地选择突出控制因素是进行突出预测的关键技术之一．首先给出了基于系统聚类的突出预报数据关联性分析方法，通过DB Index准则判断聚类模型的有效性．然后研究了煤与瓦斯突出控制因素的选择规则．最后以平顶山煤矿为例，分析了该矿突出预报数据间的关联性，得到了相应的变量聚类树，并选择了主要的突出控制因素．仿真结果验证了所提出的突出控制因素选择方法的合理性和有效性．图2，表3，参11．     

基于标记树的WEB页面净化技术研究

根据Web页面标记建立标记树,通过分析,保留有用信息的标记子树,达到获取页面主要内容,净化页面的效果.     

一种CSCW群组通信路由算法的研究

对计算机支持的协同工作(CSCW)的群组通信中已有的两种主要的路由算法:反向路径分发算法和核心树算法进行了探讨,并在其基础上提出了一种新的路由算法:EGERET算法。     

一种基于Cross-Product与Hass Tree的IP分类算法

在Cross-Product算法的基础上,结合哈希树(HashTree)数据结构,综合二者的优点,提出了一种新的IP分类算法CPHTIT(Cross-Product and HashTree with index table).仿真结果表明CPHTIT在时间和空间上都达到了高速IP分类的要求,与现有经典算法Grid of Tries和Modular比较,其综合性能有所改进.     

基于隐Markov树的设备状态综合诊断模型

为了充分利用小波系数之间的统计相依性以更有效地诊断设备状态,提出了一种基于隐Markov树(HMT)的综合诊断模型。首先通过主成分分析将来自多个传感器的信号转换为主成分,求出各主成分对应的频谱,然后通过比较对已训练的各HMT模型的适应度,运用Bayes决策融合法则得到设备状态综合诊断决策。为了克服HMT模型存在的计算溢出困难,采用尺度变换对EM算法进行了改进。通过两个实例验证了该综合诊断模型具有较高的诊断准确率。