Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а т...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2018
Автори: Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Теми:
Програмно-технічні комплекси
Онлайн доступ:https://nasplib.isofts.kiev.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 nasplib_isofts_kiev_ua-123456789-161458
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
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 2018
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Алгоритм та інструменти побудови канонічних форм лінійних напівалгебраїчних формул
Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
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.
issn 1019-5262
url https://nasplib.isofts.kiev.ua/handle/123456789/161458
citation_txt Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул / М.С. Львов, В.С. Песчаненко, А.А. Летичевский, Ю.Г. Тарасич, А.С. Баев // Кибернетика и системный анализ. — 2018. — Т. 54, № 6. — С. 159-169. — Бібліогр.: 34 назв. — рос.
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
first_indexed 2025-12-02T09:27:25Z
last_indexed 2025-12-02T09:27:25Z
_version_ 1850862138345652224

Схожі ресурси