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

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

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

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

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

چکیده ندارد.

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

هدف این پایان نامه، تشخیص خطا برای سیستم های گسسته پیشامد توسط شبکه های پتری- عصبی ( (npnsمی باشد. در ابتدا سیستم گسسته پیشامد توسط شبکه پتری مدلسازی می شود. بافرض اینکه مهره گذاری اولیه در دسترس باشد، خطاها توسط گذرهای رویت ناپذیر مدلسازی می شود. در این پایان نامه مهره گذاری g-marking معرفی شده است که در آن محل ها می تواند تعداد مهره منفی داشته باشد و هنگامی که این واقعه رخ می دهد، نمایانگر ای...

تجزیه و تحلیل سیستم های پیچیدة خدماتی با درنظرگرفتن الگوهای تصادفی آن ها به کمک روش های مدل سازی ریاضی بسیار پیچیده یا احتمالاً ناممکن است؛ بنابراین مشاهده می شود راهکارهای بهبود بیشتر متکی بر استفاده از تجربیات خبرگان فن و تحلیل های توصیفی است. در مقالة حاضر، با بهره گیری از رویکرد شبیه سازی کامپیوتری گسسته- پیشامد، نظام دادرسی کیفری در دادگاهی برگزیده در کشورمان تجزیه و تحلیل کمّی شد و در آن با...