发明名称 一种基于可协作Petri网的可容错柔性小件装配控制方法
摘要 一种基于可协作Petri网的可容错柔性小件装配控制方法,包括如下步骤:①给出Petri网模型一般性数学定义;②将对于每一个子产品的Petri网工作流描述为一个开链、非循环的Petri网工作流;③将不同子产品之间的Petri网工作流进行组合、连接;定义||表示子产品组合,不同的子产品Petri网组合完成不同的装配协作流程控制任务,并完成不同的目标产品任务;④将装配系统原料供给失败、装配执行动作不到位对系统的影响用容错尺度函数F(C)来表征,F(C)包含可协作Petri网的过渡环节<img file="DDA0000958509440000011.GIF" wi="83" he="62" />在整个过程的某处p出现原料供给失败表示为在p处减少δ(p)&gt;0,控制Δ(m<sub>c</sub>)的大小保证装配系统的鲁棒性。本发明工作柔性较好、控制可容错性。
申请公布号 CN105759615A 申请公布日期 2016.07.13
申请号 CN201610210985.X 申请日期 2016.04.06
申请人 浙江工业大学 发明人 谭大鹏;张立彬;艾青林
分类号 G05B13/04(2006.01)I 主分类号 G05B13/04(2006.01)I
代理机构 杭州斯可睿专利事务所有限公司 33241 代理人 王利强
主权项 一种基于可协作Petri网的可容错柔性小件装配控制方法,其特征在于:所述方法包括如下步骤:①给出Petri网模型一般性数学定义,即一个四元素表达式,G=(P,T,W,m<sub>0</sub>),其中,P表示全部的场地限制元素,T表示产品调度的限制因素,W表示生产场地与产品调度的关系(P×T)∪(T×P)→{0,1},m<sub>0</sub>为整个系统的初始状态信息:P→Z<sup>|P|</sup>,Z是一个非负整数;基于上述定义,给出生产流程任务节拍逻辑序列分支与原料组合任务节拍逻辑分支,即所谓的子产品Petri网与原料流Petri网;②将对于每一个子产品的Petri网工作流描述为一个开链、非循环的Petri网工作流<img file="FDA0000958509410000012.GIF" wi="859" he="71" />其中,<img file="FDA0000958509410000013.GIF" wi="62" he="70" />是指单输入单输出的结点,<img file="FDA0000958509410000014.GIF" wi="70" he="63" />是指只有输入没有输出的结点,<img file="FDA0000958509410000015.GIF" wi="84" he="61" />是指只有输出没有输入的结点,且<img file="FDA0000958509410000016.GIF" wi="566" he="63" />③基于成本最小原则,结合队列组合优化方法,给出可容纳多种子产品装配目标的生产事件优化组合流程,实现过程如下:将不同子产品之间的Petri网工作流进行组合、连接;定义||表示子产品组合,给定两个Petri网:G<sub>1</sub>=(P<sub>1</sub>,T<sub>1</sub>,W<sub>1</sub>,m<sub>10</sub>)和G<sub>2</sub>=(P<sub>2</sub>,T<sub>2</sub>,W<sub>2</sub>,m<sub>20</sub>),G<sub>1</sub>||G<sub>2</sub>=(P,T,W,m<sub>0</sub>),上述表达式中:P=P<sub>1</sub>∪P<sub>2</sub>,T=T<sub>1</sub>∪T<sub>2</sub>                  (1)<maths num="0001" id="cmaths0001"><math><![CDATA[<mrow><mi>W</mi><mrow><mo>(</mo><mi>p</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>=</mo><mfenced open = "{" close = ""><mtable><mtr><mtd><mrow><msub><mi>W</mi><mn>1</mn></msub><mrow><mo>(</mo><mi>p</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mi>p</mi><mo>&Element;</mo><msub><mi>P</mi><mn>1</mn></msub><mo>,</mo><mi>t</mi><mo>&Element;</mo><msub><mi>T</mi><mn>1</mn></msub></mrow></mtd></mtr><mtr><mtd><mrow><msub><mi>W</mi><mn>2</mn></msub><mrow><mo>(</mo><mi>p</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mi>p</mi><mo>&Element;</mo><msub><mi>P</mi><mn>2</mn></msub><mo>,</mo><mi>t</mi><mo>&Element;</mo><msub><mi>T</mi><mn>2</mn></msub></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000958509410000017.GIF" wi="1301" he="139" /></maths><maths num="0002" id="cmaths0002"><math><![CDATA[<mrow><mi>T</mi><mrow><mo>(</mo><mi>p</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>=</mo><mfenced open = "{" close = ""><mtable><mtr><mtd><mrow><msub><mi>T</mi><mn>1</mn></msub><mrow><mo>(</mo><mi>t</mi><mo>,</mo><mi>p</mi><mo>)</mo></mrow><mi>p</mi><mo>&Element;</mo><msub><mi>P</mi><mn>1</mn></msub><mo>,</mo><mi>t</mi><mo>&Element;</mo><msub><mi>T</mi><mn>1</mn></msub></mrow></mtd></mtr><mtr><mtd><mrow><msub><mi>T</mi><mn>2</mn></msub><mrow><mo>(</mo><mi>t</mi><mo>,</mo><mi>p</mi><mo>)</mo></mrow><mi>p</mi><mo>&Element;</mo><msub><mi>P</mi><mn>2</mn></msub><mo>,</mo><mi>t</mi><mo>&Element;</mo><msub><mi>T</mi><mn>2</mn></msub></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000958509410000018.GIF" wi="1294" he="150" /></maths><maths num="0003" id="cmaths0003"><math><![CDATA[<mrow><msub><mi>m</mi><mn>0</mn></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>=</mo><mfenced open = "{" close = ""><mtable><mtr><mtd><mrow><msub><mi>m</mi><mn>10</mn></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>,</mo><mi>p</mi><mo>&Element;</mo><msub><mi>P</mi><mn>1</mn></msub></mrow></mtd></mtr><mtr><mtd><mrow><msub><mi>m</mi><mn>20</mn></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>,</mo><mi>p</mi><mo>&Element;</mo><msub><mi>P</mi><mn>2</mn></msub></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000958509410000019.GIF" wi="1206" he="151" /></maths>其中,W(p,t)表示装配工作流环节,p表示结点位置变量,m表示原料流变量,t表示时间因子;考虑上述操作,不同的子产品Petri网组合完成不同的装配协作流程控制任务,并完成不同的目标产品任务;④将装配系统原料供给失败、装配执行动作不到位对系统的影响用容错尺度函数F(C)来表征,F(C)包含可协作Petri网的过渡环节<img file="FDA0000958509410000021.GIF" wi="78" he="63" />用Δ(m<sub>c</sub>)来表示某一环节原料供给失败,δ表示工料失败对系统的干扰,在整个过程的某处p出现原料供给失败表示为在p处减少δ(p)&gt;0;通过并行路径执行与单步回退方法修正生产流程错误,控制Δ(m<sub>c</sub>)的大小,使得F(C)在其值域内取到最大值,则可有效保证装配系统的鲁棒性。
地址 310014 浙江省杭州市下城区朝晖六区潮王路18号