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

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

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

این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب the nature of necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزاره ای و وجه شئ ای، ذات گرا‏یی و تحویل به تئوری مجموعه ها، جایگاه ضرورت، تابع هسته ای، جهان ها، کتابها و ویژگی های ذاتی، شاخص بندی اولیه ذات،...

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

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

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

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

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

در این پایان نامه تعاریف گوناگونی از اجتماع,اشتراک دو زیر شئ از یک شئ و متمم یک زیر شئ از یک زیر شئ در یک رسته دلخواه آورده شده است.هم چنین روابط بین اجتماع ها,اشتراک ها و متمم های گوناگون را بدست آورده و وجود هریک از آن ها را در رسته های set , top و rmod بررسی نموده ایم