赖永

作品数：5被引量：33H指数：3
导出分析报告
供职机构：吉林大学更多>>
发文主题：知识编译惩罚小样本消融向量更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《东北大学学报（自然科学版）》《计算机研究与发展》《软件学报》《计算机学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金吉林省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
混合exactly-one约束的模型计数研究
《东北大学学报（自然科学版）》2022年第4期463-469,共7页韩淑婷 赖永 刘杰 
国家自然科学基金资助项目(61976050);吉林省自然科学基金资助项目(20190103005JH).
模型计数是求给定命题公式的模型数,是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中,存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式,再调用模型计数器求解.这种...
关键词：exactly-one约束 模型计数 二元约束传播 合取范式 C2D 
Tableau算法的优化及模型规约技术被引量：4
《计算机学报》2014年第8期1647-1657,共11页刘大有 赖永 王生生 
国家自然科学基金(61133011;61170092;61300146;61373053)资助
为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模...
关键词：模态逻辑 TABLEAU算法 优化 模型规约 
C2E:一个高性能的EPCCL编译器被引量：11
《计算机学报》2013年第6期1254-1260,共7页刘大有 赖永 林海 
国家自然科学基金(60603030;60773099;61133011);欧盟基金项目TH/Asia Link/010(111084)资助
提出一个新的基于DPLL的编译算法KCDP,从而成功地将EPCCL理论和SAT求解联系起来,使得目前很多应用在基于DPLL的SAT求解器中先进的技术都能被引入到EPCCL理论的编译中以提高编译效率;提出规约规则,并基于该规则,提出能在多项式时间内终止...
关键词：知识编译 EPCCL理论 DPLL程序 规约规则 
一种有效的分层加权库编译方法
《软件学报》2012年第10期2550-2563,共14页赖永 刘大有 
国家自然科学基金(61133011;61170092;60973088;60873149);吉林大学研究生创新基金(20111060)
提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于编译分层加权库,但是,由于存在较多冗余信息而效率不高.提出一种新的编译方法,能够在编译过程中去除冗余信...
关键词：偏好 惩罚逻辑 分层加权库 知识编译 
基于扩展规则的模型计数与智能规划方法被引量：22
《计算机研究与发展》2009年第3期459-469,共11页赖永 欧阳丹彤 蔡敦波 吕帅 
国家自然科学基金项目(607730097);教育部高等学校博士学科点专项科研基金项目(20050183065)~~
提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方...
关键词：自动推理 扩展规则 命题可满足问题 模型计数 Conformant规划 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部