一类新的左连续三角模族及其伴随蕴涵算子族

给出一种构造带参数的左连续三角模的新方法,由此得到7种新的左连续三角模族及其伴随蕴涵算子族。证明其伴随蕴涵算子均满足正则性。

构造三角模的新方法

根据上下确界的性质,首先利用一个满足交换律和结合律的二元函数得到了几个构造三角模和三角余模的方法;然后又利用一个只满足结合律的二元函数得到了几个构造三角模和三角余模的方法。

正则蕴涵算子的统一表达式

简化了正则蕴含算子的定义,证明了蕴含算子具有伴随三角模与具有正则性是等价的,给出了正则蕴涵算子的统一表达式.

三值乘积逻辑系统π_3中的随机化研究

利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。

n值逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值逻辑系统Rn提出了公式的DRn-真度的概念。给出了两公式间的DRn-相似度与伪距离的概念,建立了DRn-逻辑度量空间。

蕴涵算子族R_λ-L∏GN及其三Ⅰ支持算法

给出了一族新的伪三角模族Tλ-L∏GN及其伴随蕴涵算子族Rλ-L∏GN,它包括Lukasiewicz蕴涵算子、Gdel蕴涵算子、R0蕴涵算子及R∏蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族Rλ-L∏GN的FMP模型的三Ⅰ支持算法和α-三Ⅰ支持算法。

Π系统中公式的真值函数及真度分布

以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。

蕴涵算子族G-λ-0的支持度与三Ⅰ算法

首先给出了一个新的蕴涵算子族G-λ-0(λ∈[0,1]);然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三Ⅰ支持算法。

L*系统中由单个原子生成公式的真度分布

以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。

Gdel中单个或两个原子生成公式的真度分布

以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。

三角模族T_(q,p)-LGN与逻辑系统LGN

首先,给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)),分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM)的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族。

正则蕴涵算子族G-λ-R_0及其三I支持算法

首先给出了一个新的蕴涵算子族:G-λ-R(0λ∈[0,1])(它包括G觟de(l简称RG)算子与R0算子)。然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性。结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性。从而说明了此算子是较理想的蕴涵算子。最后讨论了基于此蕴涵算子族的三I支持算法。

n值Gdel逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值Gdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.

矩阵左半张量积的推广——泛张量积及其性质

通过对程代展教授在文献[7]中提出的左半张量积的概念进行推广,得到了一种更为普遍的矩阵乘法,称做泛张量积.然后,比较了它与矩阵普通乘法已经与张量积,半张量积间的关系,并且给出了它的一些重要性质.

逻辑系统Gdel,Luk,L*中命题真度值的分布

分别研究了Gdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论。

L＊系统中的函数决定公式问题

基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。

n值逻辑系统子代数个数之讨论

在广义和狭义两方面分别研究了六个系统Ln,Sn,Gn,Kn,Zn,Wn的子代数的个数的特征及其计数问题。由此,得到了逻辑系统Ln,Sn,Gn,Wn,Kn,Zn的子代数个数及其性质。

企业文化在企业管理中的作用

随着我国经济的快速发展,企业之间的竞争越来越激烈,企业管理是企业增强竞争力的有效手段,而企业文化是企业管理的重要组成部分,为企业的发展指引方向。本文主要通过了解企业文化和企业管理的概念,分析企业文化在企业管理中的影响和作用,探讨一些将企业文化融入企业管理的办法和措施,力求帮助企业可以长远发展,在市场竞争中占有自己的一席之地。

应用单元整体教学法 建构历史高效课堂

在初中历史教学中,教师要基于单元整体教学的思想,构筑历史的高效课堂。在整体化教学的过程中,教师要注意调整教学顺序,实现科学重组;引导学生绘制思维导图,探索隐藏规律;分化目标,形成系统的教学结构;多元拓展引导学生展开深度探究,从而让学生的历史学习效率得到显著提升。

初中历史“魅力课堂”的有效构建——以“古代埃及”教学为例

兴趣对于学生而言犹如一剂"兴奋剂",可以让学生由纯粹的学习转变为因感受课堂魅力而对历史知识痴迷,使学习过程成为一种享受。教师不妨扮演导游的角色,带领学生走进古埃及的神秘世界,激发学生学习的兴趣;以问题驱动学生自主学习,通过检测了解学生的学习状况;借助类比教学法,帮助学生理解知识。通过"引""问""比"教学步骤,使学生徜徉在魅力横生的历史课堂中。