?
Proceedings of the 32nd European Conference on Modelling and Simulation (ECMS 2018),Wilhelmshaven, Germany 22 – 25 May 2018
Нью-Йорк :
Curran Associates, Inc., 2018.
Под общей редакцией: L. Nolle, A. Burger, C. Tholen, J. Werner, J. Wellhausen
Ингачева А. С., Kokhan V., Осипов Д. С., , in : Proceedings of the 32nd European Conference on Modelling and Simulation (ECMS 2018),Wilhelmshaven, Germany 22 – 25 May 2018. : NY : Curran Associates, Inc., 2018. P. 183-189.
Добавлено: 6 апреля 2019 г.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Cardiff : IEEE Computer Society, 2013
Добавлено: 13 марта 2015 г.
Ратников Ф. Д., Устюжанин А. Е., EPJ Web of Conferences 2019 Vol. 2014 P. 1-8
Добавлено: 9 октября 2019 г.
Захаров В. А., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
Добавлено: 12 октября 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 г.
Ратников Ф. Д., Zakharov E., Proceedings of Science Italy 2019 Vol. 340 P. 1-3
Добавлено: 9 октября 2019 г.
Татарников А. Д., Известия высших учебных заведений. Физика 2016 Т. 59 № 8-2 С. 97-100
В работе предлагается метод автоматизированного построения поведенческих моделей микропроцессоров, используемых при генерации тестовых программ для предсказания результатов их выполнения. Предложенный метод основан на использовании формальных спецификаций системы команд. Данный метод реализован в инструменте MicroTESK, разработанном в ИСП РАН. Инструмент успешно применяется для верификации промышленных микропроцессоров. ...
Добавлено: 2 февраля 2018 г.
Ермолина М. В., Заходякин Г. В., Логистика и управление цепями поставок 2019 № 6 С. 39-49
В статье рассмотрена ситуация распределения ограниченного количества запаса готовой продукции в собственной двухэшелонной логистической сети предприятия. Данная сеть состоит из центрального распределительного склада и нескольких региональных складов, обслуживающих клиентов компании. Предполагается, что каждый региональный склад ежедневно рассчитывает свою потребность в продукте с учётом прогнозируемого спроса, запаса в наличии, страхового запаса и времени доставки с центрального ...
Добавлено: 19 февраля 2020 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Шестая всероссийская научно-практическая конференция «Имитационное моделирование. Теория и практика» ИММОД-2013 состоялась в Казани (Республика Татарстан) 16-18 октября 2013 года.
Научная программа конференции включала следующие тематические направления:
- теоретические основы и методология имитационного и комплексного моделирования;
- методы оценивания качества моделей полимодельных комплексов;
- методы и системы распределенного моделирования;
- моделирование глобальных процессов;
- средства автоматизации и визуализации имитационного моделирования;
- системная динамика ...
Добавлено: 8 декабря 2013 г.
Замятина Е.Б., Миков А. И., Михеев Р. А., Вестник Пермского университета. Серия: Математика. Механика. Информатика 2013 № 4(23) С. 107-118
Статья посвящена имитационному моделированию распределенных информационных систем. В настоящее время существует большое количество специализированных программных систем, которые предназначены для построения имитационной модели распределенных систем и последующего проведения имитационного эксперимента. В статье рассматриваются программные и языковые средства системы автоматизированного проектирования Triad.Net, особенности построения Triad-модели и вопросы автоматизации изменения Triad-модели в ходе имитационного эксперимента. Среди свойств распределенных ...
Добавлено: 10 марта 2015 г.
Toporkov V., Топоркова А. С., Tselishchev A. и др., Procedia Computer Science 2014 Vol. 29 P. 831-843
В этой статье рассматриваются проблемы эффективного управления ресурсами и планирования в сети грид. Существуют глобальные потоки заданий от внешних пользователей наряду с локальными задачами владельцев ресурса на неотчуждаемый ресурс. Конкуренция за резервирование ресурсов между независимыми пользователями, локальными и глобальными потоками заданий существенно усложняет планирование и требование обеспечить необходимое качество обслуживания. Модель мета- планирования, обоснованная в ...
Добавлено: 24 февраля 2015 г.
Замятина Е.Б., Миков А.И., Информатизация и связь 2012 № 5 С. 130-133
В настоящее время разработано и существует достаточно большее количество систем имитационного моделирования (СИМ). Некоторые из них предназначены для решения конкретных задач и настроены на конкретную предметную область. Круг пользователей таких систем ограничен. Другие системы являются универсальными, однако при решении конкретных задач пользователи сталкиваются с необходимостью дорабатывать их, дописывать код или разрабатывать модели в непривычных для ...
Добавлено: 14 мая 2014 г.
Добавлено: 30 сентября 2019 г.
CEUR Workshop Proceedings, 2016
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Добавлено: 27 июня 2016 г.
Yerevan : IEEE, 2016
Основная цель East-West Design & Test Symposium (EWDTS) является обмен опытом между учеными и технологиями Восточной и Западной Европы, а также Северной Америки и других частей мира, в области проектирования, дизайна автоматизация и проверки электронных систем. Симпозиум направлен на привлечение ученых, особенно из стран Причерноморского региона, стран Балтии и Центральной Азии. EWDTS'16 охватывает (но не ограничивается) следующие ...
Добавлено: 29 октября 2016 г.
В работе рассматриваются принципы построения агентно-ориентированной системы имитационного моделирования. Известно, что агентные модели расширяют возможности применения метода имитационного моделирования при решении ряда задач, которые методами системной динамики или событийно-ориентированного моделирования решены быть не могли. Особое внимание при проектировании агентно-ориентированной системы имитации авторы уделяют проблемам реализации распределенного моделирования, реализации интеллектуальных агентов и использованию онтологий на всех ...
Добавлено: 20 февраля 2015 г.
Описываются средства DSM-платформы MetaLanguage для создания предметно-ориентированных языков и многоуровневого моделирования. Возможность определения трансформаций обеспечивает снижение трудоёмкости разработки новых языков и преобразования моделей. ...
Добавлено: 17 ноября 2013 г.
Внуков А. А., Шабном М., Вестник Российского университета дружбы народов. Серия: Инженерные исследования 2014 № 3 С. 38-46
В статье рассматриваются математические модели задач кинематики прямой, обратной, позиционирования захвата робота. Программные реализации этих задач позволили провести исследования сходимости и точности решений обратной задачи в зависимости от начальных значений, диапазона значений углов на каждой итерации и получить графики зависимостей точности от итераций и уменьшения углов. Для уточнения решения обратной задачи кинематики применяется результат решения ...
Добавлено: 26 июля 2014 г.
Романов О. Ю., Лисенко О. М., Наукоємні технології 2014 Vol. 1 No. 21 P. 49-54
В статье проведен сравнительный анализ различных подходов к моделированию сетей на кристалле (СнК). Определены основные направления поисковых исследований по тематике СнК и показано, что моделирование, анализ и симуляция СнК являются базовыми для проведения других исследований.
Охарактеризованы типичные подходы к моделированию СнК и приведены примеры их применения, отмечены преимущества и недостатки: 1) аналитическое моделирование (очевидный подход, который не ...
Добавлено: 31 октября 2014 г.
Tsareva O. O., Zelenyi L. M., Malova H. V. и др., Physics-Uspekhi 2018 Vol. 61 No. 2 P. 191-202
Добавлено: 8 мая 2018 г.
Добавлено: 15 июня 2020 г.
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 г.
Zamyatina E., Karimov D., Mittrakov A., International Journal "Information Models and Analyses" 2015 Vol. 4 No. 2 P. 178-191
Добавлено: 16 марта 2016 г.
Пермь : Пермский государственный национальный исследовательский университет, 2013
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки ин-формационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 13-09-0143), научно-исследовательского проекта КубГУ и проекта 12/19т. В издании представлены результаты, полученные при ...
Добавлено: 16 декабря 2013 г.
Незнанов А. А., Korablin Y. P., Karpukhin N., Automatic Documentation and Mathematical Linguistics 2012 Vol. 46 No. 3 P. 133-137
Добавлено: 29 января 2013 г.