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

Кафедра ИУ3
5 марта 2013, 14:00

Декларативно-процессная методология проектирования мультимодальных интерфейсов

Докладчик: Алфимцев А. Н.

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

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

Трансляция с Акторного Пролога в Джаву

Докладчик: Морозов А. А.

Организация: Институт радиотехники и электроники РАН

Аннотация
Краткая история проекта «Акторный Пролог». Примеры решения задач на Акторном Прологе. Исследование асинхронных параллельных алгоритмов. Сбор и анализ информации в Интернет. Эксперименты с 3D-визуализацией собранной информации (VRML). Анимация функциональных диаграмм. Обработка текстов, генерация документов (LaTeX, HTML, VRML). Эксперименты с трёхмерной графикой (Java3D). Первая версия транслятора Акторного Пролога в Джаву. Библиотека предопределённых классов Акторного Пролога на Джаве (JDK7). Возможность расширять систему, просто добавляя новые классы на Джаве. Новые решения проблемы создания объектов в логическом программировании. Интерфейс с Java3D. Создание статических 3D-сцен. Развитие учебного курса на базе Акторного Пролога и, в частности, учебной системы программирования на Акторном Прологе (МГППУ). Разработка и реализация методов компиляции объектно-ориентированного логического языка. Разработка новых предопределённых классов языка. В будущем – перенос исходников Акторного Пролога с Вижуал Пролога на Акторный Пролог. Разработка новых классов на Джаве для подключения к Акторному Прологу. Эксперименты с Java3D, реализация Интернет-протоколов различного уровня, взаимодействие с базами данных, реализация двухмерной графики, эксперименты с пользовательским интерфейсом. Реализация студенческих проектов на Акторном Прологе.
204
5
Кафедра ИУ3
3 апреля 2012, 14:00

Аналитический синтез комбинационных схем

Докладчик: Выхованец В. С.

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

Аннотация
В отличие от большинства работ по функциональному синтезу задача аналитического синтеза имеет другую постановку, при которой с целью получения эффективных описаний дискретных устройств переменные и функции принимают значения на произвольных конечных множествах, а операции вычисляются в процессе самого синтеза. Например, в логическом управлении рассматривается единое множество значений для всех переменных и функций, а функциональные построения осуществляются в заданном базисе операций. При исследовании конечных универсальных алгебр изучается только классификация и строения алгебраических систем, а задача вычисления алгебраических операций с требуемыми свойствами не ставится. В докладе рассмотрен аналитический синтез комбинационных автоматов, сведенный к аналитической декомпозиции дискретных функций, где под аналитической декомпозицией понимается представление дискретной функции в виде скобочной формулы в базисе произвольных бинарных операций. Аналитический синтез по постановке задачи близок методам синтеза формул в конечных алгебрах, где функциональные построения осуществляются в заранее определенном базисе операций. В этой области доминируют два метода – алгебраический и спектральный. В алгебраическом методе в заданной алгебре ищется какая-либо формула функции, а затем для получения формулы с требуемыми свойствами выполняются ее тождественные преобразования. Спектральный метод основан на разложении функции в ряд по некоторому множеству спектральных (ортогональных) функций, формулы которых известны. В отличие от методов функциональных построений при аналитической идентификации базис операций и конструкция искомой формулы заранее неизвестны, а основная цель идентификации – получение компактных представлений функции по ее выборочным значениям. Представляется методика аналитического синтеза формул, позволяющая получать наилучшие представления для функций, задаваемых в табличной форме. Описана процедура синтеза формул, основанная на вычислении бинарных операций и мест расстановки скобок. Приводятся прикладные примеры синтеза и даются оценки сложности синтезируемых формул.
275
5
Кафедра ИУ3
6 марта 2012, 14:00

Логический искусственный интеллект на основе миварного подхода

Докладчик: Варламов О. О.

Организация: Московский автомобильно-дорожный государственный технический университет

Аннотация
В отличие от традиционных подходов, разделяющих процессы хранения данных в базах данных и логический вывод, миварный подход позволяет создавать информационные системы, обрабатывающие информацию в реальном масштабе времени с совмещением логических выводов и вычислительной обработки. Миварный подход включает две основные технологии: миварная технология накопления информации – это способ создания глобальных эволюционных баз данных и знаний с изменяемой структурой на основе унифицированного представления данных и правил, базирующегося на трех понятиях «вещь», «свойство», «отношение»; миварная технология обработки информации – это способ решения логико-вычислительных задач путем создания системы логического вывода на основе миварной логико-вычислительной сети правил («миварная сеть», «MIVAR net»). В миварных сетях явно выделяются две доли: «правила» и «объекты», а за основу поиска алгоритма логического вывода берутся объекты, имеющие уникальную идентификацию, что делает их поиск линейным. Миварная сеть задается двухмерной матрицей, в которой для каждого правила задаются входные и выходные объекты (переменные), а каждый объект сопровождается списками правил, в которых он участвует в роли входного или выходного. Это позволяет избегать полного перебора правила. Рассматриваются результаты решения некоторых задач логического вывода с линейной вычислительной сложностью с использование разработанного программного обеспечения. Показывается эффективность миварного подхода для решения этих задач.
180
5