Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
"... ) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-to-agent interactions ..."
 
Том 35, № 1 (2023) Проблемы использования разговорных агентов для поддержки неформальных опекунов людей с деменцией Аннотация  похожие документы
Саманта ХИМЕНЕС, Хесус ФАВЕЛА, Анхелес КЕСАДА, Радж РАМАЧАНДРАН, Рейес ХУАРЕС-РАМИРЕС
"... caregivers take care of their PwD at home using conversational agents. We hope that the findings presented ..."
 
Том 35, № 3 (2023) Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями Аннотация  похожие документы
Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ
"... often does not reflect the behavior of individual agents and their interactions. We suggest analyzing ..."
 
Том 31, № 4 (2019) Симуляция сетей Петри с ингибиторными дугами и дугами сброса Аннотация  похожие документы
Павел Алексеевич Перцухов, Алексей Александрович Мицюк
"... Event logs of software systems are used to analyze their behaviour and inter-component interaction ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... involve several participants (or agents) managing and executing operations on the basis of process models ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... , was characterized by generalization of the interaction semantics, models and conformances in use. The necessity ..."
 
Том 30, № 3 (2018) К построению модульной модели распределенного интеллекта Аннотация  PDF (Rus)  похожие документы
Ю. Л. Словохотов, И. С. Неретин
"... Multi-agent social systems (MASS) in general are systems of autonomous interdependent agents each ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..."
 
Том 22 (2012) Финальные модели спецификации Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... against requirements given in specifications. Such testing is based on interaction semantics defining test ..."
 
Том 26, № 6 (2014) Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга Аннотация  PDF (Rus)  похожие документы
Х. Лопез, С. Мааг, Ж. Моралес
"... the interoperability is growing as well; therefore, trustworthy interactions of the different systems are a priority ..."
 
Том 33, № 2 (2021) Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход Аннотация  PDF (Rus)  похожие документы
Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС
 
Том 20 (2011) О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри Аннотация  PDF (Rus)  похожие документы
Л. В. Дворянский
"... состояний. Обоснован выбор отношения эквивалентности симуляции готовности в качестве отношения реализации ..."
 
Том 34, № 1 (2022) Программная реализация системы обработки метаграфов на основе подхода Больших Данных Аннотация  похожие документы
Валерий Михайлович ЧЕРНЕНЬКИЙ, Иван Владимирович ДУНИН, Юрий Евгеньевич ГАПАНЮК
"... technology. The formal definition of the metagraph data model and the metagraph agent model are given ..."
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
"... relations as object sets (inheritance, inclusion, interaction and history) and object relations (inheritance ..."
 
Том 26, № 5 (2014) Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде Аннотация  PDF (Rus)  похожие документы
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин
"... Services Resource Framework and patterns of interaction with local resource managers of Grid nodes ..."
 
Том 30, № 3 (2018) Верификация контроллеров связи в системах на кристалле Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев
"... . It includes components to work with transaction level interface (system agent of system on chip communication ..."
 
Том 37, № 2 (2025) Характеристики взаимодействия встречных недорасширенных струй из микросопел Аннотация  PDF (Rus)  похожие документы
Михаил Александрович КОРЕПАНОВ, Мария Равилевна КОРОЛЕВА, Екатерина Александровна МИТРЮКОВА
"... This paper presents the results of parametric studies of the interaction features of supersonic ..."
 
Том 28, № 4 (2016) Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Аннотация  PDF (Rus)  похожие документы
В. О. Ермакова, И. А. Ломазова
"... multi-agent systems modeling and analysis. It allows representing multi-agent systems structure ..."
 
Том 36, № 1 (2024) От простого взаимодействия к персонализированному обучению: исследование взаимодействий пользователя с объектом в интеллектуальном окружении Аннотация  похожие документы
Хосе-Гильермо ЭРНАНДЕС-КАЛЬДЕРОН, Эдгар Иван БЕНИТЕС-ГЕРРЕРО, Хосе Рафаэль РОХАНО-КАСЕРЕС, Кармен МЕСУРА-ГОДОЙ
"... by analyzing user-object interaction data to identify On-Task and Off-Task behaviors. This is accomplished ..."
 
Том 18 (2010) Тестирование конформности на основе соответствия состояний Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... , распространяется на случай (слабой) симуляции - конформности, основанной на соответствии состояний реализации и ..."
 
Том 34, № 6 (2022) Влияние относительного продольного расстояния на динамическое поведение двух взаимодействующих судов при встречном волнении Аннотация  похожие документы
Рами АЛИ
 
Том 22 (2012) Анализ типовых ошибок в драйверах операционной системы Linux Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... that completely describe a correct interaction between drivers and the kernel. This is an obstacle both ..."
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
 
Том 35, № 6 (2023) Эффективная реализация быстрого метода мультиполей для взаимодействия частиц с ньютоновским потенциалом Аннотация  PDF (Rus)  похожие документы
Виктор Михайлович АУШЕВ
"... in cases where particle interactions are governed by the Biot—Savart law. The paper presents the necessary ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... entities, and this interaction is challenging because of the multi-disciplinary nature of such systems ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... in the analysis of the results of MD simulation of the gas and metal plate interaction. As a result, we managed ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... components and their composition. Formal model describes the behavior of components and their interaction ..."
 
Том 34, № 6 (2022) Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин Аннотация  похожие документы
Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН
"... to describe and understand the behaviour of biological organisms (biological agents) due to their simplicity ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... this subset. The most general formal model of test interaction and the reduction type of conformance ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... malicious traffic. For this purpose both the complete graph of network interactions and time-based packet ..."
 
Том 34, № 6 (2022) Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис Аннотация  PDF (Rus)  похожие документы
Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ
 
Том 33, № 5 (2021) Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа Аннотация  PDF (Rus)  похожие документы
Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ
"... Cryptographic protocols are used to establish a secure connection between “honest” agents who ..."
 
Том 36, № 3 (2024) Декларативный подход к задаче интроспекции виртуальной машины Аннотация  PDF (Rus)  похожие документы
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА
"... agents, debug symbols, source code compilation or binary analysis. Using only binary analysis makes ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... with one of three levels of abstraction (workflow, interaction and operation), which are commonly used ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... симуляцию сетей Петри, импорт и экспорт моделей в различных форматах хранения. Модульная архитектура ..."
 
Том 34, № 3 (2022) Сплоченность группы для системы коучинга в совместной среде Аннотация  похожие документы
Алессандра РЕЙЕС-ФЛОРЕС, Кармен МЕЗУРА-ГОДОЙ, Эдгар БЕНИТЕС-ГЕРРЕРО, Луис Херардо МОНТАНЕ-ХИМЕНЕС
"... be identified and prevented with the support of Coaching System. This system encourages interactions between ..."
 
Том 28, № 3 (2016) Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Аннотация  похожие документы
Д. И. Самохвалов, Л. В. Дворянский
"... as tokens. The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying ..."
 
Том 36, № 1 (2024) Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов Аннотация  похожие документы
София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС
"... computing software and devices. The interactions represent medical activities that follow rehabilitation ..."
 
Том 33, № 5 (2021) Математические модели и методы расчета процессов, сопровождающих обледенение летательного аппарата Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Андрей Сергеевич ЩЕГЛОВ
"... the interaction of aerosol flows with a solid. This work is devoted to the development of a model of particle ..."
 
1 - 39 из 99 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)