计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2014年
12期
3651-3654
,共4页
马国富%刘文良%周建勇%刘久富
馬國富%劉文良%週建勇%劉久富
마국부%류문량%주건용%류구부
死标志%电梯门系统%模型检验%CPN模型
死標誌%電梯門繫統%模型檢驗%CPN模型
사표지%전제문계통%모형검험%CPN모형
dead markings%elevator door system%model checking%CPN model
针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法.该算法采用模型检验技术通过ML语言编辑相关功能函数使用非标准状态空间查询法,进一步分析与研究CPN Tools仿真状态空问报告中出现的死标志,通过验证死标志存在的合理性来确保所建立CPN模型的准确性与系统的安全性.最后,以电梯门系统为例,使用CPN Tools建立电梯门系统的CPN模型,证明了算法的有效性.
針對使用CPN Tools對繫統進行建模倣真得到的狀態空間報告中齣現的死標誌是否會影響繫統的安全性和模型的正確性進行瞭研究,提齣瞭一種基于ASK-CTL及模型檢驗理論的死標誌閤理性驗證算法.該算法採用模型檢驗技術通過ML語言編輯相關功能函數使用非標準狀態空間查詢法,進一步分析與研究CPN Tools倣真狀態空問報告中齣現的死標誌,通過驗證死標誌存在的閤理性來確保所建立CPN模型的準確性與繫統的安全性.最後,以電梯門繫統為例,使用CPN Tools建立電梯門繫統的CPN模型,證明瞭算法的有效性.
침대사용CPN Tools대계통진행건모방진득도적상태공간보고중출현적사표지시부회영향계통적안전성화모형적정학성진행료연구,제출료일충기우ASK-CTL급모형검험이론적사표지합이성험증산법.해산법채용모형검험기술통과ML어언편집상관공능함수사용비표준상태공간사순법,진일보분석여연구CPN Tools방진상태공문보고중출현적사표지,통과험증사표지존재적합이성래학보소건립CPN모형적준학성여계통적안전성.최후,이전제문계통위례,사용CPN Tools건립전제문계통적CPN모형,증명료산법적유효성.
