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

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

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

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

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

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

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

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

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

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