检索结果-南通市图书馆

An Parallel FPGA SAT Solver Based on Multi-Thread and Pipeline

Chinese Journal of Electronics 2021年第6期30卷 1008-1016页

作者： LI Tiejun MA Kefan ZHANG Jianmin College of computer National University of Defense Technology

The Boolean Satisfiability(SAT) problem is the key problem in computer theory and application. A parallel multi-thread SAT solver named pprob SAT+ on a configurable hardware is proposed. In the algorithm,multithreads are executed simultaneously to hide the circuit stagnate. In order to improve the working frequency and throughput of the SAT solver, the deep pipeline strategy is adopted. When all data stored in block random access memory of the field programmable gate array, the solver can achieve maximum performance. If partial data are stored in the external memory, the size of the problem instances the SAT solver can be greatly improved. The experimental results show that the speedup of three-thread SAT solver is approximately 2.4 times with single thread,and shows that the pprob SAT+ have achieved substantial improvement while a solution is found.

关键词： field programmable gate arrays configurable hardware parallel multithread SAT solver Boolean satisfiability problem deep pipeline strategy block random access memory random-access storage pprobSAT three-thread SAT solver parallel FPGA SAT solver field programmable gate array computer theory

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Swarm controlled emergence for ant clustering

引用

International Journal of Intelligent Computing and Cybernetics 2013年第1期6卷 62-82页

作者： Alexander Scheidler Daniel Merkle Martin Middendorf Fraunhofer Institute for Wind Energy and Energy System Technology KasselGermany Department of Mathematics and computer Science University of Southern DenmarkOdense MDenmark Department of computer Science University of LeipzigLeipzigGermany

Purpose–Swarm controlled emergence is proposed as an approach to control emergent effects in(artificial)*** method involves the introduction of specific control agents into the swarm *** agents behave similar to the normal agents and do not directly influence the behavior of the normal *** specific design of the control agents depends on the particular swarm system *** aim of this paper is to apply the method to ant *** clustering,as an emergent effect,can be observed in nature and has inspired the design of several technical systems,*** robots,and clustering ***/methodology/approach–Different types of control agents for that ant clustering model are designed by introducing slight changes to the behavioural rules of the normal *** clustering behaviour of the resulting swarms is investigated by extensive simulation ***–It is shown that complex behavior can emerge in systems with two types of agents(normal agents and control agents).For a particular behavior of the control agents,an interesting swarm size dependent effect was *** behaviour prevents clustering when the number of control agents is large,but leads to stronger clustering when the number of control agents is relatively *** limitations/implications–Although swarm controlled emergence is a general approach,in the experiments of this paper the authors concentrate mainly on ant *** remains for future research to investigate the application of the method in other swarm *** controlled emergence might be applied to control emergent effects in computing systems that consist of many autonomous components which make decentralized decisions based on local *** implications–The particular finding,that certain behaviours of control agents can lead to stronger clustering,can help to design improved clustering algorithms by using heterogeneous swarms of ***/value–In

关键词： Emergent behaviour Ant-based clustering Swarm intelligence Control of emergence Computing computer theory

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：