دانش رسان |
مرکز علم و دانش کشور مقاله مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B دارای ۱۶ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B :
تعداد صفحات:۱۶
چکیده:
ابهامات سیستمها منشا بروز خطا بوده و خطا در سیستمهای کنترلی مانند سیستمهای کنترل ریلی از علل و عوامل حوادثی مانند تصادفات ریلی و یا خروج از خط می باشد یکی از راهکار های رفع ابهامات استفاده از روشهای رسمی بوده بطوریکه دربسیاری از قراردادهای توسعه نرم افزار های ایمنی محور استفاده از روش مذکور در مجموعه الزامات قرار دادی گنجانده می شود روش رسمی بااستفاده از اثبات کننده های اتوماتیک، در زمینه توسعه نرم افزارهای ایمنی محور که هزینه خطای بالایی دارند بسیار مورد توجه می باشد. در حوزه مهندسی راه آهن بکارگیری روش مذکور در کشورهای پیشرفته بسیار متداول بوده و یک نمونه از چگونگی استفاده آن در این تحقیق بررسی شده است. دربحث اینترلاکینگ ایستگاهها تعامل بین اجزای مدلی پیچیده می سازد که فهم آن بسیار مشکل خواهد بود. ازاین دید بیان رسمی مشخصات با استفاده از روشی رسمی مانند روش رسمی B بسیار کارا می باشد در این مقاله سعی شده است یک نمونه از اینترلاکینگ متمرکز ارایه شود که اکثر فرایندها مانند رزرو نمودن مسیر، قفل مسیر، مسیر شانت، مسیر معکوس و مسیر فراخوان را در برداشته باشد.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
