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

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

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

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

این نوشتار، ترکیب نظریه مجموعه‌‌های فازی با شبیه‌سازی گسسته ‌ـ پیشامد را مطرح کرده و آن را برای مدل‎سازیِ مدت‌زمان نامطمئنِ فعالیت در شبیه‌سازی یک سیستم واقعی، به‌کار می‌گیرد. هدف این مقاله، ارزیابی سودمندی شبیه‌سازی فازی برای مدل‎سازیِ مدت‌زمان نامطمئن فعالیت است؛ به‌ویژه زمانی‌که داده نمونه‌ای موجود نبوده یا داده‌های موجود کافی نباشند. در این پژوهش، برای توصیف مدت‌زمان‌ نامطمئن فعالیت‌ها از اعدا...

چکیده ندارد.

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

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