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

یکی از مباحث مهم فلسفۀ اخلاق رابطۀ بین «باید و هست» است که دیدگاه‌های مختلفی در باب آن ارائه شده است. یکی از این دیدگاه‌ها، دیدگاه مرحوم علامه طباطبایی و شارح بزرگ آن شهید مطهری است که عبارت است از آنکه: باید و نبایدهای اخلاقی، جعل‌ها و اعتباراتی هستند که انسان بر اساس رابطۀ واقعی بین افعال اختیاری خود و نتایج مترتب بین آنها، تنظیم کرده است و «بایدها» مبتنی بر واقعیات هستند؛ هرچند از آن‌ها استن...

سارتر وجود را کاملاً غیرضروری می‌داند و معتقد است که هیچ موجودی از هیچ ضرورتی برخوردار نیست. بنابراین خدا، که در تفکر دینی موجودی ضروری و واجب دانسته می‌شود، نمی‌تواند وجود داشته باشد. او دو استدلال در رد وجود خدا، به‌عنوان واجب الوجود، مطرح می‌کند. در استدلال اول ضرورت علّی وجود خدا و در استدلال دوم ضرورت منطقی وجود او را رد می‌کند. در این مقاله به شرح این دو استدلال و نقد آنها پرداخته می‌شود.

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

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

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

پژوهش حاضر با هدف بررسی اثربخشی مداخلات چند بعدی انگیز شی- شناختی بر ارزش تکلیف، جهت گیری هدف تبحری و خودکار آمدی تحصیلی صورت پذیرفته است. روش این پژوهش شبه آزمایشی بود. جامعه آماری پژوهش شامل دانش آموزان دختر پایه اول متوسطه اول روزانه در شهر سمنان در سال تحصیلی 94-93 بودند. تعداد 34 نفر از دانش آموزان با استفاده از شیوه نمونه گیری در دسترس، از دو مدرسه متفاوت انتخاب و به طور تصادفی در دو گروه...

واقعی گرایی یک آموزه هستی شناسانه است که براساس آن، دامنه اشیاء موجود و دامنه اشیاء واقعی اینهمان است. مطابق با این آموزه، برای حل هر مسئله فلسفی، نیازی به تعهد وجودی به اشیاء غیرواقعی نداریم. رویکرد لینسکی، زالتا و نلسون یکی از رویکردهای موجود به واقعی گرایی است که به واقعی گرایی جدید معروف شده است. آنها، پیش فرض جدیدی در باب اشیاء موجود را مبنای کار خود قرار داده اند که براساس آن، یک شی ء انض...

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

پیدا کردن طولانی ترین زیر دنباله مشترک بین چند رشته، یکی از مسائل مهم بهینه سازی ترکیبیاتی می باشد. اگر مجموعه ای از رشته ها داشته باشیم، این مساله به دنبال رشته ای می گردد که زیردنباله تمامی رشته های این مجموعه بوده و بیشترین طول ممکن را داشته باشد.اگر تعداد رشته ها از دو رشته بیشتر باشد، این مساله، از نوع مسائل np-hard خواهد بود. هدف از این پایان نامه، ارائه الگوریتم جدیدی است که بتواند از ...