Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Керен О., Левин И., Станкович Р.
Линеаризация логических функций, заданных множеством ортогональных термов. П. Алгоритмические аспекты

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  С. 155-165 
УДК:  519.87 

Аннотацiя:

Предлагаемый алгоритм строит множество векторов пространства GF (2н). Результатом алгоритма является матрица линейного преодбразования и соответствующие этому множество преобразованных ортогональных термов. Если логическая функция задана произвольным множеством термов, это множество может быть ортогонолизовано с помощью одного из известных алгоритмов, напримео, реализованных в программе ESPRESSO.

Є складовою частиною документа Автоматика и телемеханика [Текст]. № 4 / РАН. — М. : Наука, 2011.

Теми документа

• УДК/5 Математика та природничi науки/51 Математика/519.8 Дослiдження операцiй/519.87 Математичні моделі дослідження операцій