?
Математика программных систем: межвуз. сб. науч. тр.
Вып. 15.
Пермь :
Пермский государственный национальный исследовательский университет, 2018.
Научный редактор: А. И. Миков
Ответственный редактор: Лядова Л. Н.
Под общей редакцией: А. И. Миков
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и анализ процессов и систем; разработка, анализ и тестирование программных систем, методы и инструментальные средства разработки программных систем.
Представлены результаты выполнения проектов, поддержанных грантами РФФИ (проекты № 18-01-00359, № 18-37-00070) и научного фонда НИУ ВШЭ (проект № 17-05-0020).
Материалы сборника могут представлять интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов и аспирантов, изучающих информационные технологии.
Главы книги
Сахипова М. С., Лядова Л. Н., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 87–96.
В статье анализируются инструменты, используемые при проектировании архитектуры предприятия, описываются их характеристики. Обосновывается вывод о том, что основной проблемой, затрудняющей процесс проектирования, приводящей к повышению трудоёмкости работы системных аналитиков и инженеров, является отсутствие средств интеграции используемых инструментов. Предлагается подход к решению задачи создания системы автоматизации проектирования архитектуры предприятия и описывается общая архитектура разрабатываемых программных средств. ...
Добавлено: 18 января 2019 г.
Марквирер В. Д., Суворов А. О., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 50–62.
В статье приведён анализ паттернов разработки программного обеспечения, инструментов и сред создания мобильных приложений, технологии реализации аналитики данных, хранимых в приложении. Практическая часть работы представлена кратким описанием создания мобильного приложения для велосипедиста по выбранным методикам, подтверждающим возможность реализации поставленных заказчиком задач с помощью описанных технологий. ...
Добавлено: 18 января 2019 г.
Плаксин М. А., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 74–86.
В статье описана методика применения метода диверсионного анализа для оценки качества управления организационной системой. Для выявления потенциальных недостатков и оценки их значимости используется коллективная анонимная экспертиза и статистическая обработка экспертных оценок. В результате диверсионный анализ оказался полезен для оценки качества управленческого процесса и выявления путей его совершенствования. В качестве примера рассмотрено применение описанной методики к оценке ...
Добавлено: 18 января 2019 г.
Макаров В. В., Ланин В. В., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 44–49.
Статья подготовлена в ходе проведения исследования по проекту № 17-05-0020 в рамках Программы Научного фонда Национально-го исследовательского университета «Высшая школа экономики» (НИУ ВШЭ) в 2017-2018 гг. и в рамках государственной поддержки ведущих университетов Российской Федерации «5-100». В статье исследуется проблема переполнения памяти в приложении для лингвистического анализа GATE Developer, перечисляются причины появления проблемы, выбирается подходящий ...
Добавлено: 18 января 2019 г.
Сухов А. О., Лядова Л. Н., Порязов С. А., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 97–104.
В статье рассматриваются различные способы формализации описания визуальных моделей. Предлагается новая модель для создания графических языков – гиперграф с полюсами, обеспечивающая возможность определения и реализации не только новых визуальных языков, но и дающая основу для реализации операций над моделями, построенными с помощью этих языков. Предложенная модель – расширение понятия графа с полюсами, учитывающая специфику реализации ...
Добавлено: 18 января 2019 г.
Замятина Е. Б., Кудрявцев А. В., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 18–27.
В работе рассматриваются различные классы ad-hoc-сетей, алгоритмы маршрутизации, более подробно исследуются алгоритмы маршрутизации сетей FANET. Приведено краткое описание системы имитационного моделирования TriadNS, с помощью которой построена имитационная модель ad-hoc-сети. Обосновывается целесообразность применения агентной парадигмы имитационного моделирования для исследования сетей. ...
Добавлено: 18 января 2019 г.
Научное направление:
Компьютерные науки
Язык:
русский
Ключевые слова: математическое моделированиепрограммные системыимитационное моделирование языки моделированияонтологическое моделированиеанализ процессов и систем
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 7 октября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные
технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на
широкий круг специалистов, работающих на стыке теории информации, системного анализа и
прикладных предметных областей. В издание вошли результаты исследований, посвящённые
моделированию дискретных и стохастических структур управления и связи, разработке
высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам
цифровой трансформации образования, архитектурно-градостроительного проектирования,
экологического ...
Добавлено: 6 октября 2026 г.
Исаев Т. Ф., Шаров А. Н., Журнал вычислительной математики и математической физики 2026 Т. 66 № 1 С. 83–93
Исследуются свойства оптических покрытий на основе использования упрощенного симулятора ошибок в толщинах слоев покрытий при их напылении. Обосновывается возможность такого подхода. Выводятся аналитические оценки среднеквадратичного значения нормы вектора ошибок и степени коррелированности ошибок в толщинах слоев покрытия. Изучается зависимость среднеквадратичного значения нормы вектора ошибок и свойств покрытия от уровня случайных ошибок в слоях. ...
Добавлено: 5 октября 2026 г.
Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169
В условиях роста стоимости энергоресурсов и необходимости повышения энергоэффективности производственных процессов особую актуальность приобретает задача оптимизации энергопотребления промышленных предприятий. В данной работе рассматривается подход к управлению энергозатратами машиностроительного предприятия на основе методов многокритериальной оптимизации. Постановка задачи включает несколько целевых функций: минимизацию энергопотребления, минимизацию стоимости электроэнергии с учётом тарифных ограничений и максимизацию производственной эффективности. Для решения ...
Добавлено: 5 октября 2026 г.
Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13
Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...
Добавлено: 2 октября 2026 г.
Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds
Chebotarev V., Andreyuk D., Elizarova Anastasiya и др., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601
Добавлено: 2 октября 2026 г.
Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25
Деревья решений и их ансамблевые расширения, такие как случайные леса, широко используются в качестве моделей классификации благодаря своей простоте и интерпретируемости. Однако во многих реальных задачах, где метки классов перекрываются в пространстве признаков, стандартные деревья решений полагаются на жесткие разбиения, которые создают слабые границы принятия решений. В этих областях небольшие возмущения входных значений могут привести ...
Добавлено: 2 октября 2026 г.
Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13
Добавлено: 2 октября 2026 г.
Aly Ismailov, Попцова М. С., Plos One 2026 Vol. 21 No. 9 Article e0355902
Добавлено: 2 октября 2026 г.
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
International Joint Conferences on Artificial Intelligence, 2026.
Добавлено: 1 октября 2026 г.
Добавлено: 30 сентября 2026 г.
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Приведено описание лабораторных работ модуля 1 «Введение в математическое моделирование систем транспортных средств. Моделирование элементов ходовых систем колёсных машин» курса «Моделирование систем транспортных средств», выполняемых в программном комплексе автоматизированного анализа динамики систем тел «Универсальный механизм». Приведены краткие теоретические сведения, исходные данные, пошаговые инструкции для создания моделей. Для студентов высших учебных заведений, обучающихся по направлениям подготовки ...
Добавлено: 7 августа 2026 г.