基于微分方程的實時系統(tǒng)性能分析.pdf

1、浙江理工大學(xué)碩士學(xué)位論文基于微分方程的實時系統(tǒng)性能分析姓名：吳正志申請學(xué)位級別：碩士專業(yè)：信號與信息處理指導(dǎo)教師：胡覺亮丁佐華20090302AbstractAtpresent，thereal—timesystemshavebeenwidelyusedfromsubmarinestothespacecraft，fromthepatientmonitoringsystemtotheplantmonitoringsystem，fromthe

2、elevatorcontIDlsystemtotherobotcontrolsystem，fromtheurbantrafficcontroltoairtrafficcontrolsystem，thescopeofthereal—timesystemisgettingwiderMostoftherealtimesystemshaveconcurrencycharacteristicInotherwords，manyoftheactivi

3、tiesneedtobeprocessedinparallelThesizeandcomplexityoftheconcurrentreal—timesystemmaketheperformanceanalysisofthesystembecomemorecomplexandattractmoreattentionThepremiseoftheperformanceanalysisistoestablishthemodelforthes

4、ystemTherearelotsofmethodstoestablishthemodel，forexample，themathematicalmodelsandsimulationmodelsPetrinetisagraphicalandmathematicalsystemsandfieldsItsmainfeaturesinclude：modelingtool，andCallbeappliedtomanyconcurrenc5syn

5、chronization，distributeddescriptionandanalysisHoweverthebasicPetrinetforthereachabilityanalysiswillgeneratetheexplosionproblemInthisthesis，basedonthepreviouswork，byusingContinuousPetriNets，wecansolvethisproblemThesemanti

6、csoftheContinuousPetriNetsaredescribedasasetofordinarydifferentialequationsThesystemperformanceanalyzesthroughthesolutionofdifferentialequationsEachdifferentialequationdescribesthestateofthesystemtransformationandthestat

7、eCanbemeasuredbyanumberbetween0and1(including0and1)，indicatinghowmuchthestateCanbereachedwhilethesystemisinexecutionThisthesisfirstlyintroducesthereal—timesystem，andthenusesthediscretePetrinettodescribethesystem，andthedi

8、scretePetrinetiscontinuedtocontinuousPetrinetandtheIlasystemcanbedescribedbyagroupofordinarydifferentialequationsOurperformanceanalysistothesystemisbasedonthesolutionsoftheequationgroupInsystemperformance，wediscusstheeff

9、ectofthefiringconstanttotheperformanceinfourcasesThroughtrafficexamples，weseethatthismethodCanbeusedtocontroltheflowoftrafficsystemComparedwiththeregularfuzzycontrolmethod，itshowsthatourmethodisbetterintheflowcontr01Keyw