%0 Journal Article %T 协同设计中任务管理的不确定性表示与验证 %A 安毅生 %A 李人厚 %A 赵祥模 %J 计算机集成制造系统 %P 0-0 %D 2010 %X 针对协同设计中如何提高任务执行的并行度和平稳性,确保任务管理的质量和可靠性等问题,提出了基于模糊集理论的任务管理方法,以及表示与验证的对象化模糊Petri网。通过分析对象化模糊Petri网结构网的可达图,验证任务间的依赖关系,采用改进的对象化模糊Petri网模糊推理算法,分别验证任务项被确定和被完成的可信度。实例表明了基于对象化模糊Petri网的任务管理表示及验证方法的有效性。 %K 协同设计 %K 任务管理 %K 模糊集理论 %K Petri网 %K 模糊推理算法 %U http://www.cims-journal.cn/CN/abstract/abstract2728.shtml