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

در این پایان نامه به بررسی قضیه های نقاط ثابت مشترک برای نگاشت های (f,g) –نامنبسط تعمیم یافته ناجابجایی، نگاشت های سازگار و نیز رده جدیدی از خودنگاشت ها به نام خودنگاشت های cq –جابجایی پرداخته و نتایج تقریب پایا را به عنوان کاربردی از این قضیه ها بیان می کنیم. سپس رده جدیدی از نگاشت های ناجابجایی به نام زوج های عملگری باناخ را تعریف کرده و برخی قضیه های نقطه ثابت مشترک را برای این نگاشت ها بدون...

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

مفهوم ابردوری در واقع مطالعه عملگرهای خطی و پیوسته ای است که دارای یک مدار چگال در فضای زمینهx هستند. در این پایان نامه بیان خواهیم کرد که چگونه از تلفیق مفاهیم ابردوری موضعی و ابردوری، برای مساله باز" فرض کنیمt یک عملگر معکوس پذیر و همچنین یک عملگر ابردوری است. در این صورت آیا t نیز یک عملگر ابردوری زیرفضایی است؟ و در صورت پاسخ مثبت، عملگر tنسبت به کدام زیرفضا از فضای ،ابردوری زیرفضایی است؟" د...

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

در این پژوهش می‌کوشیم سازوکارهای تصریح ترجمه‌ای را  با عطف توجه به بنیادهای شناختی آن و در چهارچوب عملیات‌های تعبیرگری شناختی شناسایی و صورت‌بندی کنیم. در همین راستا با فهم تصریح به مثابۀ نوعی تصمیم کاربردشناختی و با پذیرش نقش برسازندۀ تعبیرگری در معنی (لانگاکر 2008) تصریح دگرگشتی تلقی شده است که  بر حسب آن، شیوۀ کاربست یک عملیات تعبیرگریِ شناختی در متن مبدأ، به شیوه‌ای دیگر در متن مقصد دگرگون ش...

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

در این پایاننامه، مفهوم نگاشتهایg ?ی نوا را معرف کرده و بعض از قضایای نقطه ثابت براینگاشتهایg ?صعودی چند مقداری و تک مقداری را در فضاهای متری مرتب جزئ ثابت می کنیم. نهایتاً، قضایا و نتایج ارائه شده توسط کودهاری و متیو را تعمیم می دهیم

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