8174

8174

ارائه فنوني براي بررسي مدل توصيفهاي سيستم هاي تصادفي گسسته -رخداد و پياده سازي آنها

كارشناسي ارشد

كامپيوتر

1390

1390

دكتر محمد عبداللهي ازگمي

چكيده يك روش يكپارچه و انتزاعي براي توص يف سيست مه اي تصادف ي گسست ه-رخداد اس ت. SDES توصيف كلاس هاي روشهاي صوري گوناگون همچون شبكههاي پتري و اتوماتاي زماني تصادفي،كه براي مدلسا زي به PDETool تب ديل نمو د. همچنين ابزار SDES اين گونه سيستمها بكار ميروند را ميتوان به توصيف SDES عنوان يك چارچوب يكپارچه براي ارزيابي، شبيهسازي و تحليل مدلهاي سطح بالا بر پاي ه توص يف طراحي شده است. بوده است. براي اين منظور، يك موتور PDETool هدف از اين پژوهش، افزودن فنون بررسي مدل به ابزار مجتمع شده است. چارچوب يكپارچه PDETool ساخته و در چارچوب McGine بررسي كننده مدل به نام حاصل، يك محيط جامع براي مدل سازي، ارزيابي و درست ييابي سيستم هاي گسست ه-رخداد فراهم آورده McGine است. از سوي ديگر مفهوم نظ ري و روش بررس ي مدل صور ت بند ي چن دگان ه معرف ي و در پياده سازي شده است. بر اي اي ن منظور، روش ي بر اي استخراج فرمو له اي منطق درخت محاسبا تي ارائه شده است. علاوه بر اين، فض اي حالت عمو مي و الگو ريتم تولي د آن و همچن ين SDES ازمتغير هاي معرفي شده است. با بكار بردن روش ارائه شده بر اي كدبن دي، امكان SDES سازوكار كدبندي حالتهاي بررسي مدل نمادين مبتني بر نمودار تصميم دودويي فراهم آمده اس ت. در پاي ان، معما ري بررس ي كننده و يا به عنوان يك ابزار جداگانه مورد PDETool به گونهاي طراحي شده كه ميتواند در چارچوب McGine و چند نمونه مطالعه موردي با استفاده McGine استفاده قرار گيرد. روش پيشنهادي، معماري و جزئيات ابزار از ابزار در اين پايان نامه ارائه شده است. منطق درخت ،(SDES) واژه هاي كليدي:بررسي مدل، توص يف سيست مه اي تصاد في گسست ه-رخدا د صورت بندي چندگانه، كدبندي حالتها. ،(CTL) محاسباتي