检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《南京理工大学学报(社会科学版)》2005年第S1期47-51,共5页Journal of Nanjing University of Science and Technology:Social Sciences
基 金:国家重点基础研究发展计划(2002CB312204);国家高技术研究发展计划(2005AA420060);江苏省"十五"攻关项目(BE200203114)
摘 要:提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。Based on the improved net rewriting systems(INRS),a method for self-reconfiguration of Petri net(PN) logic controllers for reconfigurable manufacturing systems(RMS) is presented.Firstly,the INRS are developed from the net rewriting system(NRS) and several inherent defects of the NRS are overcome.Subsequently,and INRS based self-reconfiguring method for a Petri net logic controller is presented and the implementation algorithm is designed,which can naturally guarantee the correctness of the resulting Petri net logic controller during reconfiguration and avoid the efforts of complex mathematical analysis and verification.Finally,a reconfigurable manufacturing cell example is used to illustrate the method.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28