Поисковый запрос: (<.>K=логические уравнения<.>) |
Общее количество найденных документов : 5
Показаны документы с 1 по 5 |
1. 
| 621.398
З 201
Закревский, А. Д. (д-р техн. наук).
Логические уравнения с приложениями в автоматизированном проектировании и управлении [Текст] [Текст] / А. Д. Закревский // Автоматика и телемеханика. - 2004. - N 4. - Библиогр.: с. 183-184 ( 22 назв. ). - Часть текста на англ. яз.
. - ISSN 0005-2310ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
большие системы -- уравнения -- логические уравнения -- эксперименты -- компьютерные эксперименты -- переменные -- логические переменные -- БСЛУ -- большие системы логических уравнений -- дерево поиска -- булевые функции -- перебор уравнений -- перебор аргументов -- редукционные методы -- константы -- распространение констант -- метод силлогизмов -- редукция -- локальная редукция -- таблицы
Аннотация: Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.
Найти похожие
|
2.
| 621.398
З 201
Закревский, А. Д. (чл.-кор. НАН Беларуси).
Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы [Текст] [Текст] / А. Д. Закревский // Автоматика и телемеханика. - 2004. - N 6. - Библиогр.: с. 174-176 (37 назв. )
. - ISSN 0005-2310ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
уравнения -- матричные уравнения -- логические уравнения -- полиномы -- алгоритмы синтеза полиномов -- булевы функции
Аннотация: Рассматриваются слабо определенные булевы функции и системы. Предлагается серия практически эффективных алгоритмов их реализации AND/EXOR-схемами, основанных на оптимизации полиномиальных представлений и решений соответствующих матричных логических уравнений.
Найти похожие
|
3.
| 621.398
Р 192
Ракитянская, А. Б.
Диагностика на основе нечетких отношений [Текст] / А. Б. Ракитянская, авт. А. П. Ротштейн // Автоматика и телемеханика. - 2007. - N 12. - С. 113-130. - Библиогр.: с. 129-130 (16 назв. )
. - ISSN 0005-2310ББК 32.96 + 22.161.5
Рубрики: Радиоэлектроника
Автоматика и телемеханика
Математика
Теория функций
Кл.слова (ненормированные):
диагностика -- логические уравнения -- алгоритмы -- генетические алгоритмы -- экспертные системы диагностики -- правило вывода Заде -- функции -- теоремы -- Заде правило вывода
Аннотация: Рассматривается восстановление причин (диагнозов) по наблюдаемым следствиям (симптомам) на основе нечетких отношений и композиционного правила вывода Заде.
Доп.точки доступа:
Ротштейн, А. П.
Найти похожие
|
4.
| 004.8
Б 241
Баранов, Д. В. (аспирант).
Логические уравнения в эквациональных LP-структурах [Текст] / Д. В. Баранов // Информационные технологии. - 2012. - № 8. - С. 35-42. - Библиогр.: с. 42 (11 назв.)
. - ISSN 1684-6400ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
логические уравнения -- СПТ -- системы переписывания термов -- термы -- алгебраические модели -- эквациональные LP-структуры -- компьютерная алгебра
Аннотация: В статье определяется алгебраическая система с семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов.
Найти похожие
|
5.
| 51
Б 795
Болотова, С. Ю. (Воронежский государсвтенный университет).
Алгебраическая модель релевантного обратного вывода на основе решения уравнений / С. Ю. Болотова // Математическое моделирование. - 2012. - Т. 24, № 12. - С. 3-7. - Библиогр.: с. 7 (8 назв. )
. - ISSN 0234-0879ББК 22.19 + 22.19
Рубрики: Математика
Вычислительная математика
Кл.слова (ненормированные):
решетки -- логические уравнения -- обратный вывод -- продукционная система
Аннотация: Представлен метод обратного вывода для баз знаний продукционноо типа, основанный на решении уравнений в алгеьраических структурах. Стратегия релевантного вывода направлена на минимизацию обращений к внешнему источнику (базе данных или интерактивному пользователю). Преимущества алгоритмов подтверждены экспериментально для тестовых баз знаний.
Найти похожие
|
|
|
Электронные ресурсы
Электронный каталог
Стандартный