ارائه یک مدل پویا به کمک شبکه‌های پتری رنگی از سیستم دفاعی نیروی دریایی با بهره‌مندی از سیستم هوشمند کنترل ترافیک

توضیحات

هدف این تحقیق ارائه یک مدل پویا از سیستم­های هوشمند کنترل ترافیک دریایی در حیطه نظامی با استفاده از شبکه­ های پتری­رنگی می­باشد. در این تحقیق ما از مدل­های رسمی بهره برده­ایم و مدل قابل اجرایی از سناریوهای نظامی-دریایی با استفاده از شبکه­های پتری­ رنگی ایجاد نموده ­ایم. سپس روشی برای ارزیابی قابلیت اطمینان و دسترس پذیری مدل ایجاد شده ارائه گردیده است. در واقع آنچه در این تحقیق به دنبال آن هستیم، چگونگی ایجاد مدل قابل اجرایی است که بتواند سیستم هوشمند کنترل ترافیک دریایی را از نظر قابلیت اطمینان و دسترس پذیری مورد بررسی قرار دهد. با استفاده از نتایج حاصل از شبیه­ سازی این مدل و تحلیل آنها می­توان مشکلات را در فاز برنامه­ریزی شناسایی و عیوب خود را اصلاح نمود تا از هزینه­های زمانی و اقتصادی زیاد پیاده­سازی، کاسته شود. ارزیابی و مدلسازی روش ارائه شده توسط CpnTools انجام شده است.