نتایج جستجو برای: نشانگر سوبل

تعداد نتایج: 10108  

ژورنال: ژئوفیزیک ایران 1395
امین روشندل کاهو, علیرضا احمدی‌فرد علیرضا حیدریان فاطمه اعظم‌پور

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی شاهرود - دانشکده معدن و ژئوفیزیک 1393

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

ژورنال: :منطق پژوهی 0
مهدی رعنائی کارشناس ارشد فلسفة دین، دانشگاه علامه طباطبایی

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی خواجه نصیرالدین طوسی - دانشکده برق و کامپیوتر 1390

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

ژورنال: :منطق پژوهی 0
مهدی رعنائی کارشناس ارشد فلسفة دین علامه طباطبایی

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

ژورنال: منطق پژوهی 2012
مهدی رعنائی

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

ژورنال: منطق پژوهی 2012

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی شاهرود - دانشکده معدن و ژئوفیزیک 1392

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی شاهرود 1390

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

ژورنال: :مهندسی مکانیک مدرس 0
بهزاد مهرافروز آزمایشگاه تعامل انسان و ربات، دانشکده علوم و فنون نوین، دانشگاه تهران، تهران محسن محمدی آزمایشگاه تعامل انسان و ربات، دانشکده علوم و فنون نوین، دانشگاه تهران، تهران مهدی طالع ماسوله استادیار مهندسی مکاترونیک دانشکده علوم و فنون نوین دانشگاه تهران-آزمایشگاه تعامل انسان و ربات

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید