再论城市测量平面坐标系统的选择——怎样处置"投影长度变形"超限的问题

本文就城市大比例尺基本地形图如普遍采用国家统一3度带系列,将经常会出现"投影长度变形"超限这个问题,初步讨论了包括长度和面积的实时具体改正方法.     

基于正则蕴涵算子的三Ⅰ算法的性质

基于正则蕴涵算子分析了三Ⅰ算法的连续性与逼近性问题，指出在模糊连续输入的条件下，RL、RG、RⅡ型三Ⅰ算法均具有连续性与逼近性，并指出了R0型三Ⅰ算法具有连续性与逼近性的条件是↓Ax∈X，A^＊（x）∧A（x）〉1/2成立。     

几种逻辑系统中的近似推理理论

借助于逻辑系统中命题的真度理论, 引入命题之间的逻辑度量的概念, 并讨论其性质, 以此在几种常见的逻辑系统中讨论近似推理问题.     

广义MP规则

提出了广义ＭＰ规则与集体广义ＭＰ规则,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解。以三Ⅰ方法为基础,在连续值逻辑系统φ中讨论了广义ＭＰ规则与集体ＭＰ规则的语构意义下的解。又分别在二值与Ｌｕｋａｓｉｅｗｉｃｚ三值系统中给出了上述问题在语义意义下的解。以上理论可视为模糊推理在经典逻辑学中的非模糊形式。     

L~*中的典型赋值中介与公理系统的简化

出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ　　当且仅当├(Ａ→Ｂ)且├…     

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径     

逻辑系统L*n中命题的真度理论

利用势为n的均匀概率空间的无穷乘积, 在n值广义Lukasiewicz命题逻辑系统Ln^＊中引入命题的真度概念, 证明了全体公式的真度值之集在上是稠密的, 并给出了公式真度的表达通式及真度推理规则; 利用真度定义了公式间的相似度, 进而导出了全体公式集上的一种伪距离, 为n值命题逻辑的近似推理理论提供了一种可能的框架.     

广义AND-OR函数及其单层网络结构

证明了 AND- OR函数可用单层神经网络表达 ,并且其权向量恰为Fabonacci数列的截段 .引入了广义 AND- OR函数与广义 OR- AND函数 ,证明了它们都可用单层神经网络表达 ,并以广义 Fabonacci数列的截段为权向量 .     

论聚合与推理的顺序

给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合。本文证明了这两种方法都可以是相容的，并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的。     

不同蕴涵算子下的三Ⅰ算法

对三Ⅰ算法作了进一步的推广，详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ蕴涵算子、Ｇｏ¨ｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ⅰ算法的表达形式，同时给出了三Ⅰ算法为Ｐ－还原的充分条件．