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

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

در این رساله‏، تشخیص پذیری برخی از گروه های تقریبا ساده را با دو ابزار مرتبه ی گروه و دنباله درجه رئوس گراف اول گروه‏، بررسی خواهیم کرد. ‏یک بار گروه های تقریبا ساده را مرتبط با گروه ساده ی ‎$ ‎psu‎_{3}((17)‎‎ $‎ و بار دیگر مرتبط با ‎$ psl‎_{3}(25)‎ $‎ در نظر می گیریم. تفاوت هایی که بین کارهای ما و دیگر مقالات کار شده در این زمینه وجود دارد این است که‏، گراف اول گروه های تقریبا ساده ی مورد مطال...

در این پایان نامه خمینه های تقریبا کنموتسو،صادق در دو نوع خاص از شرایط پوچی را مورد بررسی قرار میدهیم که وابسته به دو تابع هموار ? و µ هستند.برای حالتی که 1-=? این شرایط همان شرایط ? پوچی خواهند بود که نشان میدهیم با تعریف ?-انیشتین معادل است. بنابراین فرض میکنیم 1- > ?. علاوه براین ، با ساختن مدل های موضعی به یک توصیف کامل از ساختار این نوع خمینه ها میپردازیم که خمینه های موردنظر بطور موضعی ای...

اگر g گروه فشرده موضعی و ug بزرگترین نیم گروه فشرده سازی باشد، آنگاه برای هر عنصر s از گروه g که sعنصر همانی نباشد در ug داریم:sx برابر x برای هر x عضو ug نخ.اهد بود. این موضوع را ویچ برای هر گروه فشرده موضعی بیان کرد. در این پایان نامه این موضوع را در فشرده سازی wap و فشرده سازی luc از گروه فشرده موضعی gبررسی می کنیم.

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

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

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

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