基于基本信标的自动制造系统活性控制器设计

【摘要】柔性制造系统是由计算机数控机床和物料传输系统构成的可以高效地生产中小批量不同产品的自动制造系统。死锁是设计柔性制造系统控制器时必须考虑和解决的问题。在有些情况下,死锁造成的局部或整体的系统停顿并不单纯地降低生产率,更可能造成重大经济损失甚至灾难性后果。因此,柔性制造系统中死锁的描述、分析及控制对系统控制的实现和运行至关重要。目前,基于Petri网的自动制造系统死锁处理方法大致分为三种策略：死锁检测与恢复、死锁避免和死锁预防。死锁检测与恢复策略是一种在线检测及恢复死锁状态的机制,一旦检测到死锁发生,便通过在线策略重新分配共享资源使系统恢复到正常状态。死锁避免是一种在线资源分配机制,通过在线策略合理分配系统资源使系统不能进入死锁状态。死锁预防策略通过离线机制控制系统对共享资源的使用请求,保证死锁不会发生。一般地,死锁预防可以通过为网系统添加控制器来预防死锁发生。衡量Petri网活性控制器的性能指标主要分为结构复杂性、计算复杂性及行为许可性三个方面。信标作为表征Petri网结构特性的重要对象,与Petril网系统的死锁密切相关,这一点在普通Petri网和一般Petri网中均成立。为了获得最大许可行为的、结构简单的及计算复杂度较低的Petri网活性控制器,许多研究者提出了大量基于信标分析控制技术的死锁控制策略。因此,Petri网中信标的提取及分析方法是系统死锁控制中一种非常重要的技术手段。由于Petri网信标求解的固有复杂性,任何依赖完全枚举信标的死锁预防算法在理论上必然为指数复杂度。本文立足于Petri网的信标分析及基本信标提取技术,研究柔性制造系统的活性Petri网控制器设计方法。主要完成以下工作：1.行为许可性是衡量Petri网活性控制器性能的重要指标之一。针对一类普通Petri网-S3PR网系统,提出了关于初始标识的S3PR网最大许可行为活性控制器存在性的充分条件。基于基本信标理论,提出了最大许可行为活性监督控制器存在性的判定算法。该算法基于基本信标与信标复合的计算,关于网规模为多项式复杂度。在S3PR网中,一定存在可以得到最大许可行为的活性控制器的初始标识。同时,结合给出的充分条件,提出了S3PR网最大许可行为活性控制器迭代设计算法。在每一步迭代中,该算法运用混合整数规划的死锁检测方法获得一个信标并加以控制。大量实例验证了该方法的有效性。本研究可视为对基本信标理论的进一步应用。2.在柔性制造系统中,基于信标的死锁控制往往面临计算复杂性和结构复杂性问题。为了降低控制器的结构复杂度,基本信标理论最初成功地应用于普通Petri网中。但考虑到在一般Petri网系统中资源分配具有更为复杂的情况,基本信标的选取及其可控性的分析仍需要进一步改进。为了改进基本信标在一般Petri网中的扩展应用,针对一类一般Petri网-WS3PR网系统,首次引入了扩展信标的概念。扩展信标是一个能够反映其原始信标中资源复杂使用的多集。考虑WS3PR网系统的拓扑结构和权值信息,提出扩展基本信标概念,并给出了改进的基本信标定义,通过该定义可以得到一组与系统结构紧密相关的基本信标集合。同时,基于图论,在WS3PR网中引入初始资源加权有向图,并提出了结构同构网系统的概念。对于结构同构的不同网系统,可以共用一组基本信标。3.定义了一类一般Petri网-GLS3PR网系统,该网系统可以较好地建模柔性制造系统,同时具有便于分析的结构特性。针对GLS3PR网提出了一种高效的严格极小信标和基本信标提取方法。通过结构分析引入了扩展信标概念,并由此改进了基本信标定义。基于图论,在普通网中可利用初始资源有向图来计算所有的严格极小信标。本文针对GLS3PR网系统,引入初始资源加权有向图。在满足一定的约束条件下,从初始资源加权有向图中求取一组约束导出子图。考虑GLS3PR网结构,利用这些子图,建立了提取所有严格极小信标及其扩展信标的方法。此外,根据信标和约束导出子图之间的关系,给出了扩展基本信标个数的上确界。大量实验结果表明,通过该方法获得的基本信标结构紧凑且更适用于GLS3PR网系统。4.为了改善活性控制器的结构复杂性和行为许可性,针对一类一般Petri网-S4PR网系统,提出一种有效的死锁预防策略。通过分析一般Petri网系统发现,一般Petri网系统的死锁可以通过非充分标识信标来反映,而基本信标理论的提出为设计结构简单的活性控制器提供了可行方向。由此,在S4PR网系统中将非充分标识信标划分为基本信标和从属信标,从属信标的可控性可以通过对其基本信标的合理控制来实现。为了获得一组结构紧凑且适用的基本信标集合,通过结构分析在S4PR网系统中引入扩展基本信标概念,然后结合松弛的信标最大可控性条件来满足信标的可控性。该方法仅对基本信标添加控制器,即可获得活性受控网系统。此外,通过设计控制库所输出弧撤弧算法来获得许可行为更优的活性控制器。
【作者】侯一凡；
【导师】李志武；
【作者基本信息】西安电子科技大学，机械电子工程，2013，博士
【关键词】Petri网；自动制造系统；死锁预防；控制器；信标；基本信标；

【参考文献】
[1]张波.桑枝降糖活性成分及协同作用研究[D].西南大学,药物分析,2013,硕士.
[2]杨丽丽.铜胁迫对甜菜幼苗生长和光合特性的影响[D].山东师范大学,植物学,2013,硕士.
[3]张晓霞.民营上市公司的政治联系、审计师选择与公司价值[D].南京财经大学,会计学,2011,硕士.
[4]魏曦.在线酒店行业的定价策略研究[D].广东财经大学,工商管理（专业学位）,2014,硕士.
[5]单张腾.吉林省高职院校生活指导课程开发[D].吉林农业大学,职业技术教育学,2012,硕士.
[6]胡方洋.公共利益法律问题研究[D].广西民族大学,法律,2013,硕士.
[7]吕红.支气管哮喘血清IL-17、骨膜蛋白、嗜酸细胞趋化因子的变化及临床意义[D].苏州大学,临床医学,2013,硕士.
[8]孙汝江.中华蜜蜂表皮蛋白基因的克隆与功能分析[D].山东农业大学,动物遗传育种与繁殖,2014,博士.
[9]闫明.基于系统聚类分析的公路隧道围岩分级方法研究[D].吉林大学,桥梁与隧道工程,2013,硕士.
[10]谢运超,常飞,李晨露,陈娟,罗洁茹,张健.石墨相氮化碳改性及其光催化应用研究进展[J].广州化工,2013,13:8-10+19.
[11]贾润达,毛志忠,常玉清.基于非线性偏鲁棒M-回归的萃余液pH值软测量[J].自动化学报,2009,05:583-587.
[12]袁著祉.递推广义预测自校正控制器[J].自动化学报,1989,04:348-351.
[13]陈卫田,刘晓华,初学导.一类不确定非线性系统的鲁棒控制[J].控制与决策,1997,S1:524-527.
[14]毕诗文,杨毅宏,李殷泰,张敬东,段振瀛.从高炉铝酸钙渣提取氧化铝的研究[J].轻金属.1992(06)
[15]戴晓宇.药针结合治疗气滞血瘀型带状疱疹后遗神经痛的临床观察[D].黑龙江中医药大学,中医外科学（专业学位）,2013,硕士.
[16]叶晓林.中国外交决策支持系统结构研究[D].武汉大学,2005.
[17]肖琴.证券公司传统营业部的经营模式转型[D].华东理工大学,高级工商管理（EMBA）（专业学位）,2013,硕士.
[18]郭贱森.雅富顿化工（苏州）有限公司产品合格率提升研究[D].兰州大学,工商管理（专业学位）,2013,硕士.
[19]杜志江,路同浚,高国安.基于现场总线的N+M容错控制系统研究[J].控制与决策,2001,02:226-228+232.
[20]尤巧英.超敏C-反应蛋白与2型糖尿病大血管病变的相关性研究[D].浙江大学,内科学,2004,硕士.
[21]苗秋华.客车空调智能控制技术及系统开发[D].大连理工大学,机械设计及理论,2004,硕士.
[22]李琼,何建军,贺振华,黄德济,曹均.温压条件下孔洞储层的地震波响应特征[J].石油地球物理勘探,2009,01:53-57+130+4.
[23]李亚男,何文军,杨为民.新型纳米碳材料的应用新进展[J].化工新型材料,2014,03:179-182.
[24]刘红.层状四钛酸盐光催化剂的掺杂与插层改性研究[D].华侨大学,无机化学,2013,硕士.
[25]贾俊峰,杜修力,韩强.近断层地震动特征及其对工程结构影响的研究进展[J].建筑结构学报,2015,01:1-12.
[26]魏方龙.三跨先简支后连续梁桥的车桥耦合振动模型试验研究[D].华东交通大学,桥梁与隧道工程,2013,硕士.
[27]许长磊.~(18)F-FDG、~(11)C-乙酸盐PET/CT显像在肾脏占位性病变诊断中的应用价值[D].广州中医药大学,影像医学与核医学（专业学位）,2013,硕士.
[28]武冬.工艺参数对液态模锻A356合金组织偏析的影响[D].兰州理工大学,材料学,2014,硕士.
[29]郑盛鸿.体位复位联合经皮椎体成形术治疗胸腰椎体压缩性骨折临床疗效观察[D].广州中医药大学,中医骨伤科学（专业学位）,2013,硕士.
[30]高宇虹.我国编组站评价指标体系构建研究[D].北京交通大学,信息管理,2012,硕士.
[31]吴焕瑞,张红霞.数据库技术的新发展与新特点[J].保定师范专科学校学报,2004,02:43-45.
[32]陈连宏.雷公藤多甙对犬肺移植免疫排斥反应影响的实验研究[D].第四军医大学,外科学,2004,硕士.
[33]连翔.成年障碍者社区教育支持研究[D].辽宁师范大学,特殊教育,2011,硕士.
[34]周月.基于建设国家森林城市的森林景观构建[D].中南林业科技大学,园林植物与观赏园艺,2013,硕士.
[35]赵皖荣.我国食品安全法律制度完善研究[D].安徽大学,经济法学,2013,硕士.
[36]刘钟文.基于空间句法的商业街区外部空间构形分析[D].西南交通大学,建筑设计及其理论,2014,硕士.
[37]尹柏松.北奔重汽渠道能力提升研究[D].内蒙古大学,工商管理,2012,硕士.
[38]徐磊.QoS度量模型及Web服务监控技术的研究[D].国防科学技术大学,计算机科学与技术,2012,硕士.
[39]冯岗.太×陆F_1代与北京黑猪肉质特性研究[D].甘肃农业大学,食品科学,2013,硕士.
[40]丁积杰.Summit公司项目成本管理应用研究[D].西北大学,工商管理（专业学位）,2012,硕士.
[41]李宣荣.高速冲击挤进问题的瞬态有限元分析[D].西安工业大学,岩土工程,2014,硕士.
[42]李信.恭城红岩村乡村旅游发展研究[D].广西师范大学,专门史,2013,硕士.
[43]权文,王晓丹,周进登,郑春颖.一种修正的Dubois-Prade证据推理组合规则[J].控制与决策,2012,01:139-142.
[44]魏强.某区综合交通信息平台的分析与规划[D].厦门大学,软件工程,2014,硕士.
[45]汪洋.南移刺参摄食和代谢生理的初步研究[D].宁波大学,水产养殖,2013,硕士.
[46]姜彩莲.我国食品安全监管模式的反思与重构[D].山东师范大学,公共管理（专业学位）,2013,硕士.
[47]运永良.中国艺术精神在中小学美术教育中的价值与呈现[D].东北师范大学,课程与教学论,2012,硕士.
[48]袁俊美.液相还原法制备导电浆料用银粉研究[D].东北大学,材料学,2010,硕士.
[49]邹强鑫.超声数字波束合成方法的研究与优化设计[D].重庆大学,电气工程,2014,硕士.
[50]胡轶哲.乌海市中小学教师现代教育技术应用现状分析[D].内蒙古师范大学,现代教育技术（专业学位）,2012,硕士.