چکیده ندارد.

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

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

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

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

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

در این پایان نامه پس از ذکر مقدماتی از آنالیز تابعی ناارشمیدسی به بررسی چند توپولوژی موضعاً محدب روی فضای توابع پیوسته و توابع پیوسته ی کراندار با مقادیر در یک فضای موضعاً محدب ناارشمیدسی می پردازیم. به ویژه برخی خواص توپولوژیک این فضا تحت توپولوژی اکید را بررسی می کنیم.

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

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

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