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

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

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

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

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

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

هدف مقاله حاضر کاربرد رویکردی برای محاسبه زمان تکمیل مسیرهای شبکه پروژه با فعالیت های معین می باشد که بر اساس آن می توان زمان تکمیل پروژه را برآورد کرد. در روش مسیر بحرانی (cpm) زمان فعالیت ها قطعی در نظر گرفته می شود. با توجه به اینکه پیش بینی پیشامدهای آینده به شکل قطعی امکان پذیر نمی باشد روش بازنگری و ارزیابی پروژه (pert) ابداع شده است که زمان فعالیت ها را احتمالی در نظر می گیرد. در این روش...

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

چکیده ندارد.