Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=агентные системы<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Валиев, М. К.
    Системы агентов, управляемых логическими программами: сложность верификации [Текст] / М. К. Валиев, М. И. Дехтярь, А. Я. Диковский // Программирование. - 2009. - N 5. - С. 37-56. - Библиогр.: с. 54-56 (36 назв. )
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
проблемы верификации -- асинхронные системы -- МА-системы -- многоагентные системы -- агентные системы
Аннотация: Рассмотрены проблемы верификации поведения (динамических свойств) систем взаимодействующих интеллектуальных агенств.


Доп.точки доступа:
Дехтярь, М. И.; Диковский, А. Я.

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


    Чебурахин, И. Ф. (доктор технических наук, профессор).
    Синтез дискретных логических устройств обработки информации на основе теории агентов [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2011. - N 3 (120). - С. 27-34. : ил. - Библиогр.: с. 34 (23 назв. )
УДК
^a004.9
^a519.7
ББК 32.973-018.2 + 22.18
Рубрики: Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
   Математика
   Математическая кибернетика
Кл.слова (ненормированные):
информационные агентные системы -- агентные системы -- теория агентов -- дискретные логические устройства -- обработка информации -- многоядерные процессоры -- булевы функции -- декомпозиция -- кодирование
Аннотация: Предлагается программно и аппаратно реализуемая обработка логической информации для автоматизированных информационных управляющих систем. Особенностью подхода является разработка алгоритмов для непрямых методов вычисления произвольной булевой функции в разных базисах, основывающихся на декомпозиции, классификации множества булевых функций и кодирования. Определяются методы минимизации программ по числу исполняемых операций, которые учитываются в основных алгоритмах. Другой особенностью подхода является направленность на возможное распараллеливание вычислений. Алгоритмы соответствующим образом преобразуются, облегчая в дальнейшем программирование для систем с многоядерными процессорами.


Доп.точки доступа:
Цурков, В. И. (доктор физико-математических наук, профессор)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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