|
Автоматика и телемеханика, 2011, выпуск 3, страницы 161–172
(Mi at1496)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Логическое управление
Линеаризация логических функций, заданных множеством ортогональных термов. I. Теоретические аспекты
О. Керенa, И. Левинb, Р. С. Станковичc a Бар Иланский Университет, Израиль
b Тель Авивский Университет, Израиль
c Университет города Ниш, Сербия
Аннотация:
Исследуется линеаризация логических функций, заданных множеством попарно ортогональных термов. Линеаризация осуществляется с помощью вычисления функций автокоррелляции. Предлагается метод, состоящий из следующих этапов: а) вычисление автокоррелляционной функции в пространстве ортогональных термов; б) построение соответствующей матрицы линейного преобразования; в) собственно линейное преобразование переменных в пространстве ортогональных термов. Приводится оценка сложности предложенного метода и его эффективности. Эффективность метода проверена серией экспериментов со стандартными бенчмарками. Исследованы различия между предложенным методом и другими известными методами линеаризации.
Образец цитирования:
О. Керен, И. Левин, Р. С. Станкович, “Линеаризация логических функций, заданных множеством ортогональных термов. I. Теоретические аспекты”, Автомат. и телемех., 2011, № 3, 161–172; Autom. Remote Control, 72:3 (2011), 615–625
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at1496 https://www.mathnet.ru/rus/at/y2011/i3/p161
|
Статистика просмотров: |
Страница аннотации: | 327 | PDF полного текста: | 85 | Список литературы: | 37 | Первая страница: | 7 |
|