?
Математика программных систем: межвуз. сб. науч. тр.
Вып. 15.
Пермь :
Пермский государственный национальный исследовательский университет, 2018.
Научный редактор: А. И. Миков
Ответственный редактор: Лядова Л. Н.
Под общей редакцией: А. И. Миков
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и анализ процессов и систем; разработка, анализ и тестирование программных систем, методы и инструментальные средства разработки программных систем.
Представлены результаты выполнения проектов, поддержанных грантами РФФИ (проекты № 18-01-00359, № 18-37-00070) и научного фонда НИУ ВШЭ (проект № 17-05-0020).
Материалы сборника могут представлять интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов и аспирантов, изучающих информационные технологии.
Главы книги
Замятина Е. Б., Кудрявцев А. В., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 18–27.
В работе рассматриваются различные классы ad-hoc-сетей, алгоритмы маршрутизации, более подробно исследуются алгоритмы маршрутизации сетей FANET. Приведено краткое описание системы имитационного моделирования TriadNS, с помощью которой построена имитационная модель ad-hoc-сети. Обосновывается целесообразность применения агентной парадигмы имитационного моделирования для исследования сетей. ...
Добавлено: 18 января 2019 г.
Макаров В. В., Ланин В. В., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 44–49.
Статья подготовлена в ходе проведения исследования по проекту № 17-05-0020 в рамках Программы Научного фонда Национально-го исследовательского университета «Высшая школа экономики» (НИУ ВШЭ) в 2017-2018 гг. и в рамках государственной поддержки ведущих университетов Российской Федерации «5-100». В статье исследуется проблема переполнения памяти в приложении для лингвистического анализа GATE Developer, перечисляются причины появления проблемы, выбирается подходящий ...
Добавлено: 18 января 2019 г.
Марквирер В. Д., Суворов А. О., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 50–62.
В статье приведён анализ паттернов разработки программного обеспечения, инструментов и сред создания мобильных приложений, технологии реализации аналитики данных, хранимых в приложении. Практическая часть работы представлена кратким описанием создания мобильного приложения для велосипедиста по выбранным методикам, подтверждающим возможность реализации поставленных заказчиком задач с помощью описанных технологий. ...
Добавлено: 18 января 2019 г.
Плаксин М. А., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 74–86.
В статье описана методика применения метода диверсионного анализа для оценки качества управления организационной системой. Для выявления потенциальных недостатков и оценки их значимости используется коллективная анонимная экспертиза и статистическая обработка экспертных оценок. В результате диверсионный анализ оказался полезен для оценки качества управленческого процесса и выявления путей его совершенствования. В качестве примера рассмотрено применение описанной методики к оценке ...
Добавлено: 18 января 2019 г.
Сахипова М. С., Лядова Л. Н., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 87–96.
В статье анализируются инструменты, используемые при проектировании архитектуры предприятия, описываются их характеристики. Обосновывается вывод о том, что основной проблемой, затрудняющей процесс проектирования, приводящей к повышению трудоёмкости работы системных аналитиков и инженеров, является отсутствие средств интеграции используемых инструментов. Предлагается подход к решению задачи создания системы автоматизации проектирования архитектуры предприятия и описывается общая архитектура разрабатываемых программных средств. ...
Добавлено: 18 января 2019 г.
Сухов А. О., Лядова Л. Н., Порязов С. А., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 97–104.
В статье рассматриваются различные способы формализации описания визуальных моделей. Предлагается новая модель для создания графических языков – гиперграф с полюсами, обеспечивающая возможность определения и реализации не только новых визуальных языков, но и дающая основу для реализации операций над моделями, построенными с помощью этих языков. Предложенная модель – расширение понятия графа с полюсами, учитывающая специфику реализации ...
Добавлено: 18 января 2019 г.
Научное направление:
Компьютерные науки
Язык:
русский
Ключевые слова: математическое моделированиепрограммные системыимитационное моделирование языки моделированияонтологическое моделированиеанализ процессов и систем
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Добавлено: 27 мая 2026 г.
Добавлено: 26 мая 2026 г.
Андросов И. А., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3 P. 87–114
В работе рассматриваются сети эхо-состояний (Echo State Network, ESN), которые являются одними из самых распространенных способов реализации резервуарных вычислений. Они состоят из рекуррентной нейронной сети, веса которой выбираются один раз и не обучаются, и выходного, обычно линейного, обучаемого слоя. Такой подход позволяет создавать энергоэффективные и быстрые нейронные сети, способные обучаться в режиме реального времени. Но ...
Добавлено: 26 мая 2026 г.
Караваева Е. А., Кулигин Л. А., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 67–94
В статье представлен метод рефакторинга исходного кода на основе интеграции большой языковой модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять проблемные участки кода с использованием функций тревожности и структурных метрик классов, а затем выполнять автоматизированный рефакторинг. Ключевой особенностью метода является использование LLM для генерации формальных спецификаций на языке OCL (Object Constraint Language), ...
Добавлено: 24 мая 2026 г.
Добавлено: 23 мая 2026 г.
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Добавлено: 22 мая 2026 г.
Лошкарева М. Е., Матвеева Н. Н., Вестник Томского государственного университета. История 2026 № 100 С. 112–118
Предпринята попытка применения сетевого анализа в изучении средневекового нарративного источ ника. Цель исследования – проверка гипотезы о политической фрагментарности как основной причины завоевания Уэльса Англией. Построены сети взаимодействий исторических лиц на основе данных валлийской Хроники принцев с 1193 по 1282 г. Построение сетей демонстрирует, что завоевано Англией было формально объеди ненное княжество, ослабляемое не столько ...
Добавлено: 22 мая 2026 г.
Добавлено: 19 мая 2026 г.
Rabat: Association for Computational Linguistics, 2026.
Добавлено: 19 мая 2026 г.
Добавлено: 19 мая 2026 г.
This paper presents Aerokinesis, an IoT-based software–hardware system for intuitive gesture-driven control of quadcopter unmanned aerial vehicles (UAVs), developed within the Robot Operating System 2 (ROS2) framework. The proposed system addresses the challenge of providing an accessible human–drone interaction interface for operators in scenarios where traditional remote controllers are impractical or unavailable. The architecture comprises ...
Добавлено: 19 мая 2026 г.
This paper presents Aerokinesis, an IoT-based software–hardware system for intuitive gesture-driven control of quadcopter unmanned aerial vehicles (UAVs), developed within the Robot Operating System 2 (ROS2) framework. The proposed system addresses the challenge of providing an accessible human–drone interaction interface for operators in scenarios where traditional remote controllers are impractical or unavailable. The architecture comprises ...
Добавлено: 19 мая 2026 г.
Ronglin Z., Wei L., Jiahong C. и др., Journal of Signal Processing Systems 2026 Vol. 98 Article 31
Добавлено: 16 мая 2026 г.
Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66
Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...
Добавлено: 16 мая 2026 г.
Xiong N., Long W., He D. и др., Algorithms 2026 Vol. 19 No. 5 Article 386
Добавлено: 13 мая 2026 г.
Velichkov B., Nikolova-Koleva I., Slavcheva M., Shumen: INCOMA Ltd, 2025.
Добавлено: 12 мая 2026 г.
Springer, 2026.
Добавлено: 12 мая 2026 г.
Степанянц В. Г., Хорошилов Г. С., Долгов И. М. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 95–110
На рынок постепенно выходят высокоавтоматизированные и подключенные транспортные средства (ТС). В настоящее время предлагаются решения, позволяющие использовать эти технологии для совместного управления дорожным движением, что может значительно повысить его безопасность. В статье анализируются требования к интегрированной среде моделирования подключенных и высокоавтоматизированных ТС и совместной автоматизации управления дорожным движением с высокодетализированным учетом влияния окружающих объектов. Проанализированы ...
Добавлено: 12 мая 2026 г.
Тихонов Р. А., Efendiev M. T., Fedotenkov A. A., 2026 International Russian Smart Industry Conference (SmartIndustryCon) 2026 P. 542–547
Добавлено: 11 мая 2026 г.
Винокуров Ю. А., Кофанов Ю. Н., Сотникова С. Ю., В кн.: Инновационные, информационные и коммуникационные технологии: сборник трудов XXII Международной научно-практической конференции. Москва, 2025.: Ассоциация выпускников и сотрудников ВВИА им. проф. Жуковского, 2025. С. 129–134.
В статье представлены результаты разработки и валидации комплексной математической модели в виде ненаправленного графа для конкретного применения, а именно для проведения виртуальных тепловых испытаний электронной аппаратуры. Предложена структура модели, включающая четыре подмодели: тепловых процессов внутри аппаратуры, взаимодействия с испытательным оборудованием, внешнего температурного воздействия, взаимодействия с оснасткой и с измерительной системой. Описаны методы получения исходных данных ...
Добавлено: 1 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Раменская А. В., Бектемиров Р. Р., Корнейченко Е. Н., В кн.: Имитационное моделирование. Теория и практика (ИММОД 2025).: СПб.: АО "ЦТСС", 2025. С. 463–470.
Для стабильного функционирования банкам необходимо анализировать предпочтения и поведение своих клиентов. Высокое значение ключевой ставки отразилось на депозитной политике банков. Цель исследования - разработка имитационной модели поведения клиентов на региональном рынке банковских вкладов. Предложена агентная имитационная модель, описывающая рынок банковских вкладов в регионе с тремя банками и ограниченным количеством потенциальных вкладчиков. Рассмотрены два сценария внедрения ...
Добавлено: 20 апреля 2026 г.