多值逻辑

作品数：470被引量：865H指数：13
导出分析报告
相关领域：电子电信更多>>
相关作者：刘任任吴训威汪鹏君沈继忠杭国强更多>>
相关机构：浙江大学湘潭大学宁波大学杭州大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金湖南省自然科学基金湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多值交互时序逻辑的模型检验研究
《郑州大学学报（理学版）》2025年第2期78-84,共7页凌灿红 常亮 周洁 潘海玉 
国家自然科学基金项目(61966009,62162014)。
为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,...
关键词：模型检验 多值逻辑 交互时序逻辑 并发博弈结构 
基于n值关系语义的命题模态逻辑系统研究
《计算机技术与发展》2024年第2期71-77,共7页周张泉 杨成彪 刘军 
江苏省高等学校基础科学(自然科学)研究面上项目A类(22KJB520003)。
传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系...
关键词：模态逻辑 多值逻辑 关系语义 ?ukasiewicz系统 正确性和完备性 
基于比较器的四值电流型CMOS加减电路设计
《电子与信息学报》2023年第5期1852-1858,共7页姚茂群 刘志强 
国家自然科学基金(61771179)。
该文通过对电流型CMOS电路的阈值控制引入了多值电流型比较器。与2值逻辑电路相比,多值逻辑电路的单条导线允许更多的信息传输。相较于电压信号,电流信号易实现加、减等算术运算,在多值逻辑的设计上更加方便。同时提出了基于比较器的4...
关键词：CMOS 多值逻辑 电流型 比较器 
阈值可控型三值忆阻仿真器的设计与实现
《实验技术与管理》2023年第4期82-89,共8页林弥 韩琪 罗文瑶 吕伟锋 
国家自然科学基金项目(62071160)。
忆阻器具有尺寸小、速度快、功耗低等优势,在数字逻辑、数据存储、人工智能等领域具有广泛应用。多值忆阻器的多阻值状态能够提高信息密度、处理更多信号、减小芯片面积、降低电路复杂度,具有非常好的发展前景和研究价值。该文以三值逻...
关键词：三值忆阻仿真器 阈值可控 多值逻辑 微型处理器MCU 
通过矩阵的半张量积求解模糊双线性方程的最大解和最小解被引量：2
《德州学院学报》2022年第2期5-13,共9页范洪彪 张智广 许晶 
研究了如何求解模糊双线性方程(FBES)的最大解和最小解问题。首先,讨论了FBE的解的结构;然后,通过矩阵的半张量积(STP)把相关的逻辑方程转化为代数方程。在此基础之上,提出求解FBE的最大解和最小解的方法。最后,给出一个数值算例来表明...
关键词：模糊双线性方程 半张量积 多值逻辑 向量表达 
基于R-HBT模型的三值CMOS忆阻混合型D触发器被引量：1
《杭州电子科技大学学报（自然科学版）》2021年第6期1-5,共5页韩琪 王旭亮 吴巧 罗文瑶 林弥 
研究多值忆阻逻辑电路,采用三值忆阻逻辑运算单元,设计了三值CMOS忆阻混合型D锁存器,该三值忆阻逻辑运算单元以CMOS和电阻异质结双极性晶体管(Resistor-Heterojunction Bipolar Transistor,R-HBT)负阻型忆阻器等效模型为核心,构成的三值...
关键词：忆阻器 CMOS混合型 多值逻辑 D触发器 
模糊集合论对罗素悖论的解决被引量：1
《重庆理工大学学报（社会科学）》2021年第6期62-69,共8页杨帆 
国家社会科学基金重大项目“面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究”(18ZDA032)。
模糊逻辑延续了多值逻辑对二值原则的扩张态度,基于模糊逻辑构造出的模糊集合论,能够从形式主义的角度解决罗素悖论。哈耶克提出的基本模糊逻辑系统将几种多值逻辑系统作为其扩张来处理,为这样的构造奠定了基础。由此产生的公理化模糊...
关键词：模糊集合论 罗素悖论 多值逻辑 模糊逻辑 数学哲学 
基于和图分解的三值电流型CMOS电路设计及算法研究
《杭州师范大学学报（自然科学版）》2019年第2期212-218,共7页姚茂群 周传鑫 周旋 
国家自然科学基金项目(61771179);国家自然科学基金项目(61271124);浙江省自然科学基金项目(LY15F010011)
本文在分析了电流型CMOS电路的物理结构特点后,定义了适用于电流型CMOS电路设计的运算及电路结构.针对二变量三值电流型CMOS电路,引入了函数基本项及其和图.然后通过和图分解,将多值逻辑函数分解为适合电流型CMOS电路实现的子函数,从而...
关键词：CMOS电路 多值逻辑 和图 
容差性、连锁悖论与模糊性理论
《哲学门》2018年第2期249-264,共16页徐召清 
四川大学2018年创新火花重点项目“知识优先的认知可能性理论”(2018hhs-50)的阶段性成果。
连锁悖论是一种与模糊性谓词有关的悖论。一个关于模糊性谓词的精确理论通常也蕴涵着对连锁悖论的解。但是,如果从连锁悖论的消解出发,却并不需要一个完整的模糊性理论。只需对模糊性谓词的容差性(容忍小幅变化)进行较为充分的阐释,即...
关键词：连锁悖论 模糊性谓词 容差性 认知主义 多值逻辑 超赋值论 
基于阈算术代数系统的电流型BiCMOS多值加法器设计被引量：3
《杭州师范大学学报（自然科学版）》2018年第5期549-554,共6页姚茂群 周传鑫 
国家自然科学基金项目(61771179);国家自然科学基金项目(61271124);浙江省自然科学基金项目(LY15F010011)
通过分析电流型BiCMOS电路特点,并以和图为阈算术函数的图形表示,设计出基于阈算术代数系统的电流型BiCMOS多值加法器.通过设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型BiCMOS多值加法器设计方法.HSPICE模拟结果表明,所...
关键词：阈算术代数系统 和图 多值逻辑 加法器 
全选清除导出
共47页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部