含空值关系数据库中的多值逻辑的研究

论述了含空值关系数据库中的多值逻辑推导及演化过程 ,并且定义了基于三值逻辑运算的处理规则以及多值逻辑的应用     

一类近切触流形的子流形的无穷小变分

本文研究了Kenmotsu流形的子流形的无穷小变分，首先，获得了Kenmotsu流形的子流形的一些几何性质，其次，计算了在子流形上的诱导结构张量的变分，最后，研究了Kenmotsu流形的特殊子流形变到同类子流形的无穷小变分。     

微机控制纤维缠绕机四坐标联动数学模型的研究

本文借助微分几何，推导了微机控制纤维缠绕机四坐标的运动方程，并特别分析了旋转体测地丝缠绕中绕丝咀的运动规律和摆角方程．     

C‘对称黎曼空间中的子流形

本文引入Ｃ’对称黎曼空间的概念，在此空间中建立Ｓｉｍｏｎｓ型不等式，将子流形的两个结果推广到Ｃ’对称黎曼空间中。     

动态Kinnersley黑洞的视界

动态Kinnersley黑洞是变加速直线运动的黑洞．此黑洞的视界由零超曲面方程确定，通过对零超曲面方程及其解的研究．讨论了变加速直线运动黑洞视界的几种情况，给出了动态Kinnersley黑洞的内视界、外视界及宇宙视界的位置。     

主成分分析的一个黎曼几何随机算法

一个典型的求解主成分问题的方法是Oja-Sanger算法，但其不能保证迭代矩阵列的单位列正交性，实际计算时矩阵列甚至是无界的．将主成分问题等价变换为Stiefel流形上的一个二次优化问题，采用黎曼几何算法思想，获得求解主成分分析(PCA)的一个黎曼几何随机算法(自适应算法)．该方法可确保迭代矩阵列的单位列正交性．数值模拟结果表明，本文算法优于Oja-Sanger算法．     

32位时延无关异步流水线乘法器设计

提出采用Heaviside函数建立可精确描述门限门行为的数学模型，该数学模型可描述门限门的置位、复位行为．针对异步单轨逻辑健壮性差的缺点，基于零协议逻辑(Null Convention Logic)设计了双轨逻辑的时延无关32位异步流水线乘法器．乘法器基于改进的Booth编码和Wallace树．该乘法器与采取同样结构的同步乘法器的仿真结果表明，前者的性能提高了近4倍．     

椭圆形封头的展开方法

用测地线与法截线相结合的方法,提出椭圆型封头曲面的展开模式,并建立了数学模型,为用计算机展开椭圆型封头曲面提供了途径。可以提高展开效率和精度,并使这种方法与[JB1154-73]标准相匹配。     

关于具有平行平均曲率向量子流形

本文研究一般黎曼流形中具有平行平均曲率向量的子流形，得到了关于这类子流形的一个积分不等式及相应的一个余维数减小的定理，推广了S．T．Yau的一个结论．     

特殊曲面上测地线的几何特征

文章具体刻画了柱面、锥面、旋转曲面上测地线的几何特征,所得结果一方面匡正了某些文献关于锥面上测地线的错误断言,一方面推广了现有文献关于旋转曲面上测地线几何性质的描述。