四值逻辑

作品数：48被引量：45H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：刘任任龚志伟黄慧毛宇光许芬更多>>
相关机构：湘潭大学北京大学南京航空航天大学中南林业科技大学更多>>
相关期刊：《邵阳学院学报（自然科学版）》《微电子学与计算机》《北京理工大学学报》《遥测遥控》更多>>
相关基金：国家自然科学基金湖南省自然科学基金湖南省教育厅科研基金浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于可重构四值逻辑运算器构建数字文件的配置加密技术
《上海大学学报（自然科学版）》2024年第4期682-693,共12页王宏健 韩屹晨 陈迅雷 金翊 
上海市浦江人才计划资助项目(21PJD001)。
2018年问世的可重构四值逻辑运算器通配电路为配置加密技术提供了核心器件,大约在千分之1.6 mm2的微芯片上就能构造出一个32位配置加密器件的加密器、解密器和密钥派生器,在250 MB的只读存储器中就能预置1013个广义密钥源数据,每个源数...
关键词：可重构四值逻辑运算器通配电路 配置加密技术 广义密钥 数据文件加/解密 
时态德摩根逻辑的语义与证明论
《逻辑学研究》2017年第4期99-116,共18页梁飞 
国家社会科学基金青年项目"非古典命题逻辑的结构证明论研究"(批准号16CZX049)的研究成果
本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面,基于时态德摩根代数的表示定理,本文给出了时态德摩根逻辑的关系语义,并证明了DMt相对于该语义是可靠且完全的;另一方面,本文构造了DMt的保守扩张显示演算系统D...
关键词：德摩根代数 四值逻辑 时态德摩根逻辑 关系语义 显示系统 
基于逻辑推理的计算机试题评卷算法研究被引量：4
《智能计算机与应用》2014年第4期47-49,53,共4页贾志先 
教育部人文社会科学研究新疆项目(14XJJAZH001)
到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多种多样,存在着不一致(inconsistent)或不确定(uncertain)的问题。R.Reiter缺省逻辑(default logic)推理可...
关键词：四值逻辑 缺省逻辑 计算机评卷 
基于时区的次协调数据库的完整性约束及模型被引量：3
《计算机应用与软件》2014年第3期22-26,共5页黄慧 毛宇光 
传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型...
关键词：次协调数据库 四值逻辑 时区 完整性约束 时态模型 
基于时态的次协调数据库性质与查询优化
《计算机与现代化》2013年第5期52-56,共5页黄慧 
为了处理以时间为推移的数据库中不完全信息和矛盾信息,学术界提出了基于时态的次协调数据库的数据模型。本文基于此模型,初步讨论并给出关系运算符的相关性质,根据建立的关系运算符的若干性质对查询语句优化,从而提升查询速度。
关键词：次协调数据库 四值逻辑 时态 查询优化 
基于时态的次协调数据库的研究被引量：1
《微电子学与计算机》2012年第12期124-128,132,共6页黄慧 毛宇光 
基于时态的次协调数据库的数据模型是用来处理以时间为推移的数据库中不完全信息和矛盾信息.本文基于这样的数据模型,首先,提出三史制和超期数据转移算法及时间点抽取算法,这些算法可用于处理大量的过期数据,同时使用双向链表存储此类数...
关键词：次协调数据库 四值逻辑 时态 三史制 双向链表 TPQL语言 
部分四值逻辑中准完备集的最小覆盖被引量：1
《计算机工程与应用》2012年第23期52-57,76,共7页龚志伟 刘任任 
国家自然科学基金(No.60673193);中南林业科技大学校青年基金(No.QJ2010021B)
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
关键词：多值逻辑 最小覆盖 SHEFFER函数 
部分四值逻辑中Sheffer函数的判定被引量：1
《计算机工程与应用》2011年第29期140-142,共3页金辉霞 何骞 
湖南省教育厅科学研究课题(No.10C0498)
多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分...
关键词：多值逻辑 SHEFFER函数 准完备集 最小覆盖 
部分四值逻辑中保二元正则可离关系非最小覆盖的剔除
《计算技术与自动化》2011年第3期76-78,共3页龚志伟 刘任任 
国家自然科学基金资助(606731931)
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的...
关键词：多值逻辑 完备性 正则可离关系 最小覆盖 
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定被引量：5
《计算机科学》2010年第11期257-260,共4页刘任任 王婷 谭昊勋 
国家基金项目"部分多值逻辑函数结构理论研究"(60673193);湖南省教育厅基金项目"部分多值逻辑中准完备集的分类研究"(10C768)资助
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
关键词：多值逻辑 SHEFFER函数 最小覆盖 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部