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

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

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

در این پایان نامه به بررسی روش های هم محلی چندگامی برای معادلات انتگرالی ولترا با هدف افزایش مرتبه همگرایی روش هم محلی بدون افزایش هزینه محاسباتی خواهیم پرداخت. روش ارائه شده ضمن استفاده از مقادیر تابع در ‎r‎ گام قبلی با اعمال شرایط درونیابی در این نقاط تقریب پیوسته ای برای تابع مجهول ارائه می دهد. نشان می دهیم روش های هم محلی ‎r‎ گامی با ‎m‎ پارامتر از مرتبه همگرایی یکنواخت ‎ m+r ‎‎‏و 2m+r-1‎ ...

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

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

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

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

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

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