Алгебраический подход к задаче решения систем линейных неравенств
Викладено алгебраїчний підхід до побудови алгоритму розв’язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебраїчних систем конструктивно визначається спеціальна алгебра Aconstr, у якій система лінійних нерівностей представлена як вираз. Розв’язан...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2010 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/45154 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-45154 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Алгебраический подход к задаче решения систем линейных неравенств |
| spellingShingle |
Алгебраический подход к задаче решения систем линейных неравенств Львов, М.С. Программно-технические комплексы |
| title_short |
Алгебраический подход к задаче решения систем линейных неравенств |
| title_full |
Алгебраический подход к задаче решения систем линейных неравенств |
| title_fullStr |
Алгебраический подход к задаче решения систем линейных неравенств |
| title_full_unstemmed |
Алгебраический подход к задаче решения систем линейных неравенств |
| title_sort |
алгебраический подход к задаче решения систем линейных неравенств |
| author |
Львов, М.С. |
| author_facet |
Львов, М.С. |
| topic |
Программно-технические комплексы |
| topic_facet |
Программно-технические комплексы |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Алгебраїчний підхід до задачі розв’язання систем лінійних нерівностей Algebraic approach to the problem of solving systems of linear inequalities |
| 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 .
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/45154 |
| citation_txt |
Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос. |
| 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 |
| first_indexed |
2025-12-01T05:55:25Z |
| last_indexed |
2025-12-01T05:55:25Z |
| _version_ |
1850859415103602688 |