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

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

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

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

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

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

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

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

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

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