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

چکیده در قرآن کریم آیاتی وجود دارد که بر وفق ظهور اولیه‌ی آن‌ها، مسأله‌ رویت خداوند قابل استنباط است، عموم مفسّران اهل سنّت نیز این آیات را به ظاهر تفسیر کرده‌اند و به دلالت آن‌ها بر رویت خداوند در جهان آخرت قائل گشته‌اند. ایشان معتقدند رویت خدادر آخرت بدون جهت و بلاکیف صورت می‌گیرد، مفسّران مورد پژوهش، طبری، فخر رازی، قرطبی، ابن کثیر، شوکانی، آلوسی و ابن عاشور هستند، ایشان برای اثبات مدّعای خود به روایات واقوالی از پیامبر (ص) و صحابه نیز استناد کرده‌اند، مصدر بسیاری از روایات مزبورکتب صحیح اهل سنت است، صاحبان این کتب از نظر کلامی به فرقه اهل حدیث تعلق دارند. در بین مفسّران فخر رازی قائل به رویت پیامبر (ص) در شب معراج است. ابن‌کثیر نیز احادیثی مبنی بر رویت خدا در خواب نقل کرده و بر آن است که پیامبر (ص) در خواب خدا را رویت کرد، آلوسی هم معتقد است که خود، خدا را سه بار در خواب رویت کرده است. رویت خدا با چشم ظاهر می‌تواندکمال مطلق او را به چالش بکشد و منافی خداشناسی اصیل قلمداد گردد. این رو، در این پژوهش روایات مویّد انگاره رویت خدا از نظر سند و متن مورد بررسی قرار گرفته است، در بررسی سندی، مشکلات این احادیث از دیدگاه علمای رجال اهل سنّت بیان شده است، ایشان تعابیری نظیر «ضعیف»، «مدلّس»، «کذّاب»، «متروک‌ الحدیث» و ... را درباره بعضی از راویان این احادیث به‌کار برده‌اند. در متن روایات، گاه اضطراب و تعارض آشکار دیده می‌شود.به علاوه در تفاسیر مزبور، گاه برخی از آیات نظیر"للَّذین أحسنوا الحسنی و الزِّیاده" که بر رویت خدا دلالت ندارند موافق رویت تفسیر شده‌اند.کلید واژه هاحدیث، سند، متن، تفسیر، رویت خدا، انسان واری خدا

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