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

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

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

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

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

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