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

چکیده ندارد.

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

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

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

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

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

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

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