Алгебраический подход к задаче решения систем линейных неравенств
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Алгебраический подход к задаче решения систем линейных неравенств
|
|
Creator |
Львов, М.С.
|
|
Subject |
Программно-технические комплексы
|
|
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 . |
|
Date |
2013-06-08T06:58:37Z
2013-06-08T06:58:37Z 2010 |
|
Type |
Article
|
|
Identifier |
Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45154 004.421.6 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|