制造业自动化
製造業自動化
제조업자동화
MANUFACTURING AUTOMATION
2013年
7期
102-105
,共4页
自动化集装箱码头%形式化方法%模型检验%时间自动机%UPPAAL
自動化集裝箱碼頭%形式化方法%模型檢驗%時間自動機%UPPAAL
자동화집장상마두%형식화방법%모형검험%시간자동궤%UPPAAL
研究了一个用于将集装箱从货船运输到码头的自动化系统.系统由控制中心及多种设备构成,并由控制中心选择合适的设备来运输集装箱.由于各设备是并发工作的,加之设备与控制中心间存在复杂的信号交换,故运用形式化方法清晰地对系统进行描述显得尤为重要.因此,应用模型检验工具UPPAAL,对自动化码头系统进行了系统建模和分析验证,从而确保了系统设计的效率和正确性.
研究瞭一箇用于將集裝箱從貨船運輸到碼頭的自動化繫統.繫統由控製中心及多種設備構成,併由控製中心選擇閤適的設備來運輸集裝箱.由于各設備是併髮工作的,加之設備與控製中心間存在複雜的信號交換,故運用形式化方法清晰地對繫統進行描述顯得尤為重要.因此,應用模型檢驗工具UPPAAL,對自動化碼頭繫統進行瞭繫統建模和分析驗證,從而確保瞭繫統設計的效率和正確性.
연구료일개용우장집장상종화선운수도마두적자동화계통.계통유공제중심급다충설비구성,병유공제중심선택합괄적설비래운수집장상.유우각설비시병발공작적,가지설비여공제중심간존재복잡적신호교환,고운용형식화방법청석지대계통진행묘술현득우위중요.인차,응용모형검험공구UPPAAL,대자동화마두계통진행료계통건모화분석험증,종이학보료계통설계적효솔화정학성.
