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

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

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

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

تحلیل قضایا و روش تحقیق در ان موضوع این رساله است و مباحثی که طرح آنها در این رساله تازه به نظر می رسد عبارتنداز : اهمیت و ضرورت تحلیل قضیه به عنوان بنیادی ترین عنصر تفکر آدمی و نیز زیر بنای منطق ارسطویی و سینوی روش تحقیق که سبک تطبیقی – تاریخی آورده شده است . مراحل تحقیق از جمع اوری منابع و مأخذ تا گزارش و طبقه بندی منابع شیوه ارائه تحقیق که عبارت است از تعریف مفاهیم خاص هر فصل ، ارائه گزینش...

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

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

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

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

قضیه باسو یکی از نتایج زیبا در آمار کلاسیک است. به طور مختصر این قضیه بیان می کند که اگر آمارۀ ‎t برای یک خانواده از اندازه های احتمال بسنده باشد و ‎v یک آمارۀ کمکی باشد، ‎t و ‎v‎ مستقل هستند. یکی از کاربردهای جدید قضیه باسو در اثبات تقسیم پذیر نامتناهی بودن آماره های مشخص است. علاوه بر این قضیه، برای به کارگیری این کاربرد یک نسخه از قانون گلدی-استیوتل مورد نیاز است. با استفاده از قضیه باسو یک ...