В среду 5 ноября 2003 г. в 10.50 в ауд. 685
с о с т о и т с я

Доклад: "Программно-информационное обеспечение многоязыковой генерации текстов"
(Докл. Болдасов Михаил Викторович, кафедра АЯ ф-та ВМиК)

В докладе рассматривается вопрос разработки программно-информационного обеспечения многоязыковых генераторов текстов на Естественном Языке (ЕЯ). Под программно-информационным обеспечением здесь понимается с одной стороны информационное обеспечение, состоящее из словарей, грамматик и других языковых ресурсов, и с другой стороны программное обеспечение - среда поддержки процесса генерации текстов и разработки генераторов. Под генератором текстов здесь понимается компьютерная программа, создающая из формального представления информации (структур данных, таблиц и логических выражений) понятные пользователю и правильно оформленные в соответствии с решаемой задачей тексты на ЕЯ (русском, английском и других). Под многоязыковым генератором понимается компьютерная программа, порождающая тексты на нескольких естественных языках из одного формального представления информации.

Целью представленного исследования является разработка общих методов и алгоритмов генерации текстов на ЕЯ и создание на их основе программно-информационного обеспечения как собственно генерации текста, так и процесса разработки многоязыковых генераторов.

Основными результатами работы являются:

Результаты исследования используются в двух конкретных системах генерации текстов:

В среду 29 октября 2003 г. в 10.50 в ауд. 685
с о с т о и т с я

Доклад: "Метод расчёта средней задержки пакета в сетях, использующих технологию передачи "wormhole""
(Докл. Николай Веселов, кафедра АСВК ф-та ВМиК )

В докладе рассматриваются специализированные сети передачи данных без промежуточной буферизации пакетов в коммутаторах (?wormhole? networks). Данные сети применяются при построении высокопроизводительных вычислительных комплексов и специализированных систем управления технологическими процессами.
Одной из ключевых характеристик функционирования рассматриваемых сетей является средняя задержка пакета, то есть среднее время, которое пакет проводит в сети. Настоящий доклад посвящён разработке методики расчёта этой характеристики для класса ?wormhole? сетей в которых отсутствуют тупиковые ситуации. Построена математическая модель работы сети и предложен оригинальный метод расчёта средней задержки пакета.
Результаты представленного исследования могут использоваться при решении задач проектирования и эксплуатации сетей передачи данных без промежуточной буферизации, разработке оптимизирующих алгоритмов маршрутизации, построении систем управления прохождением задач для высокопроизводительных вычислительных комплексов.

В среду 15 октября 2003 г. в 10.50 в ауд. 685
с о с т о и т с я

Доклад: "Методы автоматического анализа изображения лица для построения естественного интерфейса человек-компьютер"
(Докл. Владимир Петрович Вежневец, кафедра АСВК ф-та ВМиК )

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

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

Результаты представленного исследования используются в системах:
По автоматическому созданию 3D модели головы по набору фотографий;
Эмуляции манипулятора типа "мышь" для управления компьютером инвалидами (используется в нескольких медицинских центрах для реализации компьютерных тренажеров).

В пятницу 16 мая 2003 г. в 11.00 в ауд. 727
с о с т о и т с я
Доклад: "Математические модели и алгоритмы оптимального управления динамическими структурами данных."
(Докл. А.В. Соколов, ИПМИ КарНЦ РАН)
Рассмотрены задачи оптимального распределения последовательных стеков и очередей в памяти одного и двух уровней.
Показано, что оптимальным способом расположения стеков, будет такой, когда стеки разбиты на пары стеков, растущих навстречу друг другу. В предположении, что известны вероятностные характеристики стеков, решается задача оптимального распределения памяти для трех стеков, два из которых растут навстречу друг другу. В случае двух уровней памяти задача оптимального управления стеками сводится к выбору оптимальной начальной точки одномерного блуждания на интервале для одного стека, двумерного блуждания внутри треугольника для двух стеков и трехмерного - внутри призмы для трех.
Предложен новый способ динамического распределения памяти для последовательных циклических очередей, когда очереди двигаются по кругу друг за другом. Рассматриваются различные критерии оптимальности, которые зависят от траекторий блуждания до поглощения на границе соответствующей области. В частности, рассматривается способ работы с очередями, применяемый в сетевых маршрутизаторах.
Для некоторых из рассмотренных задач предложены также модели, которые предполагают параллельное выполнение операций со структурами данных, а также возможность того, что вероятности операций зависят от операции, которая была выполнена на предыдущем шаге.
Рассматриваются также задачи оптимального размещения сегментов разных длин в списке свободных блоков разных длин. Предложен теоретически оптимальный метод, а также даны рекомендации по улучшению метода динамического распределения памяти в некоторых операционных системах.

В пятницу 25 апреля 2003 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Языки спецификаций задач, ориентированные
на пользователя"
(Докл. Анатолий Москвитин, Институт математики СО РАН)

Предложены: методология, теория и технология постановки и решения задач на компьютере в языках спецификаций задач, ориентированных на пользователя. Конкретизируются вопросы, связанные с понятием и понятностью задачи для пользователя. Формализуются (точно описываются) две характеристики пользователя: его интеллектуальные ресурсы и его интеллектуальные запросы и предлагаются процедуры их измерения. Рассматриваются особенности организации диалога с пользователем, как при постановке задачи, так и при оценке его интеллектуальных ресурсов и запросов, а также рассматриваются инструментальные средства создания и поддержки технологического комплекса, ориентированного на работу в языках спецификаций задач.
Приводятся примеры конкретных задач, решения которых получены применением методики языков спецификаций задач, ориентированных на пользователя.

В пятницу 18 апреля 2003 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Исследование и разработка методологии маскировки программ"
(Докл. А. В. Чернов, каф. СП ф-та ВМиК МГУ )

В докладе рассматривается проблема маскировки (obfuscation) программ. Под маскировкой программ мы понимаем такое их преобразование, которое препятствует выявлению их семантических свойств с помощью средств обратной инженерии, оптимизирующих компиляторов и других средств семантического анализа программ.
Предлагается новая методика маскировки программ и доказывается её устойчивость к различным методам семантического анализа (выявление избыточного и мёртвого кода, слайсинг и др.).
Представляется интегрированная среда (ИС) для изучения методов маскировки программ. ИС строится вокруг единого внутреннего представления программ MIF. Среда содержит статические, динамические и статистические анализаторы программ, преобразователи программ и генераторы представлений программ.
На примере двух конкретных методов маскировки демонстрируются возможности среды по обоснованию таких методов и разработке атак.

В пятницу 11 апреля 2003 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Адаптивный синтаксический анализатор
русского языка"
(Докл. Николай Одинцев, кафедра АЯ ф-та ВМиК )

Доклад посвящен разработке синтаксического анализатора русского языка в рамках концепции адаптивных лингвистических процессоров.
Предложены схема применения аппарата моделей управления для описания синтаксиса естественного (русского) языка и методика автоматического формирования множества моделей управления, реализованы необходимые для этой методики программные компоненты. При апробации предлагаемой методики обработаны большие корпусы текстов, в том числе архив газеты "Известия" за июль и август 1997 года, романы Ф. М. Достоевского (?Идиот? и др.), произведения детской литературы (?Шляпа волшебника?, ?Приключения Незнайки и его друзей?).
Разработан и реализован адаптивный синтаксический анализатор, использующий в качестве описания языка множество моделей управления. Преимуществами предлагаемого анализатора являются высокая точность описания языка проблемной области, высокая скорость анализа (получения наиболее вероятного варианта синтаксической структуры), а также возможность работы с "неграмматичными" конструкциями.

В пятницу 4 апреля 2003 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Семантически-ориентированный язык запросов к данным, его отображение на язык XQuery и оптимизация XQuery-запросов на основе методов оптимизации"
(Докл. М.Н. Гринев, кафедра СП ф-та ВМиК )

Доклад посвящается изложению основных результатов диссертации автора по тематике семантически-ориентированных языков запросов данных, их отображения на производственные языки запросов и оптимизации запросов на основе методов перезаписи. Более точно, в работе предложен язык запросов UQL, основанный на языке объектных ограничений OCL и позволяющий формулировать запросы в терминах диаграмм классов UML. Разработаны алгоритмы отображения запросов на языке UQL в запросы на стандартном языке запросов к XML-данным XQuery. Спроектирован и реализован логический оптимизатор XQuery-запросов, основанный на использовании техники перезаписи. Корректность оптимизирующих преобразований теоретически обоснована, и эффективность преобразований подтверждена экспериментально. Созданные языковые и программные средства входят в состав экспериментальной системы виртуальной интеграции данных BizQuery, созданной исследовательской группой ИСП РАН.

В пятницу 21 февраля 2003 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Тестирование на основе формальных спецификаций
в процессах разработки программных комплексов"
(Докл. А.К. Петренко, ин-т Системного программирования РАН)

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

В пятницу 14 февраля 2003 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Трёхуровневая инструментальная среда поддержки
корпоративного проектирования ''3-LEVEL''"
(Докл. Д.В. Смирнов, каф. АСВК ВМиК МГУ)

Трёхуровневая архитектура (см. рис.) позволяет сочетать эффективность обновления данных и низки

В докладе рассматриваются 3 примера применения среды:

В среду 25 декабря 2002 г. в 11.00 в ауд. 782
с о с т о и т с я

Доклад: "WINDS: Инструментальная среда дистанционной разработки адаптивных курсов"
(Докл. Л. Песин, каф. АСВК ф-та ВМиК МГУ)

Web-based Intelligent Design and Tutoring System (WINDS) - разрабатываемый в на-стоящее время проект Европейского Союза направленный на создание интегрирован-ной среды, доступной на WWW и объединяющей:
средства разработки и хранения курсов,
среду обучения и контроля за обучаемыми,
а так же средства для общения и взаимодействия пользователей.
Система совмещает классический подход к структурированию учебного материала, ос-нованный на концепции Reusable Learning Objects, с методикой индексирования, суще-ственно расширяющей пространство навигации по курсу.
Система позволяет дистанционно создавать курсы произвольной структуры для различных предметных областей, состоящие из учебных объектов разнообразных ти-пов, представляющих материал (параграфы) и проверяющих его знание (задачи, тесты, наборы тестов). Гибкость дизайна учебных объектов обеспечивается контент-блоками, составляющими каждый объект. Дополнительные мета-данные учебных объектов и контент-блоков позволяют организовать адаптивное представление структуры и содер-жания курса обучаемому, на основе его знаний, интересов, психологических характери-стик и в соответствии с требованиями преподавателя.
Для этого используется модель обучаемого, накапливающая соответствующую информацию в процессе работы пользователя с системой. Развитый механизм связей между объектами, в том числе между много-концептными тестами и параграфами, по-зволяет адекватно обновлять модель по результатам тестов.
В настоящее время система проходит опытную эксплуатацию студентами и пре-подавателями нескольких европейских университетов.

Доклад: "Технология программирования Флора"
(Докл. С.А. Ваганов, Компас Плюс, Магнитогорск)

"Флора" - это принципиально новая, самодостаточная, переносимая, универсальная технология программирования. Принципиальная новизна обуславливается собственной концепцией организации вычислений, которую кратко можно охарактеризовать как сим-биоз аналоговых компьютеров и ООП. Переносимость достигается использованием ар-хитектуры микроядра, стандартов POSIX и собственных графических примитивов. Само-достаточность, или другими словами - полнота, обеспечивается набором инструментов, поддерживающим весь процесс разработки и исполнения приложений. Предлагаемая технология позволяет создавать приложения в широком спектре прикладных областей, сюда относятся офисные приложения, приложения работы с БД, SCADA системы, систе-мы OLTP.
В основе идеологии лежит архитектура объектной машины (Objects Engine). Все приложения выполняются под управлением ядра Флоры. Принципиальное отличие Ob-jects Engine в отсутствии деления на данные и команды. Команд, как таковых, нет вооб-ще, то есть, нет единого потока управления, который бы руководил работой машины. Память Objects Engine содержит только объекты, которые связаны между собой. Работа, в полном соответствии с идеологией ООП, состоит в посылке объектами сообщений друг другу. Ядро Флоры содержит реализацию базовых объектов, которые можно рассматри-вать как функциональные блоки, наборное поле, если придерживаться терминологии аналоговых компьютеров, реализовано нелинейной структурой памяти, организованной в виде дерева объектов (Objects Tree), узлами которого могут быть элементарные типы данных и производные от них, встроенные объекты, пользовательские объекты, про-граммы и задачи. Объекты делятся на пассивные и активные, активные объекты могут стать источниками событий. Каждое событие обрабатывается параллельно и независимо от других.
Среда разработки и исполнения технологии "Флора" портирована на платформы: Windows 95/98,Windows NT/2000, Linux, UnixWare, SUN Intel, SUN SPARC и QNX RtP.

В пятницу 22 ноября 2002 г. в 11.00 в ауд. 682
с о с т о и т с я
Доклад "О некоторых подходах к практическому применению методов теории нечетких множеств в задачах выявления закономерностей
в хранилищах данных"
(Докл. М.И. Петровский, каф. АСВК ф-та ВМиК МГУ)

В докладе представлены результаты исследований, проводившихся в 1998-2002г.г. в лаборатории Технологий Программирования кафедры АСВК в области разработки под-ходов к использованию методов теории нечетких множеств в системах поддержки при-нятия решения, в частности, в системах интеллектуального анализа данных (Data Mining), позволяющих выявлять закономерности в хранилищах данных. В докладе представлены разработанные автором алгоритмы классификации и кластеризации дан-ных, использующие методы теории нечетких множеств. Рассмотрены результаты экспе-риментального исследования свойств данных алгоритмов и практического применения этих методов в реальных прикладных системах анализа данных.

В пятницу 25 октября 2002 г. в 11.00 в ауд. 682
с о с т о и т с я
Доклад "Конструктная реализация булевой алгебры"
(Докл. Ю.С. Владимирова, ф-т ВМиК МГУ)

Конструктная реализация алгебры логики осуществлена введением в диалоговую систему структурирующего программирования ДССП возможности определять нестан-дартные типы данных, так называемые конструкты, обеспечивающие высокоуровневую специализацию системы в заданном классе приложений. Конструкт представляет собой процедуру, обладающую собственной памятью и базисным набором операций, интер-претирующих принимаемые конструктом значения. Созданием конструктов типа "буле-во выражение" осуществлена компьютеризация булевой алгебры: система автоматиче-ски преобразует произвольные n-арные выражения к требуемому виду, выявляет отно-шения между ними, решает булевы уравнения.

В пятницу 18 октября 2002 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Вычисление функций на сетках
в контексте символьно-численно-графического интерфейса"

(Докл В.В. Кисленков, каф. АЯ ф-та ВМиК МГУ)

В докладе рассматривается задача вычисления различных функций на сетках и ее приложения. Описываются различные подходы к ускорению таких вычислений, такие, как использование техники цепочек рекурренций, принцип базовых точек, настройка вычислительного метода. Предлагаются сеточно-ориентированные алгоритмы вычисле-ния некоторых элементарных и специальных функций, в т.ч. модифицированных функ-ций Бесселя. Приводится пример применения сеточно-ориентированных подходов к за-даче вычисления произведений. Демонстрируется интеграция реализации представлен-ных алгоритмов в современные системы компьютерной алгебры на примере системы Maple.

В пятницу 11 октября 2002 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: " О некоторых методах удаления невидимых поверхностей в задачах визуализации трехмерных сцен большой сложности "
(Докл. А.В.Боресков, кафедра НДСиПУ ВМиК МГУ)

Доклад посвящен методам эффективного решения задач определения видимости объектов в сложных сценах. Эта область является быстро развивающимся направлени-ем современной компьютерной графики и возникает в ряде задач, включая моделирова-ние архитектурных сооружений, системы виртуальной реальности, построение летных тренажеров и компьютерные игры.
В докладе рассматриваются проблемы, возникающие при решении задачи види-мости, и современные методы для ее решения. Рассматриваются предложенные и реа-лизованные докладчиком методы определения видимости в сложных сценах - метод агрегатных сцен и метод иерархического s-буфера, а также способы их оптимизации. Приводятся также оценки эффективности этих методов.

В пятницу 4 октября 2002 г. в 11.00 в ауд. 685
с о с т о и т с я

Доклад: "Архитектура распределенной инструментальной системы
в сети Интернет для анализа и обработки данных
о поведении процессов"
(Докл. Е.В Рогов, каф. АСВК ф-та ВМиК МГУ)

В докладе рассматривается архитектура и реализация инструментальной системы, предназначенной для анализа данных, описывающих поведение процессов. Система предоставляет спектр возможностей для хранения, обработки и отображения экспери-ментальных данных, проведения вычислительных экспериментов. Особое внимание уделяется методам анализа "плохо формализованных" процессов с помощью нейрон-ных сетей и генетических алгоритмов, для чего система поддерживает распределенные и параллельные вычисления.
В основу системы положена трехзвенная клиент-серверная архитектура. Сервер-ная часть располагается в локальной сети и управляется ядром, распределяющим дан-ные и вычисления. Доступ пользователей осуществляется удаленно через веб-браузер.

В пятницу 20 сентября 2002 г. в 11.00 в ауд. 682
с о с т о и т с я

Доклад: "Построение Виртуальных Хранилищ Данных
на основе технологий Интернет"
(Докл. А. Суслов, ф-т ВМиК МГУ)

В основе работы лежит идея создания Виртуального Хранилища Данных с внут-ренним представлением данных в формате XML и использования XML данных как источника для аналитической обработки средствами OLAP. Вместо полного набора данных в Хранилище физически содержатся только метаданные, для чего определяет-ся их структура и связь с источниками данных. Для обеспечения доступа к разнород-ным источникам данных (в данной работе предполагается наличие двух типов источ-ников - реляционных и XML данных) с последующей интеграцией данных создаются механизмы извлечения, преобразования и загрузки данных для предоставления их пользователю или аналитической обработки. Возможность аналитической обработки XML данных реализуется за счет преобразований XML деревьев в дерево для OLAP анализа.
Данная работа представляет технологию построения Виртуальных Хранилищ, ее развитием является создание программного прототипа.