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

یک *c -مدول هیلبرت روی یک *c-جبر a یک مدول چپ m همراه با یک ضرب داخلی روی a است که در مولفه ی اول خطی ودر مولفه دوم مزدوج خطی است به طوری که m با نرم تعریف شده از ضرب داخلی یک فضای باناخ است.مساله حافظ رتبه یک مساله اساسی در مطالعه مسائل حافظ خطی است. *c-مدول های هیلبرت ابتدا توسط کاپلانسکی در سال 1953 به منظور اثبات درونی بودن اشتقاق های روی *aw-جبرها به کار گرفته شد.او ضرب داخلی فضاهای هیلبرت...

در این پایان نامه نتایج آنتروپی انبساطی استوار برای دیفیومورفیسم f روی رفتار دینامیکی نگاشت مشتق df را مورد بررسی قرار می دهیم. نشان می دهیم اگر f یک -cr دیفیومورفیسم روی یک منیفلد فشرده و بدون مرز m از بعد بزرگتر یا مساوی 2 و (p) h رده ی هموکلنیکی متناظر با نقطه ی تناوبی هذلولوی p باشد و –c1 همسایگی u از f موجود باشد به طوری که برای هر g در همسایگی u پیوستار(pg) h از (p)h آنتروپی انبساطی باشد،...

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

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

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

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

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

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