?
Математика программных систем: межвуз. сб. науч. тр.
Вып. 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 г.
Научное направление:
Компьютерные науки
Язык:
русский
Ключевые слова: математическое моделированиепрограммные системыимитационное моделирование языки моделированияонтологическое моделированиеанализ процессов и систем
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Мизинов П. В., Journal of Computer Virology and Hacking Techniques 2023 No. 20 P. 383–396
Системы биометрического распознавания вен уязвимы для атак типа «биометрическое предъявление». Традиционно исследователи использовали изображение сосудистого русла пользователя, полученное в ближнем инфракрасном диапазоне (БИК), для создания инструмента атаки на биометрическое предъявление (ИАБП). В данной статье исследуется возможность использования свободного программного обеспечения для сбора данных о венозном рисунке кисти без использования БИК при нормальном освещении и создания ...
Добавлено: 11 августа 2026 г.
Трубочкина Н. К., М.: Издательство «Юрайт», 2026.
Учебник посвящен формированию у студентов целостного представления о современных производственных процессах и методах их анализа и управления на основе технологий машинного обучения. В условиях четвертой промышленной революции, когда традиционные инженерные дисциплины неразрывно переплетаются с интеллектуальными методами обработки данных, возникает потребность в специалистах, способных интегрировать знания из обеих областей. Настоящий учебник призван удовлетворить эту потребность, предлагая ...
Добавлено: 8 августа 2026 г.
Приведено описание лабораторных работ модуля 1 «Введение в математическое моделирование систем транспортных средств. Моделирование элементов ходовых систем колёсных машин» курса «Моделирование систем транспортных средств», выполняемых в программном комплексе автоматизированного анализа динамики систем тел «Универсальный механизм». Приведены краткие теоретические сведения, исходные данные, пошаговые инструкции для создания моделей. Для студентов высших учебных заведений, обучающихся по направлениям подготовки ...
Добавлено: 7 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Чеповский А. М., М.: Мастерская Печати Идей, 2026.
В учебном пособии представлены методы и алгоритмы автоматического анализа корпусов текстов на естественных языках. Предназначено для изучающих методов обработки текстов на естественных языках и создания обучающих массивов текстов.
Для студентов, аспирантов и научных работников, изучающих методы компьютерной лингвистики и обработку текстов. ...
Добавлено: 1 августа 2026 г.
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
Предложен теоретически обоснованный подход к адаптивному восстановлению
видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены.
Метод включает формальную постановку задачи, модель конечного автомата для принятия решений,
функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены
с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора
методов восстановления фрагментов видео. ...
Добавлено: 27 июля 2026 г.
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Association for Computing Machinery (ACM), 2026.
Добавлено: 22 июля 2026 г.
Korogod D., Shapeev A., Ivan S. Novikov, Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104
Добавлено: 22 июля 2026 г.
Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111
Добавлено: 22 июля 2026 г.
Михайлов И. А., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 1 Article 8
Whole-slide histology images (WSIs) can exceed 100 k × 100 k pixels, making direct pixel-level segmentation infeasible and requiring patch-level classification as a practical alternative for downstream WSI segmentation. However, most approaches either treat patches independently, ignoring spatial and biological context, or rely on deep graph models prone to oversmoothing and loss of local tissue ...
Добавлено: 16 июля 2026 г.
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Силаков Д. В., Системный администратор 2026 № 5 С. 46–51
В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...
Добавлено: 14 июля 2026 г.
IEEE, 2026.
Добавлено: 13 июля 2026 г.
Switzerland: Springer, 2026.
Добавлено: 12 июля 2026 г.
Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 2025 Т. 32 № 4(166) С. 213–230
Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков ...
Добавлено: 12 июля 2026 г.