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

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

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

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

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

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

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