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

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

در این پایان نامه وجود نقاط ثابت را در فضاهای متریک ژئودزیک به طور یکنواخت محدب (با توجه ویژه به فضاهای r-tree و cat(0 )) ، فضاهای ابرمحدب و فضاهای باناخ برای نگاشت های تک مقداری و چند مقداری واجد شرایطی که تعمیم مفهوم غیرانبساطی هستند، مطالعه می کنیم.همچنین قضیه های نقطه ثابت را برای ارائه نتایج نقطه ثابت مشترک برای نگاشت های جابجایی و به طور ضعیف جابجایی به کار می بریم.

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

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

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

فرض می کنیم s یک نیم گروه و c زیرمجموعه محدب ، بسته و به طور ضعیف فشرده از فضای باناخ e باشد و : t ? s }} = ? یک نیم گروه غیرانبساطی روی c باشد که f = f (?) ? ? اگر ها شبه غیر ا نبساطی باشند یا e قویا محدب باشد آنگاه یک درون بری غیر انبساطی p از c به f وجود دارد به طوری که برای هر t ? s داریم = p p = p و هر زیرمجموعه محدب بسته ? - پایا از c همچنین p - پایا است . با تغییر شرایط ، وجود درون بری...

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

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

راستی‌آزمایی پویا، که به راستی‌آزمایی رفتار حین اجرای نرم‌افزار در برابر نیازهای اولیه‌ی آن می‌پردازد، با چالش‌های ساخت راستی‌آزمای رفتار اجرایی نرم‌افزار و نگاشت بین این رفتار و رخدادهای محیطی مواجه است. ما در این نوشتار رویکردی بنام توصیف مبتنی بر رخداد (E‌B‌V) را ارائه می‌دهیم که طی چهار مرحله راه‌حلی خودکار برای این چالش‌ها ارائه می‌کند. در مرحله‌ی اول، مستندسازی نیازها، مشتمل بر تعامل محیط...