بازبینی رایانه ای سیستم های اینترلاکینگ
Publish place: 12th students Conference on Civil Engineering
Publish Year: 1384
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,274
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CESC12_109
تاریخ نمایه سازی: 2 دی 1384
Abstract:
اطمینان یافتن از درستی و صحت سیستم های رایانه ای مورد استفاده در سیستم های اینترلاکینگ در موقع بحرانی استفاده مشکل می باشد. معمولا روشهای بازبینی مورد استفاده در مدلسازی و آزمایش جامع کامل نبوده و دارای نواقصی بوده اند. در این گردآوری پروسه بازبینی جایگزینی بر چک کردن یک مدل نمادین که می تواند به صورت اتوماتیک فضای سیستم را جستجو کند شرح داده می شود. از این پروسه همچنین می توان انتظار داشت که اطلاعات زمانی مفیدی درباره رفتار و عکس العملهای سیستم در مواقع اضطراری را نیز دریافت کرد. در این پروسه از ابزار (تکنیک) Verus استفاده شده است که امکان بررسی سیستمهای پیچیده و طراحی شده برای حالات بحرانی ایستگاههای راه آهن در اندازه های متوسط و بزرگ را فراهم می کند. همچنین می توان رفتارهای غیرعادی، اشتباهات .... را در سیستم های اینترلاکینگ پیچیده در مواقع بحرانی قبل از گسترش یافتن تشخیص داد و در برطرف نمودنشان اقدامات لازم را انجام داد.
Authors
پدرام مسعودی
دانشجوی کارشناسی عمران دانشگاه آزاد اسلامی واحد کرمانشاه
سیدشهاب حسنی نسب
مهندس عمران دانشگاه رازی کرمانشاه
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :