基于混合Petri網(wǎng)的列車運(yùn)行系統(tǒng)中時(shí)間推理問題的研究.pdf

1、原創(chuàng)性聲明j 8 9 726 1本人鄭重聲明：所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，獨(dú)立進(jìn)行研究所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含任何其他個(gè)人或集體已經(jīng)發(fā)表或撰寫過的科研成果。對(duì)本文的研究作出重要貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本聲明的法律責(zé)任由本人承擔(dān)。●●學(xué)位論文作者：—- 、 4f 艄希 日期：Z , l 。年學(xué)位論文使用授權(quán)聲明期弓f，本人在導(dǎo)師指導(dǎo)下完成的論文及相關(guān)的職務(wù)作品，知識(shí)產(chǎn)權(quán)歸屬鄭州

2、大學(xué)。根據(jù)鄭州大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，同意學(xué)校保留或向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和電子版，允許論文被查閱和借閱；本人授權(quán)鄭州大學(xué)可以將本學(xué)位論文的全部或部分編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或者其他復(fù)制手段保存論文和匯編本學(xué)位論文。本人離校后發(fā)表、使用學(xué)位論文或與該學(xué)位論文直接相關(guān)的學(xué)術(shù)論文或成果時(shí)，第一署名單位仍然為鄭州大學(xué)。保密論文在解密后應(yīng)遵守此規(guī)定。，黜文懈1 司希 眺b l ，年期；7 日，A b s

3、 t r a c tA b s t r a c tT r a i n o p e r a t i n gs y s t e mi sa t y p i c a lk i n do f h y b r i ds y s t e m s ，w h i c hi st h e c o r e p a r to f R a i l w a yI n t e l l i g e n tT r a n s p o r t a t i o nS y

4、s t e m ( R I T S ) ．H o w t ob u i l dt h em o d e l i st h ek e yp r o b l e m i nt h er e s e a r c ho f R I T S ．I ti sa l s oa s t r o n g l yr e a l ．t i m er e a c t i v es y s t e m ．T h ed y n a m i cb e h a v i

5、 o ro ft h es y s t e mi s c l o s e l y r e l a t e dt o d i s c r e t e e v e n t s ，a n dt h et e m p o r a l r e a s o n i n g o f k e y e x , e n t si sa n i m p o r t a n t p a r to f t h es y s t e m ．·+ T o

6、q u a n t i t a t i v e l ya n a l y s i st h e t e m p o r a lr e a s o n i n g o f k e y e v e n t s i nt r a i no p e r a t i o ns y s t e m ，t h ep a p e ri n t r o d u c e s t h em e t h o do fa l g e b r as y s t e

7、 mi n t o H y b r i dP e t r iN e tM o d e l ．T h i sm e t h o dC a nd y n a m i c a l l yi d e n t i f yt h et i m ei n t e r v a li nw h i c ht i m e a k e ye v e n tm i g h th a p p e n ．C o m p a r e d w i t he x i s

8、 t i n gm e t h o d so f t e m p o r a lr e a s o n i n g i n P e t r in e t s ，t h i sm e t h o d h a ss o m e o u t s t a n d i n gc h a r a c t e r i s t i c ss u c h a sa c c u r a t ea n a l y s i sa b o u tt i m e

9、i n t e r v a l ，h a n d l et h ed y n a m i c c h a n g e so f s y s t e ms t a t e ，a d a p tt or e a l ．t i m es y s t e m s ，a n d s u p p o r tc o n t i n u o u sc e n t r e ls y s t e m ．K e y e v e n t sl i k e l

10、ya r o u s et h ep r o c e s so f t r a i ns p e e da d j u s t m e n t ．W ed e s i g n t w oe x p e r i m e n t sf o rv e r i f y i n gt h ea d v a n t a g eo ft h em e t h o d w h i l et r a i n sa r et r a c k i n g o

11、 t h e r s ．A se x p e r i m e n t a l r e s u l ts h o w t h a tt h ed y n a m i ct i m e i n t e r v a lr e f l e c t t h ei n t e r a c t i o nb e t w e e nt r a i n ’Sr u n n i n gs t a t u sa n do t h e rc o m p l e

12、 xf a c t o r s ，w h i c hh a sa g r e a ts i g n i f i c a n c e i nd e t e c t i n ga n d m o n i t o r i n g t h ee m e r g e n c i e s o ft r a i n ’Sr u n n i n g p r o c e s s ．T h i sp a p e r p r o p o s e sa m e

13、 t h o do f t e m p o r a lr e a s o n i n gb a s e do n h y b r i dP e t r i n e t sf o ra n a l y z i n gt h ep r o c e s so f k e ye v e n t s a n dm o n i t o r i n gt h er e a l ．t i m ec h a n g e ．T h em e t h o d

14、C a n b ee f f e c t i v e l yu s e do n r e s e a r c h i n ga s p e c t s s u c ha st r a i ns p e e d ．a(chǎn) d j u s t m e n t ，t r a i nt r a c k i n g , e m e r g e n c i e sa n dS O o n ．K e yw o r d s ：H y b r i d P e