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

روایت «لاتجتمع امتی علی الضلالة» که از طریق جوامع حدیثی اهل سنت نقل و انتشار یافته امروزه به عنوان سند اجماع فقهی در کنار کتاب و سنت و قیاس به کار می رود و از دیرباز سند رسمی مشروعیت عملکرد صحابه، به ویژه خلفای پس از پیامبر (ص) بوده است. دانشمندان اهل سنت در مناقشات کلامی همواره از این روایت برای ابطال احتجاجات دانشمندان شیعی سود برده­اند. این روایت به برخی از جوامع حدیثی متاخر شیعه نیز راه یاف...

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

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

این مقاله یک الگوریتم کنترل توان چند هدفه را ارئه می کند که تنها با استفاده از اطلاعات محلی بروزرسانی توان را انجام می دهد. الگوریتم بوسیلۀ تکنیک های بهینه سازی چند هدفه بسط داده شده است. بطوریکه اهداف بگونه ای تعیین شده است که توان ارسالی در عین حال که درحد مینیمم نگه داشته می شود مقدار sir کاربران نیز در یک حد قابل قبول نیز قرار می گیرد از طرف دیگر سعی شده است تا نوسانات در sir دریافتی نیز تا...

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

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

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

در این مقاله موارد محجورین و مدت حجر آن‌ها و مسئولیت فقهی، حقوقی محجورین از دیدگاه صاحب «جواهر» و آیات و روایات مورد بررسی قرار گرفته و از آنجا که علت منع تصرف توسط محجورین و عدم رشد کافی آن‌ها و همچنین برای رفع حجر و علم به رشد آن‌ها ضروری می­باشد؛ لذا عنوان رشد و در مقابل آن سفه و سفاهت و صغیر مورد بررسی قرار گرفته است اصل قاعده بر مبنای آیاتی از قرآن کریم از قبیل آیه شریفه: ﴿لا تأکلوا اموالک...

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