در این پایان نامه به توصیف نتایج ‏‎tanaka-yamazaki‎‏ که در سال 2000 میلادی در ‏‎j.symbolic logic‎‏ به چاپ رسیده است می پردازیم که در آن مطالعه ریاضیات وارونه وجود (و یکتایی) اندازه هار برای گروههای فشرده جدایی پذیر (دارای مدول پیوستگی یکنواخت برای دو عمل) پرداخته می شود. نشان داده می شود که وجود‏‎‎‏ اندازه هار برای گروههای فشرده جدائی پذیر روی نظریه زمینه ای ‏‎rca‎‏، معادل با لم ضعیف کونیگ می ب...

نفوذ یکی از مهم­ترین پارامترهای هیدرولیکی مؤثر در آبیاری سطحی و از مشکل­ترین پارامترهای قابل تعیین در مزرعه می­باشد. معادلات نفوذ در تشریح هیدرولیک جریان و طراحی سیستم­های آبیاری سطحی به کار می­روند. اما تعیین پارامترهای این معادلات مستلزم وقت و هزینه زیادی است و به این منظور معمولاً از روش­های تخمین این پارامترها استفاده می­شود. در این مطالعه برای به دست آوردن پارامترهای معادله نفوذ از سه روش و...

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

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

فرض کنید w یک تابع وزن بورل اندازه پذیر روی گروه موضعاً فشرده g باشد. در این پایان نامه نتایج اصلی از جبر گروه وزندار(l^1 (g,w و جبر اندازه وزندار (m_b (g,w شامل همانی تقریبی، منظم آرنز بودن و حاصلضرب های فشرده روی این دو ارائه می دهیم.

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

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

دو روش جدید و موثر را برای حل عددی معادلات دیفرانسیل جزیی بیضوی (epde) ‎ با رفتار نوسانی و غیرنوسانی بر اساس روش هم محلی موجک های هار و لژاندر ارائه می کنیم. این روش ها در دو مرحله مطرح می شوند؛ در مرحله ی اول، موجک های هار را به کار می بریم و در مرحله ی دوم، به منظور بدست آوردن دقت بالاتر، موجک های لژاندر را جایگزین موجک های هار می کنیم‎.‎سپس یک آنالیز مقایسه ای از عملکرد روش هم محلی موجک های ...

برای هر جفت اعداد m, n ? n با m > n نرم روی r3 را، به ازای هر (a, b, c) ? r3 با نرم زیر در نظر می گیریم ?(a, b, c)?m,n = sup{|axm + bxn + c| : x ?[ -1,1]} بعضی خواص هندسی برای این نرم ها پیشنهاد می کنیم و یک فرمول صریح برای نرم فراهم می کنیم و نیز یک شرح کامل از نقاط رأسی،نمایان و مدور گوی های واحد متناظر، همچنین یک پارامتری سازی و نقشه ای از کره هایشان ارائه می دهیم. با استفاده از این، نا...