一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

Meta-Heisenberg代数的导子代数

给出了有限维Meta-Heisenberg代数的导子代数，并证明了它是完备李代数。     

新型大地坐标系中的大地主题解算

基于地球椭球面上所构建的新型大地坐标系，推导出用新大地纵横坐标表述的大地主题解算公式，并研制了相应的正反解算法．与基于大地经纬度的大地主题解算公式相比，更为简捷明了．由实际计算数据表明，在南北向最大跨距达400km、东西向则不受限制的范围内，对于50km以下的距离解算，它亦能达到相当高的精度．因此，这种以新大地坐标表述点位的新型大地坐标系，不仅可用于简化地球椭球面上的计算，更可用于三维GIS建模．     

简单迹极限的基本可比性

引进了简单迹极限的相关概念，简单介绍了与C^＊代数SP性质密切相关的F性质，并且得到了非基本的单的具有SP性质的C^＊代数具有F性质．在此基础上得出简单迹极限的基本可比性．其主要结果：设A为具有F性质的带单位元1的C^＊代数，且A的迹态空间T（A）为非空集，如果对每个自然数n，An具有基本可比性，则An的简单迹极限A也具有基本可比性。     

B(a)cklund变换和微分差分方程

主要研究构造非线性演化方程的B(a)cklund变换的新途径.首先从一个连续的谱问题出发,借助于Lax对的非线性化方法,推导出连续的非线性演化方程,然后应用谱问题的相容性,构造了两个非线性微分差分方程,这两个方程恰好是一个连续的非线性演化方程的B(a)cklund变换.     

*EI 拓扑分子格在聚类分析中的应用

本文在引入AFS代数和AFS结构的基础上,通过对AFS代数上拓扑分子格结构的讨论,给出了EM中,由一些模糊概念生成的拓扑分子格所诱导出的X上拓扑的几点性质,并利用这些性质,对一个实际例子构造了隶属函数进行聚类分析,说明了这些性质在聚类分析中的应用。     

代数体函数的增长性

先研究了代数体函数的唯一性性质,然后研究了代数体函数及其系数函数的增长关系.     

关于微分中值定理"中值点"的讨论

在罗尔定理、拉格朗日中值定理给出“中值点”ξ的存在性的基础上,给出并证明了在一定条件下“中值点”ξ的唯一性,并对ξ的个数问题及高阶导数相应的“中值点”的存在性问题进行了探讨.     

一个已知结论f-1(σ(C))=σ(f-1(C))在命题证明中的应用

定理的重要性具体体现在命题的证明中.利用定理证明某些命题,会收到明显的效果,从而真正体现其作用.