欢迎来到天天文库
浏览记录
ID:32136753
大小:4.74 MB
页数:54页
时间:2019-01-31
《基于时间有色petri网的计算机联锁系统建模》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、兰州交通大学硕士学位论文AbstractW油merapiddevelopmentoftherailwaysystem,thedemandforimprovedthesafetyandreliabilityoftherailwaysystemisincreasing.Especiallyarailwaycomputerinterlockingsystem,asasafety—criticalsystem,playsavitalroleintheachievementofsafeandfastoperation.Atpresent,thenumberofnew
2、lybuiltrailwayisbeingvigorouslybuiltandtheoldlinewascompletedtostrengthenandreforillinourcountry.Inordertobeabletoassesstheperformanceofthesestations,weneedtofindtherighttoolsandtechniquestodeterminethequalityoftheselarge-scalecontrolsoftherailwaystation.Thedesignermustensurethata
3、reliablesystemmodelCanbeachievedinordertomeettherequirementsstandardofCENELEC(EuropeanCommitteeforElectrotechnicalStandardization).Thisarticleisusedtodevelopthemodeloftheinterlockingsystemonthebasisoftheexistingsystemmodel,theaimistoreducedevelopmenttimeandimprovesystemreliability
4、.Petrinetisoneofthemostpopularmodelingmethodscurrentlyused,itoffersasimpleerrortrackingandvisualizationmethodsfordesigners.Petrinetisagraphicalmodelinglanguageandithasbeenproventoprovideagoodformalframeworkforavarietyofcomplexdependenciesandatrulyconcurrentreal—timesystemmodeling.
5、Therefore,ahigh-levelPetrinet-IntervaltimecoloredPetfinet(abbreviationITCPN)isusedtomodelandanalyzethecomputerinterlockingsystemofrailwaystationsinthispaper.ITCPNisextendedintimeofcoloredPetrinet,thetimeofthetokenandtransitiondeterminesthedelayofeachproductiontoken.Ⅲsdelayisspecif
6、iedbyanupperandlowerbounds,thatisatimeinterval.ITCPNallowstomodelforthedynamicbehavioroflargeandcomplexsystems,suchasthemodelingandanalysisofrailwayinterlockingstationsinordertoimprovetheabilitytohandlethelargestation.nlisarticleadoptsITCPNtomodelcomputerinterlockingsystemforasimp
7、lerailwaystation,SOthatacomputerinterlockingsystemmodeltomeettheSystemRequirementsStandardisdeveloped,itscompositiondevices(includingsignals,switchesandtrackcircuit)andtheprocessofroutesettingandlocking/unlockingismodeled.Basedonthis,theformalanalysisofeachmodeliscompletedinordert
8、obeabletoenrichstationinterlockin
此文档下载收益归作者所有