基于ko45逻辑的协作和冲突关系集设计.docxVIP

基于ko45逻辑的协作和冲突关系集设计 摘要：通过KD45逻辑,完善了协作和冲突关系集,改进了群组角色指派模型;提出一种用以完善约束关系集的KD45逻辑闭包算法，解决了在信息不透明情况下获取协作与冲突约束的人机协同任务分配问题;并采用IBM ILOG CPLEX优化包(ILOG)进行了上万次不同规模下的仿真实验。实验结果表明,本文方法产生的群组角色指派约束关系集完善,提出的群组角色指派方法可行、有效,能高效解决协作和冲突约束下的人机协同任务分配优化问题。 新兴技术与制造业不断融合应用，使得发展智能制造模式与系统成为了制造业的发展需求指派是解决任务分配的重要方法。数学建模是指派的关键。在文献避免冲突的群组角色指派GRACAR/G本文希望通过KD45逻辑闭包原理解决A1 真实案例针对上述问题，本文以一个真实案例进行描述。在某公司中，首席执行官刚刚签署一个价值不菲的合同。他吩咐人力资源经理组建一个由公司员工构成的项目组。人力资源经理为该项目组草拟一份职位列表，如表1所示。并草拟一份候选人员名单，如表2所示。括号中的数字分别是岗位索引和候选人索引。接下来，人力资源经理开展候选人能力评估工作，吩咐每个候选人的业务主管对候选人在各个岗位上进行评估，得到一份候选人在各个岗位上的评分表。一些员工可能会因为性格、工作风格、情感问题、政治信仰等不同原因而产生合作意向或冲突意向，即约束。这些合作和冲突约束在工作中对员工的满意度和团队的协同效率存在很大影响。人力资源经理需要考虑这些重要约束。人力资源经理需要候选员工填写一份关于该候选人在某岗位上对其他候选员工在某岗位上合作意向或冲突意向的调查问卷。最后，人力资源经理在整合了候选人填写的调查问卷后，得到如表3所示的合作和冲突约束表。在表3中-1表示冲突关系，1表示合作关系。表3中一行数据表示位于x岗位的A员工认为他与位于y岗位的B员工有合作或冲突关系。例如，表3的第一行信息表示位于0号岗位的2号员工认为与位于0号岗位的8号员工有合作约束关系；表3的第二行信息表示位于2号岗位上的11号员工认为与位于1号岗位的1号员工有冲突约束关系。合作和冲突约束信息收集越多，越容易促成高效的协同，避免冲突。人力资源经理希望用目前能够获得的信息组建一个更高效的项目组。由于调查问卷的填写是采用自愿的方式，调查问卷填写都是单方面的，基于员工的主观意愿，局部的，非对称的。局部是因为问卷的填写是自愿的。非对称是因为员工填写时是独立的，该员工并不能知道他填写的合作或冲突对象是否也持有和他相同的观点。可以采用经典的逻辑闭包关系KD45进行丰富(在第三部分展开)。并且丰富后的合作和冲突因素信息是目前现有信息能够推论的约束关系集合的并集，无法再次丰富。例如，位于0号岗位(项目经理)的2号员工(Abbott)认为与位于0号岗位(项目经理)的8号员工(Bella)有合作约束关系；位于0号岗位(项目经理)的2号员工(Abbott)认为与位于1号岗位(高级程序员)的1号员工(Tom)有合作约束关系；则可以推论出位于0号岗位(项目经理)的8号员工(Bella)认为与位于1号岗位(高级程序员)的1号员工(Tom)有合作约束关系。据此人力资源经理需要竭尽全力将最合适的候选人指派到最需要他的岗位上。人力资源经理考虑后，告诉首席执行官这样的问题可能需要很长一段时间才能得到满意的解决方案。经验丰富的首席执行官了解情况并允许合理的响应时间。人力资源经理指派后，能得到最优相对项目绩效8.34。表2中，加粗数字是被指派的员工及其岗位。在此场景中，首席执行官和人力资源经理实际上遵循E-CARGO模型的子模型考虑合作和冲突的群组角色指派(GRACAR/G)2 建模与问题解决E-CARGO模型是加拿大华裔学者朱海滨提出的角色协同计算模型。E-CARGO模型用9元组根据E-CARGO模型，可对第一节提出的问题建模定义1定义2进一步地，使用A表示指派为该角色的代理集，即某岗位的候选员工集。R表示代理曾经扮演过的角色集。如曾经是程序员、高级程序员等。定义3在本文案例中，表示项目完成此任务需要的角色种类及数量。L[j](0≤jn)表示j号角色需要的数量。定义4在本文案例中，表示候选员工在各个岗位上的工作能力评分值，Q[i,j]∈[0,1]。定义5代理角色合作与冲突矩阵A在本文案例中，(A×R)×(A×R)→{-1,0,1}，A定义6在本文案例中，T[i,j]=1表示为i号员工分配j号岗位，T[i,j]=0表示没有为i号员工分配j号岗位。定义7群组角色指派的线性求解，即寻找一个可行的分配矩阵T。针对第一节提出的问题，提出如下约束函数目标函数：限制于：因为以调查