格值命题逻辑系统中基于滤子的MP归结演绎 被引量：8

1

作者 夏世芬 秦应兵 徐扬 《模糊系统与数学》 CSCD 北大核心 2009年第1期1-5,共5页

给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的... 给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的自动归结推理奠定了理论基础。 展开更多

关键词 格蕴涵代数 格值命题逻辑 归结 滤子

下载PDF 职称材料

一种算子模糊逻辑系统及其Petri网推理算法 被引量：6

2

作者 夏世芬 毛大会 徐扬 《模糊系统与数学》 CSCD 北大核心 2008年第1期7-14,共8页

定义一种只带模糊文字以及模糊算子的模糊逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理,给出了算子模糊逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完... 定义一种只带模糊文字以及模糊算子的模糊逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理,给出了算子模糊逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理,最后用实例进行了验证。 展开更多

关键词 Λ-归结 PETRI网 T-不变量 模糊逻辑 模糊推理

下载PDF 职称材料

一种算子模糊逻辑系统 被引量：5

3

作者 夏世芬 徐扬 《四川师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第5期508-512,共5页

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法.

关键词 Λ-归结 算子模糊逻辑 模糊推理

下载PDF 职称材料

一种神经网络自适应PID控制器 被引量：3

4

作者 夏世芬 黄天民 《西南交通大学学报》 EI CSCD 北大核心 1998年第6期710-715,共6页

采用神经网络与模糊逻辑相结合的方式，构造了一种自适应ＰＩＤ控制器。该控制器用具有改进学习算法的神经网络作ＰＩＤ参数调节器，用模糊神经网络对被控对象进行模型辨识。综合了神经网络、模糊控制和ＰＩＤ控制的优点。结构简单，易... 采用神经网络与模糊逻辑相结合的方式，构造了一种自适应ＰＩＤ控制器。该控制器用具有改进学习算法的神经网络作ＰＩＤ参数调节器，用模糊神经网络对被控对象进行模型辨识。综合了神经网络、模糊控制和ＰＩＤ控制的优点。结构简单，易于实现，且适应环境能力强。 展开更多

关键词 神经网络 自适应控制 模糊模型 PID控制器

下载PDF 职称材料

子句集的神经网络归结(英文) 被引量：2

5

作者 夏世芬 黄天民 徐扬 《模糊系统与数学》 CSCD 2004年第2期62-67,共6页

给出基于神经网络的归结方法。首先将子句集S表示为δ形式,并且用算子对(·○, )引入两种类型的神经元;然后用这两种神经元构造子句集S的神经网络结构;而后给出基于子句集的神经网络的归结算法;最后证明了该算法的完备性,并用实例... 给出基于神经网络的归结方法。首先将子句集S表示为δ形式,并且用算子对(·○, )引入两种类型的神经元;然后用这两种神经元构造子句集S的神经网络结构;而后给出基于子句集的神经网络的归结算法;最后证明了该算法的完备性,并用实例进行了验证。 展开更多

关键词 归结 神经网络 子句集 完备性

下载PDF 职称材料

一种算子命题逻辑系统及其T-不变量推理算法 被引量：1

6

作者 夏世芬 徐扬 《模糊系统与数学》 CSCD 北大核心 2007年第6期18-23,共6页

定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法... 定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。 展开更多

关键词 Λ-归结 PETRI网 T-不变量 算子命题逻辑 归结推理

下载PDF 职称材料

并行单元归结 被引量：1

7

作者 夏世芬 马淑霞 徐扬 《四川师范大学学报（自然科学版）》 CAS CSCD 2004年第5期501-504,共4页

给出了基于神经网络的单元归结算法.首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例... 给出了基于神经网络的单元归结算法.首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证. 展开更多

关键词 归结 神经网络 Horn子句集 完备性

下载PDF 职称材料

剩余格的粗滤子 被引量：1

8

作者 夏世芬 徐扬 《模糊系统与数学》 CSCD 北大核心 2014年第2期34-38,共5页

讨论剩余格中的粗滤子。在剩余格中引入同余关系,构造基于剩余格的粗糙集代数。特别地,讨论基于滤子的剩余格的粗糙集代数,定义粗滤子、粗素滤子等概念,并讨论它们的性质,为粗糙逻辑的进一步研究作理论基础。

关键词 剩余格 粗糙集代数 滤子 素滤子 粗滤子 粗素滤子

原文传递

格蕴涵代数的粗糙滤子

9

作者 夏世芬 张家锋 徐扬 《模糊系统与数学》 CSCD 北大核心 2013年第5期153-157,共5页

将粗糙集理论应用于格蕴涵代数,证明了由格蕴涵代数的滤子能诱导一个粗糙集代数,而且由格蕴涵代数的滤子诱导的等价关系形成的熵集能构成一个格蕴涵代数。通过引入上、下粗糙滤子的概念,讨论了格蕴涵代数中粗糙滤子的性质。

关键词 格蕴涵代数 滤子 蕴涵同态 粗糙集代数 粗糙滤子

原文传递

正则剩余格的粗滤子

10

作者 夏世芬 徐扬 《模糊系统与数学》 CSCD 北大核心 2016年第5期169-173,共5页

本文讨论正则剩余格中的粗滤子。首先在剩余格中引入同余关系,讨论了同余关系的性质,然后给出基于同余关系的粗糙集代数,并定义粗滤子、粗素滤子等概念,最后讨论了它们的性质。

关键词 正则剩余格 滤子 粗滤子 粗糙集代数 同余关系

原文传递

粗糙集代数构造格蕴涵代数

11

作者 夏世芬 徐扬 《模糊系统与数学》 CSCD 北大核心 2013年第6期162-166,共5页

给出了一种由粗糙集代数构造格蕴涵代数的方法。根据同态映射,讨论了相应格蕴涵代数的同态性质。证明了在满足一定条件下由粗糙集代数可以构造一个与之格蕴涵同态的代数结构,此为基于粗糙集的逻辑推理提供了赋值域,这是本文意义之所在。

关键词 粗糙集代数 粗糙集 格蕴涵代数 同态

原文传递

LP(X)中MP归结推理

12

作者 夏世芬 秦应兵 徐扬 《模糊系统与数学》 CSCD 北大核心 2013年第3期30-35,共6页

首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性。

关键词 格值命题逻辑系统LP(X) MP归结 (A α)-归结演绎 α-不可满足

原文传递

一种矩阵归结方法

13

作者 夏世芬 黄天民 徐扬 《模糊系统与数学》 CSCD 北大核心 2005年第2期44-48,共5页

提出了一种新的归结方法—矩阵归结。结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结策略,证明了它们的完备性。方法简单易行,大大降低了归结的复杂性,提高了归结效率。

关键词 归结方法 矩阵归结 T-不变量 PETRI网

下载PDF 职称材料

几种防龋涂膜的临床流行病学研究 被引量：1

14

作者 梁燕 淦劲 +3 位作者 原因 张集群 夏世芬 邹仁琦 《遵义医学院学报》 2002年第3期215-217,共3页

目的　选用 3种防龋涂膜应用于临床 ,观察其防龋效果。方法　采用随机同体对照及“双盲”的方法 ,观察 6mo、1a、1.5a对照组与实验组的患龋情况。结果　 1 5a中使用防龋涂膜涂布的牙面患龋率较对照组明显低 ,FP CTMV FCTMV都有一定的抗... 目的　选用 3种防龋涂膜应用于临床 ,观察其防龋效果。方法　采用随机同体对照及“双盲”的方法 ,观察 6mo、1a、1.5a对照组与实验组的患龋情况。结果　 1 5a中使用防龋涂膜涂布的牙面患龋率较对照组明显低 ,FP CTMV FCTMV都有一定的抗龋效果 ,FCTMV的抗龋效果最好。结论　中国传统医学防龋涂膜 (FCTMV)对新生恒牙窝沟龋预防的临床效果最好 ,成本低 ,使用方便 ,符合我国国情 。 展开更多

关键词 龋病 防龋涂膜 临床流行病学 疾病预防

下载PDF 职称材料

一类多目标分档寻优控制

15

作者 郭小琴 夏世芬 《陕西理工学院学报（社会科学版）》 1997年第6期7-10,共4页

模糊控制被誉为21世纪的核心技术，其原理与手段不同于常规控制，笔者提出在模糊控制过程中实行“暂态粗调控制”及“稳态细调控制”的思想，使控制器具有较快的响应时间和较高的稳态精度，具有重要的理论意义和工程实用价值．

关键词 模糊控制 综合评判 适合度

下载PDF 职称材料

不可忽视的教育细节

16

作者 夏世芬 《小学德育》 2009年第20期28-29,共2页

细节决定成败，可在学校教育中却有许多细节被我们老师忽视，以至失去了很多教育契机。因此，为师者应从大处着眼，从细节八手，培养学生良好的行为习惯。

关键词 教育细节 学校教育 教育契机 行为习惯 老师 学生

原文传递