تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

در سال ‎1962‎، جبرئیل ‎ltrfootnote{gabriel}‎ در مرجع ‎cite{0}‎ ثابت کرد که یک ایزومورفیسم شبکه ی بین مجموعه? همه? زیرکاتگوری های ‎ extbf{‎‎ سر} از کاتگوری‎$r~$-مدول ‎های متناهی مولد و مجموعه? همه? زیرمجموعه هایی از ‎${ m spec}(r)$‎که تحت ویژگی سازی بسته هستند وجود دارد‎.‎ در این پایاننامه هدف ما بدست آوردن معیاری برای ‎ extbf{سر}‎ کاتگوری بودن ‎$(mathcal{s}_{1},mathcal{s}_{2})~$‎ است، که در آن...

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

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

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

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

در این پایان نامه فرض می کنیم r یک حلقه جابجایی، نوتری و i ایده آلی از r و m وn ، -rمدول های غیر صفر باشند. نشان می دهیم که اگر m، -iهم متناهی،n با تولید متناهی و dimn?2 باشد، آنگاه برای هرi?0 ،(n,m) ? ext?_r^iیک -rمدول -iهم متناهی است. بعلاوه نشان میدهیم که اگرdimm?1 ، آنگاه برای هر i?0،-r مدول (n,m) ?ext?_r^i ، -iهم متاهی است. اگرi ایده آلی از r با بعد 1 باشد، یعنی1 dimr/i=، آنگاه برای هر i?0...

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

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