اصول پیاده سازی چارچوب معماری C4ISR به روش شی گرا
اسلاید 1: C4ISR به روش شي گراجلسات 11و 12مدل اجرائي و شبكه هاي پتري رنگي دوره اول: دي ماه 81 دوره آموزشي اصول پياده سازي چارچوب معماري شركت ايز ايران
اسلاید 2: مقدمهمثالهائي از شبكه هاي پتري معموليمعرفي كليات شبكه هاي پتري رنگيتشريح مثال پروتكل ارتباطيپرسش وپاسخسر فصل مطالب
اسلاید 3: مثال 1: دريافت كننده كد رمز: نمودار انتقال حالتشروع1 رقم1 رقم1 رقم1 رقمd1d2d3d4OKOKفشار داده شدتاييد كنتاييد شدرد شدOKOKOKOKحالت شروعحالت خاتمهرد كن
اسلاید 4: مثال 1: دريافت كننده كد رمز: شبكه پتريشروع1 رقم1 رقم1 رقم1 رقمd1d2d3d4OKOKفشار داده شدتاييد كنتاييد شدOKOKOKOKرد كنرد شد
اسلاید 5: سناريو شماره 1:كاربر 4 رقم صحيح وارد كرده و كليد تاييد را فشار ميدهدسناريو شماره 2:كاربر تنها 3 رقم وارد كرده و كليد تاييد را فشار ميدهد.مثال 1: دريافت كننده كد رمز: شبكه پتري
اسلاید 6: شروع1 رقم1 رقم1 رقم1 رقمd1d2d3d4OKOKفشار داده شدتاييد كنتاييد شدهOKOKOKOKرد كنرد شدهمثال 1: اجراي سناريوها
اسلاید 7: ماشين فوق تنها دو نوع آب نبات دارد – 20 ريالي و 15 رياليفقط دو نوع سكه قبول ميكند – 10 ريالي و 5 رياليماشين هيچ مبلغي را برنمي گرداندمثال 2: ماشين فروشنده خودكار
اسلاید 8: مثال 2: ماشين فروشنده خودكار/ نمودار حالت0 ريال5 ريال10 ريال15 ريال20 ريالدريافت 5 ريالدريافت 10 ريالدريافت 10 ريالدريافت 5 ريالدريافت 5 ريالدريافت 5 ريالدريافت 5 ريالتحويل بده يك آب نبات 20 رياليتحويل بده يك آب نبات 15 ريالي
اسلاید 9: 5 ريالتحويل بده يك آب نبات 15 رياليدريافت 5 ريال0 ريالدريافت 10 ريالدريافت 5 ريال10 ريالدريافت 10 ريالدريافت 5 ريالدريافت 10 ريال20 ريالدريافت 5 ريال15 ريالتحويل بده يك آب نبات 20 رياليمثال 2: ماشين فروشنده خودكار/شبكه پتري
اسلاید 10: سناريو 1:انداختن سكه هاي 5 ريالي، 5 ريالي، 5 ريالي، 5 ريالي، دريافت يك آب نبات 20 رياليسناريو 2:انداختن سكه هاي 10 ريالي، 5 ريالي، دريافت يك آب نبات 15 رياليسناريو 3:انداختن سكه هاي 5 ريالي، 10 ريالي، 5 ريالي، دريافت يك آب نبات 20 رياليمثال 2: ماشين فروشنده خودكار/سناريوها
اسلاید 11: 5 ريالتحويل بده يك آب نبات 15 رياليدريافت 5 ريال0 ريالدريافت 10 ريالدريافت 5 ريال10 ريالدريافت 10 ريالدريافت 5 ريالدريافت 10 ريال20 ريالدريافت 5 ريال15 ريالتحويل بده يك آب نبات 20 رياليمثال 2: ماشين فروشنده خودكار/اجراي شبكه
اسلاید 12: شبكه هاي پتري رنگي حالت كلي تري از شبكه هاي پتري نت معمولي محسوب ميشوند.اين نوع شبكه ها امكان مدل سازي دقيقتر و جزئي تري را از فرايندهاي غيرهمزمانِ پيچيده ميدهند.مهره ها ميتوانند با هم متفاوت باشند، بطوريكه به هر مهره خصوصيتي بنام رنگ اضافه ميشود.كمانها ميتوانند شامل عبارات رياضي باشند كه از تركيبِ مجموعه هاي رنگ و متغيرهاي مربوط به آنها تشكيل مي شوند.
اسلاید 13: گزاره ها و توابعCSCI 599 Formal MethodsNovember 2, 2000Concurrency Examples R. Apcar, E. Chiu, H. Jerejian31447t2P2P3P4P5t1P1گزاره و تابع t1 : P2 > P1 P4 := P2 + P1گزاره و تابع t2 : P3 > P2 P4 := P3 + P2 P5 := P2 + P3شبكه هاي رنگي پتري: اختصاص مقادير به مهره ها
اسلاید 14: نحوه ايجاد شبكه هاي پتري رنگي شبكه هاي پتري رنگي با توجه به نمودارهاي كلاس ايجاد ميشوند.شرط اول اينست كه همبستگي ها به كلاسهاي واسط تبديل شده باشند.
اسلاید 15: نحوه ايجاد شبكه هاي پتري رنگي شرط دوم اينست كه هر كلاس تنها شامل خصوصيات يا اعمال باشد.
اسلاید 16: نحوه ايجاد شبكه هاي پتري رنگي معمولاً از يك مدل سلسله مراتبي استفاده ميشود.براي هر كدام از كلاسهايِ اصلي يك انتقال در نظر گرفته ميشود. اعمالِ كلاسهاي اصلي با «انتقالهاي» معادل جايگزين ميشوند و «كلاسهاي واسط» تبديل به «مكانها» ي مدل ميشوند. «خصوصياتِ» هر كدام از كلاسهاي واسط فوق، تبديل به «مجموعه رنگ» هر كدام از «مكانها» ميشوند.
اسلاید 17: نحوه ايجاد شبكه هاي پتري رنگي
اسلاید 18: مثال پروتكل ارتباطي : حالت اوليه
اسلاید 19: مثال پروتكل ارتباطي: پس از آتش شدن SendPacket
اسلاید 20: شبيه سازي مكانيزم هدايت موشكموشك هوا به هوا توسط مكانيزهائي نظير رادار و مادون قرمزهدف را شناسائي و رهگيري ميكند. مدل فيزيكي پيكار هوائي
اسلاید 21: شبيه سازي مكانيزم هدايت موشك...موشك هوا به هوا توسط مكانيزهائي نظير رادار و مادون قرمزهدف را شناسائي و رهگيري ميكند. مدل فيزيكي پيكار هوائي
اسلاید 22: شبيه سازي مكانيزم هدايت موشك...شبيه ساز يكپارچه
اسلاید 23: سلسه مراتب صفحات شبكه هاي پتريشبيه ساز يكپارچه
اسلاید 24: سلسه مراتب صفحات شبكه هاي پتريشبيه ساز يكپارچه
اسلاید 25: گراف سطح بالا
اسلاید 26: گراف زير صفحه هدف
اسلاید 27: گراف زير صفحه رادار
اسلاید 28: گراف زير صفحه مادون قرمز
اسلاید 29: گراف زير صفحه مادون قرمز
نقد و بررسی ها
هیچ نظری برای این پاورپوینت نوشته نشده است.