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

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

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

تاکنون از روشهای بسیاری برای طبقه‌بندی ‌خودکار ضربان قلب استفاده شده است؛ اما تعداد بسیار اندکی از این روش‌ها در طبقه‌بندی مستقل از بیمار کارایی مناسبی داشته‌اند. در این مقاله، تئوری بازسازی فضای فاز برای طبقه‌بندی پنج نوع ضربان قلب (طبیعی، PVC، LBBB، RBBB و PB) در حالت مستقل از بیمار به کار رفته است. در روش اول و دوم ابتدا فضای فاز به دست آمده، مدلسازی شده و سپس با کمک طبقه‌بند بیزین کلاسیک، ط...

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

در این مقاله یک مدل موجودی در ترکیبی از فضای نادقیقی و عدم قطعیت توسعه یافته است. مدل ارائه شده توسط مدل R,Q بوده و به صورت چند کالایی و چند هدفه و در دو حالت تقاضای پس افت و فروش از دست رفته مدلسازی شده است. اهداف مدل کمینه سازی هزینه ها و سطح خطر و محدودیت های آن شامل: بودجه در دسترس، حداقل سطح عملکرد، فضای انبار و تعداد کمبود مجاز بوده و تقاضا نمایی است. فضای انبار پارامتری احتمالی – فازی با...

در این مقاله یک مدل موجودی در ترکیبی از فضای نادقیقی و عدم قطعیت توسعه یافته است. مدل ارائه شده توسط مدل r,q بوده و به صورت چند کالایی و چند هدفه و در دو حالت تقاضای پس افت و فروش از دست رفته مدلسازی شده است. اهداف مدل کمینه سازی هزینه ها و سطح خطر و محدودیت های آن شامل: بودجه در دسترس، حداقل سطح عملکرد، فضای انبار و تعداد کمبود مجاز بوده و تقاضا نمایی است. فضای انبار پارامتری احتمالی – فازی با...

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

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