Общие сведения - Пермский государственный национальный
реклама
Кафедра математического обеспечения ВС ОБЩИЕ СВЕДЕНИЯ ................................................................................................................................................... 1 СПЕЦИАЛИЗАЦИЯ КАФЕДРЫ .............................................................................................................................. 2 ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА ........................................................................................................... 2 КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ ............................................................................................................................... 10 ПОСЛЕВУЗОВСКОЕ ОБРАЗОВАНИЕ ................................................................................................................. 17 ВЫПУСКНИКИ КАФЕДРЫ .................................................................................................................................... 18 НАУЧНО-ИССЛЕДОВАТЕЛЬСКАЯ И УЧЕБНО-МЕТОДИЧЕСКАЯ РАБОТА КАФЕДРЫ И СТУДЕНЧЕСКАЯ НАУЧНАЯ РАБОТА ............................................................................................................... 26 ОСНОВНЫЕ НАПРАВЛЕНИЯ НАУЧНО-ИССЛЕДОВАТЕЛЬСКОЙ РАБОТЫ КАФЕДРЫ ....................................................... 26 УЧЕБНО-МЕТОДИЧЕСКАЯ РАБОТА КАФЕДРЫ .............................................................................................................. 26 СБОРНИК «МАТЕМАТИКА ПРОГРАММНЫХ СИСТЕМ»................................................................................................. 28 Содержание сборника 2001 г. ............................................................................................................................. 28 Содержание сборника 2002 г. ............................................................................................................................. 29 Содержание сборника 2003 г. ............................................................................................................................. 29 МЕРОПРИЯТИЯ, ПРОВОДИМЫЕ КАФЕДРОЙ ............................................................................................... 30 ЧЕТВЕРТЬФИНАЛЬНЫЕ СОРЕВНОВАНИЯ КОМАНДНОГО ЧЕМПИОНАТА МИРА ПО ПРОГРАММИРОВАНИЮ ................. 30 ВСЕРОССИЙСКАЯ ОЛИМПИАДА ШКОЛЬНИКОВ ПО ИНФОРМАТИКЕ 2002 ГОДА .......................................................... 32 УЧАСТИЕ СОТРУДНИКОВ И СТУДЕНТОВ КАФЕДРЫ В РАЗЛИЧНЫХ МЕРОПРИЯТИЯХ В 2003-2004 УЧЕБНОМ ГОДУ..................................................................................................................................... 33 УЧАСТИЕ В КОНФЕРЕНЦИЯХ ....................................................................................................................................... 33 ВЫСТУПЛЕНИЯ СТУДЕНТОВ КАФЕДРЫ НА КОНКУРСАХ ............................................................................................. 34 ВЫСТУПЛЕНИЯ СТУДЕНТОВ КАФЕДРЫ НА СОРЕВНОВАНИЯХ ..................................................................................... 36 Командный чемпионат мира по программированию (ACM International Collegiate Programming Contest) 39 Общие сведения Кафедра математического обеспечения ВС создана в начале 1991 г. (приказ ректора ПГУ от 11 января 1991 г.). Новая кафедра выделилась из состава кафедры прикладной математики. Ее основателем и первым заведующим стал доктор физико-математических наук, профессор Александр Иванович Миков. На новую кафедру с кафедры прикладной математики перешли преподаватели Залогова Л.А., Замятина Е.Б., Калинина Т.Б., Лядова Л.Н., Плаксин М.А., Пономарева Ю.В., Файзуллин Н.Я., Филимонов В.В., Фролова Н.В. За новой кафедрой была закреплена часть общепрофессиональных дисциплин и дисциплин специализации, изучавшиеся студентами специальности «Прикладная математика», а также дисциплины компьютерного цикла для специальностей «Математика» и «Механика». В настоящее время на кафедре работают 7 штатных сотрудников – кандидатов физикоматематических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», доцентов. Ассистентами на кафедре работают ее выпускники – аспиранты кафедры и студенты второго курса магистратуры кафедры. Специализация кафедры Кафедра занимается подготовкой высококвалифицированных специалистов в области создания сложных программных систем. Специализация кафедры соответствует по направлению и перечню курсов имеющейся в большинстве зарубежных университетов специальности «Computer Science». Цель специализации – подготовка программистов (теоретиков и практиков), способных создавать современные сложные информационные системы и общесистемное программное обеспечение. Таких специалистов обычно называют системными программистами. Прикладная математика и информатика Подготовка студентов осуществляется на основе Государственных образовательных стандартов для специальности 010200 («Прикладная математика и информатика») и соответствующих направлений (510200) подготовки бакалавров и магистров. С 1998 г. кафедра выпускает не только дипломированных специалистов, но и магистров. Нормативный срок освоения основной образовательной программы подготовки специалиста по специальности «Прикладная математика и информатика» при очной форме обучения составляет 5 лет. На кафедре также ведется подготовка бакалавров (4 года) и магистров (6 лет). Квалификация выпускника – дипломированного специалиста – математик, системный программист. Выпускники бакалавриата получают степень бакалавра прикладной математики и информатики и имеют возможность продолжить образование в магистратуре, после окончания которой и успешной защиты магистерской диссертации им присваивается степень магистров. Выпускники кафедры успешно продолжают образование и в магистратурах других вузов, в частности, в Государственном университете Высшая школа экономики (г. Москва). Выпускники кафедры обладают навыками и знаниями в различных предметных областях. Это – специалисты-универсалы, подготовленные для работы в различных сферах деятельности. Сферами профессиональной деятельности математика, системного программиста являются научно-исследовательские центры, органы государственного управления и власти, образовательные учреждения и организации различных форм собственности, использующие методы прикладной математики и современные информационные технологии в своей работе. Математик, системный программист подготовлен преимущественно к выполнению исследовательской деятельности в областях, использующих методы прикладной математики и компьютерные технологии; к созданию и использованию математических моделей процессов и объектов; к разработке и применению современных математических методов и программного обеспечения (ПО) для решения задач науки, техники, экономики и управления; к использованию информационных технологий в проектно-конструкторской, управленческой и финансовой деятельности. В процессе подготовки студенты изучают, в частности, следующие дисциплины, преподаваемые сотрудниками кафедры: Информатика: базовый курс, являющийся основой для изучения всех общепрофессиональных и специальных дисциплин. Основными разделами курса являются «Определение и свойства алгоритмов, формализация понятия алгоритма»; «Рекурсивные структуры данных»; «Рекурсивные алгоритмы»; «Сложность алгоритмов»; «Сложность задач»; «Сортировка и поиск»; «Основы архитектуры ВС»; «Формальные языки и грамматики». Курс поддерживается Практикумом на ЭВМ. Основной язык программирования – Pascal. Архитектура вычислительных систем: Целью данного курса является знакомство с основными принципами организации и функционирования современных вычислительных систем, а также с направлениями совершенствования архитектуры ВС, развития их элементной базы. При изучении курса рассматриваются проблемы, возникающие при создании ВС с традиционной архитектурой и методы их решения. Студенты знакомятся с новыми направлениями в развитии вычислительной техники. В ходе изучения курса студенты должны получить знания об организации персональных компьютеров, построенных на базе процессоров Intel, особенностях их функционирования в различных режимах. Полученные сведения должны позволить более глубоко изучить и понять особенности разработки системных и прикладных программ для данной платформы. Студенты должны свободно владеть навыками разработки программ на языках Ассемблеров для платформы Intel для MS-DOS, пользоваться всеми возможностями, предоставляемыми прикладной архитектурой и уметь использовать при необходимости средства системного программирования (команды, управляющие системными таблицами, режимами работы процессоров и т.п.). Полученные знания должны использоваться при разработке эффективных программ, учитывающих особенности архитектуры ПК. Языки программирования и методы трансляции: Цель курса «Языки программирования и методы трансляции» состоит в том, чтобы рассмотреть различные способы мышления (парадигмы) в программировании, методы разработки алгоритмов и программ, а также методы реализации языков программирования. При изучении курса студенты должны рассмотреть особенности процедурного программирования на примере языка Си; изучить принципы объектно-ориентированного программирования и освоить объектноориентированное программирование на языке С++; рассмотреть принципы функционального программирования и их реализацию на языке ЛИСП; рассмотреть принципы логического программирования и их реализацию на языке ПРОЛОГ; изучить методы построения компиляторов и освоить приёмы программирования различных блоков компилятора. В курсе «Языки программирования и методы трансляции» студенты используют навыки, полученные при изучении курса «Информатика». В дальнейшем при изучении основного курса «Базы данных и экспертные системы», спецкурсов «Вычислительная геометрия и компьютерная графика», «Мультимедиа», «Виртуальная реальность» и др., а также при выполнении курсовых, выпускных и дипломных работ студенты используют знания, полученные в рамках курса «Языки программирования и методы трансляции». Системное и прикладное программное обеспечение: Цель данного курса – изучение теоретических основ разработки программного обеспечения и получение практических навыков работы с пакетами прикладных программ различного назначения, изучение возможностей и средств, предоставляемых в распоряжение программиста современными операционными системами и системами программирования. Основными задачами изучения дисциплины «Системное и прикладное программное обеспечение» являются: изучение структуры, основных характеристик и принципов построения и функционирования программного обеспечения (ПО) различных типов, классификации ПО; изучение основ организации и особенностей реализации операционных систем (ОС) как ядра системного программного обеспечения на примерах современных ОС (Microsoft Windows 9x/NT, OS/2, Novell NetWare, MS-DOS); изучение основных принципов построения компьютерных сетей; изучение принципов построения защищенных информационных систем; получение навыков работы с прикладным программным обеспечением различного назначения (текстовыми редакторами, электронными таблицами, математическими пакетами и т.п.); знакомство с современными технологиями разработки информационных систем; получение навыков программирования в различных средах. Главное внимание отводится изучению операционных систем. В ходе практических занятий студенты получают навыки работы с пакетами программ различного назначения в среде Microsoft Windows, осваиваются приемы программирования, закрепляющие знания, полученные при изучении теоретического материала. Практические задания выполняются с использованием языков VBA, Delphi, Visual C++, изучается среда Microsoft .NET. Изучение теоретического материала поддерживается практическими и лабораторными занятиями. Сетевые операционные системы: Цель данного курса – изучение общих концепций, принципов построения сетевых операционных систем и особенностей их реализации в различных операционных системах предлагаемых производителями ПО. Основными задачами курса, решаемыми для достижения поставленной цели, являются изучение сетевой архитектуры операционных систем различных типов на примерах наиболее распространенных и широко используемых сетевых ОС Novell NetWare, Microsoft Windows. Особое внимание уделяется вопросам обеспечения безопасности и защиты ресурсов вычислительных сетей, рассмотрению механизмов защиты и средств их реализации в различных ОС. Освоение курса должно дать базовые знания, необходимые для грамотного администрирования сетевых операционных систем, разработки программного обеспечения, предназначенного для работы в локальных и глобальных сетях. Данные требования достигаются закреплением изученного материала в хоте самостоятельной работы. Самостоятельная работа контролируется при проведении тестов и решении практических задач, моделирующих реальные задачи, связанные с администрированием сетей и сетевых ОС. Освоение курса основывается на знаниях, полученных студентами при изучении дисциплин «Системное и прикладное программное обеспечение», «Проектирование локальных сетей». Материал курса связан также с курсом «Операционная система UNIX». Дискретная математика: Курс «Дискретная математика» ставит своей целью изучение студентами важнейших разделов дискретной математики, алгоритмов для решения задач дискретной математики и методов дискретной математики в математической кибернетике. Задачи курса состоят в формировании у студентов навыков свободного обращения с такими дискретными объектами как функции алгебры логики, автоматные функции, машины Тьюринга, рекурсивные функции и графы; представлений о проблематике теории кодирования, теории синтеза управляющих систем и теории алгоритмов, их возможностей и трудностей. В ходе изучения курса «Дискретная математика» студенты должны научиться использовать известные и строить новые алгоритмы для решения задач из различных разделов дискретной математики. Математическая логика: Курс «Математическая логика» ставит своей целью изучение студентами важнейших разделов математической логики, методов преобразования, вывода и проверки истинности формул исчисления высказываний и предикатов. Задачи курса состоят в формировании у студентов навыков свободного обращения с высказываниями и предикатами; умений использовать правила преобразования и вывода формул; представлений о возможностях использования методов математической логики для анализа и синтеза программ и в исследованиях по искусственному интеллекту. В ходе изучения курса «Математическая логика» студенты должны овладеть понятийным аппаратом математической логики, научиться формулировать и доказывать основные утверждения и выводить из них новые с использованием правил вывода. Комбинаторные алгоритмы: Курс «Комбинаторные алгоритмы» ставит своей целью изучение студентами важнейших разделов комбинаторного анализа и теории алгоритмов, методов оценивания эффективности алгоритмов и обоснования их корректности. Машинно-ориентированные языки: Курс «Машинно-ориентированные языки» ставит своей целью изучение студентами теоретических основ построения машинноориентированных языков и макросов, а также архитектурных особенностей и особенностей реализации ряда современных машинно-ориентированных языков. В ходе изучения курса «Машинно-ориентированные языки» студенты должны научиться использовать современные машинно-ориентированные языки для решения практических задач и проводить сравнительный анализ средств и реализаций различных машинно-ориентированных языков. Проектирование интерфейсов: Обеспечение дружественности интерфейса «Человек-ЭВМ» – одна из важнейших задач при проектировании программного обеспечения. Решение этой задачи во многом способствует обеспечению надежности и безопасности работы приложения, минимизирует возможность ошибок, связанных с некорректными действиями пользователей и т.п. В первую очередь эта проблема важна для продуктов, рассчитанных на конечного пользователя. Но хороший интерфейс способен существенно повысить производительность труда и профессионального программиста. Нынешнее поколение программистов сразу знакомится со стандартным Windows-интерфейсом. Это имеет как положительные, так и отрицательные стороны, поскольку недостатки этого интерфейса начинают восприниматься как нечто естественное («так и должно быть»). Цель курса – освоение принципов построения дружественного интерфейса «Человек-ЭВМ». Операционная система UNIX: Курс «Операционная система UNIX» нацелен на углубление студентами знаний архитектуры операционных систем, а также повышения навыков в области системного программирования. Операционная система UNIX (LINUX) в настоящее время завоевывает все более прочные позиции на рынке программных продуктов. Подробное изучение архитектуры этой операционной системы является на сегодняшний день актуальным. Проектирование локальных сетей: Курс «Проектирование локальных сетей» ставит своей целью изучение студентами теоретических основ построения локальных и глобальных сетей, способов их построения и эксплуатации, а также решения возникающих сетевых проблем. В ходе изучения курса «Проектирование локальных сетей» студенты должны научиться создавать проекты локальных сетей для предприятий разного масштаба и характеристик, а также эксплуатировать сети и решать возникающие сетевые проблемы. Администрирование локальных сетей: Курс, при изучении которого на практике закрепляются знания, полученные в курсах «Сетевые ОС» и «Проектирование локальных сетей», рассматриваются общие проблемы администрирования и подходя к их решению. Базы данных и экспертные системы: Курс «Базы данных и экспертные системы» нацелен на изучение студентами основ теории баз данных (БД) и экспертных систем, приобретение практических навыков построения пользовательских приложений под управлением современных реляционных и реляционно-объектных СУБД, освоение языков запросов типа SQL и создания индивидуальных экспертных систем в среде оболочек продукционного типа. Основными задачами изучения дисциплины «Базы данных и экспертные системы»» являются»: изучение основ организации БД и СУБД, их функций и отличий от файловых систем; изучение многоуровневой архитектуры современных СУБД, моделей данных и языковых средств СУБД для различных моделей данных; приобретение навыков проектирования структур БД путем нормализации схемы предметной области, знакомство со средствами автоматизации проектирования БД; приобретение навыков формирования запросов к БД средствами языка SQL; приобретение навыков разработки и реализации законченных приложений баз данных под управлением реляционно-объектной СУБД Visual FoxPro 6.0; изучение основных задач и направлений исследований в области искусственного интеллекта, отличий экспертных систем от традиционных программ и от других программ в области искусственного интеллекта; изучение архитектуры, схемы работы и основных принципов построения экспертных систем и оболочек экспертных систем; изучение основных парадигм функционирования, средств представления знаний и метазнаний в экспертных системах; знакомство с основными классами инструментальных средств создания экспертных систем, освоение методологии и технология разработки ЭС; получение навыков работы в среде оболочек экспертных систем продукционного типа. Изучение теоретического материала поддерживается практическими и лабораторными занятиями. В ходе изучения курса «Базы данных и экспертные системы» студенты должны научиться свободно владеть основными понятиями изучаемых дисциплин, приобрести практические навыки проектирования структур баз данных, уметь грамотно составлять запросы различного уровня сложности на языках типа SQL, освоить технологию разработки и написания пользовательских приложений в среде СУБД реляционно-объектного типа, а также освоить приемы разработки и создания индивидуальных экспертных систем под управлением оболочки экспертных систем продукционного типа GURU. Базы знаний: Курс «Базы знаний» нацелен на углубленное изучение студентами основ теории баз знаний (БЗ), их применения в качестве основной компоненты систем, базирующихся на знаниях, на приобретение практических навыков построения оболочек экспертных систем и других систем искусственного интеллекта (ИИ) на основе фреймового, фреймово-продукционного представления знаний, а также представления знаний семантическими сетями (технология построения систем с представлением знаний продукциями и на основе логики исчисления предикатов первого порядка изучается в рамках других дисциплин). Избранные главы искусственного интеллекта: Курс «Избранные главы искусственного интеллекта» предназначен для более углубленного изучения студентами, специализирующимися по кафедре МО ВС, новых современных технологий в области искусственного интеллекта, баз знаний и экспертных систем, представления знаний и получение вывода с помощью логики предикатов, представления различных видов нечетких знаний и организации нечеткого вывода. Так как одной из тенденций развития современного программного обеспечения является разработка и интеграции традиционных программных средств с подходами из области искусственного интеллекта, то одной из целей, преследуемых данным спецкурсом, является овладение навыками реализации подобной интеграции. Интеллектуальные системы и технологии: Дисциплина «Интеллектуальные системы и технологии» нацелена на изучение студентами основ построения современных интеллектуальных систем на базе применения изученных ранее технологий. Программа дисциплины «Интеллектуальные системы и технологии» опирается на знания и навыки, полученные студентами при изучении дисциплин «Системы управления базами данных», «Дискретная математика», «Теория информации», «Методы программирования», «Теория вероятностей и математическая статистика», «Математическая логика и теория алгоритмов», «Системный анализ» других естественно-научных и общепрофессиональных дисциплин. Изучение части разделов пересекается с некоторыми разделами таких гуманитарных дисциплин как психология, философия, лингвистика. Знания и навыки, полученные при изучении дисциплины «Интеллектуальные системы и технологии», используются студентами при разработке курсовых и дипломных работ, а также при изучении таких дисциплин как «Программно-аппаратные средства обеспечения информационной безопасности», «Распознавание образов», «Эвристика и методы поиска решений проблемных задач». Современные теории имитационного моделирования: Целью данного курса является изучение основных методологических подходов и средств имитационного моделирования, основанных на современных информационных технологиях.. При изучении данной дисциплины решаются задачи определения места имитационного моделирования среди других методов математического моделирования, сравнения различных подходов к построению имитационных моделей и средств их реализации. Изучение данной дисциплины требует получения навыков работы с современными системами имитационного моделирования, реализующими различные методологические подходы к построению моделей. Студенты должны не только освоить изучаемые системы имитационного моделирования (GPSS, SLAM, SIMULA) на уровне пользователей-программистов, но и научиться разрабатывать системы моделирования, предназначенные для использования в различных предметных областях. Изучаются современные системы компонентноориентированного моделирования, современные стандарты, используемые при разработке промышленных систем. Вычислительная геометрия и компьютерная графика: Цель курса «Вычислительная геометрия и компьютерная графика» – изучение алгоритмов построения изображений и программирование их в среде Windows. Мультимедиа: Цель курса «Мультимедиа» состоит в том, чтобы рассмотреть программные средства для работы с различными видами информации (неподвижными изображениями, звуком, видео, анимацией), а также научиться создавать презентации. В курсе «Мультимедиа» используются знания, полученные студентами в рамках курса «Информатика», «Геометрия», «Вычислительная геометрия и компьютерная графика». Навыки, полученные студентами при изучении «Мультимедиа» используются в курсе «Виртуальная реальность», а также при выполнении курсовых и дипломных работ. Виртуальная реальность: Цель курса «Виртуальная реальность» состоит в том, чтобы научиться создавать интерактивные трёхмерные миры с использованием языка VRML и некоторых инструментальных сред. Моделирование и проектирование информационных систем: Цель курса – изучение современных средств анализа и моделирования информационных систем (в частности, унифицированного языка моделирования UML), а также освоение современных методов и средств проектирования программного обеспечения информационных систем, основанных на использовании CASE-технологий, формирование навыков их самостоятельного практического применения. Задачи курса – приобретение опыта построения моделей на языке UML, получение навыков изображения диаграмм в CASE Cool:Jex, понимание взаимосвязи различных методов моделирования; сравнение основных направлений, существующих в области инженерного проектирования ПО; обзор международных и отечественных стандартов в области программной инженерии; анализ современного состояния развития CASE-средств и современных технологий проектирования ПО. Корпоративные информационные системы: Изучаются свойства, принципы построения информационных систем различных классов. Рассматривается типовая структура современных корпоративных информационных систем, стандарты, архитектура и инструментальные средства создания их компонентов. Теоретические основы информационных систем: Курс ориентирован на изучение теории, математических моделей и методов оптимизации информационные систем, представляющих основу создания инструментальных средств разработки ИС. Криптографические методы защиты информации: Изучение методов защиты информации, представленной в электронном виде в ЭВМ и компьютерных сетях, с помощью алгоритмических (криптографических) преобразований этой информации. Задачи курса: изучение основных понятий, относящихся к теории шифрования; изучение схем симметричной и асимметричной криптографии; связь криптографии с теорией булевых функций и теорией алгоритмов; изучение методов криптоанализа. Требования к уровню освоения содержания курса: умение применять известные криптографические алгоритмы для шифрования информации, способность самостоятельно разрабатывать криптоалгоритмы. Безопасность информации на предприятии: Курс «Безопасность информации на предприятии» ставит своей целью изучение студентами теоретических основ построения систем зашиты информации на предприятиях разного масштаба и умения применить полученные знания при построении реальной политики безопасности предприятия. Задачи курса состоят в формировании у студентов знаний и компьютерных преступлениях и методах их совершения; знания методов защиты информации в различных условиях; умения выявлять каналы утечки информации на предприятии; умения оценивать риск при возникновении угроз информации; умения уладить инциденты безопасности при их возникновении; умения сформировать политику безопасности предприятия. Алгоритмические методы структурного анализа документов: Цель курса – изучение возможностей автоматизации процесса проектирования информационных систем с использованием методов искусственного интеллекта, основанных на технологиях структурного и семантического анализа текстовых естественноязыковых документов. Задачи курса – демонстрация важной роли документации в проектировании информационных систем, сравнение основных систем документооборота, форматов хранения данных; обзор алгоритмов структурного и семантического анализа документов; рассмотрение возможностей создания интеллектуальных систем проектирования на основе изученных алгоритмов и подходов. Распознавание образов: Курс «Распознавание образов» нацелен на овладение студентами основными принципами, методами и алгоритмами распознавания образов, которые могут быть использованы для авторизации доступа к информации, а именно, для идентификации личности человека по его биометрическим характеристикам. Вопросы аутентификации и идентификации личности по её биометрическим характеристикам в настоящее время достаточно широко исследуются, изучаются и используются в различных системах безопасности (в том числе в системах обеспечения безопасности информации). Задачи курса состоят в том, чтобы предоставить студентам информацию о современном состоянии дел в области распознавания образов. В процессе обучения студенты знакомятся с основными принципами построения систем распознавания образов, изучают различные модели алгоритмов распознавания образов, исследуют современные методы (нейросети, семантические сети, дескриптивный анализ) распознавания образов, в основном изображений, изучают проблемы, связанные с распознаванием сцен. Кроме того, в курсе рассматриваются вопросы, связанные с предварительной обработкой изображений. Компонентно-ориентированное программирование: Цель курса – изучение современных технологий, используемых в конструировании распределенных программных систем, создаваемых на принципах открытых систем. Основной задачей курса является получение навыков использования промышленных технологий разработки систем COM, CORBA, Dot NET. Технология "Клиент-сервер": Изучение основ технологии распределенных вычислений и требований, предъявляемых к их архитектуре и реализации. В практической части курса рассматриваются средства создания распределенных приложений на основе различных механизмов коммуникации и средств доступа к удаленным данным. Web-технологии: В настоящее время в связи с широким использованием глобальной сети Internet становится актуальным создание различных Internetориентированных информационных систем и приложений, основанных на принципах открытых систем. Цель курса – изучение принципов открытых систем и современных технологий, используемых при создании таких систем. При изучении курса студенты должны получить базовые навыки проектирования и реализации приложений на основе технологий открытых систем с использованием современных технологий Internet, XML и языка программирования Java. Параллельное программирование: Курс «Параллельное программирование» нацелен на углубление студентами знаний архитектуры многопроцессорных ЭВМ, а также на повышение навыков в области параллельного программирования. Наряду с изучением архитектуры многопроцессорных ЭВМ, студенты знакомятся с механизмами синхронизации параллельных взаимодействующих процессов, с математическими схемами, которые выполняют анализ параллельных алгоритмов (сети Петри, схемы Карпа – Миллера и т.д.), с вопросами тестирования и отладки параллельных программ. Кроме того, курс знакомит с особенностями систем (MPI, PVM) и языков параллельного программирования. В настоящее время необходимость «коллективной» разработки приложений и «принципиальные» ограниченные возможности однопроцессорных ЭВМ фон Неймановской архитектуры привели к широкому использованию многопроцессорных ЭВМ или распределению вычислений на нескольких компьютерах, объединенных в сеть. Так или иначе, приложения должны проектироваться как системы параллельных и взаимодействующих между собой процессов, допускающих выполнение вычислений на нескольких процессорах. Параллельное программирование заметно отличается от последовательного. Следовательно, изучение особенностей параллельного программирования является в настоящее время актуальным. Распределенные алгоритмы: Курс «Распределенные алгоритмы» предназначен для изучения принципов распределенных систем. В последнее время распределенным системам и распределенным алгоритмам уделяется большое внимание, почти каждый университет предлагает курс по распределенным системам и алгоритмам. В последнее время появились разработки, публикации и монографии по распределенным системам, однако многие из этих публикаций касаются вопросов, связанных с архитектурой распределенных систем. В предлагаемом спецкурсе внимание уделяется в основном распределенным алгоритмам, а точнее, теории распределенных алгоритмов, которая развивалась последние 20 лет. Метод анализа иерархий: Цель данного курса анализа иерархий – одним из современных принятия решения при наличии нечетких и получение опыта его использования для планирования. Управление проектами: Цель данного курса – познакомить студентов с проектным – знакомство студентов с методом активно развивающихся методов противоречивых требований – и решения задач стратегического подходом к организации деятельности, методами проектного анализа и управления реализацией проекта. Особое внимание уделяется теории и практической работе с современными системами управления базами данных, инструментальными средствами создания крупных информационных систем; изучению методов создания баз знаний, экспертных систем и программного обеспечения систем искусственного интеллекта; освоению технологий разработки распределенных приложений, информационных систем, основанных на современных компонентных технологиях, технологиях локальных сетей и Internet. В подготовке специалистов участвуют также другие кафедры механикоматематического факультета (дискретной математики и информатики, прикладной математики и информатики, высшей математики, теории вероятности и математической статистики, математического анализа) и других факультетов. Компьютерная безопасность Одно из направлений в специализации кафедры – математические и программные методы защиты информации. В 2004 г. в Пермском государственном университете открыта новая специальность 075200 – «Компьютерная безопасность». Кафедра математического обеспечения вычислительных систем является базовой кафедрой для подготовки специалистов по этой специальности. Квалификация выпускника – математик. Нормативный срок освоения основной образовательной программы подготовки специалиста по защите информации по специальности «Компьютерная безопасность» при очной форме обучения составляет 5 лет и 6 месяцев. Сферами профессиональной деятельности выпускника являются области науки и техники, охватывающие совокупность проблем, связанных с построением и доказательным анализом качества защищенных компьютерных систем различного назначения. Эти проблемы наиболее актуальны для финансовой сферы, деятельности органов власти и управления, а также оборонной промышленности. Объектами профессиональной деятельности выпускника по специальности «Компьютерная безопасность» являются: защищенные компьютерные системы и средства обработки, хранения и передачи информации; службы защиты информации; математические модели процессов, возникающих при защите информации. Выпускник в соответствии с фундаментальной и специальной подготовкой может осуществлять следующие виды профессиональной деятельности: 1. Производственно-технологическая деятельность: выполнение полного объема работ, связанных с разработкой и анализом средств обеспечения информационной безопасности компьютерных систем на основе разработанных программ и методик, в том числе с обеспечением требований, вытекающих из документов, регламентирующих режим соблюдения государственной тайны; анализ существующих методов и средств, применяемых для контроля и защиты информации, и разработка предложений по их совершенствованию и повышению их эффективности; анализ материалов с учетом специфики учреждений, организаций и предприятий и особенностей их деятельности с целью подготовки принятия решений по обеспечению защиты информации в них; оценка технико-экономического уровня и эффективности предлагаемых и реализуемых организационно-технических решений, связанных с применением программно-технических средств защиты информации, с учетом перспектив и направлений их совершенствования; проведение стандартных и сертификационных испытаний программных продуктов и изделий, содержащих программно-технические средства защиты информации. 2. Организационно-управленческая деятельность: разработка предложений по совершенствованию и повышению эффективности принимаемых технических мер и организационных мероприятий; изучение и обобщение опыта работы других учреждений, организаций и предприятий по способам обеспечения информационной безопасности с целью повышения эффективности и совершенствования работ по защите информации и сохранению государственной тайны; выбор оптимального решения по уровню информационной безопасности как компромисса между различными требованиями (безопасности, качества разработки, стоимости и сроков исполнения); организация работы профессионального коллектива исполнителей, принятие управленческих решений. 3. Экспериментально-исследовательская деятельность: разработка и исследование специальных технических и программноаппаратных средств защиты информации в компьютерных системах; разработка математических моделей безопасности компьютерных систем; подбор, изучение и обобщение научно-технической литературы, нормативных и методических материалов по программно-аппаратным средствам и способам обеспечения информационной безопасности компьютерных систем; составление информационных обзоров по вопросам компьютерной безопасности; изучение и анализ информационной безопасности современных информационных технологий. Специальность «Компьютерная безопасность» является смежной со специальностью «Прикладная математика и информатика», поэтому набор дисциплин, изучаемых студентами данной специальности, во многом пересекается с приведенным выше списком: Информатика: Дисциплина «Информатика» имеет целью повысить информационную культуру студентов, дать прежде всего четкое представление роли этой науки как основы в становлении и развитии современных информационных технологий, в социально-экономической деятельности. Для изучения данной дисциплины студенты должны освоить базовый школьный курс информатики, иметь общее представление о принципах работы компьютеров, уметь работать в среде операционных систем ПК, иметь навыки разработки алгоритмов типовых задач, их реализации, программирования на одном из языков высокого уровня (Pascal, Basic и т.п.) в рамках школьного курса. Как наука «Информатика» имеет глобальный и универсальный характер применения во всех социальных и экономических направлениях. Дисциплина является базовой для изучения курсов «Языки программирования», «Аппаратные средства вычислительной техники», «Операционные системы», «Вычислительные сети» и др. общепрофессиональных дисциплин и дисциплин специализации. При изучении данных дисциплин углубляются и расширяются знания и навыки, полученные при изучении информатики. Методы программирования: Основная цель дисциплины «Методы программирования» – обучить студентов принципам построения и анализа алгоритмов, способствовать развитию логического и алгоритмического мышления, познакомить с общими принципами разработки программного обеспечения (ПО) и современными технологиями создания ПО. Студенты после изучения курса должны уметь самостоятельно разрабатывать алгоритмы решения различных задач средней степени сложности, производить оценку временных затрат при выполнении алгоритма. Требуется умение выбирать структуры данных для тех предметных областей, для которых разрабатываются алгоритмы. Студенты должны знать, как происходит исполнение их программ на ЭВМ различной архитектуры. Изучение данной дисциплины базируется на знаниях и навыках, полученных в курсе «Информатики», «Языков программирования», «Математической логики и теории алгоритмов». Материал курса является основой для изучения спецкурсов «Моделирование и проектирование ИС», «Компонентно-ориентированное программирование», «Параллельные алгоритмы», «Распределенные вычисления», «Криптографические методы защиты информации» и др. Языки программирования: Цель курса «Языки программирования» состоит в том, чтобы изучить различные способы мышления (парадигмы) в программировании, методы разработки алгоритмов и программ, а также методы реализации языков программирования, а также и получить практические навыки использования полученных знаний при выполнении практических заданий по программированию на языках C++ и Java, LISP, Prolog, VBA. В курсе «Языки программирования» студенты используют навыки, полученные при изучении курса «Информатика». В дальнейшем при изучении основных курсов «Системы управления базами данных», «Операционные системы», спецкурсов «Вычислительная геометрия и компьютерная графика», «Мультимедиа», «Виртуальная реальность» и др., а также при выполнении курсовых, выпускных и дипломных работ студенты используют знания, полученные в рамках курса «Языки программирования». Математическая логика и теория алгоритмов: Целью преподавания дисциплины является ознакомление слушателей с основами математической логики и теории алгоритмов, с методами оценки сложности алгоритмов и разработки эффективных алгоритмов. Изучение дисциплины основывается на знаниях, полученных слушателями при изучении дисциплин «Алгебра», «Информатика». Знания и навыки, полученные при изучении дисциплины «Математическая логика и теория алгоритмов», используются обучаемыми в дальнейшем при изучении общепрофессиональных и специальных дисциплин компьютерного цикла, в частности, дисциплин «Дискретная математика», «Экспертные системы», «Искусственный интеллект», «Языки моделирования и машинная имитация». Дискретная математика: Дисциплина «Дискретная математика» обеспечивает приобретение фундаментальных знаний и умений в соответствии с государственным образовательным стандартом, способствует развитию логического мышления. Целью преподавания дисциплины «Дискретная математика» является ознакомление слушателей с важнейшими разделами дискретной математики, развитие у них навыков по формализации понятий и разработке дискретных математических моделей при постановке и решении соответствующих практических задач. Дисциплина основывается на знаниях, полученных слушателями при изучении дисциплин «Алгебра» и «Математическая логика и теория алгоритмов». Знания и навыки, полученные при изучении дисциплины «Дискретная математика», в дальнейшем широко используются при изучении общепрофессиональных и специальных дисциплин. Аппаратные средства вычислительной техники: Целью данного курса является подготовка специалистов, способных обслуживать современную вычислительную технику, разрабатывать эффективное программное обеспечение, учитывающее особенности конкретных вычислительных систем, в полной мере использующее средства защиты, поддерживаемые современными аппаратными средствами ВС. В ходе изучения дисциплины студенты знакомятся с основными принципами организации и функционирования современных вычислительных систем, а также с направлениями совершенствования архитектуры ВС, развития их элементной базы. При изучении курса рассматриваются проблемы, возникающие при создании ВС с традиционной архитектурой и методы их решения. Студенты знакомятся с новыми направлениями в развитии вычислительной техники. Для изучения данной дисциплины студенты должны иметь подготовку в рамках базового курса информатики общеобразовательной школы, а также освоить курс «Информатики» в рамках учебного плана. Полученные знания используются и углубляются позднее, при изучении курса «Машинно-оиентированные языки», «Операционные системы». Операционные системы: Цель данного курса – изучение теоретических основ организации операционных систем (ОС), и получение практических навыков работы в средах различных ОС, изучение возможностей и средств, предоставляемых в распоряжение программиста и пользователя современными операционными системами. Изучение теоретического материала поддерживается практическими и лабораторными занятиями. Часть вопросов, не являющихся сложными, обеспеченными литературой, вынесена на самостоятельное изучение. Студент, изучивший дисциплину, должен свободно владеть в качестве пользователя навыками работы в среде различных ОС; уметь разрабатывать для них прикладные программы различного назначения; научиться разрабатывать многопоточные приложения, используя средства управления процессами, приложения, использующие возможности файловых систем и внешних устройств; получить базовые знания, необходимые для разработки защищенных распределенных приложений и реализации параллельной обработки данных. Изучение курса опирается на знания и навыки, полученные студентами при изучении курсов «Информатика», «Аппаратные средства вычислительной техники», «Языки программирования» и других общих математические и естественнонаучных дисциплин. Кроме того, параллельно с данным курсом учебным планом предусмотрены занятия по курсам «Дискретная математика», «Методы программирования». Материалы этих курсов также в значительной степени используются при изучении, в частности теоретических основ построения ОС. Полученные базовые знания по организации и функционированию ОС углубляются при изучении курсов «Операционная система UNIX», «Проектирование локальных сетей», «Сетевые операционные системы», «Безопасность информации на предприятии», «Программно-аппаратные средства обеспечения информационной безопасности». Знания, полученные при изучении дисциплины, используются при изучении курсов «Технологии распределенных вычислений», «Параллельное программирование». Компонентно-ориентированное программирование: см. выше. Теория информации: Дисциплина «Теория информации» относится к числу прикладных математических дисциплин, обеспечивающих приобретение фундаментальных знаний и умений в соответствии с государственным образовательным стандартом. Целью преподавания дисциплины является ознакомление слушателей с основами теории информации, методами кодирования, хранения и передачи информации. Теоретические основы компьютерной безопасности: Дисциплина «Теоретические основы компьютерной безопасности» имеет целью обучить студентов принципам и методам защиты информации, комплексного проектирования, построения, обслуживания и анализа защищенных автоматизированных систем (АС), а также содействовать фундаментализации образования. Знания и практические навыки, полученные из курса «Теоретические основы компьютерной безопасности», используются обучаемыми при изучении естественнонаучных дисциплин, при разработке курсовых и дипломных работ. Задачи дисциплины – дать основы устройства и принципов функционирования защищенных АС, методологии проектирования и построения защищенных АС, критериев и методов оценки защищенности АС, средств и методов несанкционированного доступа (НСД) к информации АС. Теоретико-числовые методы в криптографии: Дисциплина "Теоретико-числовые методы в криптографии" относится к числу дисциплин специализации федерального компонента. Целью преподавания дисциплины является ознакомление слушателей с математическими основами криптографических методов защиты информации. Изучение дисциплины основывается на знаниях, полученных слушателями при изучении дисциплин "Алгебра", "Дискретная математика", "Теория информации". Знания и навыки, полученные при изучении дисциплины "Теоретико-числовые методы в криптографии", используются обучаемыми в дальнейшем при изучении общепрофессиональных и специальных дисциплин компьютерного цикла ("Криптографические методы защиты информации" и пр.). Криптографические методы защиты информации: Дисциплина "Криптографические методы защиты информации" относится к числу общепрофессиональных дисциплин федерального компонента. Целью преподавания дисциплины является ознакомление слушателей с принципами построения современных крипто-графических систем и криптографических методов защиты информации в компьютерных системах. Изучение дисциплины основывается на знаниях, полученных слушателями при изучении дисциплины "Теория информации". Знания и навыки, полученные при изучении дисциплины "Криптографические методы защиты информации", используются обучаемыми в дальнейшем при изучении общепрофессиональных и специальных дисциплин компьютерного цикла ("Криптографические протоколы" и пр.). Криптографические протоколы: Дисциплина "Криптографические протоколы" относится к числу дисциплин специализации федерального компонента. Целью преподавания дисциплины является ознакомление слушателей с математическими основами криптографических методов защиты информации, основными и вспомогательными криптографическими протоколами, специфическими криптографическими протоколами используемыми в различных предметных областях (в частности, в электронной коммерции и пр.). Основы информационной безопасности: Дисциплина «Основы информационной безопасности» имеет целью обучить студентов принципам обеспечения информационной безопасности государства, подходам к анализу его информационной инфраструктуры и решению задач обеспечения информационной безопасности компьютерных систем. Дисциплина «Основы информационной безопасности» является базовой для изучения дисциплин по программноаппаратным и организационно-правовым методам обеспечения информационной безопасности. Системы управления базами данных: Дисциплина “Системы управления базами данных” нацелена на обучение студентов принципам хранения, обработки и передачи информации в современных информационных системах; на изучение основ теории баз данных (БД) и демонстрацию определяющей роли БД в создании эффективных систем автоматизированной обработки информации; на приобретение практических навыков построения пользовательских приложений под управлением современных реляционных и реляционно-объектных СУБД. Для успешного изучения курса необходимо владение знаниями и навыками, полученными в курсах «Операционные системы», «Языки программирования», «Методы программирования», «Математическая логика и теория алгоритмов», «Дискретная математика». Изучение теоретического материала поддерживается практическими и лабораторными занятиями. Вычислительные сети: Цель данного курса – изучение общих концепций, принципов построения сетевых операционных систем и особенностей их реализации в различных операционных системах предлагаемых производителями ПО. Основными задачами курса, решаемыми для достижения поставленной цели, являются изучение сетевой архитектуры операционных систем различных типов на примерах наиболее распространенных и широко используемых сетевых ОС Unix, Novell NetWare, Microsoft Windows (9x/NT/XP). Освоение курса должно дать базовые знания, необходимые для грамотного администрирования сетевых операционных систем, разработки программного обеспечения, предназначенного для работы в локальных и глобальных сетях. Освоение курса основывается на знаниях, полученных студентами при изучении дисциплин «Аппаратные средства вычислительной техники», «Операционные системы» «Проектирование локальных сетей». Курс является базовым для изучения спецкурсов «Операционная система UNIX», «Безопасность информации на предприятии», «Программно-аппаратные средства обеспечения информационной безопасности», «Технологии распределенных вычислений», «Web-программирование», «Стратегии электронного бизнеса». Технологии распределенных вычислений: Цель данного курса – познакомить студентов с базовыми понятиями технологии «Клиент-сервер» – технологии распределенных вычислений и основными механизмами реализации распределенных систем. При изучении курса решаются следующие задачи: выявление проблем, связанных с реализацией приложений, имеющих архитектуру Клиент/сервер, изучение механизмов их решения. При изучении данного курса используются знания и навыки, полученные при изучении курсов «Информатика», «Операционные системы», «Языки программирования», «Методы программирования», «Компонентно-ориентированное программирование». Полученные знания углубляются при изучении курсов «Web-технологии», «Параллельное программирование», «Стратегии электронного бизнеса, архитектура и проектирование». Комбинаторные алгоритмы: см. выше. Проектирование интерфейсов: см. выше. Моделирование информационных систем: Цель курса – изучение Унифицированного языка моделирования UML. Задачи курса – приобретение опыта построения моделей на языке UML, получение навыков изображения диаграмм в CASE Cool:Jex, понимание взаимосвязи различных методов моделирования. Проектирование информационных систем: Цель курса – освоение современных методов и средств проектирования программного обеспечения информационных систем, основанных на использовании CASE-технологий, а также формирование навыков их самостоятельного практического применения. Задачи курса – сравнение основных направлений, существующих в области инженерного проектирования ПО; обзор международных и отечественных стандартов в области программной инженерии; анализ современного состояния развития CASE-средств и современных технологий проектирования ПО. Вычислительная геометрия и компьютерная графика: см. выше. Мультимедиа: см. выше. Виртуальная реальность: см. выше. Операционная система UNIX: см. выше Базы знаний: см. выше. Дополнительные главы баз данных: Курс «Дополнительные главы баз данных» предназначен для более углубленного и расширенного изучения студентами, специализирующимися по кафедре МО ВС, новых современных технологий в области баз данных (БД) и экспертных систем. Избранные главы искусственного интеллекта: см. выше. Интеллектуальные системы и технологии: см. выше. Программно-аппаратные средства обеспечения информационной безопасности: Цель изучения дисциплины «Программно-аппаратные средства обеспечения ИБ» – подготовить студентов к разработке систем защиты информации (СЗИ) в информационных системах, основанных на современных информационных технологиях с использованием возможностей защиты современных операционных систем (ОС) ( в том числе – при работе в вычислительных сетях (ВС)) и систем управления базами данных (СУБД), опирающихся на аппаратные средства защиты. Изучение курса базируется на знаниях и навыках, полученных при изучении дисциплин «Аппаратные средства вычислительной техники», «Операционные системы», «Вычислительные сети», «Системы управления базами данных». Курс является базовым для изучения спецкурса «Безопасность информации на предприятии». Знания и практические навыки, полученные из курса «Программноаппаратные средства обеспечения ИБ», применяются обучаемыми при изучении дисциплины «Безопасность информации на предприятии», а также при выполнении курсовых и дипломных работ. Управление проектами: см. выше. Распознавание образов: см. выше. Распределенные алгоритмы: см. выше. Языки моделирования и машинная имитация: Целью данного курса является изучение основных методологических подходов и средств имитационного моделирования. При изучении данной дисциплины решаются задачи определения места имитационного моделирования среди других методов математического моделирования, сравнения различных подходов к построению имитационных моделей и средств их реализации. Изучение данной дисциплины требует получения навыков работы с современными системами имитационного моделирования, реализующими различные методологические подходы к построению моделей. Студенты должны не только освоить изучаемые системы имитационного моделирования (GPSS, SLAM, SIMULA) на уровне пользователей-программистов, но и научиться разрабатывать системы моделирования, предназначенные для использования в различных предметных областях. Проектирование локальных сетей: см. выше. Метод анализа иерархий: см. выше. Эвристика и методы поиска решения проблемных задач: Дисциплина «Эвристика и методы поиска решений проблемных задач» нацелена на освоение студентами основных эвристических принципов и методов поиска решений проблемных задач для повышения эффективности информационно-аналитической и творческой деятельности в процессе анализа проблемных ситуаций и поиска решений. Сложность и надежность алгоритмов: Курс «Сложность и надежность алгоритмов» ставит своей целью углубление знаний по важнейшим разделам теории алгоритмов, методов исследования сложности алгоритмов, обоснования их корректности и надежности. Web-технологии: см. выше. Параллельное программирование: см. выше. Автоматизация проектирования вычислительных систем: Курс «Автоматизация проектирования вычислительных систем» нацелен на повышение уровня знаний в области автоматизации проектирования вычислительных систем и сетей. В курсе рассматриваются как вопросы проектирования встроенных в оборудование систем автоматического управления на базе микропроцессоров, так и актуальные в настоящее время вопросы анализа и проектирования локальных и глобальных сетей. Выпускник по специальности «Компьютерная безопасность» может занимать непосредственно после окончания вуза следующие первичные должности: специалист по защите информации, инженер по защите информации, а также аналогичные по выполняемым обязанностям должности, специфические для отдельных отраслей. Послевузовское образование При кафедре работает аспирантура по специальности 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»: система помощи практическому психологу Разработка и реализация «Агента» прототипа системы управления информационными потоками в глобальных вычислительных сетях Разработка программных средств для автоматизации сборки учебных курсов при дистанционном обучении Разработка программных средств для обработки данных анкетирования О сложности алгоритма сортировки с самокоррекцией Разработка и реализация «Менеджера» прототипа системы управления информационными потоками в глобальных вычислительных сетях Разработка распределенной имитационной системы анализа информационных потоков в сетях Разработка прототипа системы удаленной биометрической идентификации личности по отпечаткам пальцев Научный руководитель Чуприна С.И. Замятина Е.Б. Миков А.И. Чуприна С.И. Лядова Л.Н. Замятина Е.Б. Миков А.И. Замятина Е.Б. Замятина Е.Б. Лядова Л.Н. Чуприна С.И. Замятина Е.Б. Никитина Е.Ю. Морозенко В.В. Морозенко В.В. Замятина Е.Б. Замятина Е.Б. Замятина Е.Б. Темы выпускных квалификационных работ 2002 г. ФИО выпускника Шилков А.В. Тема Разработка компоненты генерации отчетов системы «Образование Пермской области» Научный руководитель Лядова Л.Н. Выпускники магистратуры 2003 г. Темы выпускных квалификационных работ 2003 г. ФИО выпускника Бакланов Д. Ковалев А.А Осмехин К.А. Фатыхов А.Х. Чичагова А.В. Антошкин С.Н. Архипов А.С. Тема Магистерские диссертации Разработка средств репортинга для распределенной гетерогенной информационной системы Исследование образовательных Интравеб-порталов. Создание Интравеб-портала для РРИСОН Исследование и создание кластерной вычислительной среды Разработка распределенной системы имитации DOOMS.Net для анализа производительности телекоммуникационных сетей Исследование возможности применения методов искусственного интеллекта в задачах многомерной оптимизации Дипломные работы Разработка и реализация динамического отладчика параллельных программ Разработка системы видеоконтроля для объектов НК «Лукойл» Научный руководитель Миков А.И. Миков А.И. Замятина Е.Б. Замятина Е.Б. Замятина Е.Б. Замятина Е.Б. Никитина Е.Ю. Темы выпускных квалификационных работ 2003 г. ФИО выпускника Батяева Е.И. Герасимов А.В. Исакова С.Ю. Калашников А.В. Филипьев А.В. Филонов А.М. Тема Нестандартные методы контроля знаний в дистанционном обучении (на примере деловых игр) 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» Чуприна С.И. Лядова Л.Н. Рыжков С.А. Морозенко В.В. Лядова Л.Н. Никитина Е.Ю. Миков А.И. Никитина Е.Ю. Залогова Л.А. Залогова Л.А. Залогова Л.А. Залогова Л.А. Залогова Л.А. Никитина Е.Ю. Научно-исследовательская и учебно-методическая работа кафедры и студенческая научная работа Основные направления научно-исследовательской работы кафедры Одним из основных направлений научной работы сотрудников кафедры является проектирование и реализация информационных систем (ИС). Эта прикладная область имеет свои фундаментальные основы, что отражено в принятом ACM учебном плане IS2002, а также в разделе «Information Management» Computing Curricula 2001. Жизнь современного общества невозможно представить без информационных систем различных классов и различного назначения, автоматизирующих деятельность человека практически во всех областях. К современным ИС предъявляются требования, обеспечивающие их живучесть в постоянно меняющихся условиях, эффективность вложений в их создание. Этим требованиям может удовлетворять только система, созданная с помощью специальных инструментальных средств, технологий. Все эти факторы учтены при создании технологии METAS, предназначенной для автоматизации разработки информационных систем. Технология разрабатывается преподавателями и студентами кафедры, участвующими в работах, выполняемых АНО «Институт компьютинга» и АНО «Научная школа». Этому направлению посвящены работы Лядовой Л.Н., Микова А.И., Рыжкова С.А., Чуприной С.И., Шаврина С.А. и др. Проект информационной системы, представленный в докладе Лядовой Л.Н. на международной конференции ITO-2002, был отмечен дипломом за лучший доклад. Еще одно направление научной работы сотрудников кафедры – создание систем искусственного интеллекта. К данному направлению относятся работы, связанные с разработкой экспертных систем и оболочек экспертных систем, систем распознавания образов. Наиболее интересные работы по этому направлению представлены Чуприной С.И., Замятиной Е.Б., Логиновым М.А., Никулиным М.Б. и др. На стыке указанных направлений – работы, относящиеся к автоматизации познавательной деятельности аналитиков, выполняющих наиболее трудоемкую работу первых этапов проектирования ИС. Проблемы формализованного описания предметных областей, для которых разрабатываются ИС, требуют методов решения, свойственных такой области знания как искусственный интеллект. Традиционными для кафедры являются работы, связанные с разработкой компьютерных обучающих систем и систем дистанционного обучения (ДО). В этом направлении работает Никитина Е.Ю. Аспирант кафедры Белоногов А.Н. (руководитель – Лядова Л.Н.) является разработчиком системы дистанционного обучения xDLS, которая признана одной из наиболее хорошо зарекомендовавших себя систем ДО как в России, так и за рубежом. Это первая в России система, полностью основанная на международном стандарте IMS Q&TI. Также традиционными для кафедры являются исследования в области создания систем имитационного моделирования (Замятина Е.Б., Миков А.И. и др.). Особо следует отметить такое направление научных исследований как «Математические модели алгоритмов и программ». В рамках этого направления решаются «традиционные» задачи теории кодирования информации, анализа сложности и надежности алгоритмов, математические проблемы теории множеств, строятся графовые модели ИС и предлагаются алгоритмы оптимизации вычислений, а также их программные реализации и т.д. (Миков А.И., Морозенко В.В., Водовоз Н.А., Лядова Л.Н. и др.). Еще одно направление исследований – системный анализ, разработка и усовершенствование методов прогнозирования развития сложных организационных систем (Плаксин М.А.). Учебно-методическая работа кафедры Многочисленные работы сотрудников кафедры посвящены методике преподавания информатики как в вузе, так и в общеобразовательной школе (Залогова Л.А., Плаксин М.А. и др.). Учебные и методические работы сотрудников кафедры издаются с грифами Министерства образования Российской Федерации. Основные учебно-методические издания сотрудников кафедры в 2003-2004 учебном году: № п/п 1 2 3 4 Автор(ы) Залогова Л.А. Русаков С.В. Семакин И. Шестакова Л. Залогова Л.А. Плаксин М.А. Русаков С.В. и др. Залогова Л.А. Плаксин М.А. Русаков С.В. и др. Королев Л.Н., Миков А.И. 6 Лядова Л.Н., Мызникова Б.И., Фролова Н.В. Залогова Л.А. 7 Лядова Л.Н. 8 Чуприна С.И. 9 Лядова Л.Н. 10 Лядова Л.Н. 11 Морозенко В.В. 12 Лядова Л.Н., Мызникова Б.И., Фролова Н.В. 5 Название Информатика. Базовый курс. 7-9 кл. Место издания М.: БИНОМ. Лаборатория знаний, 2003. – 390 с.: ил. Задачник-практикум. В М.: БИНОМ. двух томах. Т.1. Лаборатория знаний, 2003. – 304 с.: ил. Задачник-практикум. В М.: БИНОМ. двух томах. Т.2. Лаборатория знаний, 2003. – 278 с.: ил. Информатика. Введение М.: Высшая в компьютерные науки школа, 2002. – 341 с. Вычислительная система Перм. ун-т. MathCAD: Учебное Пермь, 2003. – пособие 88 с. Практикум по М.: БИНОМ, ЛБЗ, компьютерной графике 2003. - 320 с.: ил. Информационные Пермский филиал системы в экономике и ГУ ВШЭ. - Пермь, управлении: Лекции по 2003. - 100 с. теме "Корпоративные информационные системы" Базы данных и Перм.ун-т. экспертные системы. Пермь, 2003. - 28 Часть I: Методические с. указания по выполнению контрольных работ Основы компьютерной Пермский филиал грамотности: Учебное ГУ ВШЭ. - Пермь, пособие 2003. - 100 с. Имитационное Перм. ун т. моделирование: Пермь, 2003. - 56 Методические указания с. Дискретная математика: Перм. ун-т. кодирование, Пермь, 2003. - 64 комбинаторика. с. Методическое пособие Основы информатики и Пермь, Перм. информационных ун-т, 2004 – 316 с. технологий: Учебное пособие, изд. 2-е, переработанное и дополненное Объем печатных листов Гриф с указанием ведомства 24 Министерства образования РФ 10.06.98 19 Министерства образования РФ 21.06.99 17,5 Министерства образования РФ 21.06.99 21,5 Министерства образования РФ 5,11 20,0 6,5 1,8 6,5 4,2 4,7 19 По итогам конкурса по созданию учебной литературы нового поколения, проведённого Национальным фондом подготовки кадров и Министерством образования Российской Федерации, Залогова Л.А. выиграла грант на издание учебно-методического комплекта «Компьютерная графика». Кафедра неизменно занимает одно из первых мест на факультете по результатам научноисследовательской и учебно-методической работы. По итогам учебно-методической работы кафедра в 1998 г. занимала первое место среди всех кафедр ПГУ. Сборник «Математика программных систем» Основные результаты, полученные сотрудниками и студентами кафедры, публикуются в межвузовском сборнике научных трудов «Математика программных систем», издаваемом на кафедре при поддержке АНО науки и образования «Институт компьютинга». Содержание сборника 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 SyntaxDirected 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-сервисов для разработки обучающих сред. Никитина Е.Ю. Теоретические основы контроля знаний при дистанционном обучении. Никитина Е.Ю. Особенности проведения контроля знаний при дистанционном обучении. Мероприятия, проводимые кафедрой Одним из основных направлений работы кафедры является «спортивное программирование». Сотрудники и студенты кафедры активно участвуют в подготовке и проведении соревнований по программированию и информатике различных уровней. Четвертьфинальные соревнования командного чемпионата мира по программированию Четвертьфинальные соревнования командного студенческого чемпионата мира по программированию в Уральском подрегионе дважды (в сезонах 2000/2001 (2000 г.) и 2001/2002 годов (2001 г.)) проводились в Перми, на базе ПГУ, при активном участии сотрудников и студентов кафедры. Председателем организационного комитета соревнований был заведующий кафедрой, доктор физико-математических наук, профессор А.И. Миков, заместителем председателя – доцент кафедры Е.Ю. Никитина. Председателем жюри в 2000 г. была доцент кафедры С.И. Чуприна. Членами организационного комитета и жюри были также и другие сотрудники и студенты кафедры (Белоногов А.Н., Бугай В.Н., Ведерников А.Ю., Водовоз Н.А., Колоток А.Н., Лядова Л.Н., Пархачев Н.С., Перевозчикова А.Л., Шляпников А.Н.). Председатель жюри четвертьфинала 2001 г. – ассистент кафедры А.Н. Шляпников. В работе жюри приняли также участие студенты магистратуры кафедры Андронов М.А., Бугай В.Н., Бушуев С.А., Логинов М.А., Митягин А.Л., Моисеева Е.А., Пархачев Н.С., Сентебова Д.А., Черепанов Ю.В. и Шкляев М.Ю. Для проведения соревнований, автоматизации процесса проверки решений, представляемых командами, было разработано специальное программное обеспечение, которое было признано лучшим на тот момент (автор программы – студент магистратуры кафедры В.Н. Бугай, руководитель – Е.Ю. Никитина). Это программное обеспечение и сейчас используется для проведения различных соревнований по программированию. Всероссийская олимпиада школьников по информатике 2002 года Сотрудники и студенты кафедры принимают участие и в проведении соревнований среди школьников. Ежегодно проводятся соревнования регионального уровня. Сотрудники и студенты кафедры (Миков А.И., Морозенко В.В., Айдаров Ю.Р.) входили в жюри и научный комитет Всероссийской олимпиады школьников по информатике 2002 года. Участие сотрудников и студентов кафедры в различных мероприятиях в 2003-2004 учебном году Апробация полученных сотрудниками и студентами кафедры результатов проводится в ходе работ по созданию информационных систем различного назначения, а также в ходе их выступлений на научных конференциях, выставках и конкурсах. Участие в конференциях Сотрудники и студенты кафедры представляют полученные результаты на конференциях различных уровней (региональных, всероссийских и международных). Участие в конференциях может быть как очным, так и заочным. В приведенной ниже таблице показаны результаты выступлений на конференциях различных уровней. № п/п Название 1 I Всероссийская научно-практическая конференция "Опыт практического применения языков и программных систем имитационного моделирования в промышленности и прикладных разработках", СПб, 23-24 октября, 2003. Количество участников от кафедры 1 Достижения № п/п Название Количество участников от кафедры 2 III Всероссийская научно-практическая конференция "Российская 1 3 IV Всероссийская научно-техническая конференция 1 4 VII научно-методическая конференция "Рождественские чтения" 3 5 XXX международная конференция "Информационные технологии 2 6 Всероссийская научно-техническая конференция "Методы и 1 7 Международный конгресс конференций "Информационные 5 8 Всероссийская конференция "Высокопроизводительные 2 9 Научно-практическая конференция "Развитие системы 1 Достижения школа и Интернет", Москва, 16-20 ноября, 2003. "Теоретические и прикладные вопросы современных информационных технологий", Улан-Удэ, 31 июля-4 августа, 2003. /Перм.ун-т/ Пермь, 9-10 января, 2003. в науке, образовании и бизнесе". IT+SE`2003. Украина, Крым, Гурзуф. 19-29 мая 2004 г. средства обработки информации МСО-2003", Москва, 1-3 октября, 2003. Приз Microsoft технологии в образовании". XIII Международная конференция ИТО-2003, Москва, 16-20 ноября, 2003. вычисления и технологии", Ижевск, 13-17 октября, 2003. подготовки преподавателей, специалистов и исследователей ТРИЗ", Петрозаводск, 18-20 июля, 2003. 10 Областная научно-практическая конференция «Молодежная наука 16 11 5-ая Всероссийская научно-практическая конференция молодых 10 12 Международная конференция «Информационные технологии в 2 Прикамья-2004», Пермь, 20-24 апреля 2004 г. Два диплома победителей ученых, аспирантов и студентов «МОЛОДЕЖЬ. ОБРАЗОВАНИЕ. ЭКОНОМИКА», 4 мая, Ярославль. образовании, экономике и промышленности», Пенза, июнь 2004 г. 13 Международная школа-семинар “Современные проблемы 10 механики и прикладной математики”. Воронеж, 2004. Выступления студентов кафедры на конкурсах Студенты и аспиранты кафедры в ходе обучения ведут научную работу по основным направлениям, развиваемым сотрудниками кафедры. Их работы обладают научной новизной, имеют как теоретическое, так и прикладное, практическое значение. Студенты кафедры успешно участвуют в конкурсах, проводимых на различных уровнях. Только в 2004 г. несколько студентов кафедры стали победителями различных конкурсов, представленные студентами кафедры работы получили дипломы победителей. В следующей таблице показаны результаты участия студентов кафедры в конкурсах в 2003-2004 учебном году. № п/п Название Количество участников от кафедры Достижения 1 Конкурс работ студентов, аспирантов и молодых 5 Пять дипломов первой степени, абсолютные победители конкурса в секции «Системное программирование» 2 Всероссийский конкурс по информационной 2 Два победителя первого тура конкурса, Диплом II степени и приз зрительских симпатий финала 3 Конкурс Microsoft для разработчиков, 1 Победитель конкурса по программированию на Visual Basic.NET 2003 ученых «Технологии Microsoft в информатике и программировании», Новосибирский университет при поддержке СО АН РФ и представительства Microsoft в России, 21-23 февраля 2004 г., Новосибирск безопасности, проводившийся в рамках конференции SIBINFO-2004 (г. Томск, ТУСУР+IEEE) приуроченный к выходу русской версии стандартной редакции Visual Basic .NET 2003 Можно особо отметить успешное выступление студентов второго курса магистратуры Рыжкова С.А., Шаврина С.М., студентов четвертого курса Ланина В.В. и Лукиных И.А. (ими были представлены работы, выполненные в рамках реализации CASE-системы METAS, создаваемой совместно с АНО науки и образования «Институт компьютинга», – дипломы первой степени), а также аспиранта кафедры Белоногова А.Н. на конкурсе работ студентов, аспирантов и молодых ученых «Технологии Microsoft в информатике и программировании» (г. Новосибирск). Студенты второго курса магистратуры Айдаров Ю.Р. и четвертого курса бакалавриата Чичагова М.В. стали победителями Всероссийского конкурса по информационной безопасности, проводившегося в рамках конференции SIBINFO-2004 (г. Томск, ТУСУР+IEEE). Основные результаты, представленные студентами, опубликованы в сборниках, выпускаемых по итогам конференций и конкурсов, в которых они участвовали, а также в сборнике «Математика программных систем». Выступления студентов кафедры на соревнованиях Еще одним традиционным для студентов кафедры направлением работы является «спортивное программирование». В представленной ниже таблице показаны результаты участия студентов кафедры в соревнованиях по программированию различных уровней в 2003-2004 учебном году. № п/п Название 1 Личное первенство ПГУ по программированию (1-10 октября 2003 г.) Количество участников от кафедры 57 (всего) Достижения I, II и III места – студенты 3 курса кафедры математического обеспечения ВС № п/п Название Количество участников от кафедры 2 Открытая Всесибирская 4 (1 команда) 3 Полуфинал командного 4 олимпиада по программированию (Новосибирск, 15-17 ноября 2003 г.) студенческого чемпионата мира по программированию (24-27 ноября 2003 г., С-Пб, Санкт-Петербургский государственный институт точной механики и оптики) Достижения II место VI место, выход в финал № п/п Название 4 Восьмая Всероссийская Количество участников от кафедры 4 Достижения Диплом II степени командная студенческая олимпиада по программированию (24-27 ноября 2003 г., С-Пб, Санкт-Петербургский государственный институт точной механики и оптики) 5 Командное первенство ПГУ по программированию (6 марта 2004 г.) 6 Финальные соревнования Чемпионата мира по программированию среди студенческих команд сезона 2003/2004 гг, проходившие с 28 марта по 1 апреля 2004 г. в г. Праге 7 Четвертьфинальные соревнования командного студенческого чемпионата мира по программированию сезона 2004/2005 гг (12-15 апреля 2004 г., Екатеринбург, УрГУ) 8 Командная олимпиада по информатике среди студентов младших курсов вузов Пермской области 12 (4 команды) 5 9 (3 команды) 9 (3 команды) I, II и III места из 16 команд студентов ПГУ и учащихся Лицея Золотые медали, IV место Дипломы I и II степени, выход в полуфинал I, II и IV места Командный чемпионат мира по программированию (ACM International Collegiate Programming Contest) ACM (Association for Computing Machinery) – международная организация, основанная в 1947 г. в Филадельфии сотрудниками Пенсильванского университета, создавшими первый в мире компьютер ENIAC. Командный чемпионат мира по программированию среди сборных команд высших учебных заведений (ACM International Collegiate Programming Contest) проводится ACM, начиная с 1977 г. В 1993 г. был образован новый Восточно-Европейский регион, в соревнованиях которого впервые приняла участие российская команда – команда СанктПетербургского университета. Финал 2004 г. проводился в Праге. Студенты третьего курса кафедры математического обеспечения ВС ПГУ Муллаханов Ренат, Немец Илья и Фирсов Антон (тренер команды – ассистент кафедры Юрий Рафаэлевич Айдаров, руководитель – доцент Елена Юрьевна Никитина, активное участие в подготовке команды принимал также доцент кафедры Владимир Викторович Морозенко) впервые попали на соревнования такого ранга. Их дебют оказался успешным – четвертое место и золотые медали чемпионата мира. Официальные результаты Чемпионата мира 2004 г. The 28th Annual ACM-ICPC World Finals Sponsored by IBM Prague, Czech Republic, March 31, 2004 Official Results Rank Name Solved Score 1 St Petersburg Institute of Fine Mechanics and Optics 7 1204 2 KTH - Royal Institute of Technology 6 1118 3 Belarusian State University 6 1157 4 Perm State University 6 1255 5 Massachusetts Institute of Technology 6 1312 6 National Taiwan University 5 773 7 California Institute of Technology 5 818 8 Izhevsk State Technical University 5 930 9 Harvard University 5 937 10 Warsaw University 5 938 11 ZhongShan (Sun Yat-sen) University 5 954 12 Queen's University 5 965 13 Shanghai Jiaotong University 5 13 Stanford University 5 15 Fudan University 4 15 Korea Advanced Institute of Science and Technology 4 15 Kyrgyz-Russian Slavic University 4 15 Nizhny Novgorod State University 4 15 Seoul National University 4 15 Universitat PolitХcnica de Catalunya 4 15 University of British Columbia 4 15 University of Calgary 4 15 University of Cape Town 4 15 University of New South Wales 4 15 University of Waterloo 4 15 Zhejiang University 4 27 Albert Einstein University Ulm 3 27 Amirkabir University of Technology 3 27 Bangladesh University of Engineering & Technology 3 27 Charles University Prague 3 27 Donghua University 3 27 Jagiellonian University - Krakow 3 27 Nanyang Technological University 3 27 Norwegian University of Science and Technology 3 27 Novosibirsk State University 3 27 Petrozavodsk State University 3 27 St. Petersburg State University 3 27 Tokyo Institute of Technology 3 Rank Name Solved 27 University of Michigan - Ann Arbor 3 27 University of Otago 3 27 University of Tartu 3 27 University of Texas at Austin 3 27 Yonsei University 3 Score Honorable Mention Brigham Young University Sofia University St. Kliment Ohridski Bucharest University South Dakota School of Mines and Technology Cairo University The Johns Hopkins University Cornell University The University of Hong Kong Duke University Tsinghua University Georgia Institute of Technology Universidad SimСn BolМvar ITESM - Campus Monterrey Universidad de Palermo Illinois Institute of Technology Universidad de las AmИricas - Puebla Indian Institute of Technology - Bombay Universidade Estadual de Campinas Institute of Technology and Management Universidade Federal de Pernambuco LeTourneau University University of Central Florida Michigan Technological University University of Illinois Moscow State University University of Minnesota - Twin Cities Sharif University of Technology University of Wisconsin - Madison Shippensburg University Virginia Tech Region Champion Africa and the Middle East University of Cape Town Asia National Taiwan University Europe St Petersburg Institute of Fine Mechanics and Optics Latin America Universidad de Palermo North America Massachusetts Institute of Technology South Pacific University of New South Wales Created by CSUS PC^2 8.5f 20040322 00 http://www.ecs.csus.edu/pc2/ Last updated Wed Mar 31 14:17:54 CEST 2004
