合取范式

作品数：66被引量：146H指数：8
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：刘歆黄文奇史开泉李光辉李晓维更多>>
相关机构：华中科技大学山东大学吉林大学湖北工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划浙江省自然科学基金河北省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
三支概念的恢复集被引量：1
《山东大学学报（理学版）》2023年第12期52-62,共11页陈曜琦 徐伟华 蒋宗颖 
国家自然科学基金资助项目(62376229);重庆市研究生科研创新项目(CYS21133)。
将三支形式概念分析这一工具引入到数据恢复领域,通过定义三支概念的恢复集和恢复度,研究三支概念间的隐藏信息,提出了一种有效的形式背景恢复算法。同时,针对三支概念恢复集问题,研究三支概念对形式背景二元关系的约束,设计了恢复集的...
关键词：合取范式 动态更新 三支概念 形式概念分析 
一阶逻辑中不含相同谓词符号公式的真度研究
《贵州大学学报（自然科学版）》2022年第5期29-34,共6页王波 惠小静 鲁星 
国家自然科学基金资助项目(11471007,61763045)。
自真度概念被提出以来,命题逻辑的计量化得到了广泛的关注和发展。谓词逻辑的相关研究是一个难点,其中一阶逻辑的公理化真度以及程度化才刚刚起步。从文字的完全闭包及其合取的公理化真度出发,首先,证明了不含相同谓词符号广义合取式的...
关键词：一阶逻辑 公式真度 合取范式 逻辑等价 
多文字可满足SAT问题的相变点上界
《计算机工程与科学》2022年第7期1282-1290,共9页芦磊 王晓峰 梁晨 张九龙 
国家自然科学基金(62062001,61762019,61862051,61962002);北方民族大学创新项目(YCX21083);宁夏自然科学基金(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119)。
可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得随机合取范式(CNF)公式中每个子句至少有1个文字为真。多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得随机CNF公式中每个子句至少有2个文字为真。此问题仍然是一个NP难问题...
关键词：多文字可满足 SAT问题 不满足阈值 相变点上界 合取范式 
P-增广矩阵及其动态跟踪识别应用被引量：1
《安徽大学学报（自然科学版）》2022年第3期53-58,共6页张秀全 
国家自然科学基金资助项目(12171193);河南省高等学校青年骨干教师培育项目(2021GGJS158)。
P-增广矩阵是利用P-集合的动态特征改进普通增广矩阵得到的增广矩阵新结构.利用P-集合的结构与动态特征,给出P-增广矩阵与普通增广矩阵的关系,及P-增广矩阵的合取范式扩展-收缩逻辑特征;利用P-增广矩阵动态特性与系统工作状态吻合的规律...
关键词：P-集合 P-增广矩阵 合取范式 动态跟踪识别 
混合exactly-one约束的模型计数研究
《东北大学学报（自然科学版）》2022年第4期463-469,共7页韩淑婷 赖永 刘杰 
国家自然科学基金资助项目(61976050);吉林省自然科学基金资助项目(20190103005JH).
模型计数是求给定命题公式的模型数,是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中,存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式,再调用模型计数器求解.这种...
关键词：exactly-one约束 模型计数 二元约束传播 合取范式 C2D 
基于d-正则(3,2s)-CNF问题的加密方案
《数字技术与应用》2022年第3期240-242,共3页孙瑞 
国家自然科学基金资助项目(12065021);江西省教育厅社科类资助项目(TY19220);上饶师范学院校级自选课题(202126)。
本文旨在d-正则(3,2s)-CNF问题基础上提出公钥加密系统,但一般的具有正则结构的SAT合取范式并没有加密作用,因此给研究过程带来较大障碍。为了解决此类问题,我们结合并改进SDRRK2S模型作为隐藏明文的工具,通过引入此模型生成难解的d-正...
关键词：合取范式 模型生成 加密方案 CNF 公钥加密系统 正则结构 SAT 密文 
基于子集一致性检测的诊断解极小性判定方法被引量：8
《计算机研究与发展》2019年第7期1396-1407,共12页田乃予 欧阳丹彤 刘梦 张立明 
国家自然科学基金项目(61672261,61502199,61402196,61373052)~~
基于模型诊断作为克服第1代诊断系统的缺陷而出现的智能诊断推理技术,现已成为十分活跃的人工智能研究分支,随着相关技术的不断发展,应用愈加广泛.其中,大多数研究集中于诊断求解过程,而诊断解的极小性检测方法保证了最终求得诊断解的...
关键词：基于模型诊断 子集一致性 诊断解极小性 可满足性 合取范式 
两类动态信息模型及其应用
《计算机科学》2018年第11期238-243,共6页张凌 任雪芳 史开泉 
福建省中青年教师教育科研项目(JA15495;JA15503);龙岩学院重点学科资助项目;大数据挖掘与应用福建省高校重点实验室(龙岩学院)资助
P-集合(P-sets)是一类具有动态特征的集合模型,在P-集合中,元素的属性满足数理逻辑中的合取范式。P-集合是把动态特性引入到有限普通元素集合(有限Cantor set)X内,来改进有限普通元素集合X而提出的。逆P-集合(Inverse P-sets)是另一类...
关键词：P-集合 逆P-集合 合取范式 析取范式 递推搜索-发现 挖掘-获取 
CNF公式赋值空间上可满足解的概率性质被引量：4
《计算机科学与探索》2018年第11期1852-1861,共10页莫孝玲 许道云 
国家自然科学基金Nos.61762019;61462001~~
为分析合取范式(conjunctive normal form,CNF)公式的赋值空间在可满足性情况下的结构性质,引入一个变元翻转次数控制的参数k,k不小于1且不大于n,n为公式中出现的变元个数,以赋值作为结点,基于翻转界控制下赋值满足子句数的大小,引入一...
关键词：合取范式(CNF)公式 赋值空间 翻转控制参数 可满足解 
两类动态信息规律模型及其在信息伪装、风险识别中的应用被引量：12
《计算机科学》2018年第9期230-236,共7页任雪芳 张凌 史开泉 
福建省中青年教师教育科研项目(JA15495;JA15503);龙岩学院重点学科资助项目;大数据挖掘与应用福建省高校重点实验室(龙岩学院)资助
函数P-集合是P-集合的函数形式,是通过改进P-集合得到的一个具有动态特征、规律(函数)特征的信息规律模型。在函数P-集合中,函数的属性满足数理逻辑中的合取范式。函数逆P-集合是函数P-集合的对偶模型,在函数逆P-集合中,函数的属性满足...
关键词：函数P-集合 函数逆P-集合 信息规律 合取范式 析取范式 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部