基于UPPAAL的集装箱码头系统的设计、建模与验证
Designing, modelling and verifying a container terminal system using UPPAAL
摘要
研究了一个用于将集装箱从货船运输到码头的自动化系统。系统由控制中心及多种设备构成,并由控制中心选择合适的设备来运输集装箱。由于各设备是并发工作的,加之设备与控制中心间存在复杂的信号交换,故运用形式化方法清晰地对系统进行描述显得尤为重要。因此,应用模型检验工具UPPAAL,对自动化码头系统进行了系统建模和分析验证,从而确保了系统设计的效率和正确性。
出处
《制造业自动化》
北大核心
2013年第7期102-105,共4页
Manufacturing Automation
基金
863项目(2009AA043001)
安徽省高校优秀青年人才基金项目(2011SQRL156)
安徽省高等学校省级自然科学研究项目(KJ2013B282)
参考文献8
-
1Zhen L,Lee LH’Chew EK P etal.A Comparative Studyon Two Types of Automated Container TerminalSystems[J].IEEE Transactions on automation science andengineering,2012,9(1):56-69.
-
2Behrmann G, David A, Larsen K G. A tutorial onUPPAAL[C]//Proceedings of the 4th Int’ 1 Schoolon Formal Methods for the Design of Computers,Communication, and Software Systems. Bertinoro:Springer-Verlag,2004: 200-236.
-
3Steenken D, VoB S, Stahlbock R. Container terminaloperation and operations research - a classification andliterature review [J], OR Spectrum, 2004, 26(1): 3-49.
-
4Vis IFA, Harika I. Comparison of vehicle types at anautomated container terminal[J].OR Spectrum,2004,26:117-143.
-
5Meersmans P’Wagelmans A. Effective algorithms forintegrated scheduling of handling equipment at automatedcontainer terminals[R].Technical Report El 2001-19,Erasmus University Rotterdam, Econometric Institute,2001:19-21.
-
6Kim KH, Kim KY.An optimal routing algorithm for atransfer crane in port container terminals[J].TransportationScience, 1999,33(1):17-33.
-
7Kim KH, Park YM.A crane scheduling method for portcontainer terminals[J] .European Journal of OperationalResearch, 2004,156(3):752-768.
-
8温智民,陆志强,孙小明.自动化集装箱码头运输系统配置的仿真优化[J].工业工程与管理,2009,14(1):36-39. 被引量：8
二级参考文献7
-
1Azadivar F. Simulation optimization methodologies [A]. Proc Winter Simulation Conference[C]. Phoenix, 1999:1466-1469.
-
2Wilson J R. Future direction in response surface methodology for simulation [C]. Proc Winter Simulation Conference. San Diego, 1987 : 378-381.
-
3VarsekA, Urbancic T, Filipic B. Genetic algorithms in controller design [J ]. Systems, Man and Cybernetics, 1993, 23 (4):1330-1339.
-
4段晓东,张洪,韩志涛,朱伟勇.基于响应曲面方法的分区仿真试验模型及其最优观测设计[J].东北大学学报（自然科学版）,1999,20(2):118-121. 被引量：2
-
5王凌,郑大钟.Meta-heuristic算法研究进展[J].控制与决策,2000,15(3):257-262. 被引量：23
-
6杨湘龙,王飞,冯允成.仿真优化理论与方法综述[J].计算机仿真,2000,17(5):1-5. 被引量：35
-
7王凌,张亮,郑大钟.仿真优化研究进展[J].控制与决策,2003,18(3):257-262. 被引量：40
共引文献7
-
1李丽.集装箱码头装卸技术中的GPS技术应用[J].中国水运（下半月）,2012,12(8):216-217.
-
2李应平,佟士祺,王飞.集装箱码头设备更新投资优化模型及算法研究[J].水运工程,2012(11):97-101. 被引量：5
-
3林炳焜,程文明.铁路集装箱中心站装卸系统排队模型及分析[J].计算机工程与应用,2013,49(23):6-9.
-
4霍凯歌,张亚琦,胡志华.自动化集装箱码头多载AGV调度问题研究[J].大连理工大学学报,2016,56(3):244-251. 被引量：38
-
5张亚琦,杨斌,胡志华,田茂金.自动化码头AGV充电与作业的集成调度研究[J].计算机工程与应用,2017,53(18):257-262. 被引量：33
-
6汪欣,王广东.登陆作战典型海岸卸载系统作业效率仿真研究[J].海军工程大学学报,2021,33(6):94-99. 被引量：1
-
7诸葛沁沁,许钢焱,周耀明.基于图论的AGV数量配置与调度优化方法[J].工业工程与管理,2024,29(2):217-226. 被引量：6
-
1黄菊.分散控制计算机联锁系统建模的研究[J].上海铁道科技,2013(2):103-105.
-
2石佳.基于时间自动机的CBI道岔转换时间建模与验证[J].铁路计算机应用,2016,25(8):52-55.
-
3张宁.基于OPC技术的上位机与S7-300的通信研究[J].中国高新技术企业,2015(18):18-19. 被引量：1
-
4康仁伟,王俊峰,吕继东.基于UPPAAL的高铁列控系统等级转换过程建模与验证[J].北京交通大学学报,2012,36(6):63-67. 被引量：10
-
5三星5G技术取得突破进展 最高下载速率达1Gbps[J].计算机光盘软件与应用,2013,16(7):2-2.
-
6王钱春.无线通讯技术在移动小车上应用[J].科技风,2013(13):70-70.
-
7曾伟理,裴伟光.现场总线在制丝线的应用[J].广西烟草,2012(1):58-60.
-
8韩勇德.自动化立体仓库的构建[J].物流技术与应用,2009,14(11):108-110. 被引量：1
-
9梁燕,吴富生,叶军.一种新型立体轨道式自动化集装箱码头及其效能分析[J].中国机械工程,2012,23(2):135-138. 被引量：5
-
10尤宝和,冯子娟.前叉开口处底部垂直度新检具[J].中国自行车,1997(6):16-18.
