0

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

سیستم های علائم الکتریکی و اینترلاکینگ نقشی حیاتی در ایجاد یک حمل و نقل ایمن در سیستم های راهآهن ایفا میکنند. از آنجایی که در این سیستمها رخدادن هیچ نوع خطایی حتی کوچک جایز نیست، استفاده از روشهای صوری برای طراحی، شبیه سازی، مدلسازی و ارزیابی، بسیار حائز اهمیت است. چندین روش صوری برای طراحی وجود دارد که یکی از ابزارهای مناسب، استفاده از جعبه ابزار stateflow نرم افزار matlab است. در این مقاله یک...

چکیده رشد ناموزون و غیر اصولی شهرها همواره موجب بروز مشکلات متعدد می گردد،که از جمله دلایل بروز این مشکلات را می توان در عدم رعایت روابط متقابل و تناسب میان کاربری های مختلف دانست.منطقه 17 شهرداری تهران نیز از این قاعده مستثنی نیست و مد نظر نداشتن تناسب میان کاربری های مختلف شهری موجب بروز مسائل مختلف در این منطقه شده است. در این میان عدم ایجاد پارکینگ های عمومی کافی همزمان با توسعه معابر و کا...