فصلنامه علمی کارافن

فصلنامه علمی کارافن

دستگاه‌های اشتراک جامع و الگوریتم‌های محاسباتی آن‌ها

نوع مقاله : مقاله پژوهشی (نظری)

نویسنده
گروه ریاضی، دانشگاه ملی مهارت، تهران ایران
چکیده
این مقاله اشتراک ایده‌آل‌های چندجمله‌ای را با ضرایب پارامتری با استفاده از دستگاه‌های گربنر معرفی می‌کند. با تکیه بر درک موجود از ایده‌آل‌های چند جمله‌ای با ضرایب عددی، ما یک دستگاه‌ اشتراک و الگوریتم محاسباتی آن را پیشنهاد می‌کنیم که فضای پارامتر را به مجموعه‌ای محدود از سلول‌ها تقسیم می‌کند و به ما امکان می‌دهد اشتراک ایده‌آل‌ها را در هر سلول محاسبه کنیم. این رویکرد درک چندجمله‌ای‌ها را افزایش می‌دهد و محققان و مهندسان را با ابزارهایی مجهز می‌کند تا بینش عمیق‌تری نسبت به مدل‌های ریاضی شامل ضرایب پارامتریک به دست آورند. در نتیجه، از آزمون‌های کامل ضروری برای مقابله با چالش‌های پیچیده در علم و مهندسی پشتیبانی می‌کند. عملکرد الگوریتم پیشنهادی در محیط نرم افزار Maple پیاده سازی شده است که برای محاسبات نمادین مناسب است. این مقاله دو مثال را ارائه می‌کند: اولی اشتراک دو ایده‌آل چند جمله‌ای پارامتری را نشان می‌دهد، و دومی‌به سناریوی پیچیده‌تری شامل سه ایده‌آل می‌پردازد. این مثال‌ها کاربرد عملی و اثربخشی الگوریتم‌های طراحی شده را نشان می‌دهند و اهمیت آنها را در زمینه محاسبات وابسته به چند پارامتر برجسته می‌کنند. در پایان، عملکرد الگوریتم CIS با محاسبه‌ی دستگاه اشتراک جامع چند مثال، نشان داده شده است.
کلیدواژه‌ها
موضوعات

عنوان مقاله English

Comprehensive Intersection Systems and Their Computational Algorithms

نویسنده English

Mahdi Dehghani Darmian
Department of Mathematics, National University of Skills(NUS), Tehran, Iran
چکیده English

This paper introduces the intersection of polynomial ideals with parametric coefficients using Gröbner systems. Building on the existing understanding of polynomial ideals with numeric coefficients, we propose an intersection system and its computational algorithm that divides the parameter space into a finite set of cells, allowing us to calculate the intersection of the ideals within each cell. This approach enhances comprehension of polynomials and equips researchers and engineers with tools to gain deeper insights into mathematical models involving parametric coefficients. Consequently, it supports thorough examinations essential for tackling complex challenges in science and engineering. The functionality of the proposed algorithm has been implemented in the Maple software environment, which is well-suited for symbolic computation. The paper presents two examples: the first illustrates the intersection of two parametric polynomial ideals, and the second addresses a more complex scenario involving three such ideals. These examples showcase the practical application and effectiveness of the algorithms, highlighting their significance in the field. Finally, the CIS algorithm's performance is demonstrated through comprehensive intersection system computations on several examples.

کلیدواژه‌ها English

INTERSECT algorithm
CIS algorithm
Gröbner systems
parametric polynomial ideals
comprehensive intersection system
monomial ordering

مقالات آماده انتشار، پذیرفته شده
انتشار آنلاین از 13 مهر 1404

  • تاریخ دریافت 19 اسفند 1403
  • تاریخ بازنگری 05 خرداد 1404
  • تاریخ پذیرش 12 شهریور 1404