فرض می کنیم(z(r مجموعه مقسوم علیه صفر در حلقه ی جابجابی r و m فضای ایدآل های اول مینیمال در حلقه ی r با توپولوژی زاریسکی باشد.ایدآل i حلقه ی r را قویاًچگال یا به طور خلاصه sd-ایدآل گوییم، هرگاه i زیرمجموعه ای از (z(r و مشمول در هیچ ایدآل اول مینیمال نباشد. مجموعه ی همه α عضو r را که ( d(α) = m/v(α در m فشرده باشد. نشان می دهیم که r دارای خاصیت (a)و m فشرده است اگر وتنها اگر r هیچ sd-ایدالی نداشت...

به طور کلی در این پایان نامه همه ی حلقه ها تعویض پذیر و یکدار هستند و مدول ها را به صورت مدول چپ یکانی در نظر می گیریم، مگر این که خلاف آن ذکر شود. فرض کنید r یک حلقه و m یک r-مدول باشد. گوییم m، پادهاپفی است هرگاه m ساده نباشد و برای هر زیرمدول سره ی n از m داشته باشیم: m ?m/n. برای مثال گروه پروفر به عنوان z-مدول پادهاپفی است. ابتدا نشان می دهیم که هر مدول پادهاپفی تک زنجیری است. مدول تک زنجی...

در ارتباط با موضوع این پایان نامه که منجر به استخراج دو مقاله گردید بر اساس تعاریف زیر که برای اولین بار ارائه شده اند به شرح ذیل داریم: 1) ایدآل ابتدائی p از حلقه r یک ایدآل g - ابتدائی نامیده می شود هر گاه حلقه خارج قسمتی r بروی رادیکال p یک g - دامنه باشد. بر اساس این تعریف قضیه اساسی زیر قابل بیان می گردد. قضیه: اگر دامنه r یک دامنه خارج قسمتی اصلی موضعی و لاسکرین باشد در آنصورت هر ایدال...

زمینه و هدف: حاکمیت بالینی چارچوبی است که سازمان های ارائه دهنده خدمات سلامت را موظف به پاسخگویی در برابر حفظ و ارتقای کیفیت خدمات بالینی می­نماید. هدف این مطالعه تعیین چالش های موجود در مسیر ارزیابی برنامه حاکمیت بالینی از دیدگاه ارزیابان کشوری این برنامه بود. مواد و روش­ها: این مطالعه از نوع پژوهش کیفی بوده که در سال 1392 با مشارکت ارزیابان کشوری برنامه حاکمیت بالینی انجام گرفته است. داده­ها ...

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

لیناکر (1989) بر این باور است که گوناگونی ارزیاب ها امری اجتناب ناپذیر و بخشی از پروسه ی ارزیابی است. او اعتقاد دارد که ارزیاب ها را نمی توان با استفاده از آموزش به میزان یکسانی از درجه سخت گیری رساند. بنابر این عملکرد آموزش نباید به گونه ای باشد که هدف از آن رساندن ارزیاب ها به تطابق با یکدیگر (پایایی ارزیاب ها) باشد بلکه باید به گونه ای باشد که هدف از آن رساندن ارزیاب ها به تطابق با خودشان (پ...

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

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

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

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