?
Математика программных систем: межвузовский сборник научных трудов
Вып. 10.
Пермь :
Пермский государственный национальный исследовательский университет, 2013.
Ответственный редактор: Лядова Л. Н.
Под общей редакцией: А. И. Миков
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки ин-формационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 13-09-0143), научно-исследовательского проекта КубГУ и проекта 12/19т. В издании представлены результаты, полученные при выполнении этих проектов в 2013 г. Кроме того, в сборник включены статьи, посвященные использованию ин-формационных технологий в науке и образовании. Материалы сборника могут представлять интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов и аспирантов, изучающих информационные технологии.
Главы книги
Стринюк С. А., Поздеева Е. В., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013.
Статья посвящена вопросам формирования языковой среды с привлечением электронных ресурсов. ...
Добавлено: 3 марта 2014 г.
Ланин В. В., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 4–9.
В статье рассмотрены вопросы классификации форматов, уделяется особое внимание возможности включения метаданных как основного механизма поддержки семантического индексирования. Рассматриваются существующие классификации и предлагается новая фасетная классификация. ...
Добавлено: 29 марта 2015 г.
Ланин В. В., Печенежский А. Б., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 10–19.
Статья посвящена описанию реализации сервиса автоматического сбора структурированной информации из неструктурированных интернет-документов. Сервис позволяет унифицировать решение для различных предметных областей за счет явного онтологического описания задачи. Кроме того, для увеличения количества анализируемых источников не требуется изменения кода программы, следовательно, сложность разработки не изменяется. ...
Добавлено: 29 марта 2015 г.
Сухов А. О., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 56–94.
В процессе разработки информационных систем с использованием модельно-ориентированного подхода, как правило, строится несколько моделей системы, выполненных с различных точек зрения, с разной степень абстракции, описанных на различных языках моделирования. Для преобразования моделей между различными нотациями применяются специальные инструментальные средства трансформации моделей. В статье приводится аналитический обзор наиболее развитых на сегодняшний день языков и инструментальных средств ...
Добавлено: 29 марта 2015 г.
Сухов А. О., Лядова Л. Н., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 95–125.
Система MetaLanguage – это языковой инструментарий, предназначенный для создания визуальных динамически настраиваемых предметно-ориентированных языков моделирования. В статье приводится описание алгоритмов, реализующих основные этапы процесса создания моделей предметной области с использованием системы MetaLanguage: создания/ удаления сущностей, отношений, ограничений; создания/удаления экземпляров сущностей и отношений; проверки ограничений, налагаемых на элементы метамоделей. ...
Добавлено: 29 марта 2015 г.
Сухов А. О., Семков Н. А., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 126–132.
В статье рассматривается процесс создания визуального предметно-ориентированного языка построения моделей для систем типа «Умный дом». Разработанный язык может быть использован на практике при проектировании системы: оценке ее стоимости, анализе взаимодействия ее подсистем, созданных различными производителями, разработке пользовательского интерфейса. ...
Добавлено: 29 марта 2015 г.
Лукиных Н. В., Лядова Л. Н., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 28–48.
Описывается математическая модель и алгоритмы, используемые для реализации средств ведения нормативно-справочной информации, классификаторов различных типов. Представленная модель является универсальной и позволяет описать классификаторы различных типов и выполнять операции над ними единообразно. Созданные средства прошли апробацию при реализации Региональной информационной системы образования и науки (Пермский край). ...
Добавлено: 17 мая 2015 г.
Миков А. И., Нгуен Н. З., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 49–55.
Рассматривается процесс имитационного моделирования дискретных систем в распределенной среде. В работе приводятся три различных алгоритма распределения вычислений (обработки событий) в системе с n процессорами, и производится анализ их эффективности на примерах сетей массового обслуживания (СМО) определённой конфигурации. Представлены результаты сравнительного анализа трех методов обработки списка событий, планируемых во время работы имитационной модели СМО. ...
Добавлено: 23 мая 2015 г.
Zlatev Z. D., Nedeva V. I., , in: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. P. 133–139.
В докладе предлагается методология изучения качественных и количественных параметров перепелиных яиц. Разработан метод и реализована система компьютерного зрения, с помощью которой определяется вероятностная оценка риска для здоровья от потребления продуктов низкого качества. ...
Добавлено: 23 мая 2015 г.
Научное направление:
Компьютерные науки
Язык:
русский
Ключевые слова: программная инженериябизнес-информатикаинформационные технологииимитационное моделированиеInformation technologiessimulation языки моделированияsoftware engineeringпроектирование информационных системIT-educationИТ-образованиеmodelling languagesинструментальные средстваматематика программных системInformation system designProcesses and systems analysisToolkitsAlgorithms and programsBusiness informaticsсистемы моделированияалгоритмы и программы
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Qian X., Guan X., Zhang B. и др., Journal of Global Optimization 2026
Добавлено: 27 сентября 2026 г.
Switzerland: Springer Cham, 2026.
Добавлено: 25 сентября 2026 г.
Добавлено: 25 сентября 2026 г.
Дубич Е. В., Щагин Д. В., Славянский форум 2026 № 2 (52) С. 560–565
В статье сравниваются протоколы HTTP/2 и HTTP/3 при передаче статических файлов в условиях программно моделируемой сетевой деградации. Эксперимент показал, что HTTP/3 не является универсально более быстрым, но устойчивее проявляет себя при росте задержки и потерь пакетов. ...
Добавлено: 25 сентября 2026 г.
Joulitov A.K., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4(2) P. 215–224
В майнинге процессов (process mining) графы непосредственного следования (Directly-Follows Graph, DFG) популярны благодаря своей простоте и наглядности. Однако, если процесс является ациклическим, но содержит параллельные события, стандартные алгоритмы построения DFG-моделей могут генерировать «ложные» циклы, которыe не представлены в журнале событий. Такие циклы мешают анализу информационных процессов, значительно снижая интерпретируемость и точность (precision) модели. Эта проблема ...
Добавлено: 24 сентября 2026 г.
Добрина Д. Н., Нестеренко А. Ю., Прикладная дискретная математика. Приложение 2026 № 19 С. 151–159
Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов. ...
Добавлено: 24 сентября 2026 г.
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
Паршаков П. А., Паклина С. Н., International Journal of Human-Computer Interaction 2026 P. 1–17
Добавлено: 23 сентября 2026 г.
Андраби У. М., Wadood E., Ojha S. K. и др., IEEE Access 2026 Vol. 14 P. 103358–103375
Добавлено: 23 сентября 2026 г.
Добавлено: 23 сентября 2026 г.
Кертес-Фаркаш А., Аквей Ф. Л., Journal of Proteome Research 2026 Vol. 25 P. 3764–3768
Добавлено: 23 сентября 2026 г.
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Risk Analysis 2026 Vol. 46 No. 4 P. 1–26
Добавлено: 22 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 855–862
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 844–854
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Optical Memory and Neural Networks (Information Optics) 2024 Vol. 33 P. 424–434
Добавлено: 21 сентября 2026 г.
Омаров М. Т., Маликов М. А., Американов А. А., , in: 2026 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM).: IEEE, 2026. P. 791–796.
Добавлено: 22 августа 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 г.
Комиссаров А. И., Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия: Машиностроение 2025 Т. 155 № 4 С. 72–89
Основное требование к имитационным моделям гусеничных машин для компьютерных тренажеров по обучению управлению машинами и роботами заключается в возможности их работы в режиме реального и близкого к реальному времени, что обеспечивается существенным упрощением кинематики и динамики модели взаимодействия гусеничного движителя с опорным основанием. Приведено описание оригинальной экономичной модели гусеничного движителя с учетом групп траков, расположенных ...
Добавлено: 6 августа 2026 г.
Н. Новгород: [б.и.], 2026.
Десятая, юбилейная Всероссийская научная студенческая конференция НИУ ВШЭ — Нижний Новгород, продолжает традицию мероприятий, проводимых ежегодно с 2017 года. Конференция 2026 года собрала более 250 докладчиков из 57 образовательных и научных учреждений России, Израиля и Узбекистана. Мероприятие стало значимой площадкой для молодых учёных, стремящихся раскрыть свой потенциал и внести вклад в развитие науки и образования. ...
Добавлено: 4 августа 2026 г.
Букина Т. В., В кн.: Кафедра социально-экономической географии: семь десятилетий развития.: Пермь: Пермский государственный национальный исследовательский университет, 2025. Гл. 5 С. 57–79.
Каждый регион характеризуется уникальными особенностями развития, которые формируют будущее его экономики. Уровень экономического развития региона определяется различными условиями, такими как обеспеченность природными ресурсами, наличие производственных мощностей, развитие институтов и социальной сферы, инфраструктурная обеспеченность и многими другими. Следовательно, при оценке уровня регионального развития необходимо учитывать совокупность факторов, которые в разной степени оказывают на него влияние.
Необходимо отметить, ...
Добавлено: 3 августа 2026 г.