搜索筛选:
搜索耗时3.2265秒,为你在为你在102,285,761篇论文里面共找到 12 篇相符的论文内容
发布年度:
[学位论文] 作者：牛当当,,
来源：吉林大学 年份：2004
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[学位论文] 作者：牛当当,
来源：吉林大学 年份：2018
...
[期刊论文] 作者：刘磊,牛当当,吕帅,
来源：计算机学报 年份：2016
超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出...
[期刊论文] 作者：牛当当,刘磊,吕帅,
来源：软件学报 年份：2017
超扩展规则是对扩展规则的扩充，基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集，并将所得结果以EPCCL（each pair of clauses co...
[期刊论文] 作者：牛当当,刘磊,吕帅,
来源：电子学报 年份：2018
基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理论的并行合并算法PUAE(Parallel computing...
[期刊论文] 作者：牛当当, 吕帅, 王金艳,,
来源：哈尔滨工程大学学报 年份：2019
利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量。为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于...
[期刊论文] 作者：牛当当,吕帅,王金艳,
来源：电子学报 年份：2019
DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设计了一种新的启发式策略MOVR(maximum occur...
[期刊论文] 作者：刘磊,牛当当,李壮,吕帅,
来源：哈尔滨工程大学学报 年份：2015
为了提高扩展规则的扩展性能,提出了超扩展规则,并证明了其与扩展负超归结之间的关联关系。KCER算法中使用扩展规则扩展子句,利用超扩展规则替换扩展规则能够更清晰地展示扩...
[期刊论文] 作者：牛当当,吕帅,王金艳,刘斌,
来源：电子学报 年份：2020
DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策略MACR(maximum complementary amount of cl...
[期刊论文] 作者：王金艳,胡春,牛当当,李先贤,
来源：电子学报 年份：2020
ERACC(Extension Rule Based on Accurate Configuration Checking)算法由杨洋等人基于扩展规则和格局检测提出,具有较高的推理效率.为进一步提高ERACC算法在大规模SAT(Satis...
[期刊论文] 作者：贺甫霖,刘磊,吕帅,牛当当,王强,
来源：软件学报 年份：2020
模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,很多现实问题都可以规约为模型计数进行求解.目前,常用的模型计数求解器主要...
[期刊论文] 作者：张宏鸣,付振宇,韩文霆,阳光,牛当当,周新宇,,
来源：农业机械学报 年份：2021
为快速准确获取玉米幼苗株数、评估播种质量、进行查缺补苗等管理,对YOLO算法进行改进,提出了一种基于特征增强机制的幼苗获取检测模型(FE-YOLO),实现了对玉米幼苗株数的快速获取。该方法根据玉米幼苗目标尺寸和空间纹理特征,构建了基于动态激活的轻量特征提取......
相关搜索：
