|
|
23.11.2001 |
Доклад А. Г. Трекина с кафедры АСВК факультета ВМК МГУ: «Структурный синтез ВС с помощью генетических алгоритмов».
|
16.11.2001 |
Доклад Д. В. Царькова с кафедры АСВК факультета ВМК МГУ: «Верификация распределенных программ методом проверки на модели».
|
02.11.2001 |
Доклад А. И. Аветисяна из Института системного программирования РАН: «Исследование и разработка инструментальной среды ParJava разработки SPMD-программ для параллельных вычислительных систем».
|
26.10.2001 |
Доклад С. В. Стрежа из Главного испытательного центра космических систем: «Основы теории многомерных алфавитов».
|
05.10.2001 |
Доклад А. В. Чернова с кафедры СП факультета ВМК МГУ: «Интегрированная среда для изучения обфускации программ».
|
|
В 2000/2001 учебном году на семинаре было заслушано и обсуждено 9 докладов:
Т. А. Полилова (ИПМ им. М. В. Келдыша РАН). «Инфраструктура образовательного Интернет-пространства». Была обсуждена инфраструктура формирующегося в настоящее время школьного образовательного Интернет-пространства на примере московской системы образования. Определены направления информационной поддержки процесса консолидации этого пространства. Выделены актуальные формы использования Интернет-технологий в школе. Рассмотрены различные службы образовательного сервера «Учебники Москвы», пути превращения его в вертикальный портал и организация работ на сервере "Школьные страницы" (http://schools.keldysh.ru).
Т. В. Вознесенская (факультет ВМК МГУ). «Исследование эффективности алгоритмов синхронизации времени для систем распределенного имитационного моделирования». Была предложена формальная модель функционирования приложения под управлением различных алгоритмов синхронизации (АС) модельного времени. Разработана методика выбора АС для конкретного приложения. Эта методика была апробирована на типах приложений, характерных для системы имитационного моделирования DYANA.
Д. В. Иванов (мех.-мат. факультет МГУ). «Разработка методов представления растровых данных и их преобразования в вычислительных системах». Были предложены эффективные решения трех задач из области представления растровых изображений: построение взаимно-однозначного векторного представления черно-белого растрового изображения, прогрессивное кодирование полутоновых изображений без потерь и разработка эффективного способа представления цветных текстур с учетом его ориентации на применение в аппаратных средствах визуализации.
Е. В. Хухлаев (ИПМ им. М. В. Келдыша РАН). «Информационное обеспечение регионального пространства учебно-методической литературы на основе Интернет». Была рассмотрена схема реляционной базы данных «Учебники Москвы» (http://textbook.keldysh.ru) и технология взаимодействия с этой базой через Интернет.
В. И. Громыко (факультет ВМК МГУ). «Информатика как педагогическая задача». Был рассмотрен метод обучения, который используется для формирования учебника, задачника, практикума и конструирования системы обучения.
П. К. Берзигияров (лаб. параллельных выч. технологий ИПХФ РАН). «Теория проблемно-ориентированных типовых алгоритмических структур с массивным параллелизмом». Были представлены теоретические основы перспективных технологий параллельного программирования, основанные на использовании ограниченного набора типовых алгоритмических структур с массивным параллелизмом и непроцедурных методах параллельного программирования. Приведена классификация типовых алгоритмических структур и предложены новые проблемно-ориентированные структуры. Рассмотрены различные механизмы композиции таких структур, применяемые в процессе разработки параллельных программ, а также вопросы их оптимизации.
Г. С. Курганская (Иркутский Госуниверситет). «Модели, методы и технология дифференцированного Интернет-обучения». Была предложена математическая модель представления знаний в учебном материале курса, сформулировано и исследовано важное структурное свойство учебного материала – кластерность. Модель позволяет автоматически строить, анализировать и поддерживать индивидуальные и групповые пути изучения материалов курса. Реализован конструктор адаптивных учебных Интернет-курсов. Разработана система дифференцированного обучения через Интернет, формирующая единое информационное пространство для специалистов, занимающихся разработкой курсов, планированием и управлением учебным процессом, обучением и контролем усвоения знаний.
В. А. Сухомлин (факультет ВМК МГУ). «Анализ документа „Computing Curricula 2001“ и методические аспекты организации магистерского обучении иностранных студентов». Было обсуждено содержание документа „Computing Curricula 2001“, разработанного организациями ACM и IEEE-CS с целью гармонизации на международном уровне программ учебных курсов для подготовки бакалавров в области информационных технологий. В частности, была рассмотрена концепция построения учебных программ, состав курсов, их краткое содержание. Проведено сравнение данного документа с его предшественниками, в частности, с документом „Computing Curricula 1991“, оказавшим значительное влияние на подготовку специалистов по информационным технологиям во всем мире. Были также обсуждены вопросы организации на факультете ВМК обучения магистерской степени иностранных граждан на английском языке, получивших степень бакалавра в зарубежных университетах.
М. И. Маркин (факультет ВМК МГУ). «Синтез нейронной сети под заданное приложение». Была рассмотрена задача синтеза нейросети под заданное приложение. Показано, что эта задача сводится к задаче построения аппроксимации с помощью комбинированной нейронной сети (КНС). Предложен метод синтеза КНС, оптимальной для аппроксимации заданного приложения, когда приложение задается конечным набором измерений аппроксимируемой функции. Критериями оптимальности КНС являются среднеквадратическая ошибка аппроксимации и сложность архитектуры КНС.
|
|
В 1999/2000 учебном году на семинаре было заслушано и обсуждено 15 докладов:
Р. В. Удовиченко (факультет ВМК МГУ). «Отладка DVM-программ». Доклад был посвящен проблеме отладки программ, создаваемых в рамках DVM-модели (Distributed Virtual Machine, Distributed Virtual Memory), разработанной в ИПМ им М. В. Келдыша РАН. В основу этой модели положена следующая основная идея: параллельное выполнение программы должно осуществляться в соответствии с ее потенциальным параллелизмом, явно описанным пользователем с помощью специальных директив. Параллельная программа представляет собой обычную последовательную программу, в которую вставлены DVM-указания, определяющие ее параллельное выполнение. Специальные компиляторы переводят программу в программу на стандартном языке (Си или Fortran 77), расширенную функциями библиотеки Lib-DVM (системы поддержки DVM-программ). Предложен метод поэтапной отладки DVM-программ. Разработан специальный инструмент – динамический отладчик DVM-программ.
В. В. Малышко (факультет ВМК МГУ). «Система планирования решений задач на основе дедуктивных и ассоциативных методов». Рассматривалась проблема планирования решений сложных задач на примере решателя геометрических задач (РГЗ). Планирование осуществлялось на основе стереотипов – специальных конструкций для представления стереотипных приемов и методов решения задач. Предложен новый метод планирования, реализованный в РГЗ, – ассоциативное планирование на основе близких ситуаций. Ассоциативное планирование использовалось при решении задач в сочетании с традиционными дедуктивными методами (прямая и обратная цепочка рассуждений).
В. В. Вакин (факультет ВМК МГУ). «Построение экспертной системы диагностики дефектов вращающихся механизмов». Рассматривалась экспертная система VibroExpert, решающая задачу диагностики дефектов вращающихся механизмов электростанций. Важными особенностями данной предметной области были неполнота и недостоверность информации, а также постепенность развития дефекта во времени. В составе VibroExpert был предложен новый механизм вывода диагноза, основанный на использовании нейроподобной пятислойной сети вывода.
А. Чернобаев «Программная генерация молекулярных графов с использованием эволюционного программирования и метрик на графах».
Дмитрий Кознов (Санкт-Петербургский Госуниверситет). «Визуальное проектирование ПО с использованием расширенных конечных автоматов». Предложена новая поведенческая модель, совмещающая в себе черты STD-диаграмм UML и расширенного конечного автомата SDL: в ней классические конечные автоматы Мили и Мура расширяются как в отношении состояний, так и в отношении переходов. Предложены две графические нотации и стратегия использования этих нотаций при разработке телекоммуникационных систем со сложной управляющей логикой.
В. А. Фофанов (факультет ВМК МГУ). «Внешнее тестирование библиотек интерфейсов на примере интерфейса ASIS». Рассмотрены специфические проблемы тестирования библиотек интерфейсов (БИ). В качестве конкретного объекта изучения был выбран интерфейс ASIS (Спецификация Семантического интерфейса к языку Ада). Обсуждалась разработанная докладчиком система тестирования реализаций ASIS.
А. В. Субботин (факультет ВМК МГУ). «Автоматизированное формирование лингвистических баз знаний: интеграционный подход». Предложен подход к автоматизации формирования лингвистических баз знаний (ЛБЗ) – специальных информационных массивов, содержащих информацию о естественном языке (ЕЯ). Подход основан на идее интеграции различных методов автоматизированного формирования ЛБЗ на основе единой метамодели. Рассматривались архитектура и подход к реализации системы автоматизированного формирования ЛБЗ, основанной на CORBA-стандартах.
Н. В. Савельева (факультет ВМК МГУ). «Комплекс MAPLE-процедур для сопровождения продвинутых курсов линейной алгебры». Рассматривался комплекс MAPLE-процедур, предназначенных для сопровождения спецкурсов по некоторым разделам линейной алгебры. Процедуры были основаны на точной арифметике рациональных чисел, реализованной как одна из опций в рамках MAPLE. Были предложены методы сравнения эффективности рациональных алгоритмов для решения одной и той же задачи.
А. В. Боресков (факультет ВМК МГУ). «Высокоэффективные методы рендеринга сцен большой сложности». Рассматривались методы изображения на экране (рендеринга) сцен большой сложности (в основном, трехмерных). Были обсуждены специфические проблемы данной области и дан обзор существующих на данный момент методов рендеринга, активно использующихся в различных системах виртуальной реальности. Сформулирован ряд требований к методам рендеринга сцен. Докладчиком были предложены два принципиально новых метода рендеринга сложных сцен, удовлетворяющих сформулированным требованиям.
В. З. Кокотов (НИИ «Аргон»). «Поразрядная сортировка менее чем линейной временнoй сложности». Рассмотрен для алгоритмов поразрядной сортировки метод оптимизации, позволяющий получить менее чем линейную временнyю сложность на конечном, но весьма значительном интервале величин сортируемых массивов. При этом был использован ряд приемов, в частности, двоично-кратные разряды. Приведены результаты экспериментального сравнения быстродействия оптимизированной поразрядной сортировки и известного алгоритма quicksort. Сформулированы рекомендации по применению метода в практике программирования.
Д. Г. Ворона (мех.-мат. факультет МГУ). «Поиск метрик помеченных графов в задаче классификации на основе генетического алгоритма». Был предложен метод поиска метрик помеченных графов на основе генетического алгоритма, допускающий обработку баз данных помеченных графов большой размерности. В основе метода положена общая идея поэтапного разбиения базы данных графов на кластеры, в соответствии с возможностью построения в каждом из них метрик различной сложности. В методе использован процесс обучения с помощью задания специальных генов и исключение некоторых кластеров, выявленных в результате статистической обработки накопленных результатов, при повторном разбиении БД и построении решающего дерева классификации.
В. М. Паньков (Москва). «Новый эффективный процедурно-ориентированный универсальный операторный язык программирования в лингвопроцессорных выражениях». Предложен новый язык программирования, названный LUX (Lingual Unit's eXpressions), как язык лингвопроцессорных выражений, изобретенных автором. Декларируются свойства этого языка в основном рекламного характера. Язык весьма простой, но использует специфические (линеаризованные лингвопроцессорные) выражения. Однако, автор не обозначил достоинства этого языка и область его предпочтительного применения по сравнению широко известными языками (например, языком Си).
Чжэн-Цюань СЮЙ (КНР). «Обзор моделей, методов описания и языков для компонент математического обеспечения». Рассматривались вопросы повторного использования программного обеспечения. Был предложен механизм описания для поддержки повторного использования программного обеспечения, базирующийся на использовании атрибутов его компонент (методы и языки описания моделей компонент используемого программного обеспечения). Обсуждались также работающая модель и некоторые примитивы компонент программного обеспечения.
А. А. Суханов (мех.-мат. факультет МГУ). «Компьютерный анализ классов сопряженности нильпотентных элементов простых алгебр Ли малых размерностей». Был предложен подход использования вычислений на компьютере для получения ряда теоретических результатов по алгебрам Ли (дано полное описание классов сопряженности нильпотентных элементов, классифицированы классы сопряженности полурегулярных нильпотентных элементов, получены характеристики классов сопряженности и др.). Одним из результатов такого подхода к алгебрам Ли является вычислительное доказательство существования представителя класса сопряженности для данной характеристики.
А. В. Соколов (Петрозаводский Госуниверситет). «Математические модели и алгоритмы оптимального правления динамическими структурами данных». Были предложены математические модели в виде одномерного и двумерного случайного блуждания для описания процесса распределения двухуровневой памяти для одного стека и для двух стеков, растущих навстречу друг другу. Проведен анализ применяемых в практике алгоритмов управления стеками. Предложены оптимальные алгоритмы управления одним и двумя стеками в двухуровневой памяти. Была также рассмотрена задача оптимального динамического распределения памяти одного уровня для n последовательных стеков. Построена математическая модель в виде n-мерного случайного блуждания и на ее основе была поставлена задача оптимального начального распределения памяти и последующих перераспределений. Показано, что оптимальным методом управления (в смысле оптимизации среднего времени до переполнения) в этом случае будет такой, когда стеки разбиты на пары стеков, растущих навстречу друг другу.
|
|
