一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

形式系统L*(n)的完备性

模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的     

形式系统T^*(n)的完备性

模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到｛T^*(n)｝,使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。     

基于FI-代数的一阶模糊谓词演算逻辑系统

在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统.主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性.这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题.     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

强正则剩余格值逻辑系统（L）N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

n维模糊度量空间及其完备性

定义了n维模糊向量的模糊距离、n维模糊度量空间及其完备性的概念,实现了用R上的模糊数度量模糊向量间距离的目的,不仅使得模糊距离的度量更加合理、更加贴切,也创立一套独立于实数的模糊数学分析理论打下了基础。     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

模糊Horn子句逻辑形式系统

简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。     

复指数系的完备性

对直线上的非负凸函数α,设Cα是由直线R上所有满足当t趋向无穷大时,f(t)exp(-α(t))趋向零的复连续函数f全体,在一致范数下,Cα是Banach空间.文中得到了复指数系在Cα中完备的充要条件.     

复指数系的完备性

对直线上的非负凸函数α,设Cα是由直线R上所有满足当t趋向无穷大时,f(t)exp(-α(t))趋向零的复连续函数f全体,在一致范数下,Cα是Banach空间.文中得到了复指数系在Cα中完备的充要条件.     

渗滤系统及其数学模拟

建立了多相体系在多孔介质中渗滤分离过程的数学模型，并进行数值模拟。对此模型分两类进行讨论，一类求出解析解，推广了已有结论，另一类利用差分法建立了数值解的编码迭代公式，同时给出了一个数值模拟的例子。     

Banach压缩映象原理与空间完备性

本文揭示了Banach压缩映象原理与空间完备性的关系,证明了在具有一致局部连通性的距离空间中,压缩映象原理与空间完备性仍然等价.     

AN ELEMENTARY SYSTEM AS AND ITS SEMI-COMPLETENESS AND DECIDABILITY

The author establishes an elementary system AS which contains functions +, ? and a constant 0 and then proves the semi-completeness and the decidability of AS, using the theory of systems of inequalities.     

Gabor系的稳定性与完备性

本文证明了如下两个结果.(1)设g∈L2(R)具有紧支集且有界,若{e2πixmtg(t-yn)}为一Gabor标架,则存在正常数A,B,使A≤∑|g(t-yn)|2≤B几乎处处成立.(2)设g∈L2(R)具有紧支集且ab为正有理数,则{e2πmbtg(t-na)}在L2(R)中完备的充分且必要条件是0＜ab≤1且sup|g(t-na)|＞0几乎处处成立.     

广义数及其应用(Ⅰ)

本文在文献[2]的基础上引进广义数系统,定义了以广义数为基础的广义函数(本质不同于L.Schwartz的分布),研究了勒贝格积分的推广,将这理论应用于分布,便得到对σ函数等的自然理解,对广义数应用于量子场论中,也作了一些尝试性的工作。     

向量递归迭代函数系统及其不变测度

本文阐述了RIFS和IFS之间的关系,并对定义在一组紧空间上的向量递归迭代函数系统(VRIFS),定义了Markov算子,给出Markov算子是压缩算子的条件,描述了其不动点即广义递归迭代函数系统的不变测度.文中还给出了相应的拼贴定理.