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

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

هدف از این تحقیق ارتقاء تفکیک پذیری نتایج حاصل از برگردان به روش کمترین مربعات داده های دو بُعدی مگنتوتلوریک با استفاده از یک روش هموار سازی جدید است. این روش که متعادل سازی فعال نامیده می شود تلاش می کند تا با متعادل ساختن قیود در برگردادن به روش کمترین مربعات با توجه به حساسیت یک مسئله خاص به ارتقا توان تفکیک و پایداری نتایج حاصل از برگردان بپردازد. برای این کار از یک برنام? از پیش نوشته شده د...

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

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

در این پایان نامه که بر اساس مرجع [11] تنظیم شده است یک معیار جدید برای عملگر‎k‎ ‎-هیپونرمال ‎‎‎از طریق عملگر زیر‎نرمال ضعیف به دست خواهیم آورد. با استفاده ازمعیار به دست آمده، نوع‎ ‎قوی تری‎ از معیار زیرنرمال اسپیکووسکی‎‎‎ ‎‎را ارائه می دهیم و یک اثبات ساده از نتیجه ی اصلی مرجع [18] که یک فاصله ی بین ‎-‎k‎‎هیپونرمال و ‎‎-‎k‎+1‎هیپونرمال برای عملگرهای توپلیتز ‎‎‎‎را شرح می دهد، به دست می آوریم....

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

در برخی مسائل آماری از جمله آزمون فرضیه‌ها نیاز به وجود اثبات استقلال دو آمارۀ کمکی و آمارۀ بسنده کامل داریم. با استفاده از قضیة باسو بدون این که توزیع توﺃم دو آماره محاسبه شوند، با داشتن شرایط لازم وجود این استقلال ثابت می‌شود. در این مقاله به بیان کاربردهایی از این قضیه در آزمون فرضیه‌های آماری می‌پردازیم. پیدا کردن توزیع نسبت درست‌نمایی تعمیم یافته و پرتوان‌ترین آزمون‌های یکنواخت نااریب، است...

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