有限扰动模糊命题逻辑系统的Σ-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。     

Goedel系统中一种降级算法及性质

与Goedel系统中广义重言式之间的一种升级算法相对应，作者给出了Goede1系统中广义矛盾式之间的一种降级算法，对其基本性质进行了讨论，并讨论了Goedel系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则，为进一步对Goedel系统的研究提供了帮助。     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

直觉模糊命题逻辑公式的概率真度

定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则。最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果。     

命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论

将模糊命题逻辑系统中的∑-（α-重言式）理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑г-模糊真度理论，讨论了其中的主要性质。特别地证明了真度关系：τг（A）＋τг（A—B）≤1＋τг（B），并利用这一关系在模糊命题演算系统Ln中的公式集F（S）上引入相对于有限理论的Г-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。     

Gainse-Rescher逻辑系统中子代数的广义矛盾式

本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。     

具有扰动的广义离散系统的鲁棒控制算法

对具有指数扰动的广义离散系统该文用状态反馈设计一种控制算法，使系统渐近稳定而且对目标实现渐近跟踪。     

Gdel系统中一种降级算法及性质

与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助.     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。     

命题逻辑系统(L)n中公式相对于有限理论的∑Γ-模糊真度理论

将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统(L)n中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.特别地证明了真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B),并利用这一关系在模糊命题演算系统(L)n中的公式集F(S)上引入相对于有限理论的Γ-伪距离, 从而为在模糊命题逻辑系统(L)n中建立相对于有限理论的近似推理框架奠定了基础.     

一类广义逆的代数扰动

介绍了~$\alpha-\beta$~广义逆的一些性质, 利用这些性质, 分三种情况讨论了α-β 广义逆的 代数扰动理论, 并给出了该种广义逆的代数扰动的表达式.     

n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

G(o)del系统中一种降级算法及性质

与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.     

模糊模态逻辑系统M■uk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。     

半群直积下的主广义模糊α-理想

研究了半群直积下的主广义模糊α-理想在满自同态映射等环境下的性质,并利用这些性质对两个主广义模糊α-理想是否可比较给出了一个等价条件．     

用扰动逼近算法解广义混合拟-似变分不等式组

引入和研究了一类广义混合拟似变分不等式组，借助η-次微分及η-逼近映射，给出了求此类变分不等式组的近似解的扰动η-逼近算法，并证明了此类变分不等式组的解的存在性及算法的强收敛性。     

用扰动逼近算法解广义混合拟-似变分包含

本文在无限维实Hilbert空间中引入和研究了一类广义混合拟-似变分包含问题GMQLVIP(A,B,C,D,F,η,φ),在η-次微分和η-近似映象等概念的基础上,证明这类广义混合拟-似变分包含问题的一个等价命题,即设x∈H,a∈A(g(x)),b∈B(x),c∈C(x),d∈D(x),f∈F(x),则(x,a,b,c,d,f)为问题GMQLVIP的解当且仅当(x,a,b,c,d,f)满足关系g(x)=JΔφ(·,f)ρ(g(x)-ρ(a-N(b,c,d) w)),提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果.     

用扰动逼近算法解广义混合拟-似变分包含

引入和研究了一类广义混合拟-似变分包含问题,借助η-次微分和η-近似映象,提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果．