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

از بین راه های خداشناسی، عارفان، راه انفسی را برتر از راه آفاقی می دانند. خودشناسی امکان رسوخ بی واسطه بشر به تجلی الهی و درک آن را برای او میسر می سازد. به علاوه می توان با آینه قراردادن صفات انسانی برای صفات الهی، شناختی نزدیک تر از اسمای الهی به دست آورد. عارفان مسلمان براساس الهامی که از آیات و احادیث به ویژه حدیث «من عرف نفسه (فقد) عرف ربه» گرفته اند، به تبیین انواع راه های ارتباط بین خودشناسی و خداشناسی پرداخته اند. ابن عربی، عارف برجسته قرن هفتم، حدود ده تقریر را که از تقریر امتناع معرفتی آغاز و به تقریر عینیت معرفتی می انجامد برای این حدیث و ارتباط مزبور بیان نموده که مقاله حاضر عهده دار تبیین مبانی معرفتی بینش وی و نیز شرح و بررسی تقریرهای مزبور می باشد.

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

در این پژوهش کیفی پیامدهای تربیتی هستی شناسی برتراندراسل بر اساس دیدگاه محمد تقی جعفری مورد نقد قرار گرفت . نتایج این پژوهش نشان می دهد که علی رغم تفاوتهای بنیادی در نوع نگاه جهان بینی این دو متفکر ، مواردی از پیامدهای تربیتی برگرفته از دیدگاه راسل بر اساس دیدگاه جعفری مورد تایید می باشد از جمله اصل لزوم تربیت و اصل نافع بودن محتوای تربیت .البته موارد غیرقابل تایید نیز مشاهده گردید همچون اصل لزوم تربیت جنسی برایکودکان .