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

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

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

.در این مقاله ابتدا به تبیین سیر تاریخی پیدایش توپولوژی زاریسکی روی حلقه های چندجمله ای های با ضرایب مختلط می پردازیم. سپس، برای حلقه جابجایی و یکدار مفروض $k$، قصد داریم یکی از ساختارهای موجود روی دوگان رسته $k$-جبرهای متناهی نمایش را که می تواند به روش مشابهی به رسته $L$، یعنی دوگان رسته ی همه ی $C^infty$-حافه های متناهی مولد تعمیم داده شود معرفی می کنیم. آن، سایت زاریسکی است..در این مقاله اب...

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

در این پایان نامه یک ساختار از دو خانواده ی غیرکلاسیک از چندجمله ای های متعامد ارائه شده است. این چندجمله ای ها را در اصطلاح چندجمله ای های چبیشف نیم دامنه نوع اول و دوم می نامند؛ که اولین بار توسط هویبرخس در سال 2010 معرفی شدند. چندجمله ای های کلاسیک چبیشف روی بازه ی $ [-1,1] $ تعریف شده اند, چندجمله ای های چبیشف نیم دامنه روی بازه ی کوچکتری تعریف می شوند, به کمک الگوریتم چبیشف این چندجمله ای ...

چکیده ندارد.

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