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

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

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

سابقه و هدف: شکستگی های تنه هومروس در بیمارانی که قادر به تحمل درمان غیر جراحی نباشند با اینترلاکینگ نیل درمان می شوند. با توجه به تناقضات موجود در نتایج تکنیکهای مختلف جراحی و به منظور تعیین نتایج درمان جراحـی شکستگی های تنه هـومروس با اینتر لاکینگ نیل، این تحقیق روی مراجـعین به مراکز تروما، طی سالهای 83-1379 انجام گرفت . مواد و روشها: تحقیق به روش case-series روی 34 بیمار واجد شرایط انجام گرف...

سابقه و هدف: شکستگی های تنه هومروس در بیمارانی که قادر به تحمل درمان غیر جراحی نباشند با اینترلاکینگ نیل درمان می شوند. با توجه به تناقضات موجود در نتایج تکنیکهای مختلف جراحی و به منظور تعیین نتایج درمان جراحـی شکستگی های تنه هـومروس با اینتر لاکینگ نیل،‌ این تحقیق روی مراجـعین به مراکز تروما، طی سالهای 83-1379 انجام گرفت . مواد و روشها: تحقیق به روش CASE-SERIES روی 34 بیمار واجد شرایط انجام گر...