حجم فایل : 861.9 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 تومان
عنوان مقاله : کاربرد عکس های هوایی در برنامه ریزی شهری قالب بندی : Word صفحات : 14 ص شرح مختصر : عکسبرداری هوایی ، تفکیکی نسبتاً جدید است که تاریخ آن کم و بیش مقارن با پیدایش هنر و علم عکاسی و همچنین صنعت هوانوردی است. اولین گزارش کتبی اختراع فن عکاسی به آکادمی علوم و هنرهای فرانسه ...
عنوان مقاله : مدیریت پسماندهای روستایی قالب بندی : PDF صفحات : 22 ص شرح مختصر : ارتقاي سلامتي افراد جامعه يکي از مهمترين مسائل اساسي هر کشور، ارتقاي سلامتي افراد آن جامعه است که بايد از ابعاد مختلف از جمله رواني مورد توجه قرار گيرد. وظيفه اصلي بهداشت رواني تأمين سلامت فکر و ...
عنوان : گزارش کار آموزی اجرای کارهای ساختمانی قالب بندی : Word صفحات : شرح مختصر : اجرای کـارهـای ساختمانی شـامـل مراحـل متعددی است که ضمن آن افراد با ماشین آلات ساختمانی، ابزار و مصالح گوناگون سروکار دارند . این روابط ویژگی ها امکان وقـوع حوادث را بـرای نیروی انسـانی را ...
آشنايي با جريان سه فاز جريان سه فاز در مداري كه سيم بندي القاء شونده آن (آرميچر) از سه دسته سيم پيچ جدا كه هر كدام نسبت به هم 120 درجه الكتريكي اختلاف فاز دارند تهيه مي شود. انواع اتصال در سيستم سه فاز . در سيستم سه فاز معمولاً از سه نوع اتصال استفاده مي شود : الف- اتصال ستاره ب- ...
عنوان مقاله : مراحل مختلف تصفیه آب در تصفیه خانه قالب بندی : Word صفحات : 112 ص شرح مختصر : آب مادهاي فراوان در كره زمين است. به شكلهاي مختلفي همچون دريا، باران، رودخانه و … ديده ميشود. آب در چرخه خود، مرتباً از حالتي به حالت ديگر تبديل ميشود اما از بين نميرود. هر ...
عنوان پروژه : تاریخچه موزه و موزه داری در ایران و جهان قالب بندی : word صفحات : شرح مختصر : بی شك وجود موزه به عنوان یك نهاد فرهنگی در اجتماع بسیار ضروری است فرهنگ هر جامعه یك مفهوم كلی است و تمامی ارزشها و یافتههای معنوی مردمان آن جامعه را در بر میگیرد. پس فرهنگ. ...
عنوان مقاله : طراحی و نور پردازی استخر ها قالب بندی : PDF صفحات : 59 ص شرح مختصر : در استخرهای شنا؛ استخرهای تزیینی، جکوزی ها، سونای خشک و سونای بخار به دلیل خاصیت رسانایی آب و ماهیت مرطوب فضای استخر،احتمال ایجاد شوک الکتریکی و آسیب های جانی بسیار زیاد است .تاثیر شوک ...
فرمت فایل اصلی : پاورپوینت ( ppt ) حجم درحالت فشرده : 1.97 مگابایت تعداد صفحات فایل : 33 اسلاید هدیه محصول : فایل پاورپوینت بررسی معماری سبک رازی-24 اسلاید هردوفایل (فایل اصلی و هدیه) در یک فایل زیپ (zip-winrar) قرار گرفته است. پاورپوینت بررسی سبک معماری ... ...
پاسخ تشریحی تمرین های کتاب تئوری ماشین و مکانیزم ها، ویرایش چهارم، نگارش پناک، شیگلی و یوئیکر با نام انگلیسی: Theory Of Machine And Mechanisms Si Edition solution manual, 4th Ed. by Gordon R. Pennock & Joseph E. Shigley John J. Uicker این مجموعه شامل پاسخ تشریحی تمرین ... ...
نام کتاب : آموزش پیش از ازدواج نویسنده : مهدی میر محمد صادقی فرمت : pdf ... ...
عنوان مقاله : معرفی تکنولوژی نمایشگرهای OLED قالب بندی: word, PPT صفحات : شرح مختصر : OLED مخفف کلمات (Organic Light Emitting Diode) است و به معنای دیودهای ارگانیکی پخش کننده نور می باشد. با تکنولوژی OLED به زودی شاهد خواهیم بود که صفحات نمایشی ساخته می شوند که با وجود ابعاد بسیار بزرگ، نازک و سبک ...
عنوان مقاله : اینترنت موبایل قالب بندی : PDF صفحات: شرح مختصر : در تئوري بايد بتواند سرعت انتقال اطلاعات را بالاي 115 کيلوبيت در ثانيه برساند، در حالي که در عمل اين سرعت به 40 کيلوبيت در ثانيه ميرسد حال آنکه سرعت ارتباط در دستگاههاي متفاوت GPRSبه مراتب با يکديگر فرق ميکنند ...
عنوان جزوه : ا درس سیستم عامل قالب بندی : Power Point صفحات : شرح مختصر : سیستمعامل دو کار عمده انجام میدهد: در نگرش پایین به بالا، منابع منطقی (مانند فایلها) و منابع فیزیکی (مانند دستگاههای سختافزاری) رایانه را مدیریت و کنترل میکند. در نگرش بالا به پایین، ...
عنوان مقاله : معرفی انواع رله ها و کاربرد های آنها قالب بندی: word صفحات : شرح مختصر :حفاظت تجهیزات و دستگاه های سیستم قدرت در مقابل عیوب و اتصالیها ، به وسیله كلید قدرت انجام می گیرد قبل از اینكه كلید قدرت بتواند باز شود ، سیم پیچی عمل كنندة آن باید تغذیه شود این تغذیه به وسیله ...