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

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

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

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

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

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

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

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

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

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