期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于Gdel蕴涵算子的导出算子的n值逻辑系统
1
作者 杨春志 李永明 《纺织高校基础科学学报》 CAS 2008年第1期10-13,共4页
讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理... 讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较. 展开更多
关键词 Godel蕴涵算子 Godel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn
在线阅读 下载PDF
几类n值逻辑系统中的MP滤子
2
作者 罗清君 王国俊 《陕西理工学院学报(自然科学版)》 2006年第1期67-71,12,共5页
给出了n值Lukasiewicz逻辑系统Ln,n值G del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L*逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系。
关键词 N值逻辑系统 MP滤子 格滤子
在线阅读 下载PDF
Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计 被引量:2
3
作者 张家录 吴霞 《电子学报》 EI CAS CSCD 北大核心 2012年第10期2085-2090,共6页
在Lukasiewiczn值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过... 在Lukasiewiczn值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式. 展开更多
关键词 LUKASIEWICZ n 值逻辑系统 真度 不可靠度 状态 伪距离 近似推理
在线阅读 下载PDF
三值逻辑检错纠错探讨 被引量:1
4
作者 吴家麟 《铁道学报》 EI CAS CSCD 北大核心 1991年第2期8-15,共8页
用三值逻辑构成的二值逻辑系统具有检错和纠错功能。本文提出了三值极性码(TP码)和三值逻辑检错纠错电路(EDC电路)TP码和EDC电路具有检错纠错能力强、电路结构简单等优点,能更进一步提高数据传输的可靠性、有效地降低数据传输的差错率。
关键词 值逻辑系统 逻辑 检错和纠错功能 极性码 数据传输系统 差错率
在线阅读 下载PDF
基于矩阵半张量积的信息物理融合系统状态不透明性分析与控制 被引量:1
5
作者 张志鹏 许倩 夏承遗 《电子与信息学报》 EI CSCD 北大核心 2021年第12期3434-3441,共8页
状态不透明性作为一种重要的机密属性,能够表征入侵者窃取系统隐私信息的能力。针对带有不可观测事件的信息物理融合系统(CPSs),该文提出一种基于矩阵半张量积(STP)的代数状态空间方法,并且分析与验证CPSs的状态不透明性。首先利用矩阵... 状态不透明性作为一种重要的机密属性,能够表征入侵者窃取系统隐私信息的能力。针对带有不可观测事件的信息物理融合系统(CPSs),该文提出一种基于矩阵半张量积(STP)的代数状态空间方法,并且分析与验证CPSs的状态不透明性。首先利用矩阵STP理论对CPSs的状态演化进行建模,得到系统的动态代数表达式,然后利用STP运算的特性,给出验证系统当前状态不透明性的充分必要代数条件。最后,通过数值仿真算例验证了方法的有效性。该文提出的基于矩阵STP方法为CPSs相关隐私分析与安全控制研究提供了一个新的思路和框架。 展开更多
关键词 信息物理系统 有限值逻辑系统 矩阵半张量积 当前状态不透明性 有限自动机
在线阅读 下载PDF
Closure Operators of Lattice-valued Propositional Logic LP(X)
6
作者 WANG Xue-fang ZHENG Feng-bin XU Yang 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2005年第3期301-308,共8页
In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investi... In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given. 展开更多
关键词 lattice-valued logic lattice implication algebras closure operators COMPACTNESS
在线阅读 下载PDF
A psychophysical-based fuzzy image interpolation algorithm
7
作者 余庆军 余报楚 《Journal of Chongqing University》 CAS 2009年第2期145-150,共6页
To produce a smoother and more natural interpolated image, and to preserve and enhance original image details, we defined three perception-based local statistic parameters, namely contrast, noise visibility, and edge ... To produce a smoother and more natural interpolated image, and to preserve and enhance original image details, we defined three perception-based local statistic parameters, namely contrast, noise visibility, and edge strength based on three psychophysical principles, including Weber’s Law, Fechner’s Law, and Stevens’ Power Law, and integrated these parameters into a fuzzy logic system to set up an advanced image interpolation algorithm. Application of this algorithm to detect edge behaviors and local statistical information of images demonstrated better noise removal ability and obtained sharper edges than traditional image interpolation algorithems such as nearest neighbor, bilinear and bicubic interpolation methods. 展开更多
关键词 image interpolation PSYCHOPHYSICS noise visibility and fuzzy logic
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部