Информационные системы и телекоммуникации

Кафедра ИУ3
27 мая 2014, 14:00

Формальный логический анализ корректности спецификаций сетевых SIP-протоколов

Докладчик: Наунг М. Т.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
В работе в отличие от известных работ для проверки правильности и корректности SIP-спецификаций (Session Initiation Protocol) предлагается использовать значительно более выразительный, хорошо структурированный и теоретически более развитый вариант языка, основанный на моделях взаимодействующих последовательностных процессов (?-исчислениий). Спецификации должны удовлетворять определенным свойствам, которые описываются формально на языке временной модальной логики. Поиск ошибок осуществляется с помощью доказательства наличия указанных формальных свойств. Если таких свойств не оказывается, то это считается ошибкой. Процессные модели позволяют гораздо более четко и полно классифицировать и описывать типы ошибок. В качестве инструментария для поиска ошибок предлагается использовать язык логического программирования ПРОЛОГ, то является более изящным, полным и не имеющим ограничений подходом проверки правильности и корректности спецификаций.
177
5
Кафедра ИУ3
29 апреля 2014, 16:00

Исследование принципов перехода от беспроводных сетей третьего поколения к четвертому

Докладчик: Локтев Д. А.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
В докладе рассмотрена комплексная методика определения параметров движущихся объектов на основе использования алгоритмов стереозрения и размытия изображения объекта, полученных с двух камер. При этом учитываются особенности двух методов, параметры которых сопоставляются для дальнейшего использования в едином алгоритме. Предлагаемая методика лучше существующих одноподходных методов позволяет определить расстояние до движущегося объекта. При проектировании и реализации пользовательского интерфейса для управления мультикомпонентной системой видеомониторинга разработанные программные модули учитывают возможность влияния оператора-пользователя на различных этапах эксплуатации комплекса видеомониторинга и возможность встраивания системы безопасности предприятия или отдельно взятого объекта в более крупную систему обеспечения безопасности на транспорте, объектах инфраструктуры, зданиях и сооружениях.
197
5
Кафедра ИУ3
29 апреля 2014, 14:00

Удаление тени и выделение контуров на цифровых изображениях

Докладчик: Попов В. С.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
В докладе представлены некоторые новые алгоритмы нижнего уровня в обработке цифровых изображений, а именно вычитание тени с помощью корреляции и выделение контуров на цифровых последовательностях изображений статистическими методами используя дисперсию, абсолютное отклонение и критерий согласия Пирсона. Произведён анализ разработанных методов по сравнению с традиционными методами вычитания фона и выделения контуров.
191
5
Кафедра ИУ3
15 апреля 2014, 16:00

Исследование принципов перехода от беспроводных сетей третьего поколения к четвертому

Докладчик: Асмарян А.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
Доклад посвящен тематике магистерской диссертации, а именно раскрытию основных моментов, которым было уделено время в работе.

В данной квалификационной работе главенствующая роль была уделена исследованию принципов перехода от беспроводных сетей третьего поколения к четвертому. Подробно описываются пути миграции к современным сетям, приводятся расчеты, необходимые для радио-планирования сети и на их основе даются рекомендации. Проводится симуляция физических процессов. Отдельное место уделяется разработке алгоритмов оптимизации, применительно к работе новейших стандартов связи, включая алгоритм балансировки нагрузки и скоординированной многоточечной связи.
192
5
Кафедра ИУ3
15 апреля 2014, 14:00

Разработка и исследование интеллектуальных мультимодальных интерфейсов

Докладчик: Леванов А.

Организация:  МГТУ им. Н. Э. Баумана

Аннотация
Предложен метод объективного usability-тестирования, основанный на анализе электроэнцефалограммы пользователей. Созданы алгоритмы, позволяющие в реальном времени анализировать мозговые волны пользователя и с высокой степенью достоверности указывать, в каком из состояний (обычное или возбужденное) он находится. Используя методику, проведены тестирования ранее созданных мультимодальных интерфейсов и сделаны выводы об их удобстве для пользователя. Предложен метод проектирования интерфейсов на основе анализа ЭЭ.
194
5
Кафедра ИУ3
11 марта 2014, 14:00

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

Докладчик: Непейвода Н. Н.

Организация: Институт программных систем РАН, МГТУ им. Н. Э. Баумана

Аннотация
Сейчас развитие суперкомпьютеров подошло к трём барьерам: скорость света (предел Эйнштейна), тепловыделение (предел Ландауэра), сложность программ (предел Чейтина). Первый пока кажется непреодолимым. Два других можно попытаться преодолеть, но это требует принципиально другой организации программ и аппаратуры. Показано, что вычисления, безотносительно к конкретным языкам программирования и элементной базе, описываются алгебраической структурой программных алгебр и приводятся основные теоретические результаты. Приводятся примеры, как на языке алгебр описываются некоторые системы управления и программирования. Описываются на языке алгебр системы обратимых вычислений и частично обратимых вычислений. Предлагается программа совместных c МГТУ им. Н. Э. Баумана широких задельных исследований по созданию программного обеспечения, подбору элементной базы и построению интерконнекта для алгебраических вычислений.
199
5
Кафедра ИУ3
10 декабря 2013, 14:00

Программное моделирование телеметрической информации в формате IRIG 106

Докладчик: Эльшафеи М. А.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
Рассматривается задача имитации потоков телеметрической информации передаваемых по каналу с шумами. Дается описание программной реализации имитатора, предназначенного для проведения исследований, направленных на совершенствование алгоритмов обработки телеметрической информации, включая алгоритмы кадровой синхронизации, сжатия и помехоустойчивого кодирования. Представленная технология имитации потоков данных телеизмерений так же может быть использована для проведения испытаний систем регистрации телеметрической информации различного назначения, использующих стандарт представления телеметрической информации IRIG 106, тестирования программного обеспечения телеметрических комплексов, а также, при наличии ретранслирующих устройств, для тестирования и поиска неисправностей в аппаратной части телеметрических комплексов. Предлагается схема настройки системы коммутации кадров и суб-кадров IRIG 106. Рассматриваются способы формирования датчиковой информации различного типа, включая тестовые шаблоны, отсчеты гармонических сигналов, произвольно заданные цифровые последовательности, ранее записанные данные, а также сигналы, формируемые линейными цифровыми фильтрами. Рассматривается метод моделирования эффекта наложения аддитивного Гауссовского шума на этапе сбора данных в отдельных каналах системы коммутации, а также искажений цифровых данных в канале связи при передаче телеметрической информации от бортового устройства приемнику системы регистрации.
215
5
Кафедра ИУ3
3 декабря 2013, 14:00

Разработка и верификация процессов синхронизации моделей

Докладчик: Ошкало Д. В.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
Процесс синхронизации моделей занимает одно из ключевых мест при моделе-ориентированной разработке программного обеспечения. Однако использующиеся в настоящее время методы приведения моделей к консистентному в некотором смысле состоянию недостаточно эффективны, т.к. используется лишь информация о структуре моделей, не анализируются семантические связи между ними. Разнообразие используемых в процессе разработки моделей приводит к трудностям при создании единого подхода к синхронизации. В ряде случаев, можно выделить некоторые особенности процесса синхронизации: гетерогенный характер синхронизируемых моделей, сложность задания отношения консистентности между ними, обусловленная наличием множества вариантов их согласованного существования и т.д. Все это приводит к тому, что на текущий момент не выработано методики по проектированию систем и инструментов синхронизации моделей, и, как правило, разработчики вынуждены решать данную проблему собственными силами.Предлагается новый подход к построению инструментов синхронизации моделей путем их реализации как систем параллельных взаимодействующих процессов с привлечением аппарата процессной алгебры. В качестве метода верификации процесса синхронизации предлагается использовать доказательство соответствия процесса некоторой спецификации, с одной стороны характеризующей особенности поведения этого процесса, с другой – его функциональные особенности, обусловленные преобразованием моделей. В основе данного метода лежит формальное процессное описание механизмов синхронизации и свойств их корректности с последующей проверкой этих свойств при помощи логического вывода. Для верификации функциональных характеристик процесса синхронизации вводится понятие эквивалентности процессов относительно их воздействия на синхронизируемые модели, рассматриваются особенности его применения.
196
5
Кафедра ИУ3
12 ноября 2013, 14:00

Объединение разнородных инженерных описаний сложных программных систем на основе общей онтологии для разработки, управляемой моделями

Докладчик: Иванов А. М.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
Повышение скорости и качества разработки программных систем является одной из ключевых проблем в области создания инструментов автоматизации разработки. Разработка, управляемая моделями (model-driven development) – новый развивающийся подход, заключающийся в том, что создается набор формальных моделей частей разрабатываемой системы на предметно-ориентированных языках (domain-specific languages), которые затем верифицируются и транслируются в исходный код на языке общего назначения. В настоящее время такие модели программных систем привязаны специфике к конкретной системы и носят фрагментарный характер, что не позволяет получить целостную модель программной системы и повторно использовать накапливаемые модели. В докладе предложено решение задачи интеграции разнородных инженерных моделей программных систем на основе общей онтологии инженерных знаний ISO15926. Для этого три группы системно-инженерных архитектурных описаний сложных программных систем (функционально-модульное, компонентное, описание развертывания) объединяются в базе знаний на основе общей онтологии. Для оценки возможностей такой системы проанализированы разные виды знаний и рассмотрена прагматика их использования в процессе разработки программных систем. Описан жизненный цикл разных видов знаний. Построена пространственно-временная модель использования такой базы знаний. По результатам анализа сформулированы показатели качества базы знаний, проведен анализ сложности логического аппарата, требующегося для представления знаний. Поставлена и решается задача оптимизации структур данных для представления инженерных знаний и алгоритмов работы с ними.
189
5
Кафедра ИУ3
5 ноября 2013, 14:00

Компарирование шумовых сигналов в миллиметровом диапазоне длин волн

Докладчик: Петросян О. Г.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
Доклад представленный для публикации в рецензируемом журнале: Адерихин В. И., Петросян О. Г., Сарсян М. В. Компарирование шумовых сигналов в миллиметровом диапазоне длин волн.
224
5