حجم فایل : 861.8 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 65
بسمهتعالي شبکههاي پتري فصل چهاردهم 2 اهداف جلسه مفاهيم شبکههاي پتري
کاربردهاي شبکههاي پتري
آشنايی با عناصر شبکه پتري
خصوصيات شبکههاي پتري
آشنايي با انواع شبکههاي پتري
كاربرد شبكههاي پتري در مهندسي نرمافزار 3 مدلسازي رفتار سيستم براي نمايش رفتار سيستم از مجموعهاي از مدلها و ابزارها استفاده ميشود
روش مدلسازي تاثير مستقيمي بر ارزيابي مدل دارد
هر چه مدل داراي عناصر بيشتري باشد، ارزيابي دشوارتر ميشود
در صورتيکه مدل از پشتوانه رياضي برخوردار باشد، ارزيابي سادهتر خواهد شد 4 مدلسازي رفتار سيستم (ادامه) سه روش براي مدلسازي رفتار وجود دارد
نمودار حالت (Statechart) و نمودارهاي UML
نمودار انتقال حالت (State Transition Diagram)
شبکههاي پتري (Petri Net)
5 نمودار انتقال حالت در اين روش سيستم توسط مجموعهاي از حالات نشان داده ميشود که رويدادهاي خارجي سبب حرکت روي حالات ميشوند
با توجه به اينکه اغلب سيستمها داراي حالات مختلف هستند، نمودار انتقال حالت بزرگ و پيچيده خواهد شد
اين نمودار داراي دو عنصر حالت و انتقال است 6 نمودار انتقال حالت (ادامه) مثالي از کامپايل برنامه Events Events Events no events hiccup Running Start resume pause stop stop finished success Compiled
error stop run Executing Pausing Compiling 7 نمودار انتقال حالت (ادامه) مشکلات نمودار انتقال حالت
وقتي تعداد حالات و رويدادها افزايش يابد، پيچيدگي بهصورت تصاعدي افزايش مييابد
ابهام در نمودار سبب افزايش پيچيدگي و تضعيف ارزيابي ميشود
با توجه به عدم وجود پشتوانه رياضي توانايي ارزيابي کامل نمودار وجود ندارد 8 شبکه پتري با وجود نقاط ضعف و مشکلات روشهاي مدلسازي رفتار در ارزيابي، استفاده از شبکههاي پتري بسيار مورد توجه قرار گرفته است
شبکه پتري، مبتني بر نظريه گراف بوده و با استفاده از قواعدي منطقي جريان فعاليتها در سيستم را نمايش ميدهد
چارچوب رياضي شبكه پتري سبب ميشود تا توانايي تحليل، تاييد صحت و ارزيابي مدلها را داشته باشد 9 شبکه پتري (ادامه) شبكه پتري قادر به توصيف سيستمهايي است كه شامل مجموعهاي از رخدادهاي گسسته و پراكنده هستند، از جمله
همزماني و تعارض
ترتيبها، شاخههاي شرطي و چرخهها
همگامسازي (Synchronization)
اشتراک منابع محدود و انحصار متقابل
الگوهاي مخابراتي، کنترلي و جريانهاي اطلاعاتي 10 تاريخچه شبکه پتري رساله دكتراي آقاي كارل آدام پتري براي نمايش ارتباط علت و معلول (Cause and Effect) در آلمان در سال 1962
بسط تئوري در دانشگاه MIT در دهه 1970
كنفرانس پترينت و روشهاي مرتبط در سال 1975
افزوده شدن زمان قطعي (deterministic time)
افزوده شدن زمان تصادفي (stochastic time)
شبکه پتري رنگي (Colored Petri Net) 11 عناصر شبک...
مبلغ واقعی 18,824 تومان 20% تخفیف مبلغ قابل پرداخت 15,059 تومان
بسمه تعالی پاورپونت آموزش چکیده نویسی - ابزاری کلیدی برای اساتید پژوهش آیا به دنبال راهی هستید تا مهارتهای چکیده نویسی خود را به سطح بعدی ببرید؟ پاورپونت آموزش چکیده نویسی ما، طراحی شده ویژه اساتید پژوهش، ابزاری است که به شما کمک میکند تا با اصول و تکنیکهای ... ...
نخستین کنفرانس بین المللی مبلمان و دکوراسیون - دکو 2011 دل مرکز همایش های صدا و سیما (تهران) برگزار شده است. متن کامل 35 مقاله به صورت PDF در این بسته ارائه شده است. محورهای کنفرانس دکو 2011: - چشم اندازو چالش های صنعت مبلمان کشور در بخش های واردات، تولید، توزیع و ... ...
مراحل ساختمان سازی در این تحقیق موضوعات مراحل انجام کار ساختمان سازی بعد از انجام قرارداد تجهیز کارگاه و اماده کردن کارگاه ساختمانی تسطیح محوطه گود برداری زهکشی پر کردن چاه ها قنوات و قطع اشجار نقاط نشانه و مبدا ساختمان ها و تجهیزات و تجهیز کارگاه تحویل وکنترل مصالح ...
عنوان: خلاصه كتاب عكاسي هنر ميان مايه فرمت فایل: pptx تعداد اسلاید ها: 68 زبان: فارسی دسته بندی: هنر چکیده: عکاسی در لغت به معنای روش عکاسی و عکسبرداری است و همچنین به عمل و شغل عکاس نیز گفته میشود. این هنر در اکثر زبانهای جهان فتوگرافی خوانده میشود که ترکیبی از دو ... ...
قانونپیوندهای اجتماعی بین مردم عمل میکند. قانون معرب کلمه یونانی canon است که به فرانسه loiو به انگلیسی law ترجمه میشود.مفهوم عامتری نیز نسبت به قانون وجود دارد. به عبارت دیگر هر چیزی که تنظیم کننده رفتار انسان باشد، قانون نام دارد. این قانون میتواند قوانین فیزیکی باشد ... ...
دعای فرج امام زمان (عج) وکتور کورل 12دعای فرج برای برش شبرنگ و حکاکی لیزر . قابلیت بزرگ نمایی . طرح برداری . کورل 12 . ... ...