Научно-образовательный центр инновационного программирования
НОЦ создан в 2006 году целью проведения фундаментальных и прикладных исследований в области современного программирования и верификации систем, продвижения существующих разработок и технологий в различные сферы деятельности.
Научный руководитель НОЦ - доктор физико-математических наук, профессор, заведующий кафедрой теоретической информатики Соколов Валерий Анатольевич, тел. (4852)- 30-25-64
Основные направления деятельности НОЦ
Образовательная деятельность, направленная на подготовку, переподготовку и повышение квалификации специалистов в области современных методов создания программных комплексов и инновационного программирования.
Научно-исследовательская деятельность по разработке принципов моделирования, спецификации и верификации распределенных систем, а также методов и технологий синхронного и «автоматного» программирования, направленных на построение надежных программ для систем управления широкого профиля.
Инновационная деятельность с целью продвижения научных исследований и новых разработок для создания конкурентоспособного наукоемкого продукта.
Поддержка научной деятельности студентов, аспирантов и молодых ученых.
Развитие партнерских связей с российскими и зарубежными научно-образовательными центрами.
Структура НОЦ включает в себя учебные, учебно-научные и научно-производственные лаборатории, рабочие группы для выполнения НИР и образовательных проектов.
Проекты НОЦ
Заказчик Минобрнауки РФ, тематический план НИР вуза
«Нейронные сети нового поколения на динамических элементах с запаздыванием для решения задач распознавания образов и ассоциативной памяти.» - 2011;
проекты АВЦП «Развитие научного потенциала высшей школы» 2009-2011 годы:
«Разработка системы автоматизации работы структур ИТ парка с применением технологий машинного обучения для автоматической классификации данных при трансфере технологий и взаимодействии научного и бизнес секторов.» (2009-2011),
«Создание распределенной образовательной среды мультимедиа взаимодействия с централизованными источниками информации и индивидуальными пользователями для стандартных и беспроводных IPv6 сетей.» (2009-2011);
государственные контракты ФЦП «Научные и научно-педагогические кадры инновационной России» 2009-2013 годы:
«Моделирование и анализ информационных и телекоммуникационных систем» (2012-2013),
«Разработка, моделирование и анализ производительности транспортных протоколов в коммуникационных сетях» (2012-2013),
«Разработка фундаментальных принципов и инновационных прикладных методов для моделирования, анализа и верификации информационных систем.» (2009-2011),
«Автоматическое построение тезауруса как метаописания предметной области по оцифрованным справочным и научным источникам (на примере поэтологии)» (2016-2018),
«Исследование и разработка методов и средств организации высокоскоростных беспроводных автоконфигурируемых сетей подвижных объектов» (2015-2016),
«Моделирование, анализ и верификация новых транспортных протоколов для современных коммуникационных сервисов» (2014-2015),
«Методы моделирования и верификации программ логических контроллеров» (2012-2014),
«Разработка, моделирование и анализ коммуникационных протоколов транспортного уровня с управлением потоком передачи данных, минимизирующим задержку» (2012-2013),
«Счетчиковые сети ограниченной размерности» (2012-2013),
«Разработка формальных моделей распределенных систем и исследование их семантических свойств.» (2007-2009),
«Разработка, моделирование и анализ новых коммуникационных протоколов.» (2011-2013);