检索结果-内蒙古大学图书馆

计算机科学 2010年第12期37卷 178-181,185页

作者：秦永彬许道云王晓峰贵州大学计算机科学与信息学院贵阳550025

警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实... 详细信息

警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实验证明,改进后的算法比原算法具有迭代次数和运行时间,提高了收敛速度。然而,在RB模型产生的大部分实例集上,警示传播算法不收敛,因而不能有效求解公式。警示传播算法与dpll算法的组合使用使回溯计算次数大大降低,从而有效地弥补了WP算法的不足。通过在RB实例集上的测试实验表明,该方法是有效的。

关键词：信息传递警示传播算法收敛性 dpll算法

来源：评论

学校读者我要写书评

暂无评论

单级式单相光伏并网逆变技术的研究

单级式单相光伏并网逆变技术的研究

引用

作者：范小虎西南科技大学

学位级别：硕士

太阳能是当前世界上最清洁、最有大规模开发利用前景的可再生能源之一。太阳能光伏并网发电是太阳能光伏利用的主要发展趋势，必将得到快速的发展。逆变器作为光伏阵列和电网接口的主要设备，它的性能决定着整个光伏发电系统的性能。\n ... 详细信息

太阳能是当前世界上最清洁、最有大规模开发利用前景的可再生能源之一。太阳能光伏并网发电是太阳能光伏利用的主要发展趋势，必将得到快速的发展。逆变器作为光伏阵列和电网接口的主要设备，它的性能决定着整个光伏发电系统的性能。\n 本文以分布式户用型单相光伏并网逆变器中所使用到的技术为研究对象，以提高并网逆变器的工作效率，降低成本，改善并网波形质量，增强系统的安全性为研究目的，并最终设计一款单级式单相光伏并网逆变器。文中首先分析了逆变器的电路拓扑结构和共模漏电流产生的原因。按照高效率、低成本、安全的设计要求，确定了硬件电路采用单级式无隔离全桥逆变拓扑结构。其次，为了进一步提高逆变器输出并网电流的波形质量，在系统控制策略上，电流环采用了预测控制与带前馈补偿的PI调节相结合的控制方法，电压环采用PI调节的控制方法。最后分析了逆变器中的一些关键技术，设计中采用了恒压法和变步长电导增量法相结合的改进MPPT控制方法，以及相位连续跟踪的dpll算法，主动频移式的反孤岛策略。\n 本课题利用上述研究结果，研制了一台峰值功率为3KW单级式单相光伏并网逆变器样机，实验结果验证系统方案的正确性，其最大效率高达96.7％，逆变器的各项性能指标均达到金太阳认证的要求。

关键词：光伏并网逆变技术拓扑结构工作原理 dpll算法反孤岛策略

来源：评论

学校读者我要写书评

暂无评论

一次性求解多个SAT问题

引用

吉林大学学报（信息科学版） 2010年第2期28卷 136-140页

作者：郑黎辉左万利吉林大学计算机科学与技术学院长春130012

在实际应用中通常需要求解对应CNF(Conjunctive Normal Form)公式之间仅相差几个子句的一系列SAT(Satisfiability Problem)问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于dpll提出了ndpll算法,并在随机问题上对... 详细信息

在实际应用中通常需要求解对应CNF(Conjunctive Normal Form)公式之间仅相差几个子句的一系列SAT(Satisfiability Problem)问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于dpll提出了ndpll算法,并在随机问题上对该算法的效率进行测试。实验结果表明,ndpll算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则ndpll算法的效率越高。

关键词：自动推理 dpll算法可满足性

来源：评论

学校读者我要写书评

暂无评论

布尔不可满足子式的求解方法研究进展

引用

计算机辅助设计与图形学学报 2008年第10期20卷 1253-1260页

作者：李思昆张建民沈胜宇国防科学技术大学计算机学院长沙410073

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.... 详细信息

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.

关键词：形式化验证布尔公式可满足问题不可满足子式 dpll算法

来源：评论

学校读者我要写书评

暂无评论

基于子句权重求解SAT问题

基于子句权重求解SAT问题

引用

作者：赵松云复旦大学

学位级别：硕士

可满足性(SAT)问题一直是电子设计自动化和人工智能领域的一个热点研究问题,因为它在这些领域有着非常广泛的应用。长期以来,人们对此进行了深入地研究,提出了很多解决可满足性问题的算法,其中最为流行的要数dpll算法。基于dpll算法,有... 详细信息

可满足性(SAT)问题一直是电子设计自动化和人工智能领域的一个热点研究问题,因为它在这些领域有着非常广泛的应用。长期以来,人们对此进行了深入地研究,提出了很多解决可满足性问题的算法,其中最为流行的要数dpll算法。基于dpll算法,有很多的解决器被开发出来,ZCHAFF就是其中最著名的解决器之一。在这篇文章中,我们介绍了可满足性问题的应用及其经典算法,并着重研究了dpll算法的决策过程。本文在决策过程中考虑了给定的CNF描述中子句长短不同的问题,采用子句加权改善决策策略。实验表明,对于那些CNF子句长短不一的SAT问题,子句加权后的决策策略能有效提高解决器的性能。在一些例子上,采用子句加权后的解决器,运行时间比ZCHAFF要快几十到几百倍,甚至能解决一些ZCHAFF当前无法解决的问题。

关键词：可满足性问题 dpll算法决策过程子句加权

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：