?
Математика программных систем: межвузовский сборник научных трудов
Вып. 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системы моделированияалгоритмы и программы
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 19 мая 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 19 мая 2026 г.
Добавлено: 19 мая 2026 г.
Pikalov V., Meshcheryakov V., Kondratev S. и др., Technologies 2026 Vol. 14 No. 1 P. 1–27
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 P. 1–15
Добавлено: 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 г.
Los Alamitos: IEEE Computer Society, 2026.
Добавлено: 10 мая 2026 г.
Авдошин С. М., Песоцкая Е. Ю., Информационные технологии 2026 Т. 32 № 4 С. 185–194
С развитием ИИ, и в особенности глубокого обучения, появились модели, способные давать крайне точные
прогнозы. Однако их внутренняя логика остается трудной для понимания — и это серьезная проблема, особенно в сферах, где от корректности алгоритма зависят критиче ски важные решения. Одним из перспективных
путей ее решения считается направление Explainable Artificial Intelligence (XAI) — разработка подходов, позволяющих прояснять ...
Добавлено: 8 мая 2026 г.
Авдошин С. М., Песоцкая Е. Ю., Business Informatics 2026 Vol. 20 No. 1 P. 7–28
Добавлено: 8 мая 2026 г.
Ismagilov T., Mukosey A., Смирнов Ф. А. и др., International Journal of High Performance Computing Applications 2026 Vol. 40 No. 2 P. 240–253
Добавлено: 7 мая 2026 г.
Ясницкий Л. Н., Голдобин М. А., Мезенцев А. С., Прикладная математика и вопросы управления 2025 № 2 С. 99–116
Представлен обзор современных методов и основанных на них программных
инструментах, применяемых для математического моделирования серийных производственных процессов с целью снижения брака и повышения качества производимых изделий. Перечисляются группы работ, нацеленных на обнаружение и классификацию дефектов, работ, в которых решаются задачи прогнозирования образования дефектов и определения значимости параметров, работ направленных на поиск
оптимального сочетания технологических параметров изготовления изделий, ...
Добавлено: 5 мая 2026 г.
Монахова Э. А., Монахов О. Г., Рзаев Э. Р. и др., Прикладная дискретная математика 2026 Т. 71 С. 112–127
В настоящей работе исследовано совместное конструирование топологий семейств оптимальных по диаметру циркулянтных сетей $C(N; \pm 1, \pm s_2)$ и реализуемых для них оптимальных алгоритмов маршрутизации сложности $O(1)$. Предлагаемый алгоритм маршрутизации основан на использовании масштабируемых параметров $L$-образных шаблонов плотной укладки графов на плоскости для семейств оптимальных сетей.
Определены аналитические формулы зависимости этих параметров от диаметра графов семейств ...
Добавлено: 4 мая 2026 г.
Кирсанова Е. Е., Пакшин П. К., Право и экономика 2026 № 3 (456) С. 26–34
В статье рассматривается вопрос правового режима интеллектуальной собственности, созданной искусственным интеллектом. Изменения существующей правовой базы в сторону признания искусственного интеллекта субъектом права нарушат обоснование и фундаментальные принципы системы интеллектуальных прав. В статье представлен обзор разных взглядов на обоснование предоставления авторских прав на созданные искусственным интеллектом произведения. Автор отмечает, что в некоторых юрисдикциях авторские права таким ...
Добавлено: 28 апреля 2026 г.
Добавлено: 28 апреля 2026 г.
Раменская А. В., Бектемиров Р. Р., Корнейченко Е. Н., В кн.: Имитационное моделирование. Теория и практика (ИММОД 2025).: СПб.: АО "ЦТСС", 2025. С. 463–470.
Для стабильного функционирования банкам необходимо анализировать предпочтения и поведение своих клиентов. Высокое значение ключевой ставки отразилось на депозитной политике банков. Цель исследования - разработка имитационной модели поведения клиентов на региональном рынке банковских вкладов. Предложена агентная имитационная модель, описывающая рынок банковских вкладов в регионе с тремя банками и ограниченным количеством потенциальных вкладчиков. Рассмотрены два сценария внедрения ...
Добавлено: 20 апреля 2026 г.
Добавлено: 20 апреля 2026 г.