检索结果-维普期刊中文期刊服务平台

基于不完全算法的并行FPGA SAT求解器: 1; 作者黎铁军马柯帆张建民《计算机工程与科学》 CSCD 北大核心 2021年第12期2126-2130,共5页; 可满足性问题是计算机理论与应用的核心问题。在FPGA上提出了一个基于不完全算法的并行求解器pprobSAT+。使用多线程的策略来减少相关组件的等待时间,提高了求解器效率。此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上... 展开更多; 关键词布尔可满足 FPGA 不完全算法多线程; 在线阅读下载PDF 职称材料

积空间中求解凸不等式系统的不完全投影算法被引量：2: 2; 作者党亚峥高岩《上海理工大学学报》 CAS 北大核心 2012年第4期359-363,共5页; 针对凸不等式系统提出了一种具有可变权参数和下松弛因子的平行不完全投影算法,经过有限次的投影算法得到不完全投影点,并且通过构造一个新的积空间,将欧氏空间中的平行不完全投影算法转化为新空间中的半序列不完全投影算法,使得平行的... 展开更多; 关键词凸不等式系统不完全投影算法积空间收敛性分析; 在线阅读下载PDF 职称材料

求解大型非对称线性方程组的拟最小残量IOM(q)算法: 3; 作者王正盛《南京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第2期146-148,共3页; 不完全正交化算法 ( IOM( q) )由于存储量和计算量小 ,常用来求解大型非对称线性方程组。而此方法收敛过程常出现不规则振荡现象 ,从而影响了收敛速度。本文将拟残量最小化性质加到 IOM( q)算法中 ,提出拟最小残量不完全正交化算法 ( QM... 展开更多; 关键词线性系统迭代法不完全正交化算法 (IOM(q)) KRYLOV子空间; 在线阅读下载PDF 职称材料

增加结构非循环模糊自动机最小化算法(英文) 被引量：1: 4; 作者胡红莉莫智文《工程数学学报》 CSCD 北大核心 2006年第4期599-606,共8页; 我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完... 展开更多; 关键词非循环确定模糊自动机模糊字符串不完全增加结构算法构造模拟状态非必要隶属度状态; 在线阅读下载PDF 职称材料

加强约束的布尔可满足硬件求解器被引量：1: 5; 作者马柯帆肖立权 +2 位作者张建民黎铁军周善祥《国防科技大学学报》 EI CAS CSCD 北大核心 2018年第6期105-111,共7页; 利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一... 展开更多; 关键词现场可编程门阵列布尔可满足性加强约束不完全算法; 在线阅读下载PDF 职称材料

基于变元加权的一种求解SAT问题的新方法: 6; 作者王美华《计算机工程与应用》 CSCD 北大核心 2004年第4期74-77,共4页; 研究合取范式可满足性的SAT问题作为一个NP完全问题,在计算机科学及组合优化问题领域中有着中心课题的重要地位。由于其NP问题的性质决定了它尚无通用快速的完全算法,因此基于“实验算法学”的思想,按照平均性态而不是最坏情况性态的原... 展开更多; 关键词 SAT问题不完全算法变元权重; 在线阅读下载PDF 职称材料

40.5kV SF_6充气式开关柜三维电场分析被引量：28: 7; 作者徐建源任春为 +1 位作者司秉娥林莘《中国电机工程学报》 EI CSCD 北大核心 2008年第15期136-140,共5页; 建立了40.5kV、2000A SF6充气式开关柜的三维电场分析的有限元模型。针对产品实际结构的复杂性,应用网格划分控制工具的参数设置和疏密网格等分网方式对模型进行网格划分,按照实体模型的边界线或边界面的曲率排布设置了中间节点、边中节... 展开更多; 关键词不完全乔类斯基共轭梯度算法 SF6充气柜有限元法电场; 在线阅读下载PDF 职称材料

多Agent系统中分布式约束优化问题: 8; 作者丑超弘马耀飞《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期171-176,共6页; 分布式约束优化问题在多Agent系统中应用十分广泛,它已经作为多Agent分布式推理的一项关键技术,既能够最优化一组分布约束,又能够在一定程度上保护Agent的信息,同时提高解决问题的效率。首先介绍分布式约束优化问题的背景及其算法的发展... 展开更多; 关键词分布式约束优化问题多AGENT系统完全算法不完全算法; 在线阅读下载PDF 职称材料

题名基于不完全算法的并行FPGA SAT求解器: 1; 作者黎铁军马柯帆张建民; 机构国防科技大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2021年第12期2126-2130,共5页; 基金国家自然科学基金(62072464,U19A2062) 并行与分布处理国家级重点实验室开放基金(WDZC20205500116)。; 文摘可满足性问题是计算机理论与应用的核心问题。在FPGA上提出了一个基于不完全算法的并行求解器pprobSAT+。使用多线程的策略来减少相关组件的等待时间,提高了求解器效率。此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上存储器的资源开销。当所有数据均存储在FPGA的片上存储器时,pprobSAT+求解器可以达到最佳性能。实验结果表明,相比于单线程的求解器,所提出的pprobSAT+求解器可获得超过2倍的加速比。; 关键词布尔可满足 FPGA 不完全算法多线程; Keywords boolean satisfiability FPGA incomplete algorithm multi-thread; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名积空间中求解凸不等式系统的不完全投影算法被引量：2: 2; 作者党亚峥高岩; 机构河南理工大学数学与信息科学学院上海理工大学管理学院; 出处《上海理工大学学报》 CAS 北大核心 2012年第4期359-363,共5页; 基金国家自然科学基金资助项目(11171221) 上海市重点学科建设资助项目(S30501) +1 种基金河南省教育自然科学基金资助项目(2010A520019); 文摘针对凸不等式系统提出了一种具有可变权参数和下松弛因子的平行不完全投影算法,经过有限次的投影算法得到不完全投影点,并且通过构造一个新的积空间,将欧氏空间中的平行不完全投影算法转化为新空间中的半序列不完全投影算法,使得平行的不完全投影法的收敛性由半序列不完全投影算法的收敛性证明直接得到,在一定程度上简化了平行不完全投影算法的收敛性证明.; 关键词凸不等式系统不完全投影算法积空间收敛性分析; Keywords convex inequalities system； incomplete projection algorithm； product space； convergence analysis；; 分类号 O223.1 [理学—运筹学与控制论] N94 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名求解大型非对称线性方程组的拟最小残量IOM(q)算法: 3; 作者王正盛; 机构南京航空航天大学理学院; 出处《南京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第2期146-148,共3页; 文摘不完全正交化算法 ( IOM( q) )由于存储量和计算量小 ,常用来求解大型非对称线性方程组。而此方法收敛过程常出现不规则振荡现象 ,从而影响了收敛速度。本文将拟残量最小化性质加到 IOM( q)算法中 ,提出拟最小残量不完全正交化算法 ( QMRIOM( q) ) ,这样收敛曲线光滑无振荡 ,从而大大加快其收敛速度。; 关键词线性系统迭代法不完全正交化算法 (IOM(q)) KRYLOV子空间; Keywords linear systems iteration method incomplete orthogonalization methods IOM(q) Krylov subspace; 分类号 O241.6 [理学—计算数学]; 在线阅读下载PDF 职称材料

题名增加结构非循环模糊自动机最小化算法(英文) 被引量：1: 4; 作者胡红莉莫智文; 机构四川师范大学数学与软件科学学院; 出处《工程数学学报》 CSCD 北大核心 2006年第4期599-606,共8页; 文摘我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完全增加结构算法较传统算法更可行和实用。新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。因为在增加模糊字符串到最小非循环确定模糊自动机的过程中,运用了一些相关的新函数,所以得到的自动机仍然是确定的,而且没有增加任何无关的字符串到自动机的可识别语言。; 关键词非循环确定模糊自动机模糊字符串不完全增加结构算法构造模拟状态非必要隶属度状态; Keywords acyclic deterministic fuzzy finite automaton fuzzy strings semi-incremental algorithm build-imitate state unnecessary-membership state; 分类号 O153.2 [理学—基础数学] TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名加强约束的布尔可满足硬件求解器被引量：1: 5; 作者马柯帆肖立权张建民黎铁军周善祥; 机构国防科技大学计算机学院; 出处《国防科技大学学报》 EI CAS CSCD 北大核心 2018年第6期105-111,共7页; 基金国家自然科学基金资助项目(61103083 61133007 +1 种基金 61572509) 国家重点基础研究发展计划资助项目(2016YFB0200203); 文摘利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。; 关键词现场可编程门阵列布尔可满足性加强约束不完全算法; Keywords field-programmable gate array Boolean satisfiability enhanced constraint incomplete algorithm; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于变元加权的一种求解SAT问题的新方法: 6; 作者王美华; 机构华南农业大学理学院; 出处《计算机工程与应用》 CSCD 北大核心 2004年第4期74-77,共4页; 基金华南农业大学校长基金资助; 文摘研究合取范式可满足性的SAT问题作为一个NP完全问题,在计算机科学及组合优化问题领域中有着中心课题的重要地位。由于其NP问题的性质决定了它尚无通用快速的完全算法,因此基于“实验算法学”的思想,按照平均性态而不是最坏情况性态的原则,对具有启发式策略的不完全算法的研究成为近年来大家关注与努力的焦点。该文正是立足于此,提出了“加权消元”这一种全新而且高效的算法。; 关键词 SAT问题不完全算法变元权重; Keywords SAT,Incompletely algorithm,Weighted variable; 分类号 O221.2 [理学—运筹学与控制论] F224.5 [经济管理—国民经济]; 在线阅读下载PDF 职称材料

题名40.5kV SF_6充气式开关柜三维电场分析被引量：28: 7; 作者徐建源任春为司秉娥林莘; 机构沈阳工业大学电气工程学院; 出处《中国电机工程学报》 EI CSCD 北大核心 2008年第15期136-140,共5页; 文摘建立了40.5kV、2000A SF6充气式开关柜的三维电场分析的有限元模型。针对产品实际结构的复杂性,应用网格划分控制工具的参数设置和疏密网格等分网方式对模型进行网格划分,按照实体模型的边界线或边界面的曲率排布设置了中间节点、边中节点,使有限元模型与实体模型的边界更吻合。同时采用局部细化、重新分网等方法提高网格的质量。考虑大型稀疏方程组迭代收敛以及收敛速度快慢的问题,通过几种求解方法的比较,选用不完全乔类斯基共轭梯度(incomplete Cholesky-conjugate gradient,ICCG)算法进行大型有限元方程组的求解。该文通过计算分析获得了充气柜2个气室(隔离开关室和断路器室)的电位和电场强度的分布规律,以及相关结构参数对电场分布的影响,从而对SF6充气柜(cubicle gas-insulated metal-enclosed switchgear,C-GIS)的绝缘结构设计提供理论参考。; 关键词不完全乔类斯基共轭梯度算法 SF6充气柜有限元法电场; Keywords incomplete Cholesky-conjugate gradientalgorithm SF6 cubicle gas-insulated metal-enclosed switchgear finite-element method electric field; 分类号 TM59 [电气工程—电器]; 在线阅读下载PDF 职称材料

题名多Agent系统中分布式约束优化问题: 8; 作者丑超弘马耀飞; 机构北京航空航天大学自动化科学与电气工程学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期171-176,共6页; 文摘分布式约束优化问题在多Agent系统中应用十分广泛,它已经作为多Agent分布式推理的一项关键技术,既能够最优化一组分布约束,又能够在一定程度上保护Agent的信息,同时提高解决问题的效率。首先介绍分布式约束优化问题的背景及其算法的发展,对现有解决问题的一些完全算法和不完全算法作出了具体论述,通过从效率、质量、隐私等方面这些算法进行比较和分析,然后介绍在分布式约束优化问题在具体领域中的应用,最后论述分布式约束优化算法目前存在的问题及未来发展方向。; 关键词分布式约束优化问题多AGENT系统完全算法不完全算法; Keywords DCOP Multi-Agent system complete algorithm incomplete algorithm; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于不完全算法的并行FPGA SAT求解器	黎铁军马柯帆张建民	《计算机工程与科学》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
2	积空间中求解凸不等式系统的不完全投影算法	党亚峥高岩	《上海理工大学学报》 CAS 北大核心	2012	2	在线阅读下载PDF 职称材料
3	求解大型非对称线性方程组的拟最小残量IOM(q)算法	王正盛	《南京航空航天大学学报》 EI CAS CSCD 北大核心	2001	0	在线阅读下载PDF 职称材料
4	增加结构非循环模糊自动机最小化算法(英文)	胡红莉莫智文	《工程数学学报》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
5	加强约束的布尔可满足硬件求解器	马柯帆肖立权张建民黎铁军周善祥	《国防科技大学学报》 EI CAS CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
6	基于变元加权的一种求解SAT问题的新方法	王美华	《计算机工程与应用》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
7	40.5kV SF_6充气式开关柜三维电场分析	徐建源任春为司秉娥林莘	《中国电机工程学报》 EI CSCD 北大核心	2008	28	在线阅读下载PDF 职称材料
8	多Agent系统中分布式约束优化问题	丑超弘马耀飞	《系统仿真学报》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料