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

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

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