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

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

线性算子群和n阶发展方程的积分

Hille与Yosida在本世纪40年代后期分别建立线性算子半群理论,研究了线性算子半群的可微性,得到齐次一阶发展方程的解用线性算子半群表述出来的公式,即在Banach空间E中的线性算子半群{T_t;t≥0}的生成算子A是E中的闭稠定算子,如果x∈D(A),则T_tx在区间[0,∞)上强可微,并且     

并行分布式图形生成系统

文章介绍了基于计算机网络的分布式并行图形生成系统，该系统符合ＯｐｅｎＧＬ规范．系统提出了利用非均匀分解实现负载平衡的分解算法，设计了具有自适应能力的体系结构，其研究结果可直接在微机和普通工作站组成的计算机网络上应用，也可用于开发高性能三维图形系统上．     

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

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

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

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

车削中进给方向毛刺形态转换的研究

毛刺是金属切削加工中产生的常见现象之一.它不但降低了工件的加工精度,也增大了加工成本,成为制约精密加工和自动化加工技术发展的主要因素之一.近年来,工业发达国家的机械工程专家和学者相继开始对金属切削毛刺的生成机理及去除技术进行研究,取得了一些重要成果,但到目前为止,关于毛刺形态转换的研究尚不多见.而搞清毛刺形态的转换条件是实现有效地控制毛刺的关键.为此,本研究以切削实验为基础,对车削加工中进给方向毛刺形态的转换规律进行系统的研究.1 进给方向毛刺的基本形态金属切削中产生的毛刺与切削过程紧密相连.按照切削运动——刀具切削刃毛刺分类体系,金属切削加工中产生的毛刺可以分为两侧方向毛刺、进给方向毛刺和切削方向毛刺.     

浅议数列生成函数

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

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

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

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

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

霍尔器件构成的速度检测器

介绍一种由霍尔器件和频率电压转换器构成的速度传感器。该传感器具有较高的灵敏度，结构简单，所需的驱动力矩小。采用了频率与电压的转换，所带来的误差小，并且既可用于控制模拟电压装置，亦可用正比于速度的脉冲数控制数控装置。