Кафедра математического обеспечения вс
| Вид материала | Документы |
- Учебная программа для специальности: ( рабочий вариант) 1-25, 229.15kb.
- Н. И. Лобачевского Факультет Вычислительной математики и кибернетики Кафедра Математического, 169.45kb.
- Н. И. Лобачевского Факультет Вычислительной математики и кибернетики Кафедра Математического, 172.6kb.
- Инновационные элементы в организации сессионного экзамена в вузе, 165.54kb.
- Н. И. Лобачевского Факультет Вычислительной математики и кибернетики Кафедра Математического, 123.69kb.
- Н. И. Лобачевского Факультет Вычислительной математики и кибернетики Кафедра Математического, 132.68kb.
- И. И. Мечникова Институт математики, экономики и механики Кафедра математического обеспечения, 900.66kb.
- Программа курса «Основы математического моделирования» Осень 2007, 25.35kb.
- 010500. 62 Математическое обеспечение и администрирование информационных систем (квалификация, 19.59kb.
- Высшая математика, 87.5kb.
Сборник «Математика программных систем»
Основные результаты, полученные сотрудниками и студентами кафедры, публикуются в межвузовском сборнике научных трудов «Математика программных систем», издаваемом на кафедре при поддержке АНО науки и образования «Институт компьютинга».
Содержание сборника 2001 г.
Математические модели алгоритмов и информационных систем
Миков А.И. Сложность данных и немонотонные функции сложности алгоритмов.
Морозенко В.В. О надежности поиска посредством ненадежных сравнений.
Миков А.И., Мельников Д.А. Теоретико-игровая постановка задачи защиты информационных систем.
Миков А.И., Батурина Ю.Л. Конструирование булевых криптофункций.
Lyadova L.N., Vodovoz N.A. Mapping Problem in a Network. Time Optimization.
Митягин А.В., Плаксин М.А. Некоторые усовершенствования метода анализа иерархий.
Frolova N.V., Labunin A.N. Aesthetics Analysis of Graph Drawing Algorithms.
Моделирование и проектирование программных систем
Шляпников А.Н. Выполнение многопоточной программы в вычислительной сети с использованием Интернет-технологий.
Vasilieva Е., Zamyatina E., Naugolnych O. SIMMOD – Simulation Environment with Syntax-Directed Interface.
Zamyatina E. Knowledge Based Debugger of Simulation Model.
Громыко Д. А., Лядова Л.Н. Архитектура системы тиражирования данных.
Ясницкий Л.Н. Принципы построения экспертной системы для аналитического решения краевых задач.
Программное обеспечение дистанционного обучения
Ведерников А.Ю. Разработка системы контроля знаний для дистанционного обучения.
Никитина Е.Ю. Состав программных средств для поддержки процесса дистанционного обучения.
Бугай В.Н. Автоматизированная система проведения соревнований по программированию «EVALUATE SERVER SUITE».
Быков А.В., Чуприна С.И. Remote DBSynt: система дистанционного обучения проектированию настольных баз данных.
Белоногое А.Н., Кондратьев К.А., Лядова Л.Н. Принципы разработки открытой системы дистанционного обучения.
Кондратьев К.А. Архитектура системы дистанционного обучения xDLS.
Белоногое А.Н. Компоненты системы ДО для реализации методов активного обучения.
Содержание сборника 2002 г.
Проектирование и реализация информационных систем
Миков А.И. Основы построения Региональной распределенной информационной системы образования и науки.
Лядова Л.Н. Архитектура информационной системы «Образование Пермской области».
Рыжков C.А. Концепция метаданных в разработке информационных систем.
Рыжков C.А. Программное обеспечение интеграции приложений на основе технологии BizTalk Framework.
Белоногов А.Н. Интеграция Web-приложений.
Андронов М.А., Чуприна С.И. Подход к реализации концепции времени в реляционных СУБД.
Логинов М.А., Чуприна СИ. Программная система "НаШи документы": решение задач конвертации документальных баз данных образования в Пермской области.
Математические модели алгоритмов и программ
Левин В.И., Уважаев Г.В. Автоматная логика и распознавание образов.
Морозенко В.В., Созонов Н.Г. О полной сортировке с самокоррекцией.
Замятина Е.Б., Фатыхов А.Х., Фатыхов М.Х. Имитационная система для анализа телекоммуникационных сетей.
Замятина Е.Б., Трунин К.М., Ларионов В.В. Опыт разработки программных средств для управления глобальными сетями.
Плаксин М.А., В.П. Плаксина В.П. Применение метода анализа иерархий для решения задач прогнозирования.
Программное обеспечение систем дистанционного обучения
Кондратьев К.А. Интерфейс системы дистанционного обучения для сторонних разработчиков.
Кондратьев К.А. Архитектура распределенной системы дистанционного обучения.
Никитина Е.Ю., Ведерников А.Ю. Программный комплекс "Областной банк тестовых заданий".
Содержание сборника 2003 г.
Проектирование и реализация информационных систем
Лядова Л.Н., Рыжков С.А. CASE-технология METAS.
Бакланов Д.М., Варламов А.А., Ланин В.В., Лядова Л.Н. Подсистема репортинга программного комплекса MDK CASE-системы METAS.
Борисова Д.А. Компонент реструктуризации CASE-системы METAS.
Еремина М.Е. Генерация SQL-выражений на основе метаданных CASE-системы METAS.
Куделько Е.Ю. Генерация и настройка экранных форм на основе метаданных CASE-системы METAS.
Мороз А.А. Реализация модели хранения объектов в реляционных базах данных.
Ланин В.В. Автоматизация подготовки отчетов на основе приложений Microsoft Office.
Миков А.И., Логинов М.А. Процесс познания предметной области в проектировании информационных систем.
Жигалов А.В., Никулин М.Б., Чуприна С.И. Оболочка экспертных систем XG#: концепция построения и реализация.
Чуприна С.И., Шаврин С.М. Концепция построения и обработки исторических данных в информационных системах.
Варламов А.А. Подсистема управления документами программного комплекса MDK CASE-системы METAS.
Чукавина Е.А. Средства управления бизнес-процессами на основе технологии Workflow в системе METAS.
Фролов А.П. Опыт интеграции информационных систем разных поколений.
Математические модели алгоритмов и программ
Левин В.И., Кривошей С.Е. Оптимизация расписаний в конвейерных системах: общая постановка задачи.
Лядова Л.Н., Скрябина Н.В. Математическая модель для представления классификаторов в БД информационных систем.
Морозенко В.В. Классы трудносортируемых частичных порядков.
Замятина Е.Б., Миков А.И. Применение Triad.NET к отладке параллельных и распределенных программ.
Фролова Н.В. Анализ тенденций развития программных систем для обработки графовой информации.
Безопасность информационных систем
Миков А.И. Правовые проблемы и организационные методы защиты программного обеспечения информационных систем.
Айдаров Ю.Р. Методы создания политики информационной безопасности на основе UML-диаграмм.
Миков А.И., Чичагова М.В. Контроль за назначением прав на основе булевых функций.
Информационные технологии в дистанционном обучении
Белоногов А.Н. Использование Web-сервисов для разработки обучающих сред.
Никитина Е.Ю. Теоретические основы контроля знаний при дистанционном обучении.
Никитина Е.Ю. Особенности проведения контроля знаний при дистанционном обучении.