با پرتاب جفت‌ماهواره GRACE (Gravity Recovery And Climate Experiments) در سال 2002، این امکان به‌وجود آمد که بتوان تغییرات میدان گرانی را به‌صورت ماهیانه را با دقت زیاد و در مقیاس جهانی به‌دست آورد. یکی از کاربردهای این مدل‌های ماهیانه در به‌دست آوردن تغییرات میدان گرانی ناشی از تغییرات جرم سطحی به‌علت پدیده‌های هیدرولوژیکی است. اما داده‌های پتانسیلی جفت‌ماهواره GRACE دارای نوفه‌‌‌ای هستند که با...

با پرتاب جفت ماهواره grace (gravity recovery and climate experiments) در سال 2002، این امکان به وجود آمد که بتوان تغییرات میدان گرانی را به صورت ماهیانه را با دقت زیاد و در مقیاس جهانی به دست آورد. یکی از کاربردهای این مدل های ماهیانه در به دست آوردن تغییرات میدان گرانی ناشی از تغییرات جرم سطحی به علت پدیده های هیدرولوژیکی است. اما داده های پتانسیلی جفت ماهواره grace دارای نوفه ای هستند که با ا...

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

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

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

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

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

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

1، نامساوی سوبولف و???? نامساوی های انتگرال مناسب، قضایای لیوویل را برای معادلات چند- همساز نیم خطی درrnو rn +ثابت کنیم. در واقع ما خاصیت های زیرهمساز- گونه ای را برای جواب های کراندار معادله ی چند- همسازی ثابت می کنیم.

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