基于本体几何特征分析的产品制造行为推理

将本体理论应用于产品制造行为建模和推理中.通过分析零件的加工面邻接图,逐个提取产品的几何特征,从而形成制造行为的静态本体模型;以无向图的布尔运算和本体建模理论作为基础,分析零件的加工进刀方向,对静态本体模型中的特征归纳优化,形成可供分析的几何本体的过程序列模型.     

Coarsely Invariant Hilbert Spaces over Infinite Connected Graphs

We study in this paper a Hilbert space HV associated with the coarse geometry of an infinite connected graph X(V,E) with vertex set V and edge set E. We show that X( V, E) is uniformly expanding if and only if l2( V) can be continuously included in HV as a closed subspace, and that the inner product structure of HV is topologically invariant under uniform coarsening of the graph. We also discuss the functorial properties of these Hilbert spaces.     

一种立体校正算法的研究

提出了一种新的立体图像对的校正算法。该方法无须计算原图像对的基本矩阵和极线几何关系，而是直接利用校正后立体图像对的基本性质将其转换成一个二次优化问题。实验证明，利用该校正算法可以获得较好的结果。     

粒子物理中几种可能应用的新数学方法和拓扑模型

在粒子物理中探讨了四元数、符号动力学等新的数学方法,几种可能应用于振荡的数学方法,及与时间有关的粒子理论;讨论了非线性理论和相应的定性分析理论的结果;研究了粒子的拓扑模型和分形模型;最后提出弱相互作用可能相应于Lobachevsky几何.     

一类特殊的交错矩阵几何

设F是域,KS2n(F)表示F上所有形如(0,A,-tA,0)的交错矩阵的的集合,其中A∈Fn×n(n≥2),φ是KS2n(F)到自身的保距离可加性的双射,本研究主要讨论φ的代数表达式。     

缓和曲线空间扭曲箱梁预制拼装施工关键技术研究

厦漳跨海大桥的北汊南引桥为预制节段拼装箱梁桥,本文介绍了其中的技术特色,包括空间扭曲箱梁短线匹配法预制、架桥机拼装工艺,自动化模板与架桥机设备研发,施工控制关键技术等多项研究成果.     

Finsler几何中Bao-Chern联络的合理性

利用标架场的变换公式证明David Bao与S.S.Cheern确定的射影化芬斯 拉联络的合理性。     

《授时历》中的招差法和弧矢割圆术研究

研究了《授时历》中的招差法和弧矢割圆术的构建原理。结果表明，前者即现在的三次内插法，古代是从一些实测数据出发，利用代数方法构造一个确定天体在每一时段所处位置的算法，并用表格和公式的形式表示出来；后者是中国历法计算中首次使用的球面几何方法，系应用古代的勾股算术和沈括的“会圆术”并结合高次方程来解决天文测量问题。通过中外比较认为，牛顿内插法晚于中国招差示近400年，而弧矢割圆术的使用标志着中国数学上的球面三角法思想的出现。     

结构的模糊可靠度分析

结构可靠度指标是结构可靠度分析的关键.本文在分析结构可靠度模糊性的基础上,首先指出结构失效破坏是一个模糊随机事件,并给予模糊可靠度指标β_1和初指标β?的定义,同时导出β_1的近似计算公式,最后以佛子岭连拱坝观测资料为例,说明模糊可靠度的分析方法.     

非完整力学的辛几何方法

以一个特殊辛流形的Lagrange子流形的子流形的形式研究了非完整自治力学系统,分别考虑了力学系统的Hamilton描述和Lagrange描述。