Математика программных систем: межвузовский сборник научных статей

Вып. 9. Пермь : Пермский государственный национальный исследовательский университет, 2012.

Научный редактор: Миков А. И., Лядова Л. Н.

В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки информационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 12 09 0102). В сборнике представлены результаты, полученные при выполнении этих проектов в 2012 г.

Материалы сборника могут представить интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов вузов и аспирантов, интересующихся современными направлениями в области информационных технологий.

Главы книги

Классификация предметно-ориентированных языков и языковых инструментариев

Сухов А. О., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 74–83.

В работе рассмотрена классификация предметно-ориентированных языков, языковых инструментариев и трансформаций моделей. Построены фрагменты онтологий "Предметно-ориентированный язык", "Языковой инструментарий", "Трансформация моделей". ...

Добавлено: 21 января 2013 г.

Метамоделирование как основа средств оперативной разработки профессионально-ориентированных информационных систем

Лядова Л. Н., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 20–32.

Приведён обзор технологий создания информационных систем, основанных на применении моделей на различных этапах жизненного цикла информационных систем. Описаны принципы разработки систем, базирующихся на метамоделировнии, мультиязыковых DSM-платформ. ...

Добавлено: 21 января 2013 г.

Онтология Business intelligence

Мальцев П. А., Воронина Т. В., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 150–160.

В статье приводится описание современного состояния Business Intelligence. Приводится классификация современного BI-инструментария, а также методов анализа данных. Статья будет интересна студентам, изучающим Business Intelligence. ...

Добавлено: 21 января 2013 г.

Организация обработки информационных ресурсов на учебно-исследовательском портале с использованием онтологий

Ланин В. В., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 132–139.

Статья посвящена описанию разработки портала, ориентированного на поддержку работы исследователей (преподавателей, аспирантов, студентов), занимающихся вопросами моделирования информационных систем в различных предметных областях, создания и использования инструментальных средств разработки, основанных на (мета)моделировании (применении DSM, DSL и др.). В данной работе представлено описание архитектуры портала, средств информационного поиска и управления документами, создания единой системы документов, относящихся к ...

Добавлено: 21 января 2013 г.

Организация средств семантического поиска портала на основе мультиагентного подхода

Ланин В. В., Соколов Г. В., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 140–149.

В данной работе предлагается алгоритм семантического индексирования на основе агентов для организации поиска на портале. Данный алгоритм учитывающий специфику информации, располагаемой на портале. ...

Добавлено: 21 января 2013 г.

Подсистема управления документами портала, посвященного моделированию информационных систем

Бессонов В. А., Ланин В. В., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 112–119.

В статье рассматриваются варианты реализации подсистемы управления документами учебно-исследовательского портала «Моделирование сложных проблемно-ориентированных информационных систем». Основным критерием выбора инструментального средства является возможность интеграции семантического индексирования контента. ...

Добавлено: 21 января 2013 г.

Подходы к описанию вертикальных и горизонтальных трансформаций метамоделей

Лядова Л. Н., Серый А. П., Сухов А. О., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 33–49.

В статье рассмотрены вопросы использования графовых грамматик для трансформации метамоделей и моделей предметной области. Приведены алгоритмы вертикальной и горизонтальной трансформации метамоделей. ...

Добавлено: 21 января 2013 г.

Разработка предметно-ориентированного языка моделирования административных регламентов

Кандакова А. А., Лядова Л. Н., Сухов А. О., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 4–12.

Приведён сравнительный анализ средств моделирования административных регламентов в области реализации государственных и муниципальных услуг. Описаны требования к языкам и инструментальным средствам моделирования административных регламентов. Представлен предметно-ориентированный язык и языковой инструментарий, удовлетворяющие указанным требованиям. ...

Добавлено: 21 января 2013 г.

Сравнение систем разработки визуальных предметно-ориентированных языков

Сухов А. О., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 44–111.

В работе приведён аналитический обзор наиболее развитых на сегодняшний день языковых инструментариев и подходов к разработке визуальных DSL. Рассмотрен процесс описания с помощью DSM-платформ языка и графического редактора для него. Приведено сравнение рассмотренных инструментариев. ...

Добавлено: 21 января 2013 г.

Решение систем трансцендентных уравнений с помощью генетических алгоритмов

Морозенко В. В., Сюткин А. А., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 170–178.

Рассматривается возможность применения генетических алгоритмов для решения сложных систем трансцендентных уравнений. Показано, что генетические алгоритмы способны находить приближенные решения таких систем, причем по точности они не уступают классическим численным методам. Более того, несомненным достоинством программных продуктов, основанных на использовании генетических алгоритмов, являтся простота их разработки и универсальность. ...

Добавлено: 19 февраля 2013 г.

Решение систем трансцендентных уравнений с помощью генетических алгоритмов

Морозенко В. В., Сюткин А. А., В кн.: Математика программных систем: межвузовский сборник научных статейВып. 9.: Пермь: Пермский государственный национальный исследовательский университет, 2012. С. 170–178.

В данной работе рассмотрена задача поиска корней систем трансцендентных уравнений. Подробно рассмотрен оригинальный подход к решению, основанный на генетических алгоритмах, который представляет собой альтернативу широко распространенным приближенным численным методам. Работа будет полезна при проведении инженерно-технических расчетов, решении вычислительных задач прикладного характера и в теоретических исследованиях, в которых приходится находить корни сложных систем трансцендентных уравнений. Работа ...

Добавлено: 5 марта 2014 г.