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

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

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

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

هدف این مقاله ارائه اثباتهای دیگری برای چند قضیه مقدماتی در آنالیز حقیقی است. اثبات دیگری از یک قضیه دید تازه تری  نسبت به آن ایجاد می کند که برای  توجیه آن رهیافت نو کافی است. به هر حال اثباتی تازه برای یک قضیه قدیمی  که به لحاظ مفهومی ساده تر باشد، دارای مزایای آشکاری است.

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

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

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

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