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

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

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

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

چ باشد: ?? از کارهایی که اخیرأ توسط ریاضیدانان زیادی مورد پژوهش واقع شده است، این مسأله م ???? ی ?? ر خودتوان و ی ?? ضرب ?? از ی ?? با حوزه مقادیر بسته، به صورت عوامل t : a ?? a ر?? چه وقت ضرب شود؟ ?? ر وارونپذیر تجزیه م ?? ضرب به پاسخ های ?? جنبه های مربوط به این مسأله است. پاسخ این مسأله متک ?? برخ ?? هدف این پایان نامه بررس کرده و نتایج جالبی ?? ر نیز این مسأله را بررس ?? اول ?? باشند. ...

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

این پایان نامه دارای چهار فصل بوده فصل اول مطالبی از توپولوژی فصل دوم مطالبی از گروههای پیراتوپولوژیکی فصل سوم اشنایی با گروههای پیراتوپولوژیکی امگا-متعادل و کلا کراندارو در نهایت در فصل چهارم شرایط لازم و کافی در مورد نشاندن گروههای پیراتوپولوژیکی.

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

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

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