E-CARGO模型在CSP问题中的描述

基于角色的协同RBC(Role-Based Collaboration)是一套研究角色及它们之间复杂关系的方法、理论和技术。在RBC中,群组角色分配GRA(Group Role Assignment)既是一个关键问题,也是一个难题。已有许多研究探讨了基于Q(Qualification)矩阵来处理GRA问题,但仅利用Q矩阵难以描述问题中的复杂约束关系。因此,将约束集(Constraint)引进E-CARGO模型,提出了带约束的EC-CARGO模型,研究了RBC、GRA、SAT(SATisfaction)和CSP(Constraint Satisfaction Problem)之间的联系,建立了RBC-GRA-SAT-CSP问题求解转换关系;提出应用EC-CARGO模型求解经典CSP约束满足问题的方法,进而描述了应用GRA求解CSP约束满足问题的通用框架。最后以N皇后问题为例,验证了通过GRA的约束指派求解CSP问题的有效性。

Constrainted E-CARGO Model Applying in CSP Problem

Role-based collaboration is a set of method,theory and technology which is used to explore the role and the complex relationship among them.In the RBC,group role assignment is a key problem and difficult problem.Many researchers solve GRA problems based on a qualification matrix,but it is difficult to describe the complex constraint relationships of the problems with only one matrix.Therefore, after adding a constraint set to the E-CARGO model,we put forward the Ec-CARGO model with constraints.We also deeply studied the intrinsic relationships among the RBC,GRA,SAT,and CSP,and then produced the transformation relation of RBC-GRA-SAT-CSP.We proposed a method of solving typical CSP constraint satisfaction problems based on E_c-CARGO,and designed a common framework of solving CSP problems with the constraint assignment of GRA.Finally,the N-queen problem was used to verify the validity of our method .