位置：成果数据库 > 期刊 > 期刊详情页
NM和LW＊等价的一个语构证明（英文）
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：浙江理工大学理学院,浙江杭州310018
  • 相关基金：Foundation item：This work is supported by the National Foundation of Natural Sciences of China （Grant No. 61379018;11171308; 61163023）
作者： 王三民, 王晋芳
关键词： 模糊逻辑, NM系统, L＊系统, LW＊系统, 语构证明, Fuzzy logic, NM system, L＊ system, LW＊ system , Syntactical proof
中文摘要：

本文给出NM和LW＊等价的一个语构证明,解决了我们在文献[4]的结论中提出的一个问题。

英文摘要：

This paper presents a syntactical proof of equivalence between NM and LW＊, which solves the problem we proposed in the conclusion section of [4].

同期刊论文项目
几类重要实代数簇的等式理论的完备性、可计算性及其在智能计算中的应用
期刊论文 15
虚拟手术仿真中基于无网格的软组织切割模型的研究
期刊论文 58 会议论文 2
模糊推理与不确定性决策理论的结合研究
期刊论文 46 会议论文 3 著作 2
同项目期刊论文
H-OWA算子及其在多属性决策中的应用
On the independence of the formal system L*
基于图片特征空间的信息压缩研究
模糊推理的基本理论
命题逻辑中理论的条件真度
基于修正的Kleene蕴涵的模糊描述逻辑
广义直觉模糊数在集装箱堆场选择中的应用
可信性决策在工位评估中的应用
Simplification of fuzzy multiple attribute decision making in production line evaluation
The finite model property for semilinear substructural logics
基于泛三Ⅰ算法的模糊系统响应能力分析
Robustness analysis of full implication inference method
Uninorm logic with the n-potency axiom
Hierarchical structure and applications of fuzzy logical systems
一致模的延拓
直觉模糊数排序方法的合理性
Truth degree analysis of fuzzy reasoning
基于贴近度的疾病诊断模糊专家系统
模糊集收敛的等价性
On uniqueness of (fuzzy) relation in some generalized rough set models
FH-OWA算子及其在模糊多属性决策中的应用
On the axiomatic system for the logic of linearly ordered BCI-matrices
A survey of fuzzy implication algebras and their axiomatization
语言真值格蕴涵代数的蕴涵不可约元
纺织服装领域本体知识库的构建及应用
广义区间值直觉模糊数及其在工位评估中的应用
D-蕴涵的特征
多重模糊蕴涵与生成模糊蕴涵的新方法
复值函数的广义复模糊积分
不确定语言Hero平均算子及其在多属性群决策中的应用
模糊数度量的单值函数表示
多重模糊蕴涵关于三角模的分配性
广义剩余蕴涵
基于ARM的码激励线性预测编解码系统的实现
A cluster number adaptive fuzzy c-means algorithm for image segmentaion
基于逐点比较法的特殊曲线磨削算法研究
基于永磁同步电动机中混沌运动状态观测器的同步控制
基于图像特征的力反馈渲染改进算法
几个模糊命题逻辑紧致性的新证明
模糊集的相对扰动
基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记
几类广义模糊集的关系
基于电磁感应探测法地下管道测量的仿真
Force feedback and control for wave-variable teleoperation systems with time delays
Logics for residuated pseudo-uninorms and their residua
粒子系统模拟的单双GPU加速技术及其实现
一种改进的颜色共生矩阵纹理描述符
基于LBP值对空间统计特征的纹理描述符
Involutive uninorm logic with the n-potency axiom
Adaptive image contrast enhancement algorithm for point-based rendering
虚拟手术训练系统中软组织切割模型的研究进展
3次Hermite曲线逼近Conic曲线段有关性质
基于噪声估计的自适应开关型中值滤波器
均匀B样条1次升降多阶的矩阵表示
基于区域特征分析的快速FCM图像分割改进算法
基于模拟退火和遗传算法的神经网络在精确施肥中的研究
基于区域最大相似度的快速图像分割算法
基于部分背景加权更新的均值漂移跟踪算法
基于稠密局部自相似特征流的图像配准算法
信息量加权的梯度显著度图像质量评价
基于无网格的软组织物理建模及模型验证
局部均值噪声估计的盲3维滤波降噪算法
基于噪声估计的自适应块匹配和三维滤波降噪算法
实时倒立摆系统的设计与实现
基于永磁同步电机反推方法混沌运动的同步控制
基于反演滑模变的电力系统混沌振荡控制
基于状态负反馈的电力系统混沌控制
基于滑模变结构永磁同步电机混沌跟踪控制
一致模的延拓
直觉模糊数排序方法的合理性
基于噪声估计的自适应开关型中值滤波器
信息量加权的梯度显著度图像质量评价
D-蕴涵的特征
多重模糊蕴涵与生成模糊蕴涵的新方法
基于噪声估计的自适应块匹配和三维滤波降噪算法
复值函数的广义复模糊积分
不确定语言Hero平均算子及其在多属性群决策中的应用
模糊数度量的单值函数表示
多重模糊蕴涵关于三角模的分配性
广义剩余蕴涵
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133