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

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

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

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

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

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

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

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

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

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