古构造残余应力场X射线测量

以岩体正交各向异性弹性理论为基础,用 X 射线衍射法,沿红河断裂带布设7条测线,完成了岩体中三维残余应力测量,绘出了宏观残余应力场等值线及主应力线图.     

由高斯-克吕格投影平面直角坐标反解地理坐标的方法

根据高斯—克吕格投影平面直角坐标X，Y的公式，设计了适用于CASIOfx—4800P计算器的程序，提出了利用正算程序采用有理逼近法反解地理坐标φ，φ的步骤和方法。     

基本地貌形态数学定义的研究

根据拓扑学中覆盖和同胚的定义 ,论证等高线图形保持着覆盖它的三维曲面的拓扑性质 ,据此我们可以在平面上定义和描述三维曲面的空间特性。继而给出了如斜坡、山、山脊、凹地、谷地、鞍部等基本地貌形态的数学定义。这些数学定义使局限于定性描述的基本地貌概念获得了精密的数学形式和定量的刻划 ,并揭示了事物从量变到质变的变化规律和内在联系     

地图编绘的布尔代数运算原理及制图综合算子数学模型

根据基本集合X的幂集T(X)为布尔代数的数学原理，指出从基础底图X1向编绘原图X2实现的编绘过程实质上是布尔代数的运算过程。对选取、舍弃、派生、增补等制图综合算子分别给出了数学模型。     

多种地图符号系统布尔代数结构的简要证明

布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号系统的布尔代数结构,分别作出了有别于应用布尔代数定义和定理的简要证明。文章给出了以点的特征变换构建地图符号、地图注记和实现面状域色彩变换的实例,阐释了地图图像系统中的布尔运算;还给出了通过基础图层上地图符号的增删,构建不同图层和不同图层叠合构建不同类型地图的实例,说明以点集形式为基本元素的地图符号系统和地图数据库系统也适于布尔运算。