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

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

در این پایان نامه می خواهیم تاثیر تابع وزن و ضریب وزنی را در تعداد جوابهای مثبت معادلات بیضوی نیم خطی که شامل بخش های غیر خطی محدب و مقعر در r^n می باشند، مورد بررسی قرار دهیم. این پایان نامه شامل پنج فصل می باشد. درفصل اول برخی ازقضایا و مفاهیم و تعاریف مورد نیاز را ارائه می کنیم. فصل دوم شامل چهار بخش می باشد. در این فصل تاثیر ضریب (ƒ(z که یک تابع بحرانی غیر خطی می باشد را در تعداد جوابهای مث...

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

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

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

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

در این پایان نامه دستگاه های خطی نامعین بلوکی 2*2 را بررسی می کنیم. چنین دستگاه های در بسیاری از کاربردها رخ می دهند.دو روش را بررسی می کنیم که اساس کار آنها اصلاح بلوک (1و1) به گونه ای است که دستگاه سادهتر حل شود. بخش اصلی کار بر روی لاگرانژ افزوده متمرکز است. روشی که بلوک (1و1) را بدون تغییر اندازه اصلاح کند. موضوع انتخاب پارامتر مناسب و عدد شرط دستگاه مورد بحث قرار خواهند گرفت. یک روش تهی ...

مدل سازی ترکیبی یکی از پرکاربردترین روش ها برای شبیه سازی مخازن نفتی و فرایندهای ازدیاد برداشت است. در شبیه سازهای ترکیبی برای محاسبه ی ترکیب اجزاء در فازهای مختلف معمولاً از معادله ی حالت استفاده می شود که البته باعث صرف زمان محاسباتی زیادی می شود. در این نوشتار برای کاهش تعداد معادلات حالت مورد نیاز، فضای ترکیب به کمک پارامترهای خطوط رابط بیان می شود و خواص ترمودینامیکی سیستم به کمک این پارامت...