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

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

از آنجایی که مفهوم توازی با الهام از مفهوم تعامد بیرخوف-جیمز بیان شده است لذا سعی داریم در ابتدا به تعریف مفهوم تعامد بیرخوف-جیمز دو بردار در فضای نرمدار بپردازیم و سپس این -مدول های هیلبرت تعمیم دهیم. c -جبر و c ،b(h) مفهوم را به ساختارهایی همچون جبر سپس در توسعه مفهوم توازی، مفهوم توازی تقریبی را در فضای نرمدار معرفی می کنیم و چندین را بیان می کنیم. همچنین با استفاده b(h) مشخصه از توازی د...

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

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

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

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

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

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

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