Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Финько, О. А.; Краснодарский военный институт
Полиномиальная арифметика функций многозначной логики [Текст] / О. А. Финько // Известия вузов. Приборостроение. - Т. 47, N 5 (2004), С. 41-46. - Библиогр: 13 назв.
Кл.слова (ненормированные):
Логика -- логические элементы -- цифровая обработка -- преобразования -- арифметика -- данные -- полиномы -- модуль -- булевы функции -- функции алгебры логики -- алгебра логики -- обработка сигналов -- логические преобразования -- полиномиальная арифметика -- многозначная логика -- искусственный интеллект -- арифметические преобразования -- многозначные данные -- дискретные автоматы -- защита информацииы -- многоустойчивые элементы -- арифметические полиномы -- обработка данных
Аннотация: Рассматривается метод вычисления функций многозначной логики посредством арифметических преобразований. Предлагается использовать арифметический полином, вычисляемый по заданному модулю, что позволяет применять более широкую номенклатуру высокопроизводительных процессоров цифровой обработки сигналов для реализации интенсивных логических преобразований.
Финько, О. А.; Краснодарский военный институт
Полиномиальная арифметика функций многозначной логики [Текст] / О. А. Финько // Известия вузов. Приборостроение. - Т. 47, N 5 (2004), С. 41-46. - Библиогр: 13 назв.
| УДК |
Кл.слова (ненормированные):
Логика -- логические элементы -- цифровая обработка -- преобразования -- арифметика -- данные -- полиномы -- модуль -- булевы функции -- функции алгебры логики -- алгебра логики -- обработка сигналов -- логические преобразования -- полиномиальная арифметика -- многозначная логика -- искусственный интеллект -- арифметические преобразования -- многозначные данные -- дискретные автоматы -- защита информацииы -- многоустойчивые элементы -- арифметические полиномы -- обработка данных
Аннотация: Рассматривается метод вычисления функций многозначной логики посредством арифметических преобразований. Предлагается использовать арифметический полином, вычисляемый по заданному модулю, что позволяет применять более широкую номенклатуру высокопроизводительных процессоров цифровой обработки сигналов для реализации интенсивных логических преобразований.
2.
Подробнее
Малюгин, В. Д.
Синтез и верификация логических моделей [Текст] / В. Д. Малюгин. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 187 (8 назв. )
Кл.слова (ненормированные):
арифметические полиномы -- верификация логических моделей -- логические модели
Аннотация: Рассматриваются методы проверки правильности реализации арифметических полиномов и обобщенных логических форм. Предложены методы проверки, при которых сложность проверки пропорциональна сложности исходного полинома.
Малюгин, В. Д.
Синтез и верификация логических моделей [Текст] / В. Д. Малюгин. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 187 (8 назв. )
Кл.слова (ненормированные):
арифметические полиномы -- верификация логических моделей -- логические модели
Аннотация: Рассматриваются методы проверки правильности реализации арифметических полиномов и обобщенных логических форм. Предложены методы проверки, при которых сложность проверки пропорциональна сложности исходного полинома.
Страница 1, Результатов: 2