搜索筛选:
搜索耗时0.4405秒,为你在为你在102,267,441篇论文里面共找到 10 篇相符的论文内容
发布年度:
[期刊论文] 作者：张桐搏,
来源：农村实用科技信息 年份：2015
摘 要：中国经济高速发展的同时，人们对环境保护的也愈发重视，因此森林资源的保护与建设成为当前人们对环境工作中主要关注的话题。如何有效地防治林木的雨雪灾害及病虫等灾害，采取有切实可行的减灾措施，文章进行了简要分析。 关键词：林业；营林方法；对策 所谓林业，......
[学位论文] 作者：张桐搏,,
来源：吉林大学 年份：2020
模型计数(model counting,#SAT)问题旨在计算给定的公式集合中所有模型的个数,绝大部分计算复杂度为#P的问题均可以在多项式时间内归约为模型计数问题。在人工智能领域,许多计算复杂度高于NP的问题均可转化为模型计数问题进行求解。因此,研究模型计数问题求解技......
[期刊论文] 作者：吕帅,张桐搏,王强,刘磊,
来源：东北大学学报:自然科学版 年份：2019
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快...
[期刊论文] 作者：李壮,刘磊,张桐搏,吕帅,
来源：东北大学学报:自然科学版 年份：2020
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniS...
[期刊论文] 作者：吕帅, 徐玥, 张桐搏, 李广力, 池策,,
来源：吉林大学学报(工学版) 年份：2004
提出了一种云环境下网络感知的虚拟机分配问题的求解方法，该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等五类问题。该方法通过将虚拟机分配问题编码成对应的SA......
[期刊论文] 作者：杨洋, 刘磊, 李广力, 张桐搏, 吕帅,,
来源：计算机学报 年份：2017
作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可。目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处...
[期刊论文] 作者：李壮, 刘磊, 张桐搏, 周文博, 吕帅,,
来源：软件学报 年份：2004
扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可.例如完备的NER、IMOMH＿IER、PPSER算法,以及基于局部...
[期刊论文] 作者：刘磊,李广力,徐玥,张桐搏,吕帅,
来源：吉林大学学报：理学版 年份：2017
针对信息处理中常见的字符串匹配问题,通过对经典的Brute Force算法和KnuthMorris-Pratt算法进行分析,根据GPU异构并行计算任务的分配特性,设计一种针对Knuth-Morris-Pratt算...
[期刊论文] 作者：杨洋,李广力,张桐搏,刘磊,吕帅,,
来源：计算机科学与探索 年份：2016
S5系统是一类知识表示能力和处理能力都较强的模态公理系统，它是认知逻辑、信念逻辑等非经典逻辑理论的基础。根据Kripke语义模型以及S5系统中部分公理，对命题模态逻辑S5公理系...
[期刊论文] 作者：李壮,刘磊,张桐搏,周文博,吕帅,
来源：软件学报 年份：2019
...
相关搜索：
