تخفیف مجازات یکی از ابزارهای مؤثر سیاست جنایی در اجرای اصل فردی‌کردن مجازات، اثربخشی بیشتر و دست‌یابی به اهداف اصلاحی و درمانی کیفر محسوب می‌شود. در حقوق کیفری ایران به تبع فقه اسلامی، تخفیف مجازات در حدود و قصاص و دیات راه ندارد و این مجازات‌ها تابع احکام خاص خود هستند. در قلمرو تعزیرات نیز تا پیش از تصویب قانون مجازات اسلامی مصوب 1392 نهاد تخفیف فاقد سامان‌دهی قانونی بود و رویه مشخصی در خصوص ...

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

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

در این تحقیق به بررسی مسائل بهینه سازی با ضرایب فازی در حالت های نامقید و مقید تحت شرایطی از قبیل تحدب و مشتق پذیری برای نگاشت های فازی می پردازیم. شرایط بهینگی لازم و یا کافی برای مسائل مذکور در حالت های نامقید و مقید در مقالات مورد بررسی قرار گرفته اند. به ویژه برای مسائل بهینه سازی مقید با ضرایب فازی شرایط بهینگی kkt بیان و اثبات شده است. ما در این تحقیق به تعمیم مسأله نقطه زینی، شرایط بهینگ...

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

در این پژوهش مدل ریاضی جهت زمانبندی پروژه­هایی با محدودیت منابع در حالت چند مد و با هدف بیشینه سازیNPV  ارائه شده است. مدل ارائه شده برگرفته از مسئله  MRCPSP- GPRمی­باشد. در این پژوهش ابتدا یک مدل ریاضی که قادر به ارائه جواب دقیق باشد جهت حل نمودن مسائل  MRCPSP- GPRارائه خواهد شد، سپس مدل برای محاسبه هزینه اضافه کاری، در نظر گرفتن جریمه دیرکرد، پاداش زودکرد و تاثیر آن برروی NPVپروژه تعمیم می­یا...

نخستین فصل را به معرفی روشهای تکراری قطعی از جمله روش فوق تخفیف متوالی و ارئه قضایای اساسی همگرایی اختصاص می دهیم. روش فوق تخفیف متوالی در سال 1950 توسط فرانکل و یانگ معرفی شد، سپس در سال 1950 و 1954 توسط یانگ تعمیم داده شد. اساسی ترین قضیه ای روش، قضیه ای در مورد همگرایی این روش است که توسط کاهان در سال 1958 ارائه شده است و بازه ای را برای پارامتر w بدست می دهد. در فصل دوم، روش تجزیه lu و روش...

مسائل برنامه ریزی دوسطحی نوع خاصی از مسائل بهینه سازی ریاضی هستند که در آن ها مجموعه ی متغیرها به دو قسمت ‎(x,y)‎ تقسیم می شوند، به طوری که متغیر ‎y‎، جواب بهینه ی یک مسئله ی بهینه سازی پارامتریک بر حسب متغیر ‎x‎ است؛ لذا یک مسئله ی برنامه ریزی دوسطحی، در مفهوم سلسله مراتبی به شمار می رود که برخی از قیود آن، توسط یک مسئله ی بهینه سازی دیگر تعریف می شوند. کاربرد گسترده ی مسائل برنامه ریزی دوسطح...

چکیده ندارد.

‎lr{indent}‎فرض کنیم ‎$(r,ma)$‎ یک حلقه جابه جایی موضعی، ‎$i$‎ ایده آلی از ‎$r$‎ و ‎$m$‎ یک ‎$-r$‎مدول با تولید متناهی باشد که ‎$ i m eq m$‎. فرض کنیم ‎$d(-)=hom_r(-,e)$‎ که در آن ‎$e$‎ پوشش انژکتیو ‎$r‎/ ‎ma$‎ است. ‎indent‎ در این پایان نامه ابتدا ثابت می کنیم که اگر ‎$grade(mathfrak{a},m) geq n$‎ و برای هر ‎$i >n$‎، ‎$-i$‎امین مدول کوهمولوژی موضعی ‎$h_{i}^i (m) $‎ صفر باشد، آن گاه ‎$h_{...