基于著色賦時面向?qū)ο螅校澹簦颍榫W(wǎng)的ＡＵＶ系統(tǒng)建模研究
2009-08-31 02:13劉心印桂生張磊
現(xiàn)代電子技術 2009年13期
關鍵詞：面向?qū)ο?/a>建模
劉 心 印桂生 張 磊
摘要：研究并實現(xiàn)一種著色賦時面向?qū)ο驪etri網(wǎng)(CTOPN)建模方法，它將面向?qū)ο蠹夹g與著色賦時Petri網(wǎng)相結合，從而綜合了兩種方法的優(yōu)勢，降低了Petri網(wǎng)模型的復雜性，增加了時間描述，便于系統(tǒng)定量分析。首先給出CTOPN的形式定義。然后建立AUV系統(tǒng)的CTOPN模型，最后給出模型的死鎖檢測算法，從而驗證模型無死鎖，為系統(tǒng)仿真創(chuàng)造了條件。
關鍵詞：著色賦時Petri網(wǎng)；面向?qū)ο螅蛔灾魇剿聶C器人；建模；死鎖
中圖分類號：TP301文獻標識碼：A文章編號：1004—373X(2009)13—167—04
猜你喜歡
中學生數(shù)理化(高中版.高考理化)(2020年11期)2020-12-14
中學生數(shù)理化·高一版(2018年10期)2018-11-08
電子制作(2018年17期)2018-09-28
電子測試(2018年15期)2018-09-26
通信電源技術(2018年5期)2018-08-23
電測與儀表(2017年24期)2017-12-19
蘇州市職業(yè)大學學報(2015年2期)2015-12-25
遙感信息(2015年3期)2015-12-13
中國民航大學學報(2015年3期)2015-03-01
中國艦船研究(2014年4期)2014-05-14
