关于顶点子集凝聚度的若干定理

本文研究负集、正集、零集的必要条件；充分条件以及负集、正集、零集间的关系．     

p-E-凸集及其若干性质

在p-凸集和E-凸集概念基础上,通过将p-凸集和E-凸集相结合,提出了一种广义凸集——p-E-凸集,使得凸集、p-凸集和E-凸集成为它的特例,推广了凸集的概念.最后,初步研究了p-E-凸集的性质.     

集值鞅与拟鞅以及L~1-极限鞅关系定理

讨论了集值鞅、集值拟集、集值Ｌ１－极限鞅之间的关系,得到了集值鞅集值拟鞅集值Ｌ１－极限鞅,而集值Ｌ１－极限鞅可用集值鞅逼近,以及集值Ｌ１－极限鞅存在集值拟鞅子列等关系定理     

随机过程中可及集的特性

可及集是与可料集相联系的一类可测集,与可及集相对应的是可及过程.相较于循序集及可料集,可及集是一类被较少讨论的集合类.本文较系统地讨论了可及集与可料集,可及集与循序集的关系.此外,还给出了循序可测性的一个便于应用的等价定义.     

基于改进集的集值Ekeland变分原理的等价性

根据各种Ekeland变分原理的等价形式,主要研究具有改进集的集值Ekeland变分原理的等价性。首先利用具有改进集的集值Ekeland变分原理证明了集值Caristi-Kirk不动点定理,集值Takahashi非凸极小化定理和集值Oettli-Théra定理。进一步研究具有改进集的集值Ekeland变分原理、集值Caristi-Kirk不动点定理、集值Takahashi非凸极小化定理和集值Oettli-Théra定理的等价性。     

双枝模糊粗集

为进一步揭示模糊集、双枝模糊集与粗糙集的关系,在双枝模糊集及粗糙集的基础上,给出了上枝模糊粗集,下枝模糊粗集及双枝模糊粗集的概念;利用双枝模糊集及粗集的性质,讨论了下枝模糊粗集,上枝模糊粗集和双枝模糊粗集的性质.由讨论可知,双枝模糊集与粗集具有紧密的联系,由二者融合构成的双枝模糊粗集与模糊粗集具有类似的性质,双枝模糊粗集是模糊粗集的推广,而模糊粗集是双枝模糊粗集的特殊情况.     

动力系统点集n次迭代的不变性

周期点集、回归点集、ω-极限集是动力系统中几个重要概念点集,回归点集、ω-极限集、非游荡点集的概念都是在周期点集概念的推广下得到的,都是动力系统中的重要点的集合.在周期点集的迭代不变性的研究下进一步讨论了回归点、ω-极限集的迭代不变性.     

粗模糊集的嵌入集的性质

为了进一步揭示粗集和模糊集的内在联系,在粗集和模糊集的基础上,讨论了粗模糊集的嵌入集的性质;利用模糊集的截集,讨论了粗模糊集的嵌入集的截集性质;给出了粗模糊集的嵌入集的性质定理及其截集的性质定理。     

关于拓扑动力系统中几个点集的等价性问题

对拓扑动力系统中几个重要点集——游荡点集、非游荡点集和回归点集进行讨论,得到游荡点集和非游荡点集的几个等价定义,以及几个点集的等价性及其证明．     

变异S-粗集与它的变异结构

提出了变异S-粗集，给出单向变异S-粗集与双向变异S-粗集的数学结构；提出变异S-粗集与S-粗集的对偶性定理与变异一对偶原理．变异S-粗集是S-粗集研究的一个新方向．     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

四值非全序R0命题逻辑上的随机伪度量

 通过引入随机化映射和真度权函数等概念,在四值非全序R₀命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R₀命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.     

Output-back fuzzy logic systems and equivalence with feedback neural networks

A new idea, output-back fuzzy logic systems, is proposed. It is proved that outputback fuzzy logic systems must be equivalent to feedback neural networks. After the notion of generalized fuzzy logic systems is defined, which contains at least a typical fuzzy logic system and an output-back fuzzy logic system, one important conclusion is drawn that generalized fuzzy logic systems are almost equivalent to neural networks.     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

一种面向业务过程管理的企业资源模型

目的解决业务过程管理系统中过程建模与过程执行过度耦合的问题。方法通过对组织机构/角色模型的分析,提出了将过程控制逻辑进一步分解为路由逻辑与管理逻辑的思想,提出了描述管理逻辑的企业资源模型并进行了形式化描述。结果通过把企业中的功能作为一种资源由资源管理系统进行管理,实现了路由逻辑与管理逻辑的分离,使过程定义与执行之间的耦合程度大大降低。结论基于企业资源模型的业务过程管理系统,具有模块更清晰、柔性更突出、分解粒度更小等优势。     

一种S-蕴涵模糊逻辑系统的真度理论

利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln，n值G6del逻辑系统Gn，n值乘积逻辑系统Pn，n值标准序列逻辑系统Sn和n值L^＊逻辑系统Wn中的MP滤子的分布情况，并讨论了这些MP滤子与格滤子的关系.