期刊文献+
共找到120篇文章
< 1 2 6 >
每页显示 20 50 100
MEDIUM LOGIC AND WOODRUFF'S THREE-VALUED LOGIC
1
作者 李祥 李广元 《Chinese Science Bulletin》 SCIE EI CAS 1990年第8期622-626,共5页
Recently, ZHU Wu-jia and XIAO Xi-an introduced a propositional calculus system MP and its extension MP~*, called medium logic. Many formulas are derived from
关键词 MEDIUM LOGIC three-valued LOGIC Woodruff’s three-valued LOGIC system.
原文传递
Monotonic and nonmonotonic gentzen deduction systems for L_(3)-valued propositional logic
2
作者 Cungen CAO Lanxi HU Yuefei SUI 《Frontiers of Computer Science》 SCIE EI CSCD 2021年第3期123-135,共13页
A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under a... A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value£.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic.Dually,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠£.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic. 展开更多
关键词 three-valued logic multisequent co-multise-quent MONOTONICITY Gentzen deduction system
原文传递
对称逻辑公式在L3^*逻辑度量空间中的分布 被引量:10
3
作者 王庆平 王国俊 《计算机学报》 EI CSCD 北大核心 2011年第1期105-114,共10页
在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑... 在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在[0,1]中稠密.然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集. 展开更多
关键词 对称三值R0函数 对称逻辑公式 准对称逻辑公式 同类向量 稠密
下载PDF
基于CT图像三值分割的冻结岩石水冰含量及损伤特性分析 被引量:9
4
作者 刘慧 杨更社 +3 位作者 叶万军 申艳军 张慧梅 唐丽云 《采矿与安全工程学报》 EI CSCD 北大核心 2016年第6期1130-1137,共8页
冻结岩石未冻水和冰含量及损伤特性随温度的变化规律是研究冻结法施工的矿井建设等工程安全稳定的重要问题之一。开展负温下饱水岩石CT扫描实验,获得了0,-2,-5,-10,-20,-30℃下的CT扫描图像。将最大类间方差法与遗传算法相结合,实现了... 冻结岩石未冻水和冰含量及损伤特性随温度的变化规律是研究冻结法施工的矿井建设等工程安全稳定的重要问题之一。开展负温下饱水岩石CT扫描实验,获得了0,-2,-5,-10,-20,-30℃下的CT扫描图像。将最大类间方差法与遗传算法相结合,实现了冻结岩石水、冰、岩三相介质的识别及其含量的数字表述。推导出冻结岩石未冻水、冰含量与温度间的理论关系式,并探讨了冰含量和温度梯度对冻结岩石损伤特性的影响规律。结果表明:温度是引起水冰含量及分布状态变化的关键影响因素,岩石的初始损伤和温度的共同作用决定岩石冻结损伤大小。0^-5℃是冻结损伤演化起始和急剧增大阶段,-5^-10℃是冻结损伤发展阶段,-20^-30℃是冻结损伤趋于稳定阶段。将CT图像三值化处理技术与冻结岩石损伤理论相结合的方法,为冻结岩石水冰含量及宏-细观损伤特性的定量研究提供了新的研究思路。 展开更多
关键词 冻结岩石 CT图像 三值分割 未冻水 含量 损伤
原文传递
三值命题逻辑系统L3^*中逻辑理论性态的拓扑刻画 被引量:8
5
作者 折延宏 王国俊 《数学学报(中文版)》 SCIE CSCD 北大核心 2009年第6期1225-1234,共10页
对三值命题逻辑系统L3^*中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间(F(S),ρ3)中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了... 对三值命题逻辑系统L3^*中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间(F(S),ρ3)中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在(F(S),ρ3)中稠密.还证明了有限理论Γ的逻辑闭包是(F(S),ρ3)中的拓扑闭集. 展开更多
关键词 命题逻辑系统L3^* 三值逻辑度量空间 相容性
原文传递
(α,β)-区间值模糊子环
6
作者 任咏红 孙煜超 闫玉华 《模糊系统与数学》 北大核心 2024年第1期54-64,共11页
基于区间值模糊点和区间值模糊集邻属关系,给出了(α,β)-区间值模糊子环的定义.分别研究了当α,β∈{∈,q,∈∨q,E∧q},时的(α,β)-区间值模糊子环,其中有意义的3种分别是(∈,∈)(∈,∈∨q)和(∈∧q,∈)-区间值模糊子环.证明了环R上... 基于区间值模糊点和区间值模糊集邻属关系,给出了(α,β)-区间值模糊子环的定义.分别研究了当α,β∈{∈,q,∈∨q,E∧q},时的(α,β)-区间值模糊子环,其中有意义的3种分别是(∈,∈)(∈,∈∨q)和(∈∧q,∈)-区间值模糊子环.证明了环R上的一个区间值模糊子集分别为这3种区间值模糊子环的充要条件是其对应的区间值水平截集为环R的三值模糊子环.从而建立了基于区间值模糊点和区间值模糊集邻属关系的新的(α,β)-区间值模糊子环理论. 展开更多
关键词 区间值模糊点 区间值模糊子环 三值模糊子环 区间值水平截集
原文传递
有关语言模糊性的多值逻辑问题 被引量:4
7
作者 陈维振 吴世雄 《外国语言文学》 2004年第2期1-9,共9页
本文介绍了语言模糊性问题,说明了建立多值逻辑理论的动机、方法和基本内容,指出了多值逻辑理论所存在的种种问题。文章最后认为,在现有的知识状况下,对语言模糊性进行形式化研究(包括逻辑的和数学的研究)的成功希望是很小的。
关键词 语言模糊性 多值逻辑理论 连锁推理悖论 模糊数学理论
原文传递
遗传优化三值神经网络多故障测试生成算法 被引量:8
8
作者 吴丽华 王旭东 +1 位作者 史芳芳 杨洁琼 《仪器仪表学报》 EI CAS CSCD 北大核心 2010年第8期1744-1749,共6页
对于复杂的大规模集成电路,传统的测试生成算法已不再适用,研究新型有效的数字集成电路测试生成算法具有十分重要的理论价值和实际意义。提出了一种基于遗传优化的三值神经网络多故障测试生成算法。该算法利用三值神经网络的相关定理、... 对于复杂的大规模集成电路,传统的测试生成算法已不再适用,研究新型有效的数字集成电路测试生成算法具有十分重要的理论价值和实际意义。提出了一种基于遗传优化的三值神经网络多故障测试生成算法。该算法利用三值神经网络的相关定理、定义,推导出了数字电路逻辑门的三值神经网络能量函数,由此构成了三值神经网络的约束网络。用遗传算法求解出了约束网络能量函数的最小值点即多故障测试矢量。遗传算法中的适应度函数是与具体应用问题的主要接口,它的构造直接影响问题求解的效率。在研究了其他遗传算法适应度函数的基础上,提出了新的适应度函数,并用软件实现了算法,在国际基准电路上的仿真实验结果表明了该算法的正确性。 展开更多
关键词 三值神经网络 测试生成算法 遗传算法 适应度函数 多故障
下载PDF
基于区间值模糊点和区间值模糊集邻属关系的区间值模糊子群 被引量:4
9
作者 袁学海 李洪兴 宋晶晶 《模糊系统与数学》 CSCD 北大核心 2014年第1期1-8,共8页
利用区间值模糊集的区间值水平截集的概念,给出了区间值模糊点与区间值模糊集邻属关系的定义,将这种邻属关系应用到区间值模糊代数的研究中,从而给出了(α,β)-区间值模糊子群的定义。通过研究16种(α,β)-区间值模糊子群,指出有意义的... 利用区间值模糊集的区间值水平截集的概念,给出了区间值模糊点与区间值模糊集邻属关系的定义,将这种邻属关系应用到区间值模糊代数的研究中,从而给出了(α,β)-区间值模糊子群的定义。通过研究16种(α,β)-区间值模糊子群,指出有意义的是(∈,∈)((∈,∈∨q),(∈∧q,∈))-区间值模糊子群。证明了群G的一个区间值模糊子集A为(∈,∈)((∈,∈∨q)或(∈∧q,∈))-区间值模糊子群的充要条件是对所有的λ=[a1,a2]≤[0.5,0.5],[0.5,0.5]<μ=[b1,b2],其区间值水平截集Aλ和Aμ(Aλ或Aμ)为G的三值模糊子群。从而建立了基于区间值模糊点和区间值模糊集邻属关系的新的区间值模糊子群理论。 展开更多
关键词 区间值模糊子集 区间值模糊点 区间值模糊集的水平截集 区间值模糊子群 三值模糊子群
原文传递
“中介”谓词逻辑演算MF的特征问题 被引量:7
10
作者 李祥 李广元 《贵州大学学报(自然科学版)》 1988年第3期129-137,共9页
本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。
关键词 三值结构 “中介”逻辑系统 MF(MF)
下载PDF
基于三值图像的车牌定位算法 被引量:7
11
作者 安红新 蒋建国 +1 位作者 齐美彬 刘红海 《电子测量与仪器学报》 CSCD 2012年第1期67-71,共5页
针对复杂场景中光照不均匀情况下的车牌定位问题,提出了一种新的定位方法。该方法首先对彩色图像进行三值化,然后利用车牌字符之间颜色的一致性,通过定位字符间隔线反推字符区域进行车牌定位,解决了定位难的问题。实验结果表明,本文算... 针对复杂场景中光照不均匀情况下的车牌定位问题,提出了一种新的定位方法。该方法首先对彩色图像进行三值化,然后利用车牌字符之间颜色的一致性,通过定位字符间隔线反推字符区域进行车牌定位,解决了定位难的问题。实验结果表明,本文算法可以准确定位车牌,对车身颜色和外界颜色的影响有很好的鲁棒性,有效剔除打印字符等纹理簇照成的干扰,同时弥补了在光照不均匀等情况下车牌区域进行二值化可能导致的信息缺失,为后续字符分割、识别处理提供更有利的信息。 展开更多
关键词 车牌定位 图像三值化 字符间隔线
下载PDF
区间值模糊集的区间值水平截集、分解定理和表现定理 被引量:6
12
作者 袁学海 李洪兴 宋晶晶 《模糊系统与数学》 CSCD 北大核心 2013年第5期1-10,共10页
给出了区间值模糊集的区间值水平截集的新定义,建立了基于此类截集的分解定理和表现定理。首先,将区间值模糊集的区间值水平截集定义为三值模糊集,给出了区间值模糊集的四类截集的定义,指出这些截集与模糊集的截集有完全一样的性质。其... 给出了区间值模糊集的区间值水平截集的新定义,建立了基于此类截集的分解定理和表现定理。首先,将区间值模糊集的区间值水平截集定义为三值模糊集,给出了区间值模糊集的四类截集的定义,指出这些截集与模糊集的截集有完全一样的性质。其次,建立了区间值模糊集的分解定理和表现定理。这些工作为研究区间值模糊集提供了新的工具。 展开更多
关键词 区间值模糊集 三值模糊集 截集 分解定理 表现定理
原文传递
基于MSC1211的电磁流量计的硬件设计 被引量:5
13
作者 唐慧强 佘艳 唐明军 《仪表技术与传感器》 CSCD 北大核心 2007年第12期50-51,共2页
介绍了电磁流量计的测量原理,给出了硬件设计的总体框图,详细阐述了励磁信号电路、信号处理电路、显示键盘以及通讯接口的设计。电路设计以高性能的混合信号芯片MSC1211为核心,从而简化了外围硬件电路的设计,实现了液体流量的测量和累... 介绍了电磁流量计的测量原理,给出了硬件设计的总体框图,详细阐述了励磁信号电路、信号处理电路、显示键盘以及通讯接口的设计。电路设计以高性能的混合信号芯片MSC1211为核心,从而简化了外围硬件电路的设计,实现了液体流量的测量和累积。系统具有结构简单、高精度和低功耗等特点。 展开更多
关键词 电磁流量计 三值方波励磁 MSC1211
下载PDF
电磁流量转换器的设计 被引量:5
14
作者 王莉 邓君 韩恒超 《自动化与仪器仪表》 2022年第5期204-209,共6页
电磁流量计是一种基于法拉第电磁感应定律的速度式流量测量仪表,作为流量测量的一种主要测量仪表,广泛应用于工业、农业、市政等领域用于流体计量。电磁流量转换器是电磁流量计的核心部件,决定电磁流量计的性能指标。针对电磁转换器捡... 电磁流量计是一种基于法拉第电磁感应定律的速度式流量测量仪表,作为流量测量的一种主要测量仪表,广泛应用于工业、农业、市政等领域用于流体计量。电磁流量转换器是电磁流量计的核心部件,决定电磁流量计的性能指标。针对电磁转换器捡拾信号弱小、噪声干扰大、信号易被噪声淹没等问题,设计了基于三值梯形励磁技术及信号处理的方法,设计了相应硬件电路,包括电源电路、信号提取、信号处理、滤波及励磁驱动电路,给出相应软件设计流程。通过对电磁转换器进行质量法实流检定,实验结果表明精度可达±0.2%,达到了设计要求。 展开更多
关键词 转换器 三值梯形励磁 信号处理
原文传递
三值逻辑的思想和方法 被引量:4
15
作者 姚从军 《北京理工大学学报(社会科学版)》 CSSCI 2010年第1期127-131,共5页
传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻... 传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,显示了各自独特的思想和构造方法。 展开更多
关键词 三值逻辑 二值逻辑 逻辑系统 思维规律
下载PDF
中介命题逻辑一种新的无穷值语义模型及意义 被引量:5
16
作者 张胜礼 潘正华 《计算机工程与应用》 CSCD 北大核心 2010年第31期45-49,71,共6页
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一... 中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0λ)(λ1](λ?(0.51))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。 展开更多
关键词 中介命题逻辑 三值模型 无穷值模型 完备性 可靠性
下载PDF
低功耗电磁流量计的设计与实现 被引量:6
17
作者 杜清府 任文建 张超 《仪表技术与传感器》 CSCD 北大核心 2015年第3期25-27,共3页
传统电磁流量计大多采用交流220 V或直流24 V供电,励磁电流高达250 m A左右,耗能高,成本高。文中设计了一种基于MSP430F4794单片机的低功耗电磁流量计,采用3.6 V锂电池供电,励磁方式采用三值梯形波励磁,励磁电流仅为30 m A。围绕低功耗... 传统电磁流量计大多采用交流220 V或直流24 V供电,励磁电流高达250 m A左右,耗能高,成本高。文中设计了一种基于MSP430F4794单片机的低功耗电磁流量计,采用3.6 V锂电池供电,励磁方式采用三值梯形波励磁,励磁电流仅为30 m A。围绕低功耗详细叙述了DC-DC升降压电路、三值梯形波励磁电路、信号处理电路、MSP430F4794单片机控制及外围电路。经实验测试,该电磁流量计能够满足用户需求。 展开更多
关键词 电磁流量计 MSP430F4794 低功耗 三值梯形波励磁
下载PDF
三水平正交试验用表与三值逻辑 被引量:3
18
作者 刘心平 《遥测遥控》 1991年第2期89-100,共12页
本文采用谱方法的基本思想,把多水平正交试验的主要数学工具——正交表,变换到多值逻辑域中,再利用多值逻辑的运算规则进行处理。这样,把一个极为复杂的数学问题转化成一个简单的多值组合逻辑设计的问题。本文给出了三水平正交用表的逻... 本文采用谱方法的基本思想,把多水平正交试验的主要数学工具——正交表,变换到多值逻辑域中,再利用多值逻辑的运算规则进行处理。这样,把一个极为复杂的数学问题转化成一个简单的多值组合逻辑设计的问题。本文给出了三水平正交用表的逻辑设计公式,同时亦揭示了三水平交互作用用表的逻辑特征,从而进一步促使正交试验方法在各领域中的推广和应用。 展开更多
关键词 ^+正交表 ^+三值逻辑 ^+三水平 正交试验
下载PDF
高速列车分布式微机系统数据传输可靠性探讨 被引量:3
19
作者 吴家麟 《上海铁道学院学报》 1994年第2期65-72,共8页
本文提出了应用三值极性码(TP码)和三值逻辑检错纠错电路(EDC电路)进一步提高高速列车分布式微机系统数据传输可靠性的一些措施。
关键词 高速列车 微机 数据传输 误码率
下载PDF
循环对称化简及在三值模型上的扩展 被引量:4
20
作者 魏欧 袁泳 +2 位作者 蔡昕烨 黄志球 徐丙凤 《软件学报》 EI CSCD 北大核心 2011年第6期1169-1184,共16页
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统... 为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型——三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性. 展开更多
关键词 模型检测 对称化简 循环对称 三值模型
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部