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

Базы данных


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

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

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