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

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

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

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

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

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

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

از ویژگی های صلاحیت ذاتی آمره بودن آن می باشد. در واقع قواعد مربوط به صلاحیت ذاتی جهت بوجود آوردن هماهنگی و نظم عمومی در بین سیستم های حل و فصل دعاوی می باشد هرچند در قانون آیین دادرسی مدنی مصوب 1379 هیچ تعریفی از این صلاحیت (صلاحیت ذاتی) بیان نشده است و هر کجا که صحبت از صلاحیت شده بیانی از صلاحیت ذاتی وجود ندارد و تنها در بند 1 ماده 371 ق.آ.د.م که اینگونه آمده: « دادگاه صادر کننده رأی صلاحیت ...

وضع زناشویی یکی از جنبه‌های اساسی ساختِ جمعیت است که تحول شاخص‌های مربوط به آن می‌تواند بر بسیاری از مؤلفه‌های جمعیتی، ازجمله خانواده و کارکردهای آن، اثرگذار باشد. در این‌مطالعه، با تحلیل ثانویة داده‌های سرشماری عمومی نفوس و مسکن کشور، چگونگی تغییرات وضعیت تجرد مردان و زنان طی سال‌های 1345 تا 1390 به صورت مقطعی و نسلی بررسی و درباب زمینه‌های مرتبط با این‌تغییرات بحث شده‌است. نتایج بررسی مقطعی نش...

بیشتر روش‌های بهسازی گفتار، تخمینگری کاملاً متکی به مدل تصادفی گفتار ارائه می‌دهند. در این مقاله، یک تخمینگر کمترین میانگین مربعات خطا تحت یک مدل قطعی - تصادفی پیشنهاد می‌شود که در آن از یک توزیع دنباله - سنگین به نام(tls)  t location-scale برای مدل‌کردن ضرایب تبدیل فوریه گسسته گفتار تمیز و از مدل نمایی و سینوسی به‌عنوان مدل قطعی استفاده شده است. در مدل نمایی به‌کاررفته، تخمین ...