段景瑶
- 作品数：11 被引量：23H指数：3
- 供职机构：宝鸡文理学院数学与信息科学学院更多>>
- 发文基金：国家自然科学基金陕西省教育厅科研计划项目陕西省宝鸡文理学院院级重点科研项目更多>>
- 相关领域：理学自动化与计算机技术更多>>
- Boole代数的等价刻画被引量：1
- 2007年
- 目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。
- 段景瑶王国俊
- 关键词：BOOLE代数独立性
- 模糊集的逻辑等价相似度被引量：1
- 2016年
- 证明论域X上的全体模糊集之集上的两种度量是等价的。讨论这种度量空间中孤立点的分布情况,并将这些结论推广到格值模糊集之集上。从模糊推理系统鲁棒性分析的角度,比较几种不同的蕴涵算子生成的度量或者拓扑。
- 段景瑶李永明
- 关键词：正则蕴涵算子相似度逻辑度量空间鲁棒性
- 三种逻辑代数的等价刻画和模糊模态逻辑
- 模糊逻辑是对经典命题逻辑的改进和推广,它更能适应现实生活的需求.常见的模糊逻辑系统有逻辑系统Lukasiewicz,乘积逻辑系统∏,G(o|¨)del逻辑系统G,以及王国俊教授提出的L系统.而与上述系统相匹配的代数结构分...
- 段景瑶
- 关键词：逻辑代数等价刻画模态逻辑
- 文献传递
- 基于模糊逻辑等价算子的直觉相似度被引量：2
- 2017年
- 首先,借助正则蕴涵算子,构造了4类不同的直觉模糊集之间的相似度,并在模式识别方面给出了简单应用。其次,证明了由Gdel,R_0,Lukasiewicz,Gougen蕴涵算子所确定的4个相似度可诱导直觉模糊集之集上的4个度量,并在相应的度量空间中分析了孤立点的分布情况。最后,将上述4个度量作为扰动参数,从鲁棒性分析的角度作了比较。
- 段景瑶
- 关键词：直觉模糊集相似度度量空间鲁棒性分析
- 关于K的三种模糊模态逻辑被引量：2
- 2008年
- 引入了MR0代数的概念,讨论了它的一些重要性质,给出了MR0代数的同构定理。其次,构建了模态系统K1,证明了在MR0代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K2,并证明了系统K2是可靠的;通过将Kripke模型中的二元关系R模糊化,建立了模态逻辑系统K3,并证明了系统K3是完备的。
- 段景瑶王国俊
- 关键词：模态逻辑
- 模态R_0代数的模态滤子被引量：1
- 2013年
- 在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件.
- 段景瑶
- 双极信息的聚合与分解被引量：3
- 2014年
- 信息聚合是信息处理过程中的基本手段,主要讨论若干聚合算子的性态.首先,从广义伴随对的角度讨论了广义聚合算子的性质.从聚合算子A出发,给出两种不同的方法,构造了大于(小于)等于A的新的聚合算子;其次,对于处理双极信息用到的聚合算子、双极t-模和双极蕴涵做了讨论,得出了这两个双极聚合算子可分解为两个单级聚合算子的条件.在此条件下即清晰可见聚合双极信息时对正信息及负信息的聚合过程.这对提取特定信息具有极其重要的意义.
- 王国俊段景瑶
- 关键词：信息聚合
- R0代数,MV代数的等价刻画被引量：2
- 2009年
- 通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.
- 段景瑶
- 关键词：R0代数MV代数
- 关于Boole语义的真度不变性定理被引量：5
- 2008年
- 基于B-赋值理论,在B为有限Boole代数的前提下,得出了三个主要结论。首先,讨论了广义Boole函数与Boole函数之间的关系。其次,得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。
- 段景瑶王国俊
- 关键词：BOOLE代数
- 逻辑等价算子在模糊推理中的应用
- 模糊推理是模糊控制的理论基础,鲁棒性是评判模糊推理的重要标准.在讨论鲁棒性时,扰动参数的选取极为关键.我们常用的扰动参数大多是建立在[0,1]单位区间上通常度量的基础之上.然而模糊推理的结果很大程度上取决于它的内蕴结构,...
- 段景瑶
- 关键词：模糊推理拓扑结构剩余格
- 文献传递
