Алгебраический подход к задаче решения систем линейных неравенств
Викладено алгебраїчний підхід до побудови алгоритму розв’язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебраїчних систем конструктивно визначається спеціальна алгебра Aconstr, у якій система лінійних нерівностей представлена як вираз. Розв’язан...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2010 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/45154 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862642575631974400 |
|---|---|
| author | Львов, М.С. |
| author_facet | Львов, М.С. |
| citation_txt | Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Викладено алгебраїчний підхід до побудови алгоритму розв’язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебраїчних систем конструктивно визначається спеціальна алгебра Aconstr, у якій система лінійних нерівностей представлена як вираз. Розв’язання цієї системи полягає в обчисленні значення даного виразу як елемента алгебри Aconstr — канонічної форми системи лінійних нерівностей. Результат застосування цього підходу до задачі, яка розглядається, — алгебраїчні специфікації алгебри Aconstr.
The paper outlines an algebraic approach to designing a solution algorithm for a system of linear inequalities. The approach implies that a special algebra Aconstr , where the system of linear inequalities (SLI) is presented as an expression is constructively defined in terms of multisorted algebraic systems. The SLI is solved by computing the value of this expression as an element of Aconstr algebra (canonical form expressions). The result of applying this approach is algebraic specifications of Aconstr .
|
| first_indexed | 2025-12-01T05:55:25Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45154 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-01T05:55:25Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Львов, М.С. 2013-06-08T06:58:37Z 2013-06-08T06:58:37Z 2010 Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45154 004.421.6 Викладено алгебраїчний підхід до побудови алгоритму розв’язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебраїчних систем конструктивно визначається спеціальна алгебра Aconstr, у якій система лінійних нерівностей представлена як вираз. Розв’язання цієї системи полягає в обчисленні значення даного виразу як елемента алгебри Aconstr — канонічної форми системи лінійних нерівностей. Результат застосування цього підходу до задачі, яка розглядається, — алгебраїчні специфікації алгебри Aconstr. The paper outlines an algebraic approach to designing a solution algorithm for a system of linear inequalities. The approach implies that a special algebra Aconstr , where the system of linear inequalities (SLI) is presented as an expression is constructively defined in terms of multisorted algebraic systems. The SLI is solved by computing the value of this expression as an element of Aconstr algebra (canonical form expressions). The result of applying this approach is algebraic specifications of Aconstr . ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы Алгебраический подход к задаче решения систем линейных неравенств Алгебраїчний підхід до задачі розв’язання систем лінійних нерівностей Algebraic approach to the problem of solving systems of linear inequalities Article published earlier |
| spellingShingle | Алгебраический подход к задаче решения систем линейных неравенств Львов, М.С. Программно-технические комплексы |
| title | Алгебраический подход к задаче решения систем линейных неравенств |
| title_alt | Алгебраїчний підхід до задачі розв’язання систем лінійних нерівностей Algebraic approach to the problem of solving systems of linear inequalities |
| title_full | Алгебраический подход к задаче решения систем линейных неравенств |
| title_fullStr | Алгебраический подход к задаче решения систем линейных неравенств |
| title_full_unstemmed | Алгебраический подход к задаче решения систем линейных неравенств |
| title_short | Алгебраический подход к задаче решения систем линейных неравенств |
| title_sort | алгебраический подход к задаче решения систем линейных неравенств |
| topic | Программно-технические комплексы |
| topic_facet | Программно-технические комплексы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45154 |
| work_keys_str_mv | AT lʹvovms algebraičeskiipodhodkzadačerešeniâsistemlineinyhneravenstv AT lʹvovms algebraíčniipídhíddozadačírozvâzannâsistemlíníinihnerívnostei AT lʹvovms algebraicapproachtotheproblemofsolvingsystemsoflinearinequalities |