فرض کنیدr یک حلقه ی جابجایی و نوتری وi یک ایده آل واقعی از آن وm یک r- مدول غیر صفر متناهی مولد باشد. در این پایان نامه ابتدا با شرط اینکه i یک ایده آل m- سره است ، برخی شرایط جدید را فراهم می کنیم تا همه ی توانهای i راتلیف- راش بسته به مدول m باشند سپس آماده می شویم تا به این سئوال پاسخ دهیم که چه موقع n=inآ به بستار راتلیف - راش وابسته به یک مدول توسیع می یابد. درادامه با افزودن این فرض ک...

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

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

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

فرض کنید r حلقه ای موضعی نوتری وm یک r -مدول باشد که روی طیف محذوف r موضعاً آزاد از رتبه یکسان است و i ایده ال سره ای از r باشد. در این صورت نگاشت های موجود در تجزیه ی آزاد کمین m در خاصیت یکنواخت آرتین-ریس صدق می کنند.

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

در این پایان نامه هدف ما توصیف مشتق موضعی پیوسته روی دسته ای از جبرهای باناخ جابجایی است که مربع هر عنصر آن مثبت است و در ویژگی زیر صدق می کند:هر نگاشت دو خطی پیوسته ‎? ازa ×a ‎ به توی یک فضای باناخ دلخواهb ، به طوری که اگرab = 0 ‎ نتیجه دهد ?(a, b) = 0 آنگاه ? در شرط ( ?(ab, c) = ?(a, bc برای هر a, b, c ? a نیزصدق کند.

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