К формализации агентно-ориентированных систем
Аналізуються формальні моделі агентів, їх місце в проектуванні агентно-орієнтованих систем, використання на стадії проектування агентної системи, а також ступінь використання формальних моделей агентів в методологіях проектування програмного забезпечення. The paper analyzes formal models of agents,...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2012 |
| Автори: | Гороховский, С.С., Глибовец, А.Н., Попов, О.А. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84112 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | К формализации агентно-ориентированных систем / С.С. Гороховский, А.Н. Глибовец, О.А. Попов // Кибернетика и системный анализ. — 2012. — Т. 48, № 3. — С. 101-110. — Бібліогр.: 18 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2010)
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2010)
Разработка и исследование кооперативных моделе-ориентированных метаэвристик
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2010)
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2010)
О ЛП-ориентированных верхних оценках для взвешенного числа устойчивости графа
за авторством: Стецюк, П.И., та інші
Опубліковано: (2009)
за авторством: Стецюк, П.И., та інші
Опубліковано: (2009)
К классификации систем массового обслуживания с повторением вызовов
за авторством: Коваленко, И.Н., та інші
Опубліковано: (2010)
за авторством: Коваленко, И.Н., та інші
Опубліковано: (2010)
Алгоритмический подход к исследованию моделей многоскоростных систем с очередями
за авторством: Чи Сон Ким, та інші
Опубліковано: (2009)
за авторством: Чи Сон Ким, та інші
Опубліковано: (2009)
Упрощенная инфраструктура для трансформации XML-моделей
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2010)
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2010)
К теории реализации квазилинейных систем, описываемых дифференциальными уравнениями в гильбертовом пространстве
за авторством: Русанов, В.А., та інші
Опубліковано: (2008)
за авторством: Русанов, В.А., та інші
Опубліковано: (2008)
Методы получения достоверных решений систем линейных алгебраических уравнений
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)
Анализ достоверности компьютерных решений систем линейных алгебраических уравнений с приближенно заданными исходными данными
за авторством: Химич, А.Н., та інші
Опубліковано: (2008)
за авторством: Химич, А.Н., та інші
Опубліковано: (2008)
Подход к решению векторных задач дискретной оптимизации на комбинаторном множестве перестановок
за авторством: Семенова, Н.В., та інші
Опубліковано: (2008)
за авторством: Семенова, Н.В., та інші
Опубліковано: (2008)
Гибридные алгоритмы решения линейных систем для конечно-элементного моделирования процессов фильтрации
за авторством: Баранов, А.Ю., та інші
Опубліковано: (2015)
за авторством: Баранов, А.Ю., та інші
Опубліковано: (2015)
Сплайн-функции для исследования и прогнозирования систем
за авторством: Костадинова, С.Р.
Опубліковано: (2011)
за авторством: Костадинова, С.Р.
Опубліковано: (2011)
Идентификация параметров эллиптико-псевдопараболических распределенных систем
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)
Численный системный анализ многокомпонентных распределенных систем
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2013)
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2013)
Практическая устойчивость развивающихся динамических систем
за авторством: Бойко, Т.Н.
Опубліковано: (2010)
за авторством: Бойко, Т.Н.
Опубліковано: (2010)
Об одной задаче идентификации систем с аддитивным дробным броуновским полем
за авторством: Дериева, Е.Н., та інші
Опубліковано: (2016)
за авторством: Дериева, Е.Н., та інші
Опубліковано: (2016)
Принципы построения нечетких мультиагентных систем в распределенной среде
за авторством: Ершов, С.В.
Опубліковано: (2009)
за авторством: Ершов, С.В.
Опубліковано: (2009)
Нечетко-алгоритмический анализ надежности сложных систем
за авторством: Ротштейн, А.П.
Опубліковано: (2011)
за авторством: Ротштейн, А.П.
Опубліковано: (2011)
Надежность технических систем с комбинированным контролем работоспосoбности
за авторством: Микадзе, И.С., та інші
Опубліковано: (2008)
за авторством: Микадзе, И.С., та інші
Опубліковано: (2008)
Подход к параллельному решению основной потоковой задачи большой размерности
за авторством: Погорелый, С.Д., та інші
Опубліковано: (2009)
за авторством: Погорелый, С.Д., та інші
Опубліковано: (2009)
Об одном классе обратных задач для разрывных систем
за авторством: Айда-заде, К.Р., та інші
Опубліковано: (2008)
за авторством: Айда-заде, К.Р., та інші
Опубліковано: (2008)
Комп’ютерне дослідження достовірності розв’язків узагальненої алгебраїчної проблеми власних значень
за авторством: Попов, О.В.
Опубліковано: (2012)
за авторством: Попов, О.В.
Опубліковано: (2012)
Исследование call-центров как систем массового обслуживания с повторными вызовами
за авторством: Пустовая, С.В.
Опубліковано: (2010)
за авторством: Пустовая, С.В.
Опубліковано: (2010)
Управление знаниями при построении моделей обобщенных динамических систем
за авторством: Глазов, В.А., та інші
Опубліковано: (2009)
за авторством: Глазов, В.А., та інші
Опубліковано: (2009)
Решение комплексных обратных задач для гиперболических многокомпонентных распределенных систем
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2008)
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2008)
К аксиоматическому определению обобщенного принципа максимина
за авторством: Пасичниченко, И.А.
Опубліковано: (2016)
за авторством: Пасичниченко, И.А.
Опубліковано: (2016)
Устойчивость генетического кода к точечным мутациям
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2014)
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2014)
Системная стратегия гарантированной безопасности функционирования сложных технических систем
за авторством: Панкратова, Н.Д.
Опубліковано: (2010)
за авторством: Панкратова, Н.Д.
Опубліковано: (2010)
Игровые модели регуляции основных функциональных систем организма и их анализ. II
за авторством: Гальчина, Н.И., та інші
Опубліковано: (2014)
за авторством: Гальчина, Н.И., та інші
Опубліковано: (2014)
Игровые модели регуляции основных функциональных систем организма и их анализ. I
за авторством: Гальчина, Н.И., та інші
Опубліковано: (2014)
за авторством: Гальчина, Н.И., та інші
Опубліковано: (2014)
Математические модели некоторых нелинейных систем и их компьютерная реализация
за авторством: Середенко, В.Н.
Опубліковано: (2008)
за авторством: Середенко, В.Н.
Опубліковано: (2008)
Системный подход к оцениванию взаимного влияния признаков в тестовом распознавании
за авторством: Колесникова, С.И.
Опубліковано: (2009)
за авторством: Колесникова, С.И.
Опубліковано: (2009)
Устойчивость самонастраивающихся стохастических систем автоматического регулирования с последействием. I. Асимптотическая устойчивость в среднем квадратичном систем линейных стохастических дифференциально-разностных уравнений
за авторством: Никитин, А.В., та інші
Опубліковано: (2010)
за авторством: Никитин, А.В., та інші
Опубліковано: (2010)
Численный метод анализа моделей систем массового обслуживания со скачкообразными приоритетами
за авторством: Меликов, А.З., та інші
Опубліковано: (2013)
за авторством: Меликов, А.З., та інші
Опубліковано: (2013)
Рациональная аппроксимация систем с распределенными параметрами
за авторством: Губарев, В.Ф.
Опубліковано: (2008)
за авторством: Губарев, В.Ф.
Опубліковано: (2008)
Асимптотика вектора состояния импульсных диффузионных систем запаздывающего типа с марковскими параметрами
за авторством: Королюк, В.С., та інші
Опубліковано: (2011)
за авторством: Королюк, В.С., та інші
Опубліковано: (2011)
К параметризации лотерейной модели непараметрической ситуации принятия решений
за авторством: Иваненко, В.И., та інші
Опубліковано: (2014)
за авторством: Иваненко, В.И., та інші
Опубліковано: (2014)
О некоторых подходах к оцениванию финансового риска
за авторством: Вовк, Л.Б., та інші
Опубліковано: (2010)
за авторством: Вовк, Л.Б., та інші
Опубліковано: (2010)
Разграничение и слияние уровней эталонной модели взаимодействия для информационно-телекоммуникационных систем
за авторством: Ильченко, М.Е., та інші
Опубліковано: (2011)
за авторством: Ильченко, М.Е., та інші
Опубліковано: (2011)
Прогнозно-базированный подход к определению метрологической надежности средств измерений
за авторством: Сахнюк, И.А.
Опубліковано: (2012)
за авторством: Сахнюк, И.А.
Опубліковано: (2012)
Схожі ресурси
-
Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2010) -
Разработка и исследование кооперативных моделе-ориентированных метаэвристик
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2010) -
О ЛП-ориентированных верхних оценках для взвешенного числа устойчивости графа
за авторством: Стецюк, П.И., та інші
Опубліковано: (2009) -
К классификации систем массового обслуживания с повторением вызовов
за авторством: Коваленко, И.Н., та інші
Опубліковано: (2010) -
Алгоритмический подход к исследованию моделей многоскоростных систем с очередями
за авторством: Чи Сон Ким, та інші
Опубліковано: (2009)