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

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

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

در سال 1999 اندو وژان یک نامساوی زیر جمعی برای توابع مقعر عملگری بدست آوردند. ما این نامساوی را به همه توابع مقعر توسعه می دهیم: ماتریس های نیمه معین مثبت a وb تابع مقعر غیرمنفی f روی (&,0] را در نظر می گیریم. برایس هر نرم متقرن داریم. ||| (f(a)+f(b) ||| > |||f(a+b)|||

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

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

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

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

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

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