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

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

چکیده ندارد.

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

هدف تحقیق حاضر، تشخیص آسیب در قابهای فلزی با استفاده از تبدیل ارتقاءیافته هیلبرت هوانگ است که در آن انواع شاخصها از جمله توابع مودی ذاتی، فرکانس آنی و فرکانس میانگین و فاز و انرژی هیلبرت و نسبت میرایی مورد بررسی قرار گرفته است. آسیب در اعضای قاب به دو صورت کاهش مقاومت و همچنین کاهش سختی(تشکیل مفصل) تعریف شده است. با کاهش مقاومت اعضای قاب شاخص فرکانس میانگین برای نشان دادن این کاهش تعریف شده ا...

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

چکیده ندارد.

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

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

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