关于概率度量空间的等距度量化

文献[1～4]对概率度量空间进行了等距度量化,得到了 定理A PM空间(E,F)等距同构于一个准度量族生成空间PM空间(E,F)等距同构于一个伪度量族生成空间空间(E,F)等距同构于一个度量空间。     

参数化啮合斜齿轮三维有限元网格的自动生成

提出了一种参数化啮合斜轮三维有限元网格自动生成方法，并编制了相应的计算机程序，只需输入啮合斜齿轮必要的参数，即可自动生成一对啮合余轮的三维有限元网格。对所提出的方法及程序进行了计算机仿真验证。     

面向对象的FMS运控软件自动生成系统

介绍了面向对象的ＦＭＳ运控软件自动生成系统，阐述了ＦＭＳ空软件自动生成的可行性，分析了软件自动生成的方法，应用程序生成器的方法实现目标软件的自动生成，提出了自动生成系统的基本结构和系统模型，分析了建立软件自动生成系统的关键技术。     

树Hn的道路多项式

道路多项式Ｐｋ（λ）是上，下对角线元素是１，其它元素为０的Ｋ阶方阵的特征多项式，ｋ≥１，记Ｐ０（λ）≡１，连通图的邻接矩阵是不可约的（０，１）一对称矩阵，这类矩阵的道路多项式的计算有重要的组合意义，图Ｇ的邻接矩阵记作Ａ（Ｇ），若对任何ｎ，Ｐｎ（Ａ（Ｇ））≥０，则称Ｇ是道路正图，该文给出了对任何ｋ≥０，树Ｈｎ，ｎ≥６的邻接矩阵Ａ（Ｈｎ），则称Ｇ是道路正图Ｐｋ（Ａ（Ｈｎ））的表达式。树Ｈｎ，ｎ≥６，是     

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

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

浅议数列生成函数

本文介绍了数列生成函数,通过举例说明,在二项式系数的级数证明中,使用数列生成函数证明的一些技能与技巧。     

亚度量族生成空间中的闭球套定理和Baire定理

引进亚度量族生成空间的概念，给出了这类空间中的闭球套定理和Ｂａｉｒｅ定理．     

生成子图与图的哈密顿性质

主要证明了以下结果；１．如果Ｇ是一个连通的无爪的非哈密顿图，则Ｇ至少有一条长为２δ＋的路。２．如果Ｇ是一个２连通的无爪图，且δ（ｐ－２）／３，则Ｇ是可迹的。３．Ｇ是一个２连通的无爪图，且不含生成子图Ｂ工Ｇ１，如果Ｇ的每个朵匀于Ｚ２的生成子图都满足ψ（α１，ｂ１）ˇψ（α１，ｂ２），则是Ｇ是泛圈图。     

（m，n）－树的次集和次序列

定义了（ｍ，ｎ）－树的次集和次序列的概念，并且定义一个集Ｄ是（ｍ，ｎ）－可实现的如果Ｄ是某个（ｍ，ｎ）－树的次集．证明了：如果Ｄ是具有最大元素ｄ的数集，则对某个ｋ’，ｋ’≥（ｄ－１）δ是（ｋ’－δ，ｋ’）－可实现的当且仅当Ｄ有一个实现是一个具有ｄ个极大单形的（ｄδ－δ－１，ｄδ－１）－树，并且对任意ｋ≥（ｄ－１）δ，Ｄ也是（ｋ－δ，ｋ）－可实现的     

超临界CO2提取树兰花浸膏

在３３－５５℃，１０．０－２４．０ＭＰａ范围内测定了超临ＣＯ２对树兰花浸膏的溶解度，研究了传质过程的影响因素。树兰花适当粉碎，能有效地提高过程传质速率，提高产品收率；超临界ＣＯ２中溶质浓度随ＣＯ２的停留时间增加而增加。