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

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

چکیده : فرض کنید r وs حلقه هایی یکدار و m یک (r,s) - دو مدول یکانی باشد . در این پایان نامه ابتدا تابع مشتق را روی حلقه ماتریس مثلثی تعمیم یافته t=(?(r&m@0&s)) تعریف کرده ، سپس شرایطی را بیان می کنیم که تحت آن شرایط بتوان بین حلقه چند جمله ای دیفرانسیلی و حلقه ماتریس مثلثی تعمیم یافته یک یکریختی برقرار کرد . به بیان دیگر یک نمایشی مثلثی برای حلقه چند جمله ای دیفرانسیلی ارایه خواهیم داد .

فلیکس کلاین درسال ‎‏‏????‎ در برنامه ارلانگن خود اعلام کرد که هندسه های مختلف را می توان با مطالعه ناورداهای گروه مناسبی از تبدیل ها بدست آورد. کلاین برنامه خود را برای هندسه های مقدماتی بیان کرد‏، ولی در ابتدای قرن بیستم تیتزه به برنامه ارلانگن از دیدگاه هندسه دیفرانسیل آفین اشاره کرد و برای نخستین بار یکی از مهمترین رده از رویه ها در هندسه دیفرانسیل آفین، که آنها راs -‎رویه ها نامید، بررسی ک...

در این پایان نامه توصیف کاملی از فضای تغییر شکل گروه گسسته z^k که به وسیله تبدیل های مستوی پوچتوان بر فضای اقلیدسی r^(k+1) سره ناپیوسته عمل می کند، ارائه میشود. یک وی‍ژگی متمایز در این زمینه این است که حتی یک تغیر شکل کوچک در گروه گسسته می تواند سره ناپیوسته بودن عمل را بر هم زند. برای پی بردن به ساختار موضعی فضای تغییر شکل، مفهوم هایی از دیدگاه نظریه گروه ها معرفی و بر پایداری? و صلب بودن موضع...

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

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

در این پایان نامه با درنظرگیری g-کلاف اصلی p فرم های gaup-ناوردا و فرم های autp-ناوردا را روی کلاف و روی کلاف c(p)مورد مطالعه قرار می دهیم. یکسانی طبیعی نیز بررسی می شود. برای این منظور مفاهیمی از قبیل التصاق در کلاف های اصلی و گروه پیمانه ای و جبر پیمانه ای و کلاف التصاق و کلاف آورده شده است و در انتها نتایج جالبی در کلاف های اصلی با گروه لی (2)su مورد تجزیه و تحلیل قرار گرفته است.

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

تصاویر ویدیویی نیاز به حجم زیادی از حافظه برای ذخیره سازی و پهنای باند بزرگی برای ارسال دارند. روشهای گوناگون و استانداردهای متفاوتی برای این کار ارایه شده است. دو روش عمده موجود عبارتند از روش تطبیق بلوکی و روشهای مبتنی بر شبکه (mesh). هر کدام از این روشها مزایا و معایب خاصّ خود را دارند. مثلاً روشهای تطبیق بلوک قادر به تشخیص چرخش و بزرگنمایی یا کوچکنمایی در تصاویر نیستند، ولی این روشها خطای کمت...