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