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

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

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

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

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

در این پایان نامه، مفهوم جدیدی از انقباض فازی را از نقطه نظر گریگوری و ساپنا مطرح کرده ایم. همچنین شرایطی برقرار کرده ایم که همگرایی دنباله یh‎-منقبض کننده ی فازی را به یک نقطه ی ثابت یکتا در فضاهای متریک m‎-کامل تضمین می کند. مثال های ذکر شده، صحت نتایج بدست آمده را نشان می دهد.

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

چکیده: امروزه استفاده از الگوریتم­های مبتنی بر هوش جمعی به­ همراه استراتژی آزمون T-ستونی[i] در حوزه تولید خودکار دنباله آزمون کمینه، افزایش یافته است. در این میان الگوریتم­های جستجوی ژنتیک، الگوریتم مورچگان، شبیه­سازی تبرید، ازدحام توده ذرات و الگوریتم جستجوی ممنوعه سهم به ­سزایی را دارند. اکثر این الگوریتم­ها به ­دلیل داشتن ساختار پیچیده و استفاده از محاسبات دشوار قادر به تولید دنباله آزمون بر...

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