Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а т...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/161458 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-161458 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1614582019-12-10T01:26:37Z Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. Програмно-технічні комплекси Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения. Відображено результати випробувань інструментів спрощення формул, а також описано алгоритм побудови канонічних форм лінійних напівалгебраїчних формул (ЛНФ). Основним результатом цієї роботи є визначення канонічної форми ЛНФ з властивістю унікальності та іншими корисними властивостями, а також опис алгоритму її побудови. 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. 2018 Article Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/161458 004.421.6 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Програмно-технічні комплекси Програмно-технічні комплекси |
| spellingShingle |
Програмно-технічні комплекси Програмно-технічні комплекси Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул Кибернетика и системный анализ |
| description |
Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения. |
| format |
Article |
| author |
Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. |
| author_facet |
Львов, М.С. Песчаненко, В.С. Летичевский, А.А. Тарасич, Ю.Г. Баев, А.С. |
| author_sort |
Львов, М.С. |
| title |
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_short |
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_full |
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_fullStr |
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_full_unstemmed |
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| title_sort |
алгоритм и инструменты построения канонических форм линейных полуалгебраических формул |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2018 |
| topic_facet |
Програмно-технічні комплекси |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/161458 |
| citation_txt |
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT lʹvovms algoritmiinstrumentypostroeniâkanoničeskihformlinejnyhpolualgebraičeskihformul AT pesčanenkovs algoritmiinstrumentypostroeniâkanoničeskihformlinejnyhpolualgebraičeskihformul AT letičevskijaa algoritmiinstrumentypostroeniâkanoničeskihformlinejnyhpolualgebraičeskihformul AT tarasičûg algoritmiinstrumentypostroeniâkanoničeskihformlinejnyhpolualgebraičeskihformul AT baevas algoritmiinstrumentypostroeniâkanoničeskihformlinejnyhpolualgebraičeskihformul |
| first_indexed |
2023-06-10T11:11:28Z |
| last_indexed |
2023-06-10T11:11:28Z |
| _version_ |
1796154675935838208 |