Главная » История развития направления "Прикладная математика и информатика"
Краткий пересказ от YandexGPT

Содержание

Введение

Республика Карелия входит в Северо-Западный федеральный округ, имеет серьезные запасы природных ресурсов, прежде всего леса, добывающие и перерабатывающие отрасли промышленности, быстро развивающиеся отрасли сервиса и туризма. Стратегия развития республики предполагает существенное развитие ее потенциала, повышение уровня жизни жителей. Решение этой задачи требует современной образовательной среды для подготовки высококвалифицированных кадров, в том числе в областях систем управления предприятиями и информационных и коммуникационных технологий. Ответственность за решение этой задачи несет Петрозаводский государственный университет (ПетрГУ) – региональный многопрофильный классический университет, основанный в 1940 г. Он играет ведущую роль в научном и кадровом обеспечении социально-экономического развития региона, развитии инновационно-производственной деятельности и международного сотрудничества Карелии и Европейского Севера России.

В работе представлена история становления в ПетрГУ современного учебного процесса по прикладной математике и ИКТ – от практически полного отсутствия разработок в этих областях до создания современного успешного IT-парка.

Для подготовки специалистов высокого качества необходимо не только формирование у студентов определенных знаний и навыков, но и убедительная демонстрация примеров успешного применения этих знаний. Еще более ценно, если при вузе существуют предприятия, где студенты могут реально убедиться в существовании полезных для общества применений полученных знаний, принять участие в исследованиях и разработках, а выпускники – найти достойную, интересную работу. Именно поэтому разделы 1 и 2 посвящены становлению в ПетрГУ школы прикладного математического моделирования с включением в нее в дальнейшем исследований в области информационных и коммуникационных технологий. В разделе 3 описана работа коллектива математического факультета по обеспечению современного учебного процесса. Раздел 4 описывает международную составляющую исследований и разработок, а раздел 5 – создание и современное состояние инновационной инфраструктуры ПетрГУ.

Становление школы математического моделирования в ПетрГУ

В 70-е гг. XX в. на физико-математическом факультете (ФМФ) ПетрГУ были две кафедры – математического анализа и алгебры и геометрии. В это время, впервые в истории ПетрГУ, кадры факультета пополнились прикладными математиками из школ акад. Л. В. Канторовича и чл.-корр. В. И. Зубова. Одному из авторов этой статьи, В. А. Кузнецову, посчастливилось участвовать в работе кафедры экономической кибернетики под руководством Л. В. Канторовича, а затем поступить в аспирантуру под руководством специалиста в области межотраслевой экономики и экономики природопользования доцента Г. В. Шалабина.

   Л.В Канторович                  В.И Зубов

Л. В. Канторович вложил много сил в организацию кафедры и лаборатории по применению математических и статистических методов в экономических исследованиях. В этих коллективах царил дух энтузиазма. Круг решаемых задач охватывал разные уровни управления экономическими объектами, а математические методы оказались мощным инструментом экономического анализа, что позволило В. А. Кузнецову дополнить знания математического программирования уникальной школой постановки экономико-математических задач, получить востребованные в дальнейшем навыки. Спустя много лет эти идеи были успешно использованы в ПетрГУ.

Защитив в 1976 г. диссертацию, В. А. Кузнецов приступил к работе на ФМФ ПетрГУ, где направления деятельности расширились в 1981 г. в связи с переездом в Петрозаводск из С.-Петербурга профессора Владимира Ильича Чернецкого. Математик и педагог, творческая личность, блестящий организатор, он посвятил себя развитию математического образования и науки в Карелии, открыл в 1982 г. кафедру прикладной математики и кибернетики (ПМиК), активизировал работы по экономико-математическому моделированию, оформил хоздоговоры с крупными предприятиями по оптимизации производственных процессов.

 

 

Для Карелии приоритетными являются задачи планирования и управления технологическими процессами предприятий лесопромышленного комплекса (ЛПК) и целлюлозно-бумажной промышленности (ЦБП). Выбранное наукоемкое направление – оптимизационные модели – обеспечивает конкурентное преимущество университета как академической организации, способной решать задачи, непосильные для большинства компьютерных компаний и специализированных отраслевых организаций. Разработки и внедрение систем планирования производства были начаты для флагмана российской ЦБП – ОАО «Архангельский ЦБК» (АЦБК). Заинтересованность руководства АЦБК привела к тому, что комбинат на много лет стал базовой площадкой ПетрГУ. Разработки начались в 1982–1983 гг. с исследования задачи распределения химикатов и планирования объемов выработки продукции производствами (очередями) АЦБК.

Проблема выбора нормативов и организации распределения химикатов при варке целлюлозы с учетом возможных замен дефицитных ресурсов между очередями комбината с учетом технологических ограничений была формализована в виде многопериодной балансовой оптимизационной задачи с линейными ограничениями и выпуклой целевой функцией. В 1986 г. задача вошла в состав верхнего уровня АСУ линии производства целлюлозы.

В 1984–1986 гг. задача распределения химикатов породила задачу расчета балансировки плана работы подразделений АЦБК при выходе из строя отдельных единиц оборудования технологических линий. Задача была формализована как линейная балансовая оптимизационная задача, а после учета ряда важных технологических параметров – как нелинейная задача, которая была внедрена в качестве центральной модели в АСУ технологической линии АЦБК, а спустя 3 года утверждена в качестве отраслевой методики и использовалась рядом крупных предприятий ЦБП.

Затем решалась задача балансировки производства и сбыта продукции (1984–1985 гг.). Договоры поставки продукции предприятия ЦБП устанавливают номенклатуру, объемы, сроки и график ее отгрузки. Эта задача возникает, когда, например, допускается гибкий график поставок и/или возможность выбора номенклатуры и объемов продукции. Задача была формализована как линейная оптимизационная задача со специфической матрицей. За годы интенсивной работы в ПетрГУ сложился коллектив постановщиков прикладных задач, специалистов по моделям и методам их решения и реализации в виде программных систем (некоторые итоги и опыт этих работ представлены в монографии. Полученные результаты подтвердили правильность выбора направления исследований, а также позволили перейти от решения задач управления отдельными технологическими процессами к более сложным задачам разработки комплексных систем управления производством.

В 1987 г. началась разработка комплексной системы планирования фанерного производства для оптимальной комплектации листов фанеры заданной толщины и качества. Формализация этой задачи, предложенная Л. В. Канторовичем, была существенно развита для учета процессов лущения, просушки и ремонта шпонов. Экономический эффект подсчитывался сравнением расчетного плана с полученным традиционным способом и составил более 5 %.

Система оптимизации распределения работ между различными бумагоделательными машинами (БДМ) отталкивалась от задачи раскроя тамбура бумажного полотна на рулоны . От нас потребовалось дополнительно учесть в математической модели выбор режима работы каждой БДМ, их частичную специализацию, плотность полотна бумаги, требование выкраивать рулоны из определенной части полотна и др.

Система планирования производства гофротары потребовалась АЦБК в 1994 г., когда номенклатура заказов возросла от десятка до сотни наименований. Ручное планирование раскроя гофрополотна давало большое количества обрезков. Задача оптимизации раскроя была формализована как многокритериальная задача дискретного программирования с тысячами ограничений, решаемая многократным применением симплекс-метода и методов нечетких множеств. В настоящее время эта система перенесена на современные программные платформы, легко встраивается в интегрированные системы управления, доступна по технологии облачных вычислений и внедрена более чем на 20 предприятиях. Срок ее окупаемости составляет от 3 до 6 месяцев.

Другим примером «долгоживущей» системы управления производством является автоматизированная система планирования и учета работ, выполняемых ремонтным производством, которая с 1988 г. разрабатывалась для компьютеров и операционных систем многих поколений, многократно переписывалась для разных СУБД и языков программирования. Задача была формализована в виде классической задачи линейного программирования, однако затем эта формализация многократно менялась для учета разнообразных требований заказчика. Будучи разработанной для АЦБК, система была внедрена на ряде комбинатов ЦБП и машиностроительных предприятий с аналогичной структурой производства. Итоги разработок комплексных систем управления производствами подведены в монографии.

Формализованная Л. В. Канторовичем и другими авторами классическая задача раскроя лесосырья в 2008 г. была расширена в связи с необходимостью учета технологий раскроя, расхода ГСМ, электроэнергии и др. Оптимизация ведется с учетом 3D-размеров продукции и статистики выхода продукции пониженного качества. Формализованная Л. В. Канторовичем и другими авторами классическая задача раскроя лесосырья в 2008 г. была расширена в связи с необходимостью учета технологий раскроя, расхода ГСМ, электроэнергии и др. Оптимизация ведется с учетом 3D-размеров продукции и статистики выхода продукции пониженного качества. Задача геометрической оптимизации предназначена для планирования погрузки рулонов бумаги или картона в емкости транспортных средств. Для сложных заказов – более 10 форматов – расчеты обеспечивают экономию до 8 % объема емкостей.

С учетом полученного опыта в 2007–2009 гг. коллективом под руководством А. В. Воронина и В. С. Кузнецова была разработана удобная универсальная библиотека для решения задач линейного программирования с виртуальной матрицей ограничений, включающей произвольное количество генераторов столбцов. Описание матрицы ограничений задачи представляет собой совокупность указателей на составляющие ее многоуровневые фрагменты, а проверка оптимальности текущего базисного плана осуществляется с учетом ее структуры: блоков, констант и повторов.

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

Становление исследований в области информационных и коммуникационных технологий

В конце 80-х гг. XX в. назрела необходимость выведения на мировой уровень подготовки студентов и исследований в областях сетевых технологий, системного программного обеспечения и программной инженерии (технологии разработки программного обеспечения). Для решения этой задачи в 1989 г. из состава кафедры ПМиК выделилась кафедра информатики и математического обеспечения (ИМО), которую возглавил доцент Г. С. Сиговцев, руководивший специализацией «Вычислительная математика». C 2000 г. кафедрой заведует доцент Ю. А. Богоявленский. Эта кафедра начала подготовку к проведению соответствующих исследований.

Работа началась с освоения персональных ЭВМ. В 1990–1994 гг. на кафедре разрабатывались прикладные системы по заказам организаций республики. Для объединения «Карелпушнина» на ПЭВМ в среде СУБД Paradox разработана система расчета оптимальных рационов кормления методом линейного программирования. Интерфейс обеспечивал взаимодействие зверовода с системой в терминах его предметной области. Задача линейного программирования решалась внешним пакетом программ. Для железнодорожной больницы Петрозаводска на ПЭВМ в среде СУБД Paradox разработана система учета амбулаторных пациентов и получения медицинской статистики. Интерфейс позволял оператору в течение дня вводить данные о более чем 450 пациентах. Были реализованы защита потери данных из-за отключений электроэнергии и система резервного копирования.

В 1993 г. кафедра организовала сотрудничество с отделением информатики Университета Хельсинки (Финляндия) для выполнения совместных пилотных исследований по направлениям моделирования и анализа производительности сетевых систем. В 1998 г. на кафедре сформулирована общая постановка задачи планирования мощности локального провайдера услуг как элемента инфраструктуры Интернета на основе информации о потоках данных. В ходе исследований возникла идея разработки экспериментальной платформы Nest для исследования моделей и методов управления ИКТ-инфраструктурами локальных провайдеров услуг Интернета и эффективности использования этих инфраструктур в бизнес-процессах . Основная задача Nest – обеспечение доступа к данным измерений трафика, структурированного по пространственным, организационным и аппаратно-программным единицам инфраструктуры организации и их произвольным агрегациям. Nest основывается на объектной модели инфраструктуры и содержит подсистемы автоматизированного построения графа корпоративной сети, его визуализации и унифицированного доступа к данным измерений. Система активно разрабатывается, некоторые ее компоненты используются для управления сетью ПетрГУ.

Центральная роль протокола TCP и актуальность задач моделирования и анализа производительности его алгоритмов представлены в работе. На кафедре исследования были начаты в 1997 г. с разработки в среде ОС Linux анализатора TCP соединений TCPconan с использованием утилиты tcpdump.

В связи с усложнением реализаций TCP, в частности с появлением механизма выгрузки сегментирования (TSO), утилита tcpdump стала давать неверные данные. В 2006 г. была начата разработка системы GetTCP для мониторинга выполнения алгоритмов TCP на этом уровне ядра ОС, последняя версия которой представлена в работе. Получение первичных данных на этом уровне ядра ОС обеспечивает доступ к информации отсутствующей в пространстве пользователя (например, размер скользящего окна), и позволяет получить любую информацию о поведении TCP-соединения.

Работы по вероятностному моделированию алгоритмов TCP были начаты на кафедре в 2001 г. Некоторые результаты представлены в работе, где построена полумарковская модель совместной работы алгоритмов Slow Start и AIMD. Ранее, в рамках этих работ, получен точный численный метод линейной сложности для расчета распределения размера скользящего окна алгоритма AIMD версии TCP New Reno, позволяющий не только получать оценку средней пропускной способности, но и моменты более высокого порядка. В настоящее время исследования продолжаются.

Опыт моделирования показал, что решения при управлении сетями и их проектировании во многих случаях носят дискретный характер, т. е. целесообразно применять дискретные модели. Мы начали использовать системы неотрицательных линейных диофантовых уравнений (НЛДУ), коэффициенты которых – произвольные целые числа, а решения – неотрицательные целые. Эти системы легко интерпретировать содержательно, они имеют единственный базис (базис Гильберта), компактно описывающий множество решений и широко применяются в целочисленном программировании, анализе сложности алгоритмов, моделях памяти, параллельных вычислениях и др.

Задача вычисления базиса Гильберта является трудноразрешимой и эффективные алгоритмы ее решения в настоящее время можно построить только для некоторых классов систем. В работе был развит подход португальских математиков M. Filgueiras и A. Tomas, показавших, как по контекстно-свободной грамматике можно построить ассоциированную с ней систему НЛДУ.

В диссертации были построены новые классы ассоциированных систем и разработаны псевдополиномиальные синтаксические алгоритмы вычисления базиса Гильберта. Также была построена в виде системы НЛДУ и экспериментально исследована модель стационарной агрегирующей структуры нагрузки внешнего канала провайдера услуг сети Интернет. В диссертации были разработаны метод последовательных исключений для однородных систем НЛДУ и основанные на нем алгоритмы вычисления базиса Гильберта и генерации систем НЛДУ с известным базисом, а также построена диофантова модель сети MPLS для построения резервных маршрутов.

Эти два алгоритма вычисления базиса Гильберта и алгоритм генерации были реализованы в программной системе WebSynDic, которая позволяет с помощью интернет-обозревателя (URL:http://websyndic.cs.karelia.ru/) задавать и решать системы НЛДУ, а также исследовать новые алгоритмы вычисления базиса Гильберта. Исследования по диофантову моделированию были продолжены и обобщены в монографии.

 

Становление учебных планов и формирование концепции подготовки специалистов по ИКТ на базе стандарта «Прикладная математика и информатика»

Кафедра ПМиК постоянно улучшала учебный процесс. В 1984 г. В. И. Чернецким была открыта специальность «Прикладная математика». Были разработаны и внедрены в учебный процесс такие базовые дисциплины, как «Методы оптимизации», «Комбинаторные алгоритмы», «Математическое моделирование», «Исследование операций» и др. В 1986 г. математический факультет выделился из состава ФМФ, была открыта аспирантура и создан Совет по присуждению кандидатских степеней. В частности, один из авторов этой статьи, А. В. Воронин, в 1983 г. стал первым аспирантом В. И. Чернецкого в Петрозаводске, а в 1993 г. возглавил кафедру ПМиК.

Крайне важную роль в подготовке специалистов играет Клуб творчества программистов, организованный проф. В. А. Кузнецовым. С 2000 г. более 100 школьников и студентов изучают математическое моделирование, оптимизацию, теорию алгоритмов и программирование, участвуют в городских и республиканских олимпиадах. Работа начинается с 5–6-го класса школы и продолжается в университете. Клуб проводит несколько занятий и соревнований в неделю. Команды клуба успешно выступают в соревнованиях, в том числе на студенческом Чемпионате мира по программированию (ACM-ICPC International Collegiate Programming Contest), завоевали 2 бронзовые (2007, 2008) и серебряную (2010) медали. Более 10 лет ПетрГУ проводит летние и зимние международные сборы, в которых участвуют более 40 сильнейших команд России и мира.

Серебряные призеры ACM ICPC 2010.

Слева направо: Алексей Николаевский, Денис Власов (вице-тренер), Денис Денисов, Илья Николаевский

В 1991 г. кафедры ПмиК и ИМО интенсифицировали работу по выводу учебного процесса на международный уровень путем активного изучения, руководства ACM/IEEE по разработке учебных планов для направления Computer Science и двухуровневой организации учебного процесса по схеме бакалавриат – магистратура.

В 1993 г. математический факультет ПетрГУ, одним из первых в России, открыл направление бакалавриата 010500 «Прикладная математика и информатика», а в 1997 г. – магистратуру. В образовательных программах был учтен подход, а при их развитии – последующие рекомендации организаций ACM, IEEE, AIS, AITP. Активно велись работы по разработке адаптивных электронных курсов. В учебный план бакалавриата были введены дисциплины «Архитектура процессоров ПЭВМ» (для студентов первого курса), «Структуры данных», «Операционные оболочки», «Системное программирование в среде UNIX», «Компьютерные сети» и др. Для магистратуры были введены дисциплины «Выпуклые многогранники и задачи оптимизации», «Основы теории потоков в сетях», «Современные технологии высокопроизводительных вычислений», «Объектно-ориентированный анализ и проектирование» и др.

Затем были открыты специальность «Информационные системы и технологии» (1999) и направление «Бизнес-информатика» (2006). Сейчас более пятисот студентов обучаются по направлениям прикладной математики и информационных технологий. Наиболее талантливые выпускники продолжают обучение в аспирантуре и докторантуре, защищают диссертации в советах ПетрГУ и СПбГУ.

Факультет активно сотрудничает с учебно-методическими объединениями. В 2001 г. на базе ПетрГУ проведено совместное заседание Учебно-методического совета Минобразования РФ по направлению 654700 – «Информационные системы» и Учебно-методической комиссии по специальности 220200 – «Автоматизированные системы обработки информации и управления», а в 2008 г. – пленум Учебно-методического совета по прикладной математике и информатике, информационным технологиям Учебно-методического объединения по классическому образованию.

Кафедры ИМО и ПМиК выполнили большую работу по организации обучения студентов коллективной разработке ПО в рамках годовой дисциплины «Программная инженерия», читаемой с 1993 г. Для вывода ее преподавания на мировой уровень кафедрой ИМО в 2004 г. был реализован подготовительный проект – прототип системы WebSynDic. В 2005 г. командой из пяти российских и шести финских студентов в режиме удаленного взаимодействия был завершен программный проект DaCoPAn для визуализации процесса передачи данных по протоколам Интернета. Отметим, что участвовавшие в этих проектах студенты сейчас работают на кафедрах и участвуют в преподавании дисциплины «Программная инженерия».

К 2007 г. на факультете сформировалась система подготовки по этой дисциплине, обеспечивающая овладение студентами необходимых компетенций. В системе предусмотрены следующие этапы:

1. Клуб творчества программистов (см. выше).

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

3. Программная инженерия. Осваиваются навыки командной разработки проектов. В 5-м семестре выполняется очень простой «минипроект», а в 6-м – немного более сложный проект (команда 4–6 человек), приближенный к реальным промышленным условиям (планирование, анализ требований, полноценный набор документации, процедуры обеспечения качества, выбор и следование стандартам, тестирование, аттестация и т. п.). Дополнительно по выбору читаются дисциплины «Инструментальные средства разработки ПО», «Обеспечение качества ПО» и «Генерация лексических и синтаксических анализаторов».

4. Исследовательские и промышленные проекты. Студенты как исполнители вводятся в реальные исследовательские или промышленные проекты на кафедрах и в IT-парке ПетрГУ (см. ниже).

В учебном процессе используются компьютерные средства на базе открытых программных платформ (ОПП) в средах ОС, производных от ОС UNIX, которые применяются для управления самым широким спектром аппаратных архитектур. Предвидя такое развитие, на кафедре ИМО с 1993 г. проводилось изучение ОС Linux (первый дистрибутив – Slackware на ста 3,5-дюймовых дискетах был любезно предоставлен зав. отделением информатики Университета г. Йоэнсуу (Финляндия) профессором Мартти Пенттоненом), подготовка преподавателей и разработка дисциплин. В сентябре 2001 г. была запущена серверная ЭВМ kappa.cs.karelia.ru, обеспечившая студентам сетевой доступ к необходимому набору программных продуктов и сетевых услуг в среде SUSE Linux.

В настоящее время потребности студентов и сотрудников удовлетворяются факультетской вычислительной системой, использующей ОC OpenSUSE. Система имеет мощные серверные ЭВМ, маршрутизаторы, домен cs.petrsu.ru (cs.karelia.ru), поддерживает распределенную файловую систему, резервное копирование, электронную почту, широкий набор инструментов разработки ПО, веб-серверы и зоны Wi-Fi кафедр и лабораторий. Наш опыт показывает, что использование ОПП в учебном процессе способствует формированию у студента таких фундаментальные компетенций, как архитектурная культура, прямое использование языков программирования, разработка системного ПО. Инструменты ОПП и патентованных сред практически не отличаются, и выпускник, имеющий ООП-навыки, свободно работает в патентованных средах. Обратное, к сожалению, неверно.

Итоги работы факультета по решению задачи планирования подготовки специалистов, способных к долговременной эффективной профессиональной работе в условиях диверсификации ИКТ (далее ЗАДАЧА), сформулированы в виде концепции «обратного подхода», представленной в пленарном докладе на конференции SooRuuComom. Выполненный в этой работе сравнительный анализ характеристик Ядер совокупностей базовых знаний дисциплин «Computer Science», «Information Systems», «Information Technology» и «Software Engineering», показывает, что эти Ядра полностью размещаются в объеме учебного времени стандарта бакалавриата 010500 «Прикладная математика и информатика», выделенного на изучение ИКТ. В работе обосновывается вывод, что задача может быть решена путем усиления фундаментальности образования на основе концепции «обратного подхода», когда соответствующие инженерные компоненты вносятся в стандарты, обеспечивающие высокую математическую культуру.

Международное сотрудничество

В 1994 г. кафедра ПМиК при финансовой и организационной поддержке финской компании «Valmet Automation» (сейчас – «Metso Automation») провела международную конференцию «Новые информационные технологии в ЦБП», собравшую представителей крупнейших предприятий отрасли, важнейших специализированных отраслевых организаций, а также ряда университетов России и Финляндии.

В 90-е гг. XX в. в России были закрыты многие отраслевые НИИ и КБ. В этих условиях ПетрГУ стал площадкой по обмену опытом между предприятиями и разработчиками систем автоматизации производства. Участники первой конференции отметили практическую ценность подобного обмена и целесообразность проведения конференций в Петрозаводске на регулярной основе один раз в два года. В сентябре 2012 г. ПетрГУ провел юбилейную десятую конференцию. Регулярное проведение подобных конференций еще больше укрепило связи кафедры ПМиК с предприятиями и специалистами ЦБК, позволило получать актуальную информацию о перспективных прикладных задачах на производствах.

Сотрудничество с отделением информатики Хельсинкского университета (Финляндия) с 1993 г. проводилось в виде исследовательских и учебных визитов преподавателей и студентов в Хельсинки и ответных визитов финских коллег в форме «недели приглашенного лектора» для чтения студентам современных спецкурсов по выбору. С 1997 г. проводится Ежегодный международный научный семинар «Annual International Workshop on Advances in Methods of Information and Communication Technology (AMICT), где студенты и молодые ученые представляют свои работы. Вышло в свет одиннадцать томов Трудов семинара. В 2001 г. было разработано общее ядро учебных планов направления «Прикладная математика и информатика» ПетрГУ и направления «Computer Science» Хельсинкского университета. Тогда же на факультете, на базе этого ядра, открылась специализация «Системные технологии Интернета», для которой было разработано восемь специальных и факультативных дисциплин.

Впоследствии к сотрудничеству подключились университеты городов Йоэнсуу, Куопио, Оулу. Преподаватели факультета математического факультета ПетрГУ читают в этих университетах спецкурсы, ведут совместные исследования. Факультет также участвовал в программах подготовки магистров IMPIT и Трансграничного Российско-Финляндского университета (CBU), организовывал летние и зимние школы для студентов из Финляндии. Доцент Д. Ж. Корзун проводит совместные исследования с коллегами из института Helsinki Institute of Information Technology.

В 2008 г. ПетрГУ вступил в Международную ассоциацию открытых инноваций FRUCT (http://fruct.org/), цель которой – дать возможность студентам повысить свой профессиональный уровень, участвуя в проектах, требующих творческого подхода и получения практических результатов. Опираясь на опыт применения ОС Linux и современную систему подготовки по дисциплине «Программная инженерия», по инициативе FRUCT факультет начал, поддержанную небольшими грантами Nokia, разработку приложений для мобильных устройств N800, N810, N900 компании Nokia в среде Linux-подобных ОС Maemo и Harmattan. На базе этих работ в IT-парке ПетрГУ была создана Лаборатория беспроводных и мобильных технологий ПетрГУ-Nokia-NSN, выполнявшая разработки силами сотрудников и студентов, что позволило вывести процесс подготовки кадров на качественно более высокий уровень.

В 2011 г. ПетрГУ совместно с FRUCT получил три крупных гранта на общую сумму более 1200000 евро за счет Программы приграничного сотрудничества в рамках европейского инструмента соседства и партнерства «Карелия» (ППС ЕИСП «Карелия»), финансируемой Евросоюзом, Финляндией и Россией. Цель первого гранта («Комплексное развитие регионального сотрудничества в сфере открытых инноваций в области информационно-коммуникационных технологий») состояла в дальнейшем развитии лаборатории для формирования коллектива, способного разрабатывать приложения, пригодные к размещению в сетевых магазинах. В настоящее время эта задача решена, более двадцати приложений для ОС Symbian, Maemo, Harmattan, Android и Windows Phone размещены в сетевых магазинах соответствующих компаний и загружены несколько сот тысяч раз. Была также развернута работа по направлению «Интеллектуальные пространства (Smart Spaces)». Два других гранта были направлены на развитие мобильных приложений для туристов и людей с ограниченными возможностями и завершаются в конце 2014 г. В настоящее время на базе этих работы получены гранты РФФИ и Минобрнауки РФ для работ по направлениям «Интеллектуальные пространства» и «Интернет вещей (Internet of Things)».

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

Студенты и преподаватели Пятинедельной летней практики 2009 г.
Разработка мобильных приложений.
На переднем плане Дмитрий Корзун (слева) и Юрий Богоявленский.

Менеджеры и создатели команды молодых разработчиков.
Сидят: Юрий Богоявленский, Антон Шабаев, Анатолий Воронин,
Сергей Баландин, Дмитрий Корзун.
Стоят: 1-й ряд: Диана Зацева, Евгений Цветков, Андрей Богачев,
Кирилл Кулаков, Александра Рейсс, Дмитрий Косицын.
2 ряд: Станислав Епифанов, Игорь Бурлак, Александр Ломов,
Кирилл Ивашов, Ингмар Бергман, Андрей Мегенин, Сергей Захаров,
Александр Санников.

Инновационная инфраструктура ПетрГУ

Качественным прорывом в развитии инновационно-производственной деятельности ПетрГУ стало создание в 2005 г. IT-парка. После реконструкции в здании площадью более 4000 кв. м были оборудованы более 200 рабочих мест для студентов, аспирантов, преподавателей и сотрудников – специалистов в области математического моделирования, информационных и нанотехнологий, микроэлектроники. Здесь же разместились Клуб творчества программистов, Студенческий бизнес-инкубатор, Управление инновационно-производственной деятельности ПетрГУ.

Подразделения IT-парка выполняют заказы ведущих российских и зарубежных предприятий и организаций, активно участвуют в проектных и грантовых программах. Среди наших партнеров и заказчиков предприятия ЛПК, ЦБП, машиностроительной и нефтехимической отраслей России, мировые лидеры инноваций – Nokia , Samsung, Metso Automation, Metso Minerals, Outotec и др. В 2010–2012 гг. на базе IT-парка создано 14 малых инновационных предприятий, в т. ч. компания «Оптисофт», которая в 2013 г. выполнила заказы по разработке программных систем на сумму около 40 млн рублей.

В настоящее время IT-парк активно внедряет ранее выполненные работы и ведет перспективные оптимизационные разработки. Наряду с адаптацией разработанных систем к интегрированным системам управления предприятиями на базе систем R/3, ORACLE, 1C и др. ведется разработка моделей, алгоритмов и программных комплексов решения новых задач планирования и управления производствами, возникающих на предприятиях, с которыми налажено прочное сотрудничество.

Накопленные опыт, кадровый и научный потенциалы позволяют открывать новые направления разработок и исследований. Например, IT-парк приступил к разработке систем планирования и управления производствами на основе распределенных вычислений в рамках проекта «Исследование задач оптимального планирования производственных процессов и разработка программной платформы для их решения с использованием частного облака по технологии SaaS».

Совершенствование математических методов и технических средств решения оптимизационных задач и средств сбора информации позволяет ставить и решать задачи разработки систем управления отраслевыми или территориальными производственными комплексами. Например, IT-парком завершена разработка комплексной системы планирования и управления предприятием ЦБП ОАО «Кондопога» начиная от поступления лесосырья и приемки заказа, вплоть до отгрузки готовой продукции.

Заключение

Деятельность коллективов – сначала кафедры ПмиК, затем кафедры ИМО, а в дальнейшем IT-парка ПетрГУ обеспечила динамичное развитие направлений экономико-математического моделирования, прикладных методов оптимизации и современных ИКТ. В ПетрГУ создан математический факультет, а сформированная на нем научно-педагогическая школа обеспечивает подготовку высококвалифицированных кадров, востребованных как в Республике Карелия, так и за ее пределами. Коллективу факультета удалось сформулировать широкий круг практически важных и теоретически интересных задач, разработать и внедрить различные системы управления предприятиями и технологическими процессами, организовать разработку программных систем и мобильных приложений на основе индустриальных методов программной инженерии.

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

Учебный процесс математического факультета полностью соответствует современным мировым тенденциям, планируется и развивается в тесном контакте с сообществами учебно-методических объединений России на основе построенной на базе собственного опыта концепции «обратного подхода».

IT-парк ПетрГУ представляет собой современную технологическую площадку для воспитания студентов в духе энтузиазма и общественной важности осваиваемой ими профессии. В настоящее время подразделения IT-парка ПетрГУ полностью реализуют идею задуманной Л. В. Канторовичем хозрасчетной экономико-математической организации, способной материально обеспечить своих сотрудников за счет решения важных задач планирования и управления производствами.

Статья в журнале ACM Inroads