Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а т...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2018 |
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/161458 |
| 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: | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862659362038743040 |
|---|---|
| author | Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. |
| author_facet | Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. |
| citation_txt | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения.
Відображено результати випробувань інструментів спрощення формул, а також описано алгоритм побудови канонічних форм лінійних напівалгебраїчних формул (ЛНФ). Основним результатом цієї роботи є визначення канонічної форми ЛНФ з властивістю унікальності та іншими корисними властивостями, а також опис алгоритму її побудови.
The results of tests of formula simplification tools are presented in the first part of the paper. In the second part, the algorithm for constructing canonical forms of linear semi-algebraic formulas is described. The main result of the study is the definition of the canonical form of linear semi-algebraic formula, which has the property of uniqueness and other useful properties. The algorithm of its construction is described.
|
| first_indexed | 2025-12-02T09:27:25Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-161458 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Russian |
| last_indexed | 2025-12-02T09:27:25Z |
| publishDate | 2018 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. 2019-12-09T19:44:40Z 2019-12-09T19:44:40Z 2018 Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/161458 004.421.6 Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения. Відображено результати випробувань інструментів спрощення формул, а також описано алгоритм побудови канонічних форм лінійних напівалгебраїчних формул (ЛНФ). Основним результатом цієї роботи є визначення канонічної форми ЛНФ з властивістю унікальності та іншими корисними властивостями, а також опис алгоритму її побудови. The results of tests of formula simplification tools are presented in the first part of the paper. In the second part, the algorithm for constructing canonical forms of linear semi-algebraic formulas is described. The main result of the study is the definition of the canonical form of linear semi-algebraic formula, which has the property of uniqueness and other useful properties. The algorithm of its construction is described. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Програмно-технічні комплекси Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул Алгоритм та інструменти побудови канонічних форм лінійних напівалгебраїчних формул Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas Article published earlier |
| spellingShingle | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. Програмно-технічні комплекси |
| title | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_alt | Алгоритм та інструменти побудови канонічних форм лінійних напівалгебраїчних формул Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas |
| title_full | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_fullStr | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_full_unstemmed | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_short | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_sort | алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| topic | Програмно-технічні комплекси |
| topic_facet | Програмно-технічні комплекси |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/161458 |
| work_keys_str_mv | AT lʹvovms algoritmiinstrumentypostroeniâkanoničeskihformlineinyhpolualgebraičeskihformul AT pesčanenkovs algoritmiinstrumentypostroeniâkanoničeskihformlineinyhpolualgebraičeskihformul AT letičevskiiaa algoritmiinstrumentypostroeniâkanoničeskihformlineinyhpolualgebraičeskihformul AT tarasičûg algoritmiinstrumentypostroeniâkanoničeskihformlineinyhpolualgebraičeskihformul AT baevas algoritmiinstrumentypostroeniâkanoničeskihformlineinyhpolualgebraičeskihformul AT lʹvovms algoritmtaínstrumentipobudovikanoníčnihformlíníinihnapívalgebraíčnihformul AT pesčanenkovs algoritmtaínstrumentipobudovikanoníčnihformlíníinihnapívalgebraíčnihformul AT letičevskiiaa algoritmtaínstrumentipobudovikanoníčnihformlíníinihnapívalgebraíčnihformul AT tarasičûg algoritmtaínstrumentipobudovikanoníčnihformlíníinihnapívalgebraíčnihformul AT baevas algoritmtaínstrumentipobudovikanoníčnihformlíníinihnapívalgebraíčnihformul AT lʹvovms algorithmandtoolsforconstructingcanonicalformsoflinearsemialgebraicformulas AT pesčanenkovs algorithmandtoolsforconstructingcanonicalformsoflinearsemialgebraicformulas AT letičevskiiaa algorithmandtoolsforconstructingcanonicalformsoflinearsemialgebraicformulas AT tarasičûg algorithmandtoolsforconstructingcanonicalformsoflinearsemialgebraicformulas AT baevas algorithmandtoolsforconstructingcanonicalformsoflinearsemialgebraicformulas |