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

قضیه باسو یکی از نتایج زیبا در آمار کلاسیک است. به طور مختصر این قضیه بیان می کند که اگر آمارۀ ‎t برای یک خانواده از اندازه های احتمال بسنده باشد و ‎v یک آمارۀ کمکی باشد، ‎t و ‎v‎ مستقل هستند. یکی از کاربردهای جدید قضیه باسو در اثبات تقسیم پذیر نامتناهی بودن آماره های مشخص است. علاوه بر این قضیه، برای به کارگیری این کاربرد یک نسخه از قانون گلدی-استیوتل مورد نیاز است. با استفاده از قضیه باسو یک ...

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

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

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

در این مقاله شرحی تاریخی- توصیفی از شکل گیری و تکامل مفهوم انتگرال از ابتدا تا زمان لبگ ارائه می کنیم. همچنین با تمرکز بر روی برخی جنبه های خاص نظریه های ریمان و لبگ و با ارائه مثالهایی به برخی از کاستی های این دو نظریه انتگرال اشاره خواهیم کرد.

یکی از روش های پیدا کردن تانسورهای پواسون سازگار p1 و p2 برای یک منیفلد دو-هامیلتونی، این است که میدان های برداری مانند x را چنان پیدا می کنیم که تانسور p2 مشتق لی مربوط به تانسور p1 نسبت به این میدان برداری باشد.به عبارت دیگر هر مشتق لی از p1 در راستای میدان x یک تانسور لی-پواسون سازگار برای p1 می باشد. ما در این پایان نامه، دو-بردارهای پواسون سازگار روی جبر لی (so*(4 را در کلاس تانسورهای مرت...

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

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

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