الگوریتم xl را مورد بررسی قرار میدهیم و همچنین الگوریتم f4 را بررسی میکنیم.سپس این دو را از نظر کارایی با هم مقایسه میکنیم و نتیجه گیری میکنیم.

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

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

همچنین با استفاده از نتیجه های به دست آمده الگوریتم هایی برای امتحان یکتایی رنگ پذیری ارائه داده شد. به عنوان یک کاربرد، مثال نقضی را برای حدس ژو، مربوط به ‎3-‎رنگ پذیری یکتای گراف های بدون مثلث بررسی می کنیم ‎ایده ی اصلی این پایان نامه از مقاله ‎‎c‎. ‎hillar‎, ‎t‎. ‎windfeldt‎, ‎it algebraic characterization of uniquely vertex colorable graphs, ‎j‎. ‎combin‎. ‎theory ser‎. ‎b 98 (2008) 400...

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

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

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

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

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

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