多值逻辑系统

作品数:23被引量:128H指数:4
导出分析报告
相关领域:理学哲学宗教更多>>
相关作者:王国俊于鸿丽吴洪博郑慕聪关晓红更多>>
相关机构:陕西师范大学西安文理学院兰州理工大学杭州大学更多>>
相关期刊:《科学通报》《科技通报》《陕西师范大学学报(自然科学版)》《世界哲学》更多>>
相关基金:国家自然科学基金河南省自然科学基金河南省教育厅自然科学基金西安市科技计划项目更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
多值逻辑系统L_(n)中公式相对于有限理论Г的Camberra-真度理论被引量:1
《模糊系统与数学》2021年第5期58-64,共7页于鸿丽 吴洪博 
国家自然科学基金资助项目(61572016)。
将模糊集间的Camberra距离引入到命题演算系统L_(n)中,定义了公式间相对于有限理论Г的Camberra-距离、Camberra-相似度与Camberra-真度,探讨了L_(n)中公式相对于有限理论Г的Camberra-真度的性质,为多值命题逻辑系统的研究及模糊推理...
关键词:Camberra模糊距离 Camberra-真度﹔有限理论 逻辑系统L_(n) 
多值逻辑系统RDP中的子代数理论被引量:3
《模糊系统与数学》2013年第3期36-40,共5页于鸿丽 吴洪博 
国家自然科学基金资助项目(10871121);西安市科技计划项目(CX12189WL26)
系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统。本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础。
关键词:多值逻辑 子代数 逻辑系统RDP 
多值逻辑系统中公式的μ-真度理论被引量:9
《系统科学与数学》2011年第7期879-892,共14页左卫兵 
国家自然科学基金(51009065);河南省自然科学基金(112300410040);河南省教育厅自然科学基金(2011A110012)资助课题
通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻...
关键词:命题逻辑 μ-真度 μ-相似度 逻辑度量空间 μ-发散度. 
系统H_α中的子代数的广义重言式理论
《计算机工程与应用》2010年第8期37-39,51,共4页李顺琴 王国俊 
国家自然科学基金Grant No.10331010;延安大学基金(No.YDK2007-28)~~
将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。
关键词:多值逻辑系统 广义重言式 子代数 分划 
多值逻辑系统中的否定度理论
《西安文理学院学报(自然科学版)》2009年第4期31-32,共2页马巧云 
西安文理学院科研基金资助项目(KYC200819)
定义了多值逻辑系统中的否定度,利用否定度的定义和R0-代数的性质讨论了多值逻辑系统中的否定度理论.
关键词:逻辑系统 否定度 R0-代数 
Trinary registers and counters using savart plate and spatial light modulator for optical computation in multivalued logic被引量:1
《Optoelectronics Letters》2009年第3期194-197,共4页Amal K Ghosh Moumita Raul 
Registers and counters are the most important devices in any system of computations.In this paper we have communicated the trinary registers and counters in modified trinary number(MTN) system.It is suitable for the o...
关键词:多值逻辑系统 空间光调制器 光学计算机 三元 光电集成电路  光互连网络 应用程序 
多值逻辑系统H_α中的重言式分类定理被引量:1
《西安文理学院学报(自然科学版)》2008年第3期36-39,共4页于鸿丽 
西安文理学院专项科研基金(KY200650)
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础.
关键词:系统Hα 重言式 Α-重言式 子代数 
多值逻辑系统Hα中的子代数理论被引量:3
《计算机工程与应用》2008年第5期43-45,共3页于鸿丽 吴洪博 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.10471083);西安文理学院专项科研基金(No.ky200650)
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统。论文研究了多值逻辑系统Hα中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统Hα的进一步研究奠定了基础。
关键词:多值逻辑 子代数 逻辑系统Hα 
系统H_a中广义语义MP规则与广义语义HS规则被引量:2
《陕西师范大学学报(自然科学版)》2007年第1期9-12,33,共5页关晓红 折延宏 王国俊 
国家自然科学基金重点资助项目(10331010)
基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广...
关键词:多值逻辑系统 重言式 广义语义MP规则 广义语义HS规则 分划 
多值逻辑系统W_n中α-三I问题的形式解被引量:5
《计算机工程与应用》2005年第25期51-53,共3页刘东利 王国俊 
国家自然科学基金重点资助项目(批准号:10331010)
在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。
关键词:α-三I问题 多值逻辑系统Wn 形式化三I解 
检索报告 对象比较 聚类工具 使用帮助 返回顶部