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

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

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

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

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

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

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

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

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

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