云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(61300049)

国家自然科学基金(61300049): 作品数：19被引量：38H指数：3; 导出分析报告; 相关作者：刘磊吕帅张鹏李壮周文博更多>>; 相关机构：吉林大学西北农林科技大学中国科学院大学中国科学院更多>>; 相关期刊：《Chinese Journal of Electronics》《计算机应用研究》《哈尔滨工程大学学报》《吉林大学学报（理学版）》更多>>; 相关主题：局部搜索TABULAR计数方法计算机软件可满足性更多>>; 相关领域：自动化与计算机技术更多>>

基于样本效率优化的深度强化学习方法综述被引量：11: 《软件学报》2022年第11期4217-4238,共22页张峻伟吕帅张正昊于佳玉龚晓宇; 国家重点研发计划(2017YFB1003103);国家自然科学基金(61300049);吉林省自然科学基金(20180101053JC)。; 深度强化学习将深度学习的表示能力和强化学习的决策能力结合,因在复杂控制任务中效果显著而掀起研究热潮.以是否用Bellman方程为基准,将无模型深度强化学习方法分为Q值函数方法和策略梯度方法,并从模型构建方式、优化历程和方法评估等...; 关键词：深度强化学习 Q值函数方法策略梯度方法样本效率探索与利用

基于局部搜索的并行扩展规则推理方法: 《软件学报》2021年第9期2744-2754,共11页李壮刘磊张桐搏周文博吕帅; 国家重点研发计划(2017YFB1003103);国家自然科学基金(61300049,61763003);吉林省自然科学基金(20180101053JC,20190201193JC,20190103005JH);吉林大学研究生创新基金(101832018C025)。; 扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可,例如完备的NER,IMOMH_IER,PPSER算法以及基于局部搜索的不完备算法ERACC等,都具有良好的求解效果.其中,ERACC算...; 关键词：自动推理局部搜索扩展规则格局检测并行框架

基于深度强化学习的随机局部搜索启发式方法被引量：1: 《吉林大学学报（工学版）》2021年第4期1420-1426,共7页吕帅刘京; 国家重点研发计划项目(2017YFB1003103);国家自然科学基金项目(61300049,61763003);吉林省自然科学基金项目(20180101053JC,20190201193JC).; 为了更充分地利用可满足问题(SAT)的数据分布中的信息,从而提升算法性能,提出了一种基于深度强化学习的随机局部搜索启发式方法。把随机局部搜索算法中变量的选择看作强化学习任务,训练强化学习Agent学习策略作为随机局部搜索算法选择...; 关键词：计算机软件可满足性随机局部搜索深度强化学习

基于格局检测的并行模型计数方法: 《吉林大学学报（工学版）》2020年第4期1443-1448,共6页李壮刘磊张桐搏吕帅; 国家重点研发计划项目(2017YFB1003103);国家自然科学基金项目(61300049,61763003);吉林省自然科学基金项目(20180101053JC,20190201193JC);吉林大学研究生创新基金项目(101832018C025)。; 在经典的可满足性问题求解中,针对处理模型数较少的实例,SWcc迭代法和SWcc优化增量法与完备的模型计数方法相比,求解适用性更高,但SWcc迭代法和SWcc优化增量法均为串行求解方法,没有对解空间进行剪枝、化简等处理。本文基于此设计了基...; 关键词：自动推理局部搜索模型计数格局检测并行框架

云环境下网络感知的虚拟机分配问题的求解方法: 《吉林大学学报（工学版）》2020年第4期1455-1464,共10页吕帅徐玥张桐搏李广力池策; 国家自然科学基金项目(61300049,61763003);国家重点研发计划项目(2017YFB1003103);吉林省自然科学基金项目(20180101053JC,20190201193JC)。; 提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决...; 关键词：计算机软件虚拟机分配云计算可满足性

基于格局检测的模型计数方法被引量：2: 《软件学报》2020年第2期395-405,共11页贺甫霖刘磊吕帅牛当当王强; 国家自然科学基金(61300049,61763003);吉林省自然科学基金(20180101053JC).; 模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,很多现实问题都可以规约为模型计数进行求解.目前,常用的模型计数求解器主要有Cachet与sharp SAT,它们均采用完备方法且具有高效的求解能...; 关键词：模型计数局部搜索格局检测

基于重启策略的学习子句优化方法: 《东北大学学报（自然科学版）》2020年第1期44-48,共5页李壮刘磊张桐搏吕帅; 国家重点研发计划项目(2017YFB1003103);国家自然科学基金资助项目(61300049,61763003);吉林省科技发展计划项目(20180101053JC,20190201193JC); 以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点...; 关键词：DPLL 子句学习学习子句数据库 MiniSAT求解器 PARETO最优

Complementary Knowledge Compilation Using the Hyper Extension Rule: 《Chinese Journal of Electronics》2019年第2期259-265,共7页NIU Dangdang LIU Lei LYU Shuai XU Yue; supported by the National Natural Science Foundation of China(No.61300049,No.61502197,No.61503044,No.61763003);the Natural Science Research Foundation of Jilin Province of China(No.20180101053JC); We introduce the concept of Complementary formula(COMF), which is a new and non-equivalent way for Knowledge compilation(KC). Based on the Hyper extension rule(HER) which is an expansion of Extension rule(ER), we desi...; 关键词：Knowledge COMPILATION EXTENSION RULE HYPER EXTENSION RULE COMPILATION language Each pair CONTAINS COMPLEMENTARY literals(EPCCL) theory

Tabular表达式中正规函数表操作的形式语义: 《华南理工大学学报（自然科学版）》2019年第2期85-91,共7页周文博刘磊张鹏吕帅; 国家自然科学基金资助项目(61300049);中国博士后科学基金资助项目(2016M591482);吉林省自然科学基金资助项目(20150101054JC;20180101053JC;20190201193JC);吉林大学研究生创新基金资助项目(101832018C025)~~; 正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响...; 关键词：正规函数表 Tabular表达式操作语义软件文档规格说明

Knowledge Compilation Methods Based on the Clausal Relevance and Extension Rule被引量：2: 《Chinese Journal of Electronics》2018年第5期1037-1042,共6页NIU Dangdang LIU Lei LYU Shuai; supported by the National Natural Science Foundation of China(No.61300049,No.61502197,No.61503044,No.61763003);the Natural Science Research Foundation of Jilin Province of China(No.20180101053JC); We introduce the concepts of Relevancematrix(RM) and Relevance-set(RS). And we construct the association between RM and the Knowledge compilation(KC) methods based on Extension rule(ER). Based on the basic parameters ...; 关键词：Extension rule Knowledge compilation Clausal relevance Heuristic strategy

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(61300049)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(61300049)

检索结果分析

下载全文

用户登录

高级检索检索式检索