کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

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

جردن هوارد سوبل در مقاله ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی‌شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می‌توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه‌ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

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

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

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

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

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