基于DCSP的煤矿应急救援资源调配方法

在大规模群体突发事件发生后,如何实时及有效地调配资源,是保障应急救援快速实施的关键。以煤矿应急救援为背景,探讨合适的资源调配方法。分布式约束满足问题(DCSP——Distributed Constraint Satisfaction Pro-blem)擅于表示及求解分布式环境下以协作性为主的问题,是一种解决具有信息分布、需求随环境动态变化等特点的资源调配问题的有效方法,而煤矿应急救援问题正好具有这样的特征。因此,采用DCSP方法来解决煤矿应急救援中的资源调配问题,抽取并构建了煤矿应急救援资源调配的模型,讨论了Agent模型和约束模型的定义,改进了MAWS(MAWS——Multiple Asynchronous Weak-commitment Search)算法。经实验验证,采用DCSP方法可在事故发生后的较短时间内做出有效的资源调配决策,减少资源送达到事故点的时间,为应急救援争取了大量救援时间,从而减少了煤矿事故发生后的人员伤亡和经济损失。

基于分布式约束满足的产品配置研究

针对分布式网络化产品配置的特点,将产品配置问题抽象为约束满足问题进行研究.为解决配置知识共享及配置知识的语义表达问题,采用本体驱动的面向对象的思想构建产品配置约束网络结构模型,将该模型转化为分布式约束满足问题(Distributed Constraint Satisfaction Problem,DCSP)求解模型,从而可以准确、完全地描述产品零部件的结构及设计知识,并采用异步弱授权回溯算法进行约束求解,大大提高了求解的搜索效率和准确性.最后给出模型在水泵产品配置设计过程中的实际应用.

基于CSP的配电网大面积断电供电恢复模型和算法

当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。

基于AER模型的配电网大面积断电供电恢复算法

针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种因素被表示为AER模型中的Agent、环境和环境更新规则。该模型结合多主体系统(MAS),构造了一个格子环境,所有Agent均可感知局部环境并在环境中进行移动。文章提出的算法在离线状态下计算与故障形式无关的基础数据,并使用异步回溯算法通过Agent间的交互和Agent与环境间的相互影响来不断地更新每个Agent在解空间的位置,使其能够快速地搜索到最优解。算例结果表明了该算法的有效性和优越性。

分布式约束管理系统的设计与实现

介绍了一种并行工程中分布式约束管理系统的设计与实现的方法。该系统采用约束满足问题的求解算法作为核心，可以求解约束网络中连续变量的可行值域。采用Ｃ／Ｓ结构及分布式数据库产品，具有分布式的特点，以支持ＩＰＴ地理位置的分布特点。它可及时地发现冲突，针对冲突信息，可从冲突仲裁系统的实例库中获得可行的解决方案。最后通过一个转向架设计的应用实例说明了该系统的有效性。

面向产品设计的BOM配置研究

为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回溯法、优选法和最邻近相似匹配法融入其中的分级遍历算法来求解DSCP,并给出了算法的实现流程;最后,以某企业的齿轮泵设计为应用实例,验证了所述方法的可行性和有效性。

分布式约束满足问题及其在MAS任务分配中的应用

针对多智能体系统(MAS)任务分配问题中多个任务与MAS两者的分布式特征,将任务分配问题形式化为分布式约束满足问题(DCSP)进行求解,分别建立了以任务为中心和以agent为中心两种MAS任务分配模型,基于改进的DCSP分布式并行求解算法,提出了基于DCSP的MAS任务分配问题求解框架。该方法适合求解agent间通信有随机延迟以及agent间存在多约束的问题,应用实例的求解表明了其实用性与有效性。

面向目标区域规划的分布式约束满足求解方法

根据目标区域规划的特点,将目标区域规划形式化为分布式约束满足问题进行求解。建立目标区域规划的分布式约束满足模型,并在分析现有分布式约束满足问题求解算法的基础上,对异步回溯搜索算法进行改进,提出基于分布式约束满足问题的目标区域规划求解框架。仿真结果表明,该方法在求解目标区域规划问题方面有效。

网格环境下的分布仿真事件调度研究

针对网格仿真中的事件调度问题,提出一种新的时序管理方法。该方法同时考虑网格仿真成员的按需模型服务调用与成员间的交互,对仿真中具体存在的事件进行分类,建立成员的相关局部事件触发矩阵和时序关系矩阵,并应用Mutli-AWS算法求解每个事件的开始时间。实验结果证明,该方法可以确保成员之间事件的时序关系,有效解决成员按需模型服务调用问题。

基于CSP的含分布式发电孤岛划分模型及算法

DG的孤岛运行可作为供电恢复过程中提高供电可靠性的一种重要运行方式.在配电网发生故障时,为了及时制定出优化的孤岛划分方案,提出了含DG的孤岛划分模型和算法,以及基于约束满足问题模型,采用回溯算法对该约束满足问题进行求解,最后用算例验证了所提方法的有效性和优越性.

分布式问题求解中的妥协策略

基于多agent系统的分布式约束满足(CSP)问题的求解进程依赖于agent间的有效交互。该文针对着色问题(GCP)的分布式求解,提出了agent妥协的概念。通过妥协,两个相邻agent改变了各自原有的局部目标,实现了相邻约束的满足。模拟实验表明,妥协策略有助于提高分布式GCP问题的求解性能。该文还讨论了不同的妥协实现方式对性能的影响。

含分布式电源的配电网分阶段孤岛划分

在含有分布式电源的配电系统发生故障时,可将配电系统划分成若干微电网孤岛运行,制定合理有效的孤岛划分方案十分必要。该文基于约束满足问题模型生成值域单元集,不同变量值域单元集形成邻接矩阵,根据邻接矩阵元素值筛选孤岛划分可行方案,采用熵权法从可靠性、经济性、环保性3方面对孤岛划分可行方案进行综合评价,依据理想点偏离度最小原则优选孤岛划分方案。最后,通过简化系统进行算例分析,验证了本文方法的可行性与有效性。

基于MAS的分布式约束满足求解在供应链研究中的应用

简要介绍了多智能体系统(MAS)在供应链研究中的应用,给出了约束满足问题(ConstraintSatisfaction Problem,CSP)和分布式约束满足问题(Distributed CSP)的定义以及其应用现状,提出了一个利用基于MAS的分布式约束满足求解来研究供应链问题的基本框架,并给出了其求解过程。

Fuzzy Constraint-Based Agent Negotiation

Conflicts between two or more parties arise for various reasons andperspectives. Thus, resolution of con-flicts frequently relies on some form of negotiation. Thispaper presents a general problem-solving framework for modeling multi-issue multilateral negotiationusing fuzzy constraints. Agent negotiation is formulated as a distributed fuzzy constraintsatisfaction problem (DFCSP). Fuzzy constrains are thus used to naturally represent each agent''sdesires involving imprecision and human conceptualization, particularly when lexical imprecision andsubjective matters are concerned. On the other hand, based on fuzzy constraint-basedproblem-solving, our approach enables an agent not only to systematically relax fuzzy constraints togenerate a proposal, but also to employ fuzzy similarity to select the alternative that is subjectto its acceptability by the opponents. This task of problem-solving is to reach an agreement thatbenefits all agents with a high satisfaction degree of fuzzy constraints, and move towards the dealmore quickly since their search focuses only on the feasible solution space. An application tomultilateral negotiation of a travel planning is provided to demonstrate the usefulness andeffectiveness of our framework.