جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

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

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور کلید واژه ها
>
قابلیت اطمینان
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 2
ملاک‌های اعتبارسنجی منابع حدیث شیعه
نویسنده:
محمدمهدی احسانی‌فر
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
برای سنجش اعتبار احادیث، می‌توان از سه راه استفاده كرد كه عبارت است از منبع‌شناسی، سندشناسی و متن‌شناسی. هر یك از این راهها به اندازۀ خود، می‌تواند مؤمِّن حجّیت روایت باشد. پیش از ارزش‌گذاری احادیث بر اساس منبع، باید خودِ منبع تعیین اعتبار شود. برای تعیین اعتبار منابع نیاز به ملاكهایی است كه از حیث حجّیت، قابل دفاع باشد. این ملاكها در سیرۀ عقلا وجود دارد و محدّثین با استفاده از راهنمایی‌های معصومین: از آن بهره گرفته‌اند. ارزش‌گذاری حدیث با «توجّه به منبع» پركاربردترین روش احراز حجّیت حدیث نزد قدماست. این روش در دوران متأخّرین جای خود را با روش «توجّه به سند» عوض كرد ولی هیچگاه از گردونۀ راههای اعتبارسنجی حدیث حذف نشد. بازسازی این طریق، تعیین جایگاه آن نسبت به دو راه دیگر و تلفیق آن با دو راه دیگر زمینه استفاده از همه راههای موثر را فراهم می‌كند. این روش موجب همپوشانی راهها شده و به افزایش حجم و ارتقای كیفیت آگاهی‌ها نسبت به هر روایت و یا مجموعه‌ای از روایات كمك می‌كند و می‌تواند اطمینانی فزون‌تر نسبت به احادیث شیعه ایجاد ‌كند. در بازسازی روش اعتبارسنجی منابع، ملاكها به سه دستۀ كلّی تقسیم می‌شود كه عبارت است از ملاكهای مربوط به ویژگیهای كلّی كتاب، ملاكهای مربوط به مؤلّف و ملاكهای مربوط به متن كه مجموعاً حدود 150 معیار را شامل می‌شود. برای جمع‌بندی این معیارها راههای مختلفی وجود دارد كه هر یك در جای خود كارآیی دارد و روش «برآیندگیری» پركاربردترین آنهاست.
مشخصات اثر
ارائه یک روش خودکار مبتنی بر آنتولوژی برای آزمون مبتنی بر مدل برنامه‌های تحت وب
نویسنده:
حمیده حاجی‌آبادی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
در دنیای امروز یکی از حیاتی‌ترین زیر ساخت‌های اطلاعات جهانی، سیستمهای مبتنی بر وب می‌باشد، از این رو قابلیت اطمینان در آنها عاملی پر اهمیت می‌باشد. به همین منظور در راستای تایید قابلیت اطمینان نرم‌افزارهای مبتنی بر وب، امروزه محققان در پی روشهایی کارا جهت مدلسازی و تست این نرم‌افزارها بر آمده‌اند. هدف از انجام این پروژه، آزمون مبتنی بر مدل یک برنامه تحت وب در سطح سیستم، بصورت خودکار می‌باشد. در ابتدا با استفاده از استراتژی جعبه سیاه مدل ناوبری سیستم استخراج می‌شود. مدل استخراج شده، نقطه شروع برای انجام آنالیز ایستا می‌باشد. سپس به منظور پر کردن خودکار فرمها و در نتیجه مدلسازی و آنالیز قسمتهای پویای برنامه از چندین آنتولوژی استفاده می‌شود، در ادامه هر یک از عناصر فرمها به ترتیب به یکی از منابع آنتولوژی نگاشت می‌شوند، و با استفاده از محدودیتهای آنتولوژی و بصورت خودکار، داده‌های آزمون ایجاد می‌گردند. مدل پیشنهاد شدهبعنوان ابزار MBTester در پروژه بزرگ WTLAB پیاده‌سازی شد. طرح WTLAB با حمایت مرکز تحقیقات و مخابرات ایران بعنوان یک طرح پژوهشی بنیادی تعریف شده است. مدل پیشنهادی بر روی چندین برنامه تحت وب اجرا شد. با بررسی نتایج بدست آمده، بهبود قابل توجهی در فریند آزمون برنامه‌های مبتنی بر وب قابل مشاهده است.
مشخصات اثر
  • 1
  • تعداد رکورد ها : 2