Skip to main content
SUPERVISOR
Amir Hashemi,Azam Etemad dehkordy
امیر هاشمی (استاد راهنما) اعظم اعتماددهکردی (استاد مشاور)
 
STUDENT
Afsaneh Ebrahimiamroabadi
افسانه ابراهیمی عمروآبادی

FACULTY - DEPARTMENT

دانشکده ریاضی
DEGREE
Master of Science (MSc)
YEAR
1395

TITLE

Application of stable normal form in solving polynomial systems
Over recent decades, solving polynomial system becomes the cornerstone of many computations in robotics, geometric modeling, signal processing, chromatology, structural molecular biology etc. The Grobner bases have been considered as one of the known and important methods in this field. This concept was introduced by Buchberger in his PhD thesis with the help of Grobner, who was his supervisor. After Buchberger, many mathematicians such as Lazard, Moller, and Mora went on to investigate this concept, and finally in ????, Faugere introduced the F? algorithm, which is the fatest method for calculating the Grobner basis. Today many books and essays have been written about Gr?bner basis, its computation and applications. The Grobner basis algorithm is implemented in many computer algebra systems such as Singular, Maple, Mathematica, Magma, and so on.
یکی از مفاهیم جدید و کاربردی در جبر محاسباتی مفهوم پایه‌ی مرزی است. پایه‌های مرزی نوع خاصی از پایه‌های گربنر هستند که از مزایا و ویژگی‌های بیشتری نسبت به پایه‌ی گربنر برخوردارند. مزیت اول این که در محاسبه‌ی پایه‌ی مرزی برخلاف پایه‌ی گربنر به ترتیب تک‌جمله‌ای نیازی نیست. همچنین برای حل دستگاه‌های چندجمله‌ای صفر بعدی، که حتی گاهی دارای ضرایب اعشاری هم هستند، می‌توان از پایه‌ی مرزی استفاده کرد که از نظر عددی از پایداری بیشتری برخوردار هستند. در فصل اول این پایان‌نامه ، پس از معرفی پایه‌ی گربنر ، الگوریتم تقسیم و کاربردهایی از پایه‌ی گربنر را شرح می‌دهیم. در فصل دوم به تعریف پایه‌ی مرزی ، ویژگی‌های آن و الگوریتم‌های تبدیل پایه می‌پردازیم. در پایان به جای مفهوم ایده‌آل مرتب ، مجموعه‌ی متصل به یک را معرفی می‌کنیم و الگوریتمی را برای محاسبه‌ی آن ارایه می‌دهیم. لازم به ذکر است که پایه‌ی نظیر یک مجموعه‌ی متصل به یک ، تعمیمی طبیعی از پایه‌ی مرزی است که با استفاده از آن می‌توان شکل‌های متعارف پایدار را معرفی کرد.

ارتقاء امنیت وب با وف بومی