?
Математика программных систем: межвузовский сборник научных трудов
Вып. 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системы моделированияалгоритмы и программы
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
Добавлено: 13 августа 2026 г.
Cham: Springer, 2026.
Добавлено: 13 августа 2026 г.
Ратников Ф. Д., European Physical Journal: Special Topics 2026 P. 1–10
Добавлено: 12 августа 2026 г.
Минец М. В., Красноженов Г. Г., Трофимова Е. А. и др., PeerJ Computer Science 2026 Vol. 12 Article e4063
Добавлено: 12 августа 2026 г.
Мизинов П. В., Journal of Computer Virology and Hacking Techniques 2023 No. 20 P. 383–396
Системы биометрического распознавания вен уязвимы для атак типа «биометрическое предъявление». Традиционно исследователи использовали изображение сосудистого русла пользователя, полученное в ближнем инфракрасном диапазоне (БИК), для создания инструмента атаки на биометрическое предъявление (ИАБП). В данной статье исследуется возможность использования свободного программного обеспечения для сбора данных о венозном рисунке кисти без использования БИК при нормальном освещении и создания ...
Добавлено: 11 августа 2026 г.
Трубочкина Н. К., М.: Издательство «Юрайт», 2026.
Учебник посвящен формированию у студентов целостного представления о современных производственных процессах и методах их анализа и управления на основе технологий машинного обучения. В условиях четвертой промышленной революции, когда традиционные инженерные дисциплины неразрывно переплетаются с интеллектуальными методами обработки данных, возникает потребность в специалистах, способных интегрировать знания из обеих областей. Настоящий учебник призван удовлетворить эту потребность, предлагая ...
Добавлено: 8 августа 2026 г.
Приведено описание лабораторных работ модуля 1 «Введение в математическое моделирование систем транспортных средств. Моделирование элементов ходовых систем колёсных машин» курса «Моделирование систем транспортных средств», выполняемых в программном комплексе автоматизированного анализа динамики систем тел «Универсальный механизм». Приведены краткие теоретические сведения, исходные данные, пошаговые инструкции для создания моделей. Для студентов высших учебных заведений, обучающихся по направлениям подготовки ...
Добавлено: 7 августа 2026 г.
Комиссаров А. И., Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия: Машиностроение 2025 Т. 155 № 4 С. 72–89
Основное требование к имитационным моделям гусеничных машин для компьютерных тренажеров по обучению управлению машинами и роботами заключается в возможности их работы в режиме реального и близкого к реальному времени, что обеспечивается существенным упрощением кинематики и динамики модели взаимодействия гусеничного движителя с опорным основанием. Приведено описание оригинальной экономичной модели гусеничного движителя с учетом групп траков, расположенных ...
Добавлено: 6 августа 2026 г.
Н. Новгород: [б.и.], 2026.
Десятая, юбилейная Всероссийская научная студенческая конференция НИУ ВШЭ — Нижний Новгород, продолжает традицию мероприятий, проводимых ежегодно с 2017 года. Конференция 2026 года собрала более 250 докладчиков из 57 образовательных и научных учреждений России, Израиля и Узбекистана. Мероприятие стало значимой площадкой для молодых учёных, стремящихся раскрыть свой потенциал и внести вклад в развитие науки и образования. ...
Добавлено: 4 августа 2026 г.
Букина Т. В., В кн.: Кафедра социально-экономической географии: семь десятилетий развития.: Пермь: Пермский государственный национальный исследовательский университет, 2025. Гл. 5 С. 54–76.
Каждый регион характеризуется уникальными особенностями развития, которые формируют будущее его экономики. Уровень экономического развития региона определяется различными условиями, такими как обеспеченность природными ресурсами, наличие производственных мощностей, развитие институтов и социальной сферы, инфраструктурная обеспеченность и многими другими. Следовательно, при оценке уровня регионального развития необходимо учитывать совокупность факторов, которые в разной степени оказывают на него влияние.
Необходимо отметить, ...
Добавлено: 3 августа 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 г.