ББК 32.873
М34
УДК 681.3
М34
Математика программных систем: Межвуз. сб. науч. ст. /
Перм. ун-т. – Пермь, 2006. – 211 с.
ISBN 5-7944-0763-8
В сборник включены статьи, посвященные проблемам моделирования, проектирования и реализации сложных программных систем. Предлагаются и анализируются математические модели, лежащие в основе проектов создания информационных систем, представлены инструментальные средства создания сложных программных систем различного назначения.
Материалы сборника могут представлять интерес для научных работников, преподавателей, интересующихся современными направлениями в разработке математического и программного обеспечения вычислительных систем, студентов вузов, изучающих информационные технологии, а также для разработчиков информационных систем.
Печатается по решению редакционно-издательского совета Пермского университета
Рецензенты:
доктор физико-математических наук, профессор, директор учебного центра «Информатика» С. В. Русаков;
кафедра информационных технологий КГУКИ.
Редакционная коллегия:
А. И. Миков (АНО «Институт компьютинга») – главный редактор, Л. Н. Лядова (Пермский университет) – заместитель главного редактора, М. И. Нечепуренко (ИВМиМГ СО РАН, Новосибирск), Ю. В. Кольцов (КубГУ, Краснодар), В. В. Морозенко (Пермский университет), О. С. Леготкина – ответственный секретарь.
ISBN 5-7944-0763-8
© АНО «Институт компьютинга», 2006
© ГОУВПО «Пермский государственный университет», 2006
СОДЕРЖАНИЕ
ВВЕДЕНИЕ. 3
МАТЕМАТИЧЕСКИЕ МОДЕЛИ ИНФОРМАЦИОННЫХ
СИСТЕМ, АЛГОРИТМОВ И ПРОГРАММ. 4
Борисова Д. А., Лядова Л. Н. Иерархическая модель данных как
основа реализации информационной системы, управляемой
метаданными. 4
Борисова Д. А. Применение графовых моделей метаданных при
создании компонентов CASE-системы METAS. 14
Еремина М. Е., Лядова Л. Н. Моделирование предметной области
и верификация моделей в информационных системах,
основанных на технологии METAS . 22
Жуков С. А. Об абстракции перебора. 31
Куделько Е. Ю., Лядова Л. Н. Модель объектов
пользовательского интерфейса METAS. 40
Куделько Е. Ю. Операции над моделями данных и их
отображение в презентационной модели
CASE-системы METAS . 56
Левин В. И., В. В. Костиневич В. В. Математическое
моделирование учебного процесса в вузе . 66
Мальцев П. А., Лядова Л. Н. Моделирование многомерных
данных в CASE-системе METAS . 74
Миков А. И. Мультиотношения в описаниях информационных
систем. 88
Морозенко В. В., Городилов А. Ю. Разделение секрета
на основе циклической группы подстановок . 99
ПРОЕКТИРОВАНИЕ И РАЗРАБОТКА ПРОГРАММНЫХ
СИСТЕМ . 112
Басов Д. В., Чуприна С. И. Разработка и реализация
интегрированной инструментальной среды составления
учебных расписаний . 112
Белкин А. А., Чуприна С. И. Проект MAD: разработка
мультиагентной системы обнаружения вторжений . 123
Ланин В. В. Подсистема управления документами
CASE-системы METAS . 135
Лядова Л. Н. О результатах создания и перспективах развития
Региональной информационной системы образования и науки
Пермского края . 147
Миков А. И., Замятина Е. Б., Осмехин К. А. Адаптивное
динамическое сбалансированное распределение объектов
имитационной модели по узлам вычислительной системы. 164
Цыбин А. В., Лядова Л. Н. Автоматическая генерация
документации пользователя в информационных системах,
управляемых метаданными . 178
Чуприна С. И., Один А. А. Современные подходы к
интеллектуализации поисковых механизмов и автоматизации
построения Web-приложений. 189
Юрков К. А. Интеллектуальная оптимизация искусственных
нейронных сетей . 196
М34
УДК 681.3
М34
Математика программных систем: Межвуз. сб. науч. ст. /
Перм. ун-т. – Пермь, 2006. – 211 с.
ISBN 5-7944-0763-8
В сборник включены статьи, посвященные проблемам моделирования, проектирования и реализации сложных программных систем. Предлагаются и анализируются математические модели, лежащие в основе проектов создания информационных систем, представлены инструментальные средства создания сложных программных систем различного назначения.
Материалы сборника могут представлять интерес для научных работников, преподавателей, интересующихся современными направлениями в разработке математического и программного обеспечения вычислительных систем, студентов вузов, изучающих информационные технологии, а также для разработчиков информационных систем.
Печатается по решению редакционно-издательского совета Пермского университета
Рецензенты:
доктор физико-математических наук, профессор, директор учебного центра «Информатика» С. В. Русаков;
кафедра информационных технологий КГУКИ.
Редакционная коллегия:
А. И. Миков (АНО «Институт компьютинга») – главный редактор, Л. Н. Лядова (Пермский университет) – заместитель главного редактора, М. И. Нечепуренко (ИВМиМГ СО РАН, Новосибирск), Ю. В. Кольцов (КубГУ, Краснодар), В. В. Морозенко (Пермский университет), О. С. Леготкина – ответственный секретарь.
ISBN 5-7944-0763-8
© АНО «Институт компьютинга», 2006
© ГОУВПО «Пермский государственный университет», 2006
СОДЕРЖАНИЕ
ВВЕДЕНИЕ. 3
МАТЕМАТИЧЕСКИЕ МОДЕЛИ ИНФОРМАЦИОННЫХ
СИСТЕМ, АЛГОРИТМОВ И ПРОГРАММ. 4
Борисова Д. А., Лядова Л. Н. Иерархическая модель данных как
основа реализации информационной системы, управляемой
метаданными. 4
Борисова Д. А. Применение графовых моделей метаданных при
создании компонентов CASE-системы METAS. 14
Еремина М. Е., Лядова Л. Н. Моделирование предметной области
и верификация моделей в информационных системах,
основанных на технологии METAS . 22
Жуков С. А. Об абстракции перебора. 31
Куделько Е. Ю., Лядова Л. Н. Модель объектов
пользовательского интерфейса METAS. 40
Куделько Е. Ю. Операции над моделями данных и их
отображение в презентационной модели
CASE-системы METAS . 56
Левин В. И., В. В. Костиневич В. В. Математическое
моделирование учебного процесса в вузе . 66
Мальцев П. А., Лядова Л. Н. Моделирование многомерных
данных в CASE-системе METAS . 74
Миков А. И. Мультиотношения в описаниях информационных
систем. 88
Морозенко В. В., Городилов А. Ю. Разделение секрета
на основе циклической группы подстановок . 99
ПРОЕКТИРОВАНИЕ И РАЗРАБОТКА ПРОГРАММНЫХ
СИСТЕМ . 112
Басов Д. В., Чуприна С. И. Разработка и реализация
интегрированной инструментальной среды составления
учебных расписаний . 112
Белкин А. А., Чуприна С. И. Проект MAD: разработка
мультиагентной системы обнаружения вторжений . 123
Ланин В. В. Подсистема управления документами
CASE-системы METAS . 135
Лядова Л. Н. О результатах создания и перспективах развития
Региональной информационной системы образования и науки
Пермского края . 147
Миков А. И., Замятина Е. Б., Осмехин К. А. Адаптивное
динамическое сбалансированное распределение объектов
имитационной модели по узлам вычислительной системы. 164
Цыбин А. В., Лядова Л. Н. Автоматическая генерация
документации пользователя в информационных системах,
управляемых метаданными . 178
Чуприна С. И., Один А. А. Современные подходы к
интеллектуализации поисковых механизмов и автоматизации
построения Web-приложений. 189
Юрков К. А. Интеллектуальная оптимизация искусственных
нейронных сетей . 196