检索结果-南通市图书馆

Complementary Knowledge Compilation Using the Hyper Extension Rule

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2019年第2期28卷 259-265页

作者： NIU Dangdang LIU Lei lyu shuai XU Yue College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University

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 design a compilation algorithm which can formula compile each Conjunctive normal form(CNF)formula to complementary Fully complementary connected diagram(c-FCCD), named as C2C(CNF formula to cFCCD). Theoretically, c-FCCD is a kind of complementary formulae of the input formulae and can support all queries and partial transformations in KC map. Experimentally,C2C is competitive with the EPCCL compilers KCER,C2E, UKCHER, DKCHER and IKCHER.

关键词： Knowledge compilation Extension rule Hyper extension rule Compilation language Each pair contains complementary literals(EPCCL) theory

Controlled synthesis of cobalt nanocrystals on the carbon spheres for enhancing Fischer–Tropsch synthesis performance

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2019年第6期28卷 67-73页

作者： Ting Kuang shuai lyu Sixu Liu Yuhua Zhang Jinlin Li Guanghui Wang Li Wang Key Laboratory of Catalysis and Materials Science of the State Ethnic Affairs Commission & Ministry of Education College of Chemistry and Materials ScienceSouth-Central University for NationalitiesWuhan 430074HubeiChina Hubei Key Laboratory of Coal Conversion and New Carbon Material School of Chemical Engineering and TechnologyWuhan University of Science and TechnologyWuhan 430081HubeiChina

Non-porous carbon sphere was used as support to synthesize supported cobalt Fischer-Tropsch catalysts with high activity and durability. Strong metal-support interaction was avoided and intrinsic activity of pristine cobalt nano-particles was studied. Thermal decomposition synthesis method was applied to obtain cobalt catalysts with high dispersion and narrow particle size distribution. Furthermore the cobalt size can be controlled by the molar ratio of o-dichlorobenzene/benzylamine. Compared with supported cobalt catalysts prepared by incipient wetness impregnation method and ultrasonic impregnation method,the catalyst prepared by thermal decomposition method showed higher catalytic activity, higher long chain hydrocarbons selectivity and lower methane selectivity.

关键词： Fischer-Tropsch synthesis Cobalt-based catalysts Dispersion Thermal decomposition

Design and construction of size-controlled CoO/CS catalysts for Fischer–Tropsch synthesis

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第4期17卷 2520-2527页

作者： Wei Sun Ting Kuang Guiyou Wei Yue Li Yaqin Liu shuai lyu Yuhua Zhang Jinlin Li Li Wang Key Laboratory of Catalysis and Energy Materials Chemistry of Ministry of Education&Hubei Key Laboratory of Catalysis and Materials Science South-Central Minzu UniversityWuhan 430074China Hubei Key Laboratory of Biomass Fibers and Eco-dyeing&Finishing College of Chemistry and Chemical EngineeringWuhan Textile UniversityWuhan 430200China

The use of supported Co-based catalysts is widespread in various catalytic reactions due to their unique *** structural sensitivity of these catalysts is closely linked to their particle size and crystal ***,comprehending the structure–activity relationship requires the development of well-defined Co-based ***,we employed a colloidal wet chemical process and a heterogeneous nucleation method to prepare well-defined Co-based catalysts supported by inert carbon *** nanospheres’surface possesses abundant functional groups that efficiently capture metal complexes and facilitate the nucleation and growth of CoO *** adjusting the Co source concentration,solvent molar ratio,and nucleation growth kinetics,we successfully prepared CoO/carbon sphere(CS)catalysts with different particle sizes and crystal *** influence of metallic face-centered cubic(fcc)-Co^(0) particle size in the range of 6.6–17.6 nm on the performance of Fischer–Tropsch synthesis(FTS)using well-defined CoO/CS catalysts has been *** result demonstrated that the turnover frequency(TOF)remained constant for CoO/CS catalysts with metallic fcc-Co^(0) particle size larger than 7.7 ***,both the selectivity and the activity changed for CoO/CS catalysts with smaller particles(<7.7 nm).Significantly,when metallic fcc-Co^(0) particle size was reduced from 17.6 to 7.7 nm,the cobalt time yield increased to 6.7μmolCO·gCo^(-1)·s^(-1),indicating improved catalytic *** the same time,the CH_(4) selectivity decreased to 4.9%,suggesting a higher preference for hydrocarbon *** findings demonstrate the importance of particle size in Co catalyzed Fischer–Tropsch *** use of well-defined CoO/CS catalysts offers valuable insights into the structure–activity relationship,leading to a better understanding of Co catalyzed Fischer–Tropsch synthesis.

关键词： Fischer–Tropsch synthesis(FTS) cobalt size effects phase effects carbon nanospheres

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于深度强化学习的随机局部搜索启发式方法

吉林大学学报（工学版） 2021年第4期51卷 1420-1426页

作者：吕帅刘京吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012

为了更充分地利用可满足问题(SAT)的数据分布中的信息,从而提升算法性能,提出了一种基于深度强化学习的随机局部搜索启发式方法。把随机局部搜索算法中变量的选择看作强化学习任务,训练强化学习Agent学习策略作为随机局部搜索算法选择... 详细信息

为了更充分地利用可满足问题(SAT)的数据分布中的信息,从而提升算法性能,提出了一种基于深度强化学习的随机局部搜索启发式方法。把随机局部搜索算法中变量的选择看作强化学习任务,训练强化学习Agent学习策略作为随机局部搜索算法选择翻转变量的启发式,以期望通过端到端的方式获得效率更好的翻转变量的选择方法。实验结果表明,本文方法是有效的,并且与经典随机局部搜索算法ProbSAT相比,本文方法在性能上也有一定的优势,可以在更少的决策步骤内求出问题的解。

关键词：计算机软件可满足性随机局部搜索深度强化学习

基于概率的震级完备度方法评估云南地震台网的监测能力

在线全文

学校读者我要写书评

暂无评论

地震研究 2025年第1期48卷 61-70页

作者：杨周胜杨晶琼刘鹏飞吕帅姚远云南省地震局云南昆明650224

为了科学评估云南地震台网的监测能力,分析云南地区的地震监测能力时空分布特征,采用基于概率的震级完备度(PMC)方法,利用2009-2023年云南地震台网地震目录、震相和台站信息等数据,计算了云南地震台网在云南地区的平均地震监测能力和在... 详细信息

为了科学评估云南地震台网的监测能力,分析云南地区的地震监测能力时空分布特征,采用基于概率的震级完备度(PMC)方法,利用2009-2023年云南地震台网地震目录、震相和台站信息等数据,计算了云南地震台网在云南地区的平均地震监测能力和在不同深度的监测能力,得到滇中、滇西局部地区的基于概率的完备性震级M_(P)=1.5,云南全境基本都能监测到2.5级地震。评估了研究时段内云南地震台网台站监测能力的演变,发现部分台站的监测能力持续下降。但自2018年增加20个台站后,云南2.0及2.5级地震的监测范围有一定的扩大,但微震监测能力提升不明显,可能是因为2018年以来云南一直处于小震弱活动状态。最后,对应用PMC方法规划提升台网监测能力进行了展望。

关键词：完备震级地震监测能力 PMC方法云南地震台网检测概率空间分布

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

国产加压过滤机系统优化改造

洁净煤技术 2023年第S1期29卷 90-94页

作者：吕帅吴伟国能神东煤炭洗选中心榆家梁选煤厂陕西榆林719315

煤泥是选煤厂生产系统中必不可少的一部分,对细煤泥处理一直采用加压过滤机脱水。为实现细煤泥提质增效,解决国产加压过滤机生产过程中存在的诸多技术和管理问题是榆家梁选煤厂的当务之急。加压过滤机在保养润滑、液压驱动、生产排料,... 详细信息

煤泥是选煤厂生产系统中必不可少的一部分,对细煤泥处理一直采用加压过滤机脱水。为实现细煤泥提质增效,解决国产加压过滤机生产过程中存在的诸多技术和管理问题是榆家梁选煤厂的当务之急。加压过滤机在保养润滑、液压驱动、生产排料,通过五小创新,改造原有设备备件及生产运行方式,不仅可靠性强,且节约检修时间和劳动力,提高了设备开机率,降低了故障率。

关键词：液压站润滑上下滤液管路底流泵入料阀上下闸板

在线全文

学校读者我要写书评

暂无评论

基于细胞膜演算的Dryad形式化描述

哈尔滨工程大学学报 2016年第11期37卷 1539-1545页

作者：刘磊刘丰任俊绮吕帅吉林大学计算机科学与技术学院吉林长春130012 吉林大学数学学院吉林长春130012

由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一... 详细信息

由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系,为编程人员提供了任务调度的优化依据,同时该形式化描述还可作为验证程序正确性的辅助工具。

关键词：云计算编程模型 Dryad 细胞膜演算形式化有向无环图

利用细胞膜演算描述带子句学习的DPLL算法

在线全文

学校读者我要写书评

暂无评论

哈尔滨工程大学学报 2019年第4期40卷 799-804页

作者：李壮刘磊吕帅任俊绮吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求... 详细信息

为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。

关键词：人工智能问题求解形式化方法自动推理 DPLL 子句学习演算细胞膜演算

在线全文

学校读者我要写书评

暂无评论

基于相邻子句规约的求差知识编译算法

哈尔滨工程大学学报 2019年第12期40卷 2044-2049页

作者：牛当当吕帅王金艳西北农林科技大学信息工程学院陕西杨凌712100 西北农林科技大学陕西省农业信息感知与智能服务重点实验室陕西杨陵712100 吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 广西师范大学计算机科学与信息工程学院广西桂林541004

利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量。为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于约简EPCCL理论中满足规约规则的相邻子句,进而降低了基于超扩... 详细信息

利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量。为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于约简EPCCL理论中满足规约规则的相邻子句,进而降低了基于超扩展规则的求差知识编译算法(computing the difference set for knowledge compilation based on hyper extension rule,DKCHER)的中间结果EPCCL理论和最终结果EPCCL理论的规模。结合RACE算法和DKCHER算法,设计并实现了改进的DKCHER算法(improved DKCHER,imp-DKCHER)。实验结果表明:imp-DKCHER算法能够显著提高DKCHER算法的编译质量,平均可提高17.3%,并在大部分实例上能够提高DKCHER算法的编译效率。

关键词：自动推理知识编译扩展规则超扩展规则子句集 EPCCCL理论规约规则相邻子句规约