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

انتشار بسته موج، یکی از شکل های مهم انتقال انرژی در جوّ است. همة امواج شناخته شده جوّی را می توان به صورت بسته موج شناسایی و دنبال کرد. متداول ترین روش برای شناسایی بسته موج ها تعیین پوش آنها است. در این مقاله با استفاده از داده های سامانه پیش بینی جهانی موسوم به gfs برای سه ماه دسامبر 2004 تا فوریه 2005، دو بسته موج در نظر گرفته شده و پوش آنها با هریک از روش های و مدوله سازی مختلط، تبدیل هیلبرت ...

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

انتشار بسته‌موج، یکی از شکل‌های مهم انتقال انرژی در جوّ است. همة امواج شناخته‌شده جوّی را می‌توان به‌صورت بسته‌موج شناسایی و دنبال کرد. متداول‌ترین روش برای شناسایی بسته‌موج‌‌ها تعیین پوش آنها است. در این مقاله با استفاده از داده‌‌های سامانه پیش‌بینی جهانی موسوم به GFS برای سه ماه دسامبر 2004 تا فوریه 2005، دو بسته‌موج در نظر گرفته شده و پوش آنها با هریک از روش‌‌های و‌مدوله‌سازی مختلط، تبدیل هیلب...

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

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

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

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

تبدیل کلاسیک هیلبرت ـ هوآنگ در بخش تحلیل طیفی هیلبرت محدودیت‌هایی دارد که ممکن است بر صحت، دقت و خوانایی نتایج حاصل از ارزیابی سیگنال‌ها تأثیر قابل ملاحظه‌یی بگذارد. در این نوشتار با بررسی این محدودیت‌ها، روش جایگزینی به‌نام «تبدیل ارتقاء‌یافته» پیشنهاد شده است. برای ارزیابی و نشان دادن کارآیی این روش، چهار مثال عددی ارائه شده که توانایی روش پیشنهادی را در تغییرات دقیق فرکانس آنی، ارزیابی صحیح ...