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

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

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

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

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

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

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