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

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

در سال های اخیر، بازیابی تأخیر زمانی و تنظیم بلادرنگ جریان ترافیک در خطوط مترو با استفاده از کنترل کننده های اتوماتیک به منظور بهره­برداری بهینه از سامانه های فرکانس بالای مترو،  به طور ویژه موردتوجه قرار گرفته است. این مقاله، به ارائه مدل دینامیکی جدیدی  از سیستم ترافیکی مترو در یک مسیر رفت و برگشتی می­پردازد. مدل ارائه شده، یک نمایش گسسته پیشامد غیرخطی است که بر اساس انحراف از زمان اعزام قطار...

در این تحقیق به منظور حمل و نقل ریلی ترانسفورماتورهای سنگین با مدلسازی کامپیوتری واگن کمرشکن شش محوره به بهینه سازی رفتار دینامیکی سیستم تعلیق در راستای قائم پرداخته شده است. برای این کار ابتدا با نرم افزار adams/rail و روش نیوتن-اویلر، دینامیک واگن کمرشکن شبیه سازی شد. سپس با انتخاب پارامترهای موثر بر رفتار سیستم تعلیق و براساس معیار آسیب پذیری تعریف شده برای حمل ترانسفورماتورها به تعریف تابع ...

هدف از این پژوهش استخراج توابع تقاضا و تخمین ترافیک باری بیست ساله هر یک از شیوه‌های حمل و نقل جاده‌ای و ریلی متصل به شبکه حمل و نقل پس‌کرانه‌ای بنادر کشور با مطالعه موردی بندر امام خمینی (ره) است. برای این کار ابتدا اقدام به شناسایی متغیرهای توضیحی تاثیر‌‌گذار و سپس تخمین ترافیک باری این شیوه‌ها با استفاده از مدل سری‌های زمانی معادلات همزمان دو مرحله‌ای و به‌کارگیری نرم افزار Eviews شده است. ن...

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

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

در این مقاله یک مدل گسسته- پیشامد بهبود یافته، به منظور مدل کردن تغییرات زمان اعزام نسبت به جدول زما نبندی در سیستم های ریلی (در اینجا مترو) ارائه شده است. در مدل پیشنهادی بر خلاف مدل های پیش بین، با درنظر گرفتن تأثیر تعداد مسافران موجود در هر سکو و تعداد مسافران موجود در هر قطار بر زمان بندی حرکت قطارها و نیز درخواست مسافران برای سفر بین ایستگاه ها، نقش مسافران در زمان های اعزام سیستم ترافیک ر...

حمل‌ونقل به‌عنوان یک عامل کلیدی برای جوامع مختلف، در میزان رشد و توسعه نقش بسزایی ایفا می‌کند. توسعه شبکه و ناوگان حمل‌ونقل موجب تغییرات بنیادین در فعالیت‌های اقتصادی می‌شود و باعث جذب جمعیت بیشتر و در پی آن توسعه بیشتر فعالیت‌های اقتصادی در نواحی مختلف خواهد شد. در این راستا راه‌آهن از مهم‌ترین عوامل تحول اقتصاد جهان در هنگام انقلاب صنعتی است. کشور ایران به‌دلیل قرار گرفتن در سر راه شرق به غرب...

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