Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=булевые функции<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
621.398
З 201

    Закревский, А. Д. (д-р техн. наук).
    Логические уравнения с приложениями в автоматизированном проектировании и управлении [Текст] [Текст] / А. Д. Закревский // Автоматика и телемеханика. - 2004. - N 4. - Библиогр.: с. 183-184 ( 22 назв. ). - Часть текста на англ. яз. . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
большие системы -- уравнения -- логические уравнения -- эксперименты -- компьютерные эксперименты -- переменные -- логические переменные -- БСЛУ -- большие системы логических уравнений -- дерево поиска -- булевые функции -- перебор уравнений -- перебор аргументов -- редукционные методы -- константы -- распространение констант -- метод силлогизмов -- редукция -- локальная редукция -- таблицы
Аннотация: Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.


Найти похожие
2.
621.398
Ф 609

    Финько, О. А. (канд. техн. наук).
    Реализация систем булевых функций большой размерности методами модулярной арифметики [Текст] [Текст] / О. А. Финько // Автоматика и телемеханика. - 2004. - N 6. - Библиогр.: с. 59-60 (27 назв. ) . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
модулярная арифметика -- булевые функции -- системы булевых функций -- параллельные вычисления -- логические вычисления
Аннотация: Вводятся модулярные полиномиальные и спектральные арифметико-логические формы представления булевых функций, которые позволяют получить ряд полезных свойств, связанных с ограничением числового диапазона (решением проблемы больших коэффициентов арифметических полиномов) при реализации параллельных логических вычислений.


Найти похожие
3.
519.714
Г 955

    Гуров, С. И. (???? 1).
    Логические алгоритмы распознания, основанные на разложении Гильберта [Текст] / С. И. Гуров // Журнал вычислительной математики и математической физики. - 2003. - Т.43,N8. - Библиогр.: 5 назв. - Дан реферат . - ISSN 0044-4669
УДК
519.714
ББК 22.16
Рубрики: Математика--Математический анализ
Кл.слова (ненормированные):
булевые функции -- дискретная математика -- теория функций
Аннотация: Предлагается новый класс дискретных распознающих алгоритмов, основанных на принципе голосования и использующих в качестве элементарных классификаторов монотонные функции разложения Э. Гильберта. Получена точная нижняя оценка мощности единичного множества монотонной булевой функции.


Найти похожие
4.


    Шоломов, Л. А.
    О сложности последовательной реализации частичных булевых функций [Текст] / Шоломов Л. А. // Доклады Академии наук. - 2007. - Т. 414, N 6. - С. 745-748. - Библиогр.: с. 748 (4 назв. ) . - ISSN 0869-5652
УДК
^a519.7
ББК 22.18
Рубрики: Математика
   Математическая кибернетика
Кл.слова (ненормированные):
булевые функции -- функция Шеннона -- Шеннона функция -- метод последовательной реализации -- частичные булевые функции
Аннотация: Рассматривается последовательная реализация систем булевых функций схемами из функциональных элементов в произвольном конечном базисе.


Найти похожие
5.
519.7
М 171

    Максимов, Ю. В.
    Простые дизъюктивные нормальные формы булевых функций с ограниченным числом нулей / Ю. В. Максимов // Доклады Академии наук. - 2012. - Т. 445, № 2, июль. - С. 143-145. - Библиогр. : с. 145 (7 назв.) . - ISSN 0869-5652
УДК
519.7
ББК 22.18
Рубрики: Математика
   Математическая кибернетика
Кл.слова (ненормированные):
простые дизъюктивные формы -- дизъюктивные нормальные формы -- булевые функции
Аннотация: Исследована сложность дизъюктивных нормальных форм булевых функций, заданных матрицами своих нулевых точек.


Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)