摘要
针对协同设计中如何提高任务执行的并行度和平稳性,确保任务管理的质量和可靠性等问题,提出了基于模糊集理论的任务管理方法,以及表示与验证的对象化模糊Petri网。通过分析对象化模糊Petri网结构网的可达图,验证任务间的依赖关系,采用改进的对象化模糊Petri网模糊推理算法,分别验证任务项被确定和被完成的可信度。实例表明了基于对象化模糊Petri网的任务管理表示及验证方法的有效性。
Focusing on how to enhance the concurrency and smoothness of collaborative design systems,and to ensure the quality and reliability of task management,the expression and verification of task management and Object Fuzzy Petri Nets（OFPNs）were proposed based on the fuzzy set theory.Dependence relationships of the tasks were verified by analyzing the reachable graph of the OFPNs＇s tructure nets.Credibility of task being determined and completed was verified by applying the improved fuzzy inference algorithms.Example showed that the task management ex-pression and its verification method based on OFPNs were valid.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2010年第8期1597-1606,共10页
Computer Integrated Manufacturing Systems
基金
国家自然科学基金资助项目(50978030)
陕西省自然科学基金资助项目(2009-JM8002-1)~~
