?
An invariant-based approach to the verification of asynchronous parameterized networks
Journal of symbolic computation. 2010. Vol. 45. No. 11. P. 1144-1162.
Захаров В. А., Коннов И. В.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также ...
Добавлено: 10 июля 2018 г.
Finn V., Mikheyenkova M., Logic and Logical Philosophy 2011 No. 20 P. 113-139
The plausible reasoning class (called the JSM-reasoning in honour of John Stuart Mill) is described. It implements interaction of three forms of non-deductive procedures _ induction, analogy and abduction. Empirical induction in the JSM-reasoning is the basis for generation of hypotheses on causal relations (determinants of social behaviour). Inference by analogy means that predictions about ...
Добавлено: 9 декабря 2011 г.
Захаров В. А., Волканов Д. Ю., Зорин Д. А. и др., Программирование 2015 № 6 С. 72-86
Проверка правильности функционирования распределенных программ --- это одна из наиболее трудных и актуальных задач современного программирования. В статье описано комбинированное программно-инструментальное средство верификации распределенных вычислительных систем реального времени (РВС РВ). Для описания РВС РВ используется универсальный язык моделирования UML. Семантика диаграмм состояний UML определяется на основе модели вычислений иерархических временных автоматов. Средство верификации диаграмм UML ...
Добавлено: 13 октября 2015 г.
Ратников Ф. Д., Zakharov E., Proceedings of Science Italy 2019 Vol. 340 P. 1-3
Добавлено: 9 октября 2019 г.
Замятина Е.Б., Миков А.И., Информатизация и связь 2012 № 5 С. 130-133
В настоящее время разработано и существует достаточно большее количество систем имитационного моделирования (СИМ). Некоторые из них предназначены для решения конкретных задач и настроены на конкретную предметную область. Круг пользователей таких систем ограничен. Другие системы являются универсальными, однако при решении конкретных задач пользователи сталкиваются с необходимостью дорабатывать их, дописывать код или разрабатывать модели в непривычных для ...
Добавлено: 14 мая 2014 г.
Незнанов А. А., Korablin Y. P., Karpukhin N., Automatic Documentation and Mathematical Linguistics 2012 Vol. 46 No. 3 P. 133-137
Добавлено: 29 января 2013 г.
Pavel Pertsukhov, Мицюк А. А., Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 151-162
Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами ...
Добавлено: 14 октября 2019 г.
В работе рассматриваются принципы построения агентно-ориентированной системы имитационного моделирования. Известно, что агентные модели расширяют возможности применения метода имитационного моделирования при решении ряда задач, которые методами системной динамики или событийно-ориентированного моделирования решены быть не могли. Особое внимание при проектировании агентно-ориентированной системы имитации авторы уделяют проблемам реализации распределенного моделирования, реализации интеллектуальных агентов и использованию онтологий на всех ...
Добавлено: 20 февраля 2015 г.
Cardiff : IEEE Computer Society, 2013
Добавлено: 13 марта 2015 г.
Toporkov V., Топоркова А. С., Tselishchev A. и др., Procedia Computer Science 2014 Vol. 29 P. 831-843
В этой статье рассматриваются проблемы эффективного управления ресурсами и планирования в сети грид. Существуют глобальные потоки заданий от внешних пользователей наряду с локальными задачами владельцев ресурса на неотчуждаемый ресурс. Конкуренция за резервирование ресурсов между независимыми пользователями, локальными и глобальными потоками заданий существенно усложняет планирование и требование обеспечить необходимое качество обслуживания. Модель мета- планирования, обоснованная в ...
Добавлено: 24 февраля 2015 г.
Пермь : Пермский государственный национальный исследовательский университет, 2013
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки ин-формационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 13-09-0143), научно-исследовательского проекта КубГУ и проекта 12/19т. В издании представлены результаты, полученные при ...
Добавлено: 16 декабря 2013 г.
NY : Curran Associates, Inc., 2018
Добавлено: 6 апреля 2019 г.
Михеенкова М. А., Научно-техническая информация. Серия 2: Информационные процессы и системы 2011 № 10 С. 1-17
В работе рассматриваются проблемы интеллектуального анализа социологических данных. Инструментом такого анализа является ДСМ-метод автоматического порождения гипотез, реализующий формализованный качественный анализа социологических данных. Описываются средства анализа когнитивных особенностей социального поведения, уточняется представление о задачах когнитивной социологии. ...
Добавлено: 15 марта 2013 г.
Ратников Ф. Д., Устюжанин А. Е., EPJ Web of Conferences 2019 Vol. 2014 P. 1-8
Добавлено: 9 октября 2019 г.
Mikheyenkova M., Automatic Documentation and Mathematical Linguistics 2011 Vol. 45 No. 5 P. 249-266
Добавлено: 28 сентября 2013 г.
Ермолина М. В., Заходякин Г. В., Логистика и управление цепями поставок 2019 № 6 С. 39-49
В статье рассмотрена ситуация распределения ограниченного количества запаса готовой продукции в собственной двухэшелонной логистической сети предприятия. Данная сеть состоит из центрального распределительного склада и нескольких региональных складов, обслуживающих клиентов компании. Предполагается, что каждый региональный склад ежедневно рассчитывает свою потребность в продукте с учётом прогнозируемого спроса, запаса в наличии, страхового запаса и времени доставки с центрального ...
Добавлено: 19 февраля 2020 г.
Романов О. Ю., Лисенко О. М., Наукоємні технології 2014 Vol. 1 No. 21 P. 49-54
В статье проведен сравнительный анализ различных подходов к моделированию сетей на кристалле (СнК). Определены основные направления поисковых исследований по тематике СнК и показано, что моделирование, анализ и симуляция СнК являются базовыми для проведения других исследований.
Охарактеризованы типичные подходы к моделированию СнК и приведены примеры их применения, отмечены преимущества и недостатки: 1) аналитическое моделирование (очевидный подход, который не ...
Добавлено: 31 октября 2014 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Шестая всероссийская научно-практическая конференция «Имитационное моделирование. Теория и практика» ИММОД-2013 состоялась в Казани (Республика Татарстан) 16-18 октября 2013 года.
Научная программа конференции включала следующие тематические направления:
- теоретические основы и методология имитационного и комплексного моделирования;
- методы оценивания качества моделей полимодельных комплексов;
- методы и системы распределенного моделирования;
- моделирование глобальных процессов;
- средства автоматизации и визуализации имитационного моделирования;
- системная динамика ...
Добавлено: 8 декабря 2013 г.
Замятина Е.Б., Миков А. И., Михеев Р. А., Вестник Пермского университета. Серия: Математика. Механика. Информатика 2013 № 4(23) С. 107-118
Статья посвящена имитационному моделированию распределенных информационных систем. В настоящее время существует большое количество специализированных программных систем, которые предназначены для построения имитационной модели распределенных систем и последующего проведения имитационного эксперимента. В статье рассматриваются программные и языковые средства системы автоматизированного проектирования Triad.Net, особенности построения Triad-модели и вопросы автоматизации изменения Triad-модели в ходе имитационного эксперимента. Среди свойств распределенных ...
Добавлено: 10 марта 2015 г.
Добавлено: 15 июня 2020 г.
Игнатов А. Д., Andrei Gorchakov, Open Computer Science 2020 Vol. 10 No. 1 P. 112-116
Добавлено: 11 июня 2020 г.
Zamyatina E., Karimov D., Mittrakov A., International Journal "Information Models and Analyses" 2015 Vol. 4 No. 2 P. 178-191
Добавлено: 16 марта 2016 г.
Захаров В. А., Чемерицкий Е. В., Моделирование и анализ информационных систем 2014 Т. 21 № 6 С. 57-69
Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного обеспечения для телекоммуникационных сетей нового поколения --- программно конфигурируемых сетей. Частный случай проблемы реконфигурирования сетей --- это задача плавного восстановления заданной сетевой конфигурации, после того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например, по истечении срока их активности). В данной статье проведено исследование ...
Добавлено: 30 сентября 2015 г.
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Добавлено: 6 мая 2017 г.