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

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

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

در این پژوهش منابع رطوبت و چگونگی ترابرد رطوبت روی ایران و عوامل موثر بر آنها در فصل های مختلف در یک دوره 30 ساله (1981-2010) بررسی شده است. به این منظور از داده های میانگین ماهانه cfsr با تفکیک افقی 5/0 درجه برای محاسبه و تحلیل کمیت های ارتفاع ژئو پتانسیل، باد، دما، فشار سطح دریا، آب بارش شو، مولفه های چرخشی و واگرای بردار شار رطوبت و توابع جریان و پتانسیل بردار شار رطوبت استفاده شده است.نتایج...

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

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

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

مقدمه: پژوهش حاضر با هدف بررسی عملکرد روش یادگیری ماشین های بردار پشتیبان برای پیش بینی مقاومت دارویی ویروس hiv) یا (human immunodeficiency virus استفاده از تحلیل دنباله ی آمینو اسیدها انجام گرفت. روش ها: در این مطالعه از ماشین های بردار پشتیبان استفاده شد؛ همچنین برای آموزش و آزمایش ماشین های بردار پشتیبان از نرم افزار libsvm) یا  (library for support vector machinesاستفاده گردید. یافته ها: نت...

در این پایان نامه به بررسی گسترش بردار مقداری اصول تغییراتی (اصول مینیمم سازی آَشفته) می پردازیم. در واقع منظور این است که اگر z یک کلاس از توابع حقیقی مقدار روی یک فضای متریک کامل x و تابع f از x به r از پایین کراندار و نیم پیوسته پایینی باشد، آیا عنصری مانند g از z موجود است به طوری که تابع g+f مینیمم خود را اختیار کند ؟ مسئله ی فوق را می توان در حالت کلی به صورت یک تابع f از x به y در نظر گ...

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