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

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

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

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

ماهیت دولت چیست و بیشترین انعکاس‌های آن بر طبیعت بشر چگونه است؟ اگر انسان‌ها فرشته بودند به هیچ دولتی نیاز نبود. اگر فرشته‌ها انسان را اداره می‌کردند هیچ کنترلی اعم از داخلی و خارجی نیاز نبود. در ساختار یک دولت می‌بایست کدام یک از موارد توسط انسان‌ها نسبت به انسان‌ها اجرا شود؟ مشکل عمده در این نکته قرار دارد: نخست اینکه می‌بایست دولت را قادر سازید تا موارد تحت مدیریت (اداره) خود را کنترل و در م...

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

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

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

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