Это интересно
- ОКД
- ЗКС
- ИПО
- КНПВ
- Мондиоринг
- Большой ринг
- Французский ринг
- Аджилити
- Фризби
Опрос
Полезные ссылки
РКФ
Все о дрессировке собак
Стрижка собак в Коломне
Поиск по сайту
Технологии программирования. Журнал программирование официальный сайт
Учебные курсы
Спецсеминар «Корректность программ»
Авторы: д.ф.-м.н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Кулямин Виктор Вячеславович. Тип - осенний полугодовой курс.Спецсеминар «Корректность программ» состоит из трёх читаемых разными лекторами курсов: «Введение в логическое проектирование аппаратуры», «Введение в формальные спецификации» и «Технологии программирования и свободное программное обеспечение».
Методы генерации тестовых программ для микропроцессоров
Авторы: к.ф.-м.н. А.С. Камкин, А.Д. Татарников. Тип - осенний полугодовой курс.Курс предназначен для студентов 3-6 курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK.
Верификация программного обеспечения
Автор: к.ф.-м.н. Пакулин Николай Витальевич. Тип - весенний полугодовой курс.Курс представляет собой введение в методы верификации программного обеспечения. Цель курса - познакомить с предметом верификации ПО, представить широкую палитру существующих методов и подходов, осветить преимущества и ограничения, присущие методам верификации.
Открытые системы и организация безопасности сетевого соединения
Автор: к.ф.-м.н. Пакулин Николай Витальевич. Тип - осенний полугодовой курс.Курс представляет собой введение в проблему защиты передачи данных в открытых сетях. Его цель - показать студентам многообразие аспектов задачи обеспечения информационной безопасности, дать представление о методах проектирования комплексных систем защиты передачи данных.
Конструирование ядра операционной системы
Автор: к.ф.-м.н. Хорошилов Алексей Владимирович. Тип - полугодовой курс .Тестирование на основе моделей
Автор: к.ф.-м.н. Кулямин Виктор. Тип - весенний полугодовой курс.Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов на основе разбиения ситуаций на классы эквивалентности, а также использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы.
Технологии программирования. Компонентный подход
Автор: к.ф.-м.н. Кулямин Виктор Вячеславович. Тип - осенний полугодовой курс.Курс знакомит слушателей с технологическими проблемами разработки крупномасштабных программных систем, отличающими ее от разработки небольших программ, и методами решения этих проблем. Кроме того, рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий J2EE и .NET.
Формальная спецификация и верификация программ
Авторы: проф., д. ф.-м. н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Корныхин Евгений Валерьевич. Тип - осенний полугодовой курс.Курс посвящен проблемам разработки ответственных программных систем. Особый упор делается на вопросы формализации функциональных свойств систем и методы аналитической верификации. Студенты знакомятся с современными подходами и инструментами для верификации программ на языках системного и объектно-ориентированного программирования.
Обеспечение качества и тестирование
Автор: Кулямин Виктор Вячеславович, к.ф.-м.н., доцент.Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов на основе разбиения ситуаций на классы эквивалентности, а также использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы.
Компиляторные технологии и верификация программ
Автор: к.ф.-м.н., доцент, Гайсарян Сергей Суренович.Дисциплина «Компиляторные технологии» изучает методы и алгоритмы оптимизации процедур и программ в целом (все процедуры и библиотеки, участвующие в сборке программы), а также применение указанных технологий для обнаружения уязвимостей и других дефектов программ как в исходном коде (на языке высокого уровня), так и в машинном коде современных компьютеров.
Научно-исследовательский семинар "Системное программирование"
Автор: проф., д. ф.-м. н. Петренко Александр Константинович. Тип - 3-й курс, 1-3 модуль.НИС "Системное программирование" - это возможность получать образование в группе, которая ежегодно отбирается Институтом Системного Программирования РАН (ИСП РАН), начиная с 3-курса и до получения диплома бакалавра (с возможность дальнейшего обучения в магистратуре), и курируется новой базовой кафедрой ИСП РАН, организованной при департаменте ПИ ФКН с 2015-2016 учебного года.
Научная визуализация.
Автор: Профессор Семенов Виталий Адольфович, д.ф.-м.н. Тип - Весенний полугодовой курс.Цель курса — освоение студентами фундаментальных знаний в области визуализации и связанных с ней разделах компьютерной графики и вычислительной геометрии. Особое внимание в курсе уделяется базовым принципам визуализации, особенностям постановок задач, возникающих в разных предметных областях, а также важнейшим вычислительным методам и алгоритмам, применяемым при их решении.
Алгоритмы и алгоритмические языки.
Автор: Белеванцев Андрей Андреевич, к.ф-м.н. Тип - Осенний полугодовой курс для студентов 1 курса.Курс читается в качестве вводного программистского курса на факультетете ВМК МГУ и состоит из трех разделов: введение в теорию алгоритмов, язык программирования Си, и алгоритмы и структуры данных.
Статический анализ и машинно-независимая оптимизация программ.
Автор: Гайсарян Сергей Суренович, к.ф.-м.н., доцент. Тип - Полугодовой курс.Машинно-независимые методы оптимизации позволяют существенно оптимизировать поток управления программы, а также исключить из неё все виды избыточных вычислений (общие подвыражения, инвариантные вычисления в цикле, частично-избыточные вычисления), большую часть мертвого и недостижимого кода. Выполнение перечисленных оптимизаций позволяет ускорить программу на один два порядка. Эвристические методы и алгоритмы выполнения перечисленных преобразований и составляют предмет курса.
Теоретическая криптография.
Автор: Варновский Н.П. Тип - Осенний годовой курс.Основное назначение курса - изложение математических основ информационной безопасности. Акцент делается на доказуемой стойкости, в отличие от широко распространенного подхода, состоящего в разъяснении изощренных методов криптографической защиты. Курс не требует никаких предварительных знаний в области криптографии. Необходимо знакомство с основами моделей вычислений и теории сложности вычислений.
Теоретические основы численного анализа.
Автор: Шокуров А.В. Тип - Весенний полугодовой курс.Целью курса является ознакомление студентов с математическим аппаратом аппроксимации функций. Ознакомившись с этим курсом, студенты станут лучше понимать возможности и ограничения при программировании функций на компьютерах. Предполагается знание основных элементов функционального анализа.
Решетки, алгоритмы, теория чисел и современная криптография.
Авторы: Д.ф.-м.н. Кузюрин Н.Н., к.ф.-м.н. Шокуров А.В. Тип - Весенний полугодовой курс.Цель учебного курса - ознакомление студентов с важнейшими современными инструментами построения криптосистем, использующими методы теории чисел и алгебраической геометрии. Особое внимание уделяется методам, использующим решетки в евклидовом пространстве. Основой для использования такого подхода являются предположения о сложности некоторых задач на решетках.
Архитектура ЭВМ и язык ассемблера
Авторы: Академик Иванников В.П., профессор, заведующий кафедрой СП ВМК МГУ, Падарян В.А., доцент кафедры СП ВМК МГУ. Тип - Весенний полугодовой курс для студентов 1-го курса.Данный курс имеет своей целью изучение базовых принципов устройства современных ЭВМ, анализ качественных и количественных характеристик различных компонент ЭВМ, анализ влияния этих характеристик на работу прикладных программ. Помимо того, в рамках курса предполагается практическое освоение языка ассемблера архитектуры IA-32, изучение особенностей этой процессорной архитектуры, изучение взаимосвязей между архитектурой набора команд, механизмами реализации языка Си и системой программирования.
Базы данных
Автор: Профессор Кузнецов Сергей Дмитриевич, д.т.н. Тип - Осенний полугодовой курс для студентов 3-го курса.Основы обработки текстов
Курс знакомит слушателей с основными проблемами компьютерной обработки текстов и современными подходами к их решению. Рассматриваются как фундаментальные понятия и идеи, так и современные исследования в данной области. Особое внимание уделяется применению методов машинного обучения, которые активно развиваются в настоящее время и показывают лучшие результаты.
www.ispras.ru
Технологии программирования
О группе
Исследования в области технологий разработки и анализа программ, ведущиеся в институте, посвящены широкому спектру проблем программной и системной инженерии, теоретической и прикладной информатики. Они нацелены на развитие методов и создание инструментов, которые позволяют поддерживать или даже автоматизировать работы и процессы различных фаз жизненного цикла создания и эксплуатации программных и программно-аппаратных систем.
Основные темы исследований:
Моделирование программных систем
- Языки и средства моделирования архитектуры и поведения систем.
- Теоретические методы анализа конформности моделей поведения.
- Модели информационной безопасности.
Верификация программных и программно-аппаратных систем
- Тестирование на основе моделей.
- Тестирование математических библиотек.
- Инструменты и технологии верификации моделей программ (software model checking).
- Инструменты и технологии дедуктивной верификации.
- Конфигурационное тестирование.
- Инструменты тестирования моделей микропроцессоров.
Операционные системы
- Методы тестирования и верификации компонентов ядра ОС Linux, в том числе драйверов ОС.
- Гипервизоры, средства виртуализации для анализа и защиты программ.
- Методы спецификации и тестирования библиотек ОС Linux.
- Методы анализа совместимости развивающихся библиотек ОС Linux.
- Методы измерения временных характеристик ОС.
- Механизмы информационной безопасности и защиты ОС.
Встроенные системы и системы реального времени, телекоммуникационные протоколы, распределенные системы
- Инструменты управления требованиями.
- Моделирование и проектирование ответственных систем.
- Анализ функциональных, временных и ресурсных характеристик систем.
- Тестирование инфраструктуры мобильной телефонии.
Исследовательские группы и руководители НИР:
1. Петренко А.К. – заведующий отделом Технологий программирования, профессор, д.ф.-м.н.
Хорошилов А.В. – ведущий научный сотрудник, к.ф.-м.н.
- Операционные системы.
- Встроенные системы и системы реального времени.
2. Омельченко В.А. - научный сотрудник.
Федотов В.Н. - научный сотрудник.
- Тестирование инфраструктуры мобильной телефонии.
3. Бурдонов И.Б. - ведущий научный сотрудник, д.ф.-м.н.
Косачев А.С. - ведущий научный сотрудник, к.ф.-м.н.
- Теория конформности программных моделей.
4. Камкин А.С. - ведущий научный сотрудник, к.ф.-м.н.
- Верификация микропроцессоров.
5. Пакулин Н.В. - старший научный сотрудник, к.ф.-м.н.
- Телекоммуникационные протоколы.
- Гипервизоры, средства виртуализации для анализа и защиты программ.
Контакты
Петренко Александр Константинович, д.ф.- м.н., профессор, заведующий отделом. E-mail: [email protected] Телефон: +7(495) 912-56-59 (доб. 4404). Комната: 215.
Вивчарук Ирина. E-mail: [email protected] Телефон: +7(495) 912-56-59 (доб. 4422). Комната: 202.
www.ispras.ru
Информационные системы
Об отделе
Сотрудники отдела специализируются на решении широкого круга задач управления данными и разработки информационных систем. Отдел состоит из нескольких научных групп, интересы которых включают разработку системного программного обеспечения для обработки и анализа данных, системы управления базами данных, технологии распределенной обработки больших данных, технологии облачных вычислений. Кроме того, отдел занимается разработкой алгоритмов статистического анализа данных и машинного обучения, а также программного обеспечения для решения прикладных задач. Ведутся работы по созданию программного обеспечения для интеллектуального анализа текстов, анализа социальных сетей, задач биоинформатики и обработки мультимедийных данных.
Основными направлениями работы научной группы являются разработка программных средств обработки естественного языка, анализа социальных сетей, а также систем анализа и обработки больших объемов данных.
Обработка естественного языка и анализ текстов
Обработка естественного языка (Natural Language Processing, NLP) – научная область на стыке информатики, искусственного интеллекта и лингвистики, изучающая проблемы компьютерного анализа и синтеза текстов и речи на естественных языках. NLP начинает свою историю одновременно с появлением первых компьютеров и в настоящее время демонстрирует очередной подъем, вызванный взрывным ростом вычислительных мощностей и доступной текстовой информации – как в виде «сырых» данных Веба, так и размеченных ресурсов, например Wikipedia или Freebase. В области обработки естественного языка выделяется множество направлений; научные интересы сотрудников отдела Информационных систем наиболее близки следующим направлениям:
- Семантический анализ текстов, включая семантическое аннотирование, разрешение лексической многозначности, выделение ключевых понятий, автоматическое извлечение баз знаний.
- Информационный поиск, в том числе семантический поиск и исследовательский поиск.
- Извлечение информации, в том числе, распознавание именованных сущностей, извлечение терминологии, разрешение кореферентности.
- Анализ тональности текста.
Используемые методы обычно представляют собой комбинацию статистических (как правило, основанных на машинном обучении) и лингвистических. Учитывая природу современных текстовых и речевых данных, также используются методы из смежных областей, в том числе анализа социальных медиа и управления данными.
Анализ социальных сетей
Анализ социальных сетей - направление современной компьютерной социологии, которое занимается описанием и анализом возникающих в ходе социального взаимодействия и коммуникации связей (сетей) различной плотности и интенсивности. Особый интерес представляет исследование данных пользователей онлайновых социальных сетей (вКонтакте, Facebook, Twitter, YouTube и другие), которые к настоящему моменту стали неотъемлемой частью Сети. В современных социальных графах сочетаются различные типы узлов и рёбер, а также разнообразные источники текстовых, графовых, мультимедийных и других типов пользовательских данных. В ИСП РАН разработан стек технологий для анализа пользовательских данных из социальных сетей, основными компонентами которого являются следующие оригинальные методы:
- Поиск неявных сообществ пользователей на основе социальных связей между ними.
- Идентификация пользователей различных социальных сетей: поиск различных вариантов виртуальных личностей одного и того же пользователя в нескольких социальных сетях.
- Определение демографических атрибутов пользователей (пол, возраст, религиозные и политические взгляды, семейное положение и уровень образования) с помощью лингвистического анализа текстов их сообщений.
- Измерение информационного влияния между пользователями в социальных сетях с ориентированными связями и преобладанием текстового содержимого.
- Генерация случайных графов, обладающих основными свойствами социальных сетей и заданной структурой сообществ пользователей. Для каждого пользователя осуществляется генерация атрибутов профиля, социальных связей, сообществ и текстовых сообщений.
- Сбор пользовательских данных из социальных сервисов.
В разработанных технологиях находят применение методы машинного обучения, вероятностное моделирование, графовые алгоритмы, методы обработки текста на естественном языке, а также современные технологии для распределённого хранения и анализа больших массивов данных. В большинстве методов сочетается анализ сетевых данных (социальные связи между пользователями) и текстовых данных (сообщения и профили пользователей).
Инфраструктура для анализа и обработки больших данных
В настоящее время одной из наиболее острых проблем, стоящих перед человечеством, является разработка эффективных методов хранения, обработки и анализа стремительно растущего объема данных (англ. Big Data). Например, пользователями социальной сети Facebook ежедневно загружается 83 миллиона изображений на 200-400 Тб, а Google обрабатывает более 25 петабайт в день. Общее количество данных удваивается каждые полтора года. При этом данные приходят из различных источников, не имеют общей схемы, семантически и синтаксически не консистентны. Это привело к тому, что за последнее десятилетие отношение к данным изменилось. В отличие от прошлого века, когда данные представляли самостоятельную ценность и часто засекречивались, сейчас большинство данных доступно каждому. А преимуществом обладают те организации, которые научились максимизировать их ценность путем извлечения высококачественной и своевременной информации. Исследования по обработки больших данных ведутся на основе открытого стека технологий Apache. Центральной площадкой в области свободного ПО для управления данными является проект Apache Hadoop - свободное ПО для надежных масштабируемых распределенных вычислений. Вокруг этого проекта создаются специализированные системы для хранения и обработки больших данных. Одним из наиболее перспективных проектов является Apache Spark, позволяющий существенно ускорить обработку данных. Сотрудники отдела принимают активное участие в развитии этого проекта.
Контакты
Турдаков Денис, к.ф.-м.н., заведующий отделом. E-mail: [email protected] Телефон: +7(495) 912-56-59 (доб. 461).
Кузнецов Сергей Дмитриевич, д.т.н., главный научный сотрудник. E-mail: [email protected] Телефон: +7(495) 912-56-59 (доб. 412).
www.ispras.ru
 | Двуязычный электронный научный журнал "Программные системы: теория и приложения" · публикует тщательно подготовленные добротные научные статьи по информатике, вычислительной технике и управлению, · широко и стабильно представляет в мире новые научные результаты русскоязычных авторов и новое видение ими научных проблем, · этим способствует укреплению российской науки и развитию международного сотрудничества.
Главный редактор журналачлен-корреспондент Российской академии наукдоктор физико-математических наук, Директор Института программных систем имени А. К. Айламазяна РАН Сергей Михайлович Абрамов Двуязычность журнала означает практику публикаций на одном либо параллельно на нескольких языках с обязательными полным текстом на русском или английском языке и содержательными аннотациями на русском и на английском языках (для статей нерусскоязычных авторов аннотация на русском языке от авторов не требуется). Качество статей определяется отбором и доработкой. После оперативного редакторского контроля соответствия тематики, чёткости описания научной новизны и корректности заимствований публикуемая статья проходит: двойное слепое содержательное рецензирование активно работающими в близкой области специалистами, авторскую доработку по итогам рецензирования и предложений редактора по улучшению текста и иллюстраций, редакторскую подготовку, согласование корректуры с автором и редакторскую доводку публикуемого файла до сертификации стандарта PDF/A. Для выявления и исправления мелких недочётов и окончательной проверки на антиплагиат используется месячный карантин от открытой публикации в интернет до официальной передачи метаданных. Широта представления результатов обеспечивается свободной доступностью сайта в интернет и регулярным представлением метаданных в российские и зарубежные поисковые и научно-библиометрические сервисы. Стабильность публикации гарантируется свободной доступностью сайта журнала, резервным копированием и регулярным предоставлением публикаций в электронные библиотеки по расширяющемуся списку.
|
psta.psiras.ru
