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

‫درباره شخصيت امام علي(ع) همواره ديدگاه‌هاي متفاوتي بيان شده است، و اين رساله با روش توصيفي- تحليلي به بررسي و نقد ديدگاه خاورشناسان درباره شخصيت اميرالمؤمنين علي(ع) پرداخته، و شخصيت سياسي، اجتماعي و علمي آن حضرت را از منظر خاورشناسان بررسي نموده است. منظور از شرق‌شناسان، گروهي از پژوهشگران و محققان غربي هستند که در مورد دين، هنر، آداب و رسوم، و ديگر مسايل مربوط به خاورميانه و شرق اروپا مطالعه و تحقيق مي‌کنند. در حال حاضر بسياري از دانشگاه‌هاي غربي، معمولا در قالب تأسيس يک دپارتمان ويژه، در مورد دين اسلام و تشيع آثار علمي قابل توجهي را ارايه مي‌نمايند. ابعاد مختلف زندگاني و شخصيت فردي امام علي(ع) ، از مسايلي است که توجه خاورشناسان علاقمند به مسايل تاريخ اسلام را همواره به خود جلب نموده است. خدمات اجتماعي علي(ع) ، به‌ويژه رسيدگي به بيت‌المال، کشتي‌سازي، حفر قنات، توجه به بهداشت، ساختن آسياب، راه‌سازي، شهرسازي، توجه به مسايل رفاهي و اقتصادي مسلمانان، رفتار او با خلفاي سه‌گانه و مخالفان حکومت، و برخورد فکري و نظامي امام با آنان از جمله مواردي است که مورد توجه شرق‌شناسان بوده است. امام علي(ع) که تربيت يافته مکتب پيامبر گرامي اسلام(ص) است، اولين ايمان‌آورنده به پيامبر بوده، و به‌همين دليل، فضايل او از اهميت مضاعفي نزد خاورشناسان برخوردار است. بسياري از خاورشناسان نسبت به مسأله جانشيني پيامبر اسلام(ص) تحقيق گسترده‌اي انجام داده، و در اين مورد سه نظريه ارايه کرده‌اند؛ گروهي معتقدند که سقيفه، عاملي انحرافي در جانشيني بوده، و علي(ع) جانشين حقيقي پيامبر است. گروه ديگري صرفاً ديدگاه شيعيان و اهل سنت را ابراز کرده و از خود هيچ نظري ارايه نکرده‌اند. گروه سوم معتقدند که پيامبر هيچ جانشيني انتخاب نکرده است. بعد علمي امام علي(ع) ، جمع‌آوري قرآن توسط ايشان، و همچنين نهج‌البلاغه از ديگر مسايل مورد توجه مستشرقان درباره امام علي(ع) مي‌باشد.

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

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