هدف در این رساله معرفی موجک های پذیرفتنی روی فضاهای همگن می باشد که برای این منظور نمایش انتگرال پذیر مربعی از فضای همگن ‎$g/h$‎ به فضای هیلبرت ‎$mathcal{h}$‎ را تعریف می کنیم و سپس موجک پذیرفتنی روی این نمایش از فضای همگن ‎$g/h$‎ نسبت به اندازه به طورنسبی پایا معرفی می گردد. تبدیلات موجک پیوسته برای نمایش انتگرال پذیر مربعی از فضای همگن تعریف می شود و نشان داده می شود برد آن به عنوان یک هسته ب...

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

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

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

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

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

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

ابزارهای پردازش داده لرزه‌ای ویژگی‌های متنوعی دارند و چشم‌پوشی از این ویژگی‌ها اثرگذاری ابزارهای پردازش سیگنال را کاهش می‌دهد. در این تحقیق نقش تفکیک‌پذیری در تبدیل موجک و نسبت فرکانس مرکزی به پهنای باند موجک (WQ-factor) موجک مادر بر عملکرد تضعیف نوفه اتفاقی بررسی خواهد شد. در این تحقیق از نسخه دوشاخه تحلیلی تبدیل موجک اتساع گویا (DT-RADWT) به‌منظور بررسی نقش نسبت فرکانس مرکزی به پهنای باند موج...

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