اصول پياده سازی چارچوب معماری C4ISR به روش شی گرا

صفحه 1:
اشركت ايز ايران دوره آموزشی اصول پیاده سازی چارچوب معماری به روش شی گرا اند ۷ و13 مدل اجرائی و شبکه های پتری رنگی دوره اول: دی ماه ۸۱ 

صفحه 2:
سر فصل مطالب 3 مقدمه 5 مثالهائى از شبكه هاى يترى معمولى معرفى كليات شبكه هاى يترى رنكى + _ تشریح مثال پروتکل ارتباطی 8 پرسش وپاسخ 

صفحه 3:
مثال ا: دریافت کننده کد رمز: نمودار انتقال حالت | ‏بشادو لش ره نمی‎ ase J aa OK OK فشار داده شد 3 OK ees 

صفحه 4:
مثال ا: دریافت کننده کد رمز: شبکه پتری 

صفحه 5:
مثال ‎:١‏ دريافت کننده کد رمز: شبکه پتری * سناریو شماره ۱: * کاربر ۴ رقم صحیح وارد کرده و کلید تایید را فشار میدهد * سناریو شماره ۲: * کاربر تنها ۳ رقم وارد کرده و کلید تایید را فشار میدهد. 

صفحه 6:
مثال !: اجرای سناریوها 

صفحه 7:
مثال ۲: ماشین فروشنده خجدکار * ماشین فوق تنها دو نوع آب نبات دارد - ۲۰ ریالی و ۱۵ ربالی * فقط دو نوع سکه قبول میکند - ۱۰ ریالی و ۵ ریالی * ماشین هیچ مبلفی را برنمی گرداند 

صفحه 8:
مثال ۲: ماشین فروشنده خودکار/ نمودار مالت آب نيات 16 رياا 

صفحه 9:
مثال ۲: ماشین فروشنده خودکار/شبکه پتری تحویل بده یک آب نبات ۱۵ ریالی تحویل بده یک آب نبات ۲۰ ریالی 

صفحه 10:
مثال ۲: ماشین فروشنده خودکار/سناریوها * سناریو ا: * انداختن سکه های ۵ ریالی. ۵ ریالی» ۵ ریالی؛ ۵ ریالی, دریافت یک آب نبات ۲۰ ریالی *۴ سناریو ۲: * انداختن سکه های ۱۰ ریالی» ۵ ریالی, دریافت یک آب نبات ۱۵ ریالی * سناریو ۲: * انداختن سکه های ۵ ریالی؛ ۱۰ ریالی» ۵ ریالی. دریافت یک آب نبات ۲۰ ریالی 

صفحه 11:
مثال ۲: ماشین فروشنده خودکار/۱جرای شبکه تحویل بده یک آب نبات ۱۵ ریالی Neb, دریافت ۵ ریال ييلل؟ تحویل بده یک آب نبات ۲۰ ریالی 

صفحه 12:
شبکه های پتری رنکی * حالت کلی تری از شبکه های پتری نت معمولی محسوب این نوع شبکه ها امکان مدل سازی دقیقتر و جزئی تری را از فرایندهای غیرهمزمان پیچیده میدهند. مهر :ها یتراک باه مستاوت اش طو رکه باه مره خصوصیتی بنام رنگ اضافه ميشود. ؟ کمانها میتوانند شامل عبارات ریاضی باشند که از ترکیب مجموعه های رنگ و متفیرهای مربوط به آنها تشکیل می شنوند. 

صفحه 13:
شبکه های رنگی پتری: اختصاص مقادیر به مهره ها گزاره ها و توابع گزاره و تابع 11: ‎P,.>.P,‏ P,:=P, +P, 

صفحه 14:
نموه ایجاد شبکه های پتری (نگی شبکه های پتری رنگی با توجه به نمودارهای کلاس ایجاد ميشوند. ‎ *‏ شرط اول اینست که همبستگی ها به کلاسهای واسط تبدیل شده باشند. لمات فروش در پسپیترین ‎a‏ = Sa نع زین دهده صحیع مقطراعدد صحيح 

صفحه 15:
نموه ایجاد شبکه های پتری رنگی ؟ شرط دوم اینست که هر کلاس تنها شامل خصوصیات یا اعمال باشد. تفه ‎SS‏ ‏رس کرو ت لماعت ‎oe‏ ‏تا ‏سای سر : >——— | مع ‎PX‏ سل كمع قياضت را ‎Order ef Hein 2 on‏ ‎source |‏ ‎a owe‏ 

صفحه 16:
نموه ایجاد شبکه های پتری رنگی ؟ معمولاً از یک مدل سلسله مراتبی استفاده ميشود. *؟ براى هر کدام از کلاسهای اصلی یک انتقال در نظر گرفته میشود. 1 ؟ _ اعمال کلاسهای اصلی با «انتقالهای» معادل جایگزین میشوند و «کلاسّهای واسط؛ تبدیل به «مکانها» ی مدل ميشوند. «خصوصیات» ) هر کدام از کلاسهای واسط فوق, تبدیل به «مجموعه رنگ» هر کدام از «مکانها؛ میشوند. tes 78 LO) tes Tera -_> Meet Tear] 

صفحه 17:
نموه ایجاد شبکه های پتری رنگی 

صفحه 18:
مثال پروتکل ارتباطی + ‎Calla‏ اولیه Bork ‏مس‎ ‏عدا‎ رس + ‘vate b* Dever "+ ePOrtow + ve. 2 moore 

صفحه 19:
مثال پروتکل ارتباطی: پس از آتش شدن 5600۴5616۴ ‎ar‏ 2 وی رم + 11150۲ ‏("لاما00‎ BAA 1 Hered Petr) مك1 أهم عسوم ‎ae‏ ‎FORKS.) andaiso‏ 9 ا ‎INTXDATA then (np) INTXDATA‏ ‎hen sp‏ هم ‎tise empty‏ 0 else str ۱ then ket else k Receive Transmit ‘Acknow. Acknow. Sender Network Receiver TOK.) then tn ‘else empty INT 

صفحه 20:
شبیه سازی مکانیزم هدایت مجشک Engaging Aircraft ‎Target Aircraft‏ سح سح = ‎Air-to-Air Missile ‎ ‏* _ مدل فیزیکی پیکار هوائی ‎ 

صفحه 21:
شییه سازی مکانیزم هدایت موشک.. Air-To-Air Missile Target مدل فيزيكى بيكار هوائى 

صفحه 22:
شبیه سازی مکانیزم هدایت موشک.. User I Integrated Weapons Simulator ۱ iste racy I ۱ 1 i i 1 1 1 51 | So | Missile 1 ara AF Range, ‏و‎ ‏تسین‎ ‎‘Wiest Tejoctory 

صفحه 23:
سلسه مراتب صفمات شبکه های پتری 0۳۳ 

صفحه 24:
سلسه مراتب صفمات شبکه های پتری color Status = with Ready | Wait; color Input = with Target_Delta | Pause | Stop; color Motion = with Target_Trajectory | Missile Trajectory; color Range = with RF Range | IR Range; var cmd: Input; 

صفحه 25:


صفحه 26:
گراف زیر صفمه هدف Shared Data Target Thread ‘Target Socket Target Process 

صفحه 27:
گراف زیر صفمه رادار 8 

صفحه 28:
گراف زیر صفمه مادون 1035 Inara Scoket area Process Intarec-Mssle Socket, 

صفحه 29:
گراف زیر صفمه مادون قرمز ‘Shared Data Missile Thread Missile Socket —Missile Process Missile-RF/IR Socket sate eae) Meat Testy eee] a ‏بيجي‎ ete ‏مسرو‎ - مومسم 

صفحه 30:


شركت ايز ايران دوره آموزشي اصول پياده سازي چارچوب معماري C4ISRبه روش شي گرا جلسات 11و 12 مدل اجرائي و شبكه هاي پتري رنگي دوره اول :دي ماه 81 سر فصل مطالب .1 .2 .3 .4 .5 مقدمه مثالهائي از شبكه هاي پتري معمولي معرفي كليات شبكه هاي پتري رنگي تشريح مثال پروتكل ارتباطي پرسش وپاسخ مثال :1دريافت كننده كد رمز :نمودار انتقال حالت ‏d4 رقم 1 ‏d3 رقم 1 رقم 1 ‏d2 ‏d1 رقم 1 ‏OK ‏OK ‏OK ‏OK ‏OK ‏OK تاييد كن فشار داده شد تاييد شد رد كن رد شد حالت شروع حالت خاتمه شروع مثال :1دريافت كننده كد رمز :شبكه پتري ‏d4 رقم 1 رقم 1 ‏d3 ‏OK ‏OK ‏OK ‏OK فشار داده شد تاييد كن تاييد شد رقم 1 ‏d2 رد كن رقم 1 ‏d1 ‏OK ‏OK رد شد شروع مثال :1دريافت كننده كد رمز :شبكه پتري • سناريو شماره :1 • • كاربر 4رقم صحيح وارد كرده و كليد تاييد را فشار ميدهد سناريو شماره :2 • كاربر تنها 3رقم وارد كرده و كليد تاييد را فشار ميدهد. مثال :1اجراي سناريوها ‏d4 رقم 1 رقم 1 ‏d3 ‏OK ‏OK ‏OK ‏OK فشار داده شد تاييد كن تاييد شده رقم 1 ‏d2 رد كن رقم 1 ‏d1 ‏OK ‏OK رد شده شروع مثال :2ماشين فروشنده خودكار ‏ ‏ ‏ ماشين فوق تنها دو نوع آب نبات دارد – 20ريالي و 15 ريالي فقط دو نوع سكه قبول ميكند – 10ريالي و 5ريالي ماشين هيچ مبلغي را برنمي گرداند مثال :2ماشين فروشنده خودكار /نمودار حالت تحويل بده يك آب نبات 15ريالي دريافت 5ريال ريال 20 دري ا ف ت 5 ري لا دريافت 5ريال تحويل بده يك آب نبات 20ريالي ريال 5 د ري اف ت دريافت 5ريال ريال 15 دريافت 10ريال د ريال 10 5 فت ري ا ريال 10 يال ر ريال 0 مثال :2ماشين فروشنده خودكار/شبكه پتري تحويل بده يك آب نبات 15ريالي ريال 15 دريافت 10ريال ريال 5 دريافت 5ريال دريافت 5ريال ريال 20 دريافت 5 ريال دريافت 5ريال دريافت 10ريال ريال 10 دريافت 10ريال تحويل بده يك آب نبات 20ريالي ريال 0 مثال :2ماشين فروشنده خودكار/سناريوها ‏ سناريو :1 ‏ ‏ سناريو :2 ‏ ‏ انداختن سكه هاي 5ريالي 5 ،ريالي 5 ،ريالي 5 ،ريالي ،دريافت يك آب نبات 20ريالي انداختن سكه هاي 10ريالي 5 ،ريالي ،دريافت يك آب نبات 15ريالي سناريو :3 ‏ انداختن سكه هاي 5ريالي 10 ،ريالي 5 ،ريالي ،دريافت يك آب نبات 20 ريالي مثال :2ماشين فروشنده خودكار/اجراي شبكه تحويل بده يك آب نبات 15ريالي ريال 15 دريافت 5ريال ريال 20 دريافت 10ريال ريال 5 دريافت 5ريال دريافت 5 ريال دريافت 5ريال دريافت 10ريال ريال 10 دريافت 10ريال تحويل بده يك آب نبات 20ريالي ريال 0 شبكه هاي پتري رنگي ‏ ‏ ‏ ‏ حالت كلي تري از شبكه هاي پتري نت معمولي محسوب ميشوند. اين نوع شبكه ها امكان مدل سازي دقيقتر و جزئي تري را از فرايندهاي غيرهمزماِن پيچيده ميدهند. مهره ها ميتوانند با هم متفاوت باشند ،بطوريكه به هر مهره خصوصيتي بنام رنگ اضافه ميشود. كمانها ميتوانند شامل عبارات رياضي باشند كه از تركيِب مجموعه هاي رنگ و متغيرهاي مربوط به آنها تشكيل مي شوند.  اختصاص مقادير به مهره ها:شبكه هاي رنگي پتري گزاره ها و توابع P1 3 t1 P4 CSCI 599 Formal Methods November 2, 2000 P2 1 4 7 P3 4 t2 P5 Concurrency Examples R. Apcar, E. Chiu, H. Jerejian : t1 گزاره و تابع P2 > P 1 P4 := P2 + P1 : t2 گزاره و تابع P3 > P 2 P4 := P3 + P2 P5 := P2 + P3 نحوه ايجاد شبكه هاي پتري رنگي ‏ ‏ شبكه هاي پتري رنگي با توجه به نمودارهاي كالس ايجاد ميشوند. شرط اول اينست كه همبستگي ها به كالسهاي واسط تبديل شده باشند. دفتر پمپ بنزين اطالعات فروش پمپ پمپ دفتر پمپ بنزين اطالعات فروش شناسه برچسب :عدد صحيح نوع بنزين :عدد صحيح مقدار :عدد صحيح نحوه ايجاد شبكه هاي پتري رنگي ‏ شرط دوم اينست كه هر كالس تنها شامل خصوصيات يا اعمال باشد. دفتر پمپ بنزين دفتر پمپ بنزين ارسال كن مبلغ قابل پرداخت را() بروز رساني كن صندوق را() شناسه نوع قيمت شناسه برچسب مبلغ ارسال كن مبلغ قابل پرداخت را() حسابها شناسه برچسب :عدد صحيح مبلغ :عدد صحيح قيمت بنزين شناسه نوع :عدد صحيح قيمت :عدد صحيح بروز رساني كن صندوق را() نحوه ايجاد شبكه هاي پتري رنگي ‏ ‏ ‏ معموًال از يك مدل سلسله مراتبي استفاده ميشود. براي هر كدام از كالسهاِي اصلي يك انتقال در نظر گرفته ميشود. اعماِل كالسهاي اصلي با «انتقالهاي» معادل جايگزين ميشوند و «كالسهاي واسط» تبديل به «مكانها» ي مدل ميشوند. «خصوصياِت » هر كدام از كالسهاي واسط فوق ،تبديل به «مجموعه رنگ» هر كدام از «مكانها» ميشوند. گره عملياتي نوع 2 داده گره عملياتي گره عملياتي نوع 2 نوع 1 ‏T2 گره عملياتي نوع 1 ‏T1 فعاليت )(2 فعاليت )(1 پيام نوع 1 پيام نوع 2 داده نحوه ايجاد شبكه هاي پتري رنگي مقدار پمپ شده ‏P3 محاسبه كن مبلغ قابل پرداخت را اطالعات فروش دفتر پمپ بنزين ارسال كن مبلغ قابل پرداخت را() بروز رساني كن صندوق را() ‏P1 قيمت بنزين قيمت بنزين شناسه نوع :عدد صحيح ‏P2 مقدار پمپ شده ‏P5 بروز رساني كن صندوق را قيمت :عدد صحيح مقدار پمپ شده ‏P4 دفتر پمپ بنزين ‏HS  حالت اوليه: مثال پروتكل ارتباطي 1`(1,” Mo d el l i n ” )+ 1`(2,” g a n d An ” )+ 1`(3,” a l y si s b ” )+ 1`(4,” y Mea n s “ )+ 1`(5,” o f Co l o u ” )+ 1`(6,” red Pet r” )+ 1`(7,” I Net s” )+ 1`(8,” ###” ) INTxDATA Send ارسالي ”“ Recei ved دريافتي DATA (n,p) INTxDATA Send Packet (n,p) ارسال كن بسته را A Tra n smi t p a cket (n,p) انتقال بده بسته را If Ok(s,r) Then 1`(n,p ) El se emp t y If n=k Anda l so P<>st o p Then st r^p El se st r st r INTxDATA (n,p) B s n 8 Te n0 1 Next ارسال Sen d بعدي k Te n0 Recei v e Ackn o w. n D INT SA Tra n smi t Ackn o w. If Ok(s,r) Then 1`n El se emp t y k 1 Recei v e p a cket Nextدريافت Rec بعدي 8 n دريافت كن تاييديه را SP انتقال بده تاييديه را Sen d er Net wo rk فرستنده شبكه INT n If n=k Then k+1 El se k دريافت كن بسته را بده بسته را If n=k Then k+1 El se k C INT Recei v er گيرنده مثال پروتكل ارتباطي :پس از آتش شدن SendPacket شبيه سازي مكانيزم هدايت موشك ‏ ‏ مدل فيزيكي پيكار هوائي موشك هوا به هوا توسط مكانيزهائي نظRRRير رادار و مادون قرمزهRRRدف را شناسائي و رهگيري ميكند. شبيه سازي مكانيزم هدايت موشك... ‏ ‏ مدل فيزيكي پيكار هوائي موشك هوا به هوا توسط مكانيزهائي نظRRRير رادار و مادون قرمزهRRRدف را شناسائي و رهگيري ميكند. شبيه سازي مكانيزم هدايت موشك... ‏ شبيه ساز يكپارچه سلسه مراتب صفحات شبكه هاي پتري ‏ شبيه ساز يكپارچه سلسه مراتب صفحات شبكه هاي پتري ‏ شبيه ساز يكپارچه گراف سطح باال گراف زير صفحه هدف گراف زير صفحه رادار گراف زير صفحه مادون قرمز گراف زير صفحه مادون قرمز