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

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

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

این پایان نامه، یک کنترلر بهینه ی ردیاب متغیر با زمان را برای یک statcom متصل به باس بار شبکه پیشنهاد می دهد. کنترلرهای بهینه شامل یک (زاویه ی کنترلی ?) و یا دو ورودی کنترلی (زاویه ی کنترلی ? و شاخص مدولاسیون دامنه a_m) می باشند. طراحی کنترلرهای بهینه بر مبنای مدل های فضای حالت میانگینی صورت می گیرد که بر اساس ولتاژها و یا جریان های بار به عنوان ورودی های اغتشاشی مدل در کنار ورودی های کنترلی، گ...

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

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

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

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

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

مدل مشروح r-l-c-m ترانسفورماتوهای قدرت نه تنها به طور گسترده ای برای مطالعه حالت-های گذرای ترانسفورماتورها برای تشخیص توزیع ولتاژ در سیم پیچ ها به کار می رود، بلکه در مطالعات حالت گذرای سیستم های قدرت نیز بسیار مفید می باشد. مدل هایی با تعداد عناصر کمتر معمولا برای مطالعات سیستم قدرت کاربردی تر هستند؛ اما منجر به کاهش دقت مدل می شوند. استفاده از روش-های نوین بهینه سازی برای کاهش مرتبه مدل مشروح...