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