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

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

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

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

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

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

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

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

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