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

در این مقاله به طراحی و شبیه سازی یک مدار مجتمع بازیابی ساعت و داده­ی سریع با نرخ داده­ی 5 گیگابیت برثانیه با روش فاز میانی پرداخته شده است. مدارهای بازیابی پالس ساعت و داده از اهمیت ویژه­ای در مخابرات نوری برخوردار هستند و در گیرنده­های پرسرعت نقش کلیدی دارند. مدار پیشنهادی با به کارگیری روش فاز میانی و با استفاده از فناوری سی ماس18/0 میکرومتر در شبیه ساز ADS طراحی و شبیه ‌سازی ‌شده است. نتایج...

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

در این مقاله طراحی ساختاری سیستم های بزرگ با استفاده از روش(d&c;)  divide and conquer به عنوان یک روش علمی برای طراحی بهینه سیستمهای پیچیده با شکستن آنها به چندین زیرسیستم ساده تر مورد مطالعه قرار میگیرد و در سه حالت مختلف معادلاتی ارائه می شوند که ثابت می کنند جواب بهینه یعنی تعداد زیرسیستمها به ازای حداقل پیچیدگی سیستم، به تابع پیچیدگی سیستم ارتباطی ندارد. سپس بصورت مطالعه موردی طراحی ساختاری...

ارزیابی قابلیتها و دیگر اشکال قدرت بالقوه، باید فناوریهای یک دورة تاریخی معین را منعکس کند. برای مثال، اختراع سلاحهای هسته‌ای پس از پایان جنگ جهانی دوم، روش تفکر افراد را درباره توزیع قدرت تغییر داد. به‌نظر می‌رسد از اواخر دهه 1960، استفاده گسترده از شبکه رایانه‌های رقومی پرسرعت و شبکه‌های مخابراتی تأثیر مشابهی بر ارزیابی قدرت داشته است. در این مقاله، تأکید بر این سؤال است که چگ...

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

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

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

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

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