Кафедра математического обеспечения вс

Вид материала

Документы

Содержание Послевузовское образование Области исследования Выпускники кафедры Темы выпускных квалификационных работ 1998 г. Темы выпускных квалификационных работ 1999 г. Темы выпускных квалификационных работ 2000 г. Темы выпускных квалификационных работ 2001 г. Темы выпускных квалификационных работ 2002 г. Темы выпускных квалификационных работ 2003 г. Темы выпускных квалификационных работ 2004 г.

Подобный материал:

• Учебная программа для специальности: ( рабочий вариант) 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.

Послевузовское образование

При кафедре работает аспирантура по специальности 05.13.11 – «Ма­тематическое и программное обеспечение вычислительных машин, ком­плексов и компьютерных сетей».

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

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

Области исследования, охватываемые данной специальностью:

1. Модели и методы проектирования и анализа алгоритмов и программ, их эквивалентных преобразований и верификации.
   
2. Синтаксис и семантика языков программирования, построение и оптимизация трансляторов, создание и реализация языков программирования.
   
3. Организация баз данных и знаний, построение систем управления базами данных и знаний.
   
4. Управление вычислительными процессами, создание и исследование операционных систем.
   
5. Разработка и исследование человеко-машинных интерфейсов, программных средств распознавания образов и визуализации, мультимедийного общения.
   
6. Организация распределенных и параллельных систем, разработка и исследование эффективных алгоритмов для управления параллельными процессами, создание языков и инструментальных средств параллельного программирования.
   
7. Программные средства защиты программных систем.
   
8. Создание и исследование новых технологий проектирования, анализа, оценки качества, стандартизации и сопровождения программных систем.
   

Отрасли наук, соответствующие специальности:

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

Выпускники кафедры готовы также к поступлению в аспирантуру по специальностям 05.25.05 – «Информационные системы и процессы, правовые аспекты информатики», 05.13.17 – «Теоретические основы информатики» и 05.13.18 – «Математическое моделирование, численные методы и комплексы программ». По специальности 05.13.18 на механико-математическом факультете ПГУ также работает аспирантура. По этой специальности в ПГУ открыт Совет по защите диссертаций.

Выпускники кафедры

Большинство сотрудников кафедры – выпускники ПГУ разных лет.

С 1998 г. кафедра выпускает магистров.

Темы выпускных квалификационных работ 1998 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
Гилев С.А.	Динамическая отладка распределенных программ	Замятина Е.Б.
Мельников Д.А.	Математические методы защиты информации при распределенном моделировании	Миков А.И.
Миков И.А.	Логическая модель представления для информационных систем с Internet-доступом	Фролова Н.В.
Шляпников А.Н.	GTVL-визуально-тестовый язык с поддержкой описания алгоритмов на графах	Фролова Н.В.

Исполнение песни о трудной жизни студентов мех-мата, посвященной первому выпуску магистров, авторами – студентами 1 курса Андроновым Михаилом, Пархачевым Николаем, Юхновец Ириной.

Ежегодный (с 1999 г.) выпуск магистров кафедры – 5 8 человек.

Темы выпускных квалификационных работ 1999 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
Быков А.В.	Система проектирования баз данных DBSynt	Чуприна С.И.
Водовоз Н.А.	Оптимизация распределенных алгоритмов в неоднородных сетях	Лядова Л.Н.
Водовоз С.Б.	Система тестирования программ на основе метода структурного интервального анализа.	Лядова Л.Н.
Крюков А.		Миков А.И.
Иванова А.		Чуприна С.И.
Луговая Е.С.	Модель защищенной компьютерной системы.	Лядова Л.Н.
Митягин А.В.	Усовершенствование метода анализа иерархий	Плаксин М.А.
Синельников Я.Д.	Методы обработки многомерных разреженных данных, связанных иерархическими отношениями.	Никитина Е.Ю.
Шабунин А.Н.	Алгоритмы рисования графов	Фролова Н.В.

Выпускники магистратуры 2000 г.

Темы выпускных квалификационных работ 2000 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
БрагинаЕ.А.	Разработка инструментальных средств создания экспертных систем на основе семантических сетей	Чуприна С.И.
Громыко Д.А.	Система тиражирования данных	Лядова Л.Н.
Карпов М.А.	Методы построения визуальных фармализмов на основе типизированных графовых структур	Фролова Н.В.
Косвинцев К.Л.	Сравнительный анализ оценок сложности программных систем	Фролова Н.В.
Фролов А.П.	Методы реализации систем моделирования бизнес-процессов	Лядова Л.Н.
Дипломные работы
Амосов М.Н.	Понимание смысла на естественном языке с учетом временных отношений	Чуприна С.И.
Аникеев М.В.	Методы написания трехмерных игр под DOS и Windows 95/98	Залогова Л.А.
Дейнеко Д.В.	Защита коммерческого программного обеспечения	Никитина Е.Ю.
Комиссаров Е.Ю.	Создание прототипа системы локализации человеческих лиц на изображении	Замятина Е.Б.
Коршунова Ю.В.	Разработка взаимодействия объектов в системе имитационного моделирования	Лядова Л.Н.
Костарев Д.В.	Разработка экспертной системы “Lr-Prikaz”	Чуприна С.И.
Логачев М.Г.	Система компьютерной диагностики ревматических заболеваний и учета больных	Плаксин М.А.
Серебров О.А.	Система построения реалистических изображений	Залогова Л.А.
Хозеева А.А.	Создание SD-редактора для генерации горных ландшафтов	Залогова Л.А.
Чадов М.Л.	Распределенный поиск в Интернет	Миков А.И.
Чугайнов С.В.	Разработка сетевого протокола типа «точка-точка» по нескольким последовательным соединениям	Лядова Л.Н.
Шеин Р.А.	Графовые методы спецификации параллельных вычислений	Фролова Н.В.

Выпускники магистратуры и специальности «Прикладная математика и информатика» 2001 г.

Темы выпускных квалификационных работ 2001 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
Белоногов А.Н.	Разработка обучающих компонент системы ДО	Лядова Л.Н.
Бугай В.Н.	Автоматизированная система тестирования программ со встроенными средствами анализа безопасности кода	Никитина Е.Ю.
Ведерников А.Ю.	Разработка программного обеспечения для создания системы тестирования и управления учебным процессом	Никитина Е.Ю.
Кондратьев К.А.	Архитектура системы дистанционного обучения	Лядова Л.Н.
Чемус М.А.	Разработка программных механизмов отладки и анализа параллельных и распределенных программ	Замятина Е.Б.
Дипломные работы
Макеров Д.П.	Разработка нестандартных запросов в Web-интерфейсе	Лядова Л.Н.
Норина А.В.	Разработка программных средств для системы тестирования	Никитина Е.Ю.
Скрябина С.С.	Разработка инструментальных средств построения и редактирования диаграмм UMLCreator для CASE-средства STORM2000	Замятина Е.Б.
Солдатенков Р.С.	Создание подсистемы авторизации подписи	Замятина Е.Б.
Суклемина Е.В.	Вывод по грамматике замен гиперребер	Лядова Л.Н.
Чеплыгин Д.А.	Интерпретатор COOL*TCL Light (обработка скриптов стандартного TCL)	Шляпников А.Н.

Выпускники магистратуры 2002 г.

Темы выпускных квалификационных работ 2002 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
Андронов М.А.	Реализация концепции времени в реляционных СУБД в рамках технологии STORM 2000	Чуприна С.И.
Бушуев С.А.	Автоматное программирование. Моделирование спецификации алгоритма с использованием сетей Петри	Замятина Е.Б.
Левченко И.В.	Система маршрутизации «МАРС»	Миков А.И.
Логинов М.А.	Оболочка «НаШи документы» разработка и реализация подхода к автоматизации процесса конвертации документальных баз данных	Чуприна С.И.
Сулимова Д.А.	Инструментальные средства разработки программного обеспечения автоматизированных систем управления технологическими процессами	Лядова Л.Н.
Черепанов Ю.В.	Разработка алгоритмов для реализации технологии речевой подписи	Замятина Е.Б.
Дипломные работы
Батурина Ю.А.	Применение булевых криптофункций в электронной цифровой подписи	Миков А.И.
Вотинов Д.А.	Разработка компонентов описания и воспроизведения сеансов тестирования	Замятина Е.Б.
Герасимов С.Ю.	Разработка компонентов мониторинга и фиксации действий в процессе тестирования в системе КСАТ	Замятина Е.Б.
Забылов А.В.	Система имитационного моделирования ВиСМО	Лядова Л.Н.
Костин А.И.	Система «CLEVER»: система помощи практическому психологу	Чуприна С.И.
Ларионов В.В.	Разработка и реализация «Агента» прототипа системы управления информационными потоками в глобальных вычислительных сетях	Замятина Е.Б.
Миндияров Р.С.	Разработка программных средств для автоматизации сборки учебных курсов при дистанционном обучении	Никитина Е.Ю.
Семенова М.И.	Разработка программных средств для обработки данных анкетирования	Морозенко В.В.
Созонов Н.Г.	О сложности алгоритма сортировки с самокоррекцией	Морозенко В.В.
Трунин К.М.	Разработка и реализация «Менеджера» прототипа системы управления информационными потоками в глобальных вычислительных сетях	Замятина Е.Б.
Фатыхов М.Х.	Разработка распределенной имитационной системы анализа информационных потоков в сетях	Замятина Е.Б.
Чечкин Ю.Н.	Разработка прототипа системы удаленной биометрической идентификации личности по отпечаткам пальцев	Замятина Е.Б.
Шилков А.В.	Разработка компоненты генерации отчетов системы «Образование Пермской области»	Лядова Л.Н.

Выпускники магистратуры 2003 г.

Темы выпускных квалификационных работ 2003 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
Бакланов Д.	Разработка средств репортинга для распределенной гетерогенной информационной системы	Миков А.И.
Ковалев А.А	Исследование образовательных Интравеб-порталов. Создание Интравеб-портала для РРИСОН	Миков А.И.
Осмехин К.А.	Исследование и создание кластерной вычислительной среды	Замятина Е.Б.
Фатыхов А.Х.	Разработка распределенной системы имитации DOOMS.Net для анализа производительности телекоммуникационных сетей	Замятина Е.Б.
Чичагова А.В.	Исследование возможности применения методов искусственного интеллекта в задачах многомерной оптимизации	Замятина Е.Б.
Дипломные работы
Антошкин С.Н.	Разработка и реализация динамического отладчика параллельных программ	Замятина Е.Б.
Архипов А.С.	Разработка системы видеоконтроля для объектов НК «Лукойл»	Никитина Е.Ю.
Батяева Е.И.	Нестандартные методы контроля знаний в дистанционном обучении (на примере деловых игр)	Никитина Е.Ю.
Герасимов А.В.	Web-технологии в сетях GSM/GPRS	Лядова Л.Н.
Исакова С.Ю.	Разработка компонентов для организации видеоконференции	Замятина Е.Б.
Калашников А.В.	Система подготовки тестов по стандарту IMS Q&TI в среде Microsoft Word	Лядова Л.Н.
Филипьев А.В.	Создание подсистемы мониторинга качества образования «НейроДиректор»	Замятина Е.Б.
Филонов А.М.	Применение wavelet преобразований для создания метода компрессии видеопотока	Замятина Е.Б.

Выпускники магистратуры и бакалавриата 2004 г.



Вручение дипломов выпускникам бакалавриата и магистратуры 2004 г. (видео: ролик 1, ролик 2, ролик 3, ролик 4).

Темы выпускных квалификационных работ 2004 г.
ФИО выпускника	Тема	Научный руководитель
Магистерские диссертации
Айдаров Ю.Р.	Методы экспресс-разработки алгоритмов в условиях соревнований по программированию	Миков А.И.
Варламов А.А.	Система управления документами, основанная на метаданных	Лядова Л.Н.
Никулин М.Б.	Оболочка экспертных систем XG#: разработка и реализация механизма логического вывода	Чуприна С.И.
Рыжков С.А.	CASE-технология METAS создания информационных систем, основанных на метаданных	Лядова Л.Н.
Шаврин С.М.	Представление и обработка исторических данных в информационных системах, основанных на метаданных	Чуприна С.И.
Чукавина Е.А.	Средства управления бизнес-процессами и интеграции приложений, основанные на архитектуре Microsoft .NET	Лядова Л.Н.
Выпускные работы бакалавров
Козлов С.А.	Разработка и реализация инструментальной среды создания нейронных сетей	Чуприна С.И.
Ланин В.В.	Система управления документами, основанная на метаданных	Лядова Л.Н.
Лукиных И.А.	Разработка сервера интеграции информационных систем	Рыжков С.А.
Москалев А.	Генерация латинских квадратов и их полных ортогональных систем	Морозенко В.В.
Скрябина Н.В.	Универсальные средства классификации и кодирования справочников в информационных системах	Лядова Л.Н.
Хаева С.И.	Реализация системы кодирования РЦДО Пермской области	Никитина Е.Ю.
Чичагова М.В.	Управление правами доступа в распределенных информационных системах, основанных на метаданных	Миков А.И.
Дипломные работы
Бушуев М.А.	Разработка и реализация механизмов работы с критериями в аналитической системе «Hospital Analysis System»	Никитина Е.Ю.
Елесев А.В.	Разработка алгоритма динамической балансировки для распределенной системы имитации	Залогова Л.А.
Леготкин Е.Л.	Построение изображений методом трассировки луча в реальном времени	Залогова Л.А.
Лысков П.В.	Построение и анализ реалистических изображений с использованием различных моделей освещения и текстурирования	Залогова Л.А.
Унжеков С.Л.	Иерархие базовых классов для создания динамических приложений средствами Direct3D	Залогова Л.А.
Чащников С.А.	Разработка объектно-ориентированной среды для программирования динамической графики с использованием технологии DirectX	Залогова Л.А.
Шестаков И.А.	Разработка специализированного механизма доступа к системе оценок по критериям аналитической системы «Hospital Analysis System»	Никитина Е.Ю.