И Н П Р И М - 2 0 0 0
Предварительная программа заседаний. Версия от 16 июня 2000 г.
ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ И ИНФОРМАТИКА, I

26 июня 15:00 - 19:00, конф. зал ИВМиМГ

И. А. Блатов. Методы неполной факторизации в сочетании с быстрым преобразованием Фурье решения дискретных эллиптических краевых задач с различными краевыми условиями.

В. П. Гинкин, А. В. Кулик, О. М. Науменко. Эффективный предобуславливатель в методе сопряженных градиентов для трехмерной HEX-Z геометрии.

Я. Л. Гурьева. Многовариантное частичное решение пятиточечных линейных систем уравнений методом переноса диагональной связи.

Л. Ю. Колотилина. Метод неполной факторизации, основанный на блочном окаймлении.

Ю. И. Кузнецов. Многочлены, ортогогональные со знакопеременнымивесами.

А. В. Лапин. Блочно-релаксационные методы для сеточных вариационных неравенств с M-матрицами.

M. Larin. An optimal multilevel method for computing smallest eigenpairs.

Ю.М.Нечепуренко. Спектральный анализ на основе разложения Шура.

М. Ю. Баландин, Э. П. Шурина. Особенности методов решения несимметричных систем линейных алгебраических уравнений с разреженными матрицами для различных способов хранения данных.

Ю. Е. Воскобойников, И. Н. Мухина. Эффективный регуляризующий алгоритм с векторным параметром регуляризации.

27 июня 15:00 - 19:00, конф. зал ИВМиМГ

М. В. Березовский, Ю. Е. Воскобойников. Робастные сглаживающие сплайны: построение и применение.

Н. А. Ваганова, В. А. Василенко. Алгоритм формирования фрактальных баз для сжатия изображений.

Ю. С. Волков. Выпуклая интерполяция обобщ\"енными рациональными кубическими сплайнами.

В. В. Богданов. Кусочно выпуклая нелокальная интерполяция обобщ\"енными кубическими сплайнами.

М. В. Березовский. Изогеометрические сглаживающие сплайны.

А. В. Елисеев, В. А. Василенко. Оптимизация вариационного функционала в задаче сплайн-интерполяции.

Б. С. Киндалев. Об асимптотике скачка старшей производной интерполяционного сплайна.

В. Л. Мирошниченко. О погрешности приближения производных в методе кубической сплайн-коллокации.

Б. М. Шумилов. Сплайн-схемы, точные на многочленах.

Д. В. Могиленских. Алгоритм локализации изоповерхностей дискретного скалярного поля на трехмерной регулярной сетке (ТЕТР).

29 июня 15:00 - 19:00, конф. зал ИВМиМГ

Н. В. Бородихин, А. М. Мацокин. Метод фиктивных компонент для эллиптического уравнения четвертого порядка.

Р. З. Даутов, Е. М. Карчевский. Приближенный метод решения спектральной задачи для оператора Гельмгольца на плоскости.

V. V. Denissenko, L. Tobiska. Infinite domain decomposition for magnetostatic problem.

А. М. Гришин, А. С. Якимов. Итерационно-интерполяционный метод решения трехмерного эллиптического уравнения общего вида.

В. П. Ильин. О монотонных компактных разностных схемах.

G.M.Kobel'kov. A priori estimates for elliptic BVPs and iterative methods.

С. П. Копысов, А. К. Новиков, С. Л. Устюжанин. Методы декомпозиции при решении задач МКЭ с адаптивным уточнением.

Ю. М. Лаевский, П. В. Банушкина. Составные явные схемы.

С. В. Непомнящих. Методы декомпозиции для эллиптических краевых задач.

В. И. Паасонен. О многоточечных граничных условиях для компактных разностных схем.

30 июня 15:00 - 19:00, конф. зал ИВМиМГ

Б. М. Багаев, В. В. Шайдуров. Схемы высокого порядка точности для сингулярно возмущенных задач.

Е. В. Глушков, Н. В. Глушкова. К разработке сингулярных элементов для вершин упругих многогранников.

А. И. Задорин. Редукция разностных схем с полубесконечным числом узлов к конечному.

Т. В. Калпуш, В. В. Шайдуров. Алгоритм ориентации сеток для решения сеточной задачи конвекции-диффузии.

Лин Чун. Экстраполяция в разрывном методе Галеркина для гиперболического уравнения.

В. Д. Лисейкин. Качественный анализ сингулярностей и построение координатных преобразований и адаптивных сеток.

Г. И. Шишкин. Апостериорные и априорные сетки для сингулярно возмущенных эллиптических уравнений.

P. W. Hemker, G. I. Shishkin, L. P. Shishkina. High-order accurate parallel methods based on Richardson's extrapolation for singularly perturbed problems.

И. В. Целищева, Г. И. Шишкин. Методы декомпозиции области для сингулярно возмущенных задач в составных областях.

С. В. Гололобов. Равномерная по e сходимость в L2-норме МКЭ на априори адаптированных сетках при решении сингулярно-возмущенных эллиптических задач.

ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ И ИНФОРМАТИКА, II

26 июня 15:00 - 19:00, ауд. 342-а ИВМиМГ

М. В. Антипов. Конгруэнтный оператор и моделирование непрерывных распределений.

А.И.Хисамутдинов. Статистическое моделирование одного типа взаимодействий частицы и среды с использованием <<фиктивных соударений>>.

В. А. Леус. Геометрический подход к численному представлениюэнтропии.

К. К. Шакенов. О решении задач релаксационной фильтрации методами Монте - Карло.

В. И. Хохлюк. Прямой метод в целочисленной оптимизации.

С.И.Фадеев, В.В.Когай. Метод множественной стрельбы и продолжения по параметру при численном исследовании нелинейных краевых задач.

Р. Г. Лукьянова, С. И. Фадеев. О численном параметрическом исследовании нелинейных краевых задач для систем дифференциальных и трансцендентных уравнений.

О. Ф. Щур. Свойства гибридного РК-метода.

А. В. Лихачев, В. В. Пикалов. Трехмерная трансмиссионная томография при рассеянии зондирующего пучка.

В. В. Пикалов, Н. В. Чугунова. Влияние начального приближения в алгоритмах широкоапертурной томографии.

27 июня 15:00 - 19:00, ауд. 342-а ИВМиМГ

С. Б. Сорокин. Метод Кузнецова в спектральных задачах для сопряженно операторных моделей.

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

В. В. Офицеров. Применение диссипативных схем для решения нестационарных краевых задач.

Ж. Р. Уалиев. Численное решение уравнений гидродинамики в многосвязных областях.

К. Т. Шлембаев. Моделирование граничных условий давления для модели неоднородной жидкости с помощью метода фиктивных областей.

С.Е.Железовский, А.Д.Ляшко. Исследование полудискретного метода конечных элементов для слабо нелинейных гиперболических уравнений.

Е. М. Федотов. Об одном методе построения консервативных разностных схем с весами.

В. И. Паасонен, М. В. Соколова. О компактных схемах предиктор-корректор для нелинейных систем уравнений.

М. М. Карчевский, А. Д. Ляшко. Смешанный метод конечных элементов для вырождающихся нелинейных эллиптических уравнений четвертого порядка

М. В. Павлова, Е. В. Шемуранова. Об одном итерационном методе решения одной задачи ненасыщенной фильтрационной консолидации.

29 июня 15:00 - 19:00, ауд. 342-а ИВМиМГ

А. Ф. Воеводин, Т. В. Юшкова. О разностных схемах повышенного порядка для расчета течений вязкой жидкости.

Ю. В. Быченков. Трехпараметрический метод для решения уравнения Навье - Стокса.

Е. В. Чижонков. К решению задач с седловым оператором при блочно диагональном предобуславливании.

В. Л. Леонтьев. Смешанные вариационно-сеточные методы теорииупругости.

В. В. Остапенко. О симметричных компактных схемах с искусственными вязкостями повышенного порядка дивергентности.

Л. Г. С\"емин. Метод коллокаций и наименьших квадратов для уравнений Навье - Стокса на адаптивной сетке.

А. В. Шапеев. Cхема четвертого порядка для уравнений Навье - Стокса на пятиточечном шаблоне

Д. Н. Боков, Н. Н. Боков. Многосеточный подход к численному решению уравнений газовой динамики методом характеристических направлений с выделением сильных и слабых разрывов. Тестирование на задачах с аналитическим решением.

В. Г. Зверев, В. Д. Гольдин. Об одной вычислительной технологии решения краевых задач тепломассообмена.

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

30 июня 15:00 - 19:00, ауд. 342-а ИВМиМГ

Г. А. Борисов, В. П. Ильин, В. М. Свешников. Алгоритмы построения квазирегулярных иерархических сеток.

Ю. А. Ткачев, А. М. Мацокин, В. А. Дебелов. Параллельный алгоритм триангуляции плоских областей с границей, состоящей из дуг параметрических кривых.

Ю. М. Молородов, Г. С. Хакимзянов. Использование метода эквираспределения для построения сеток в многосвязных областях.

М. Павлов, О. А. Доледенок. Метод конечных объемов на квазирегулярных сетках.

В. М. Свешников, В. С. Сынах. Составные квазирегулярные сетки для двумерных краевых задач математической физики.

С. В. Непомнящих, А. М. Мацокин, Ю. А. Ткачев. Многоуровневые переобуславливатели на локально модифицированных сетках.

А. Н. Юдин. Автоматическое построение теоретико-множественного описания топологии трехмерной области.

ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ И ИНФОРМАТИКА, III

Теория программирования

26 июня, 15:30 - 19:00, ауд. 254-б ИСИ

И.С.Ануреев. Сужение как техника автоматического доказательства.

А. В. Замулин. Алгебраическая модель совокупности типов объектов с неявным состоянием.

В. Е. Козюра, Р. М. Новиков. Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри.

М. В. Коровина, О. В. Кудинов. Стабильность траекторий непрерывных частей комплексных систем.

В.А.Непомнящий, А.Г.Алексеев, А.В.Быстров, С.П.Мыльников, Е. В. Окунишникова, П. А. Чубарев, Т. Г. Чурина. Верификация коммуникационных протоколов, представленных на языках Estelle и SDL.

Е. В. Окунишникова. Моделирование Estelle-спецификаций посредством раскрашенных сетей Петри.

А.В.Промский. Операционная и аксиоматическая семантики языка Си.

Т.Г.Чурина. Трансляция SDL-спецификаций в раскрашенные сети Петри.

С. В. Зыкин. Метод межмодельных отображений в базах данных.

И. А. Ломазова. Вложенные сети Петри, как вполне-структурированные системы переходов.

В. В. Чернюгов. Аксиоматические основы алгоритмов и данных.

М. В. Чистолинов, И. В. Епатко, Я.-Ф. Гроте, Р. В. Кончаков, А. С. Пешко, Р. Л. Смелянский, Д. В. Царьков, К. Винтер, Я. С. Усенко, В. А. Захаров. Разработка и проверка правильности распределенных бортовых программных систем самолета (проект DrTesy).

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

29 июня, 15:30 - 19:00, ауд. 254-б ИСИ

Ю. А. Загорулько, И. Г. Попов, Ю. В. Костов. Подход к интеграции технологии баз знаний с мульти-агентной технологией.

А. Г. Марчук. Электронные документы как объекты в информационном пространстве.

Т. В. Нестеренко. Декларативный язык описания многоагентных систем и его применения.

С. А. Старовит. Средства взаимодействия активных объектов в системе Интернет.

Т.М.Яхно. Составление динамического расписания для сложных систем.

А. Г. Андреев. Моделирование трафика уличного движения клеточными автоматами.

М. А. Горшенев. Библиотека поддержки представления знаний и построения экспертных систем JavaExpert.

В. В. Тютерев. Построение нейронных сетей эффективного размера методом генетических алгоритмов.

О. Г. Чанышев. Ассоциативная модель реального текста.

Прикладные системы, алгоритмы, графы и графика

30 июня, 15:30 - 19:00, ауд. 254-б ИСИ

М. М. Бежанова, Л. А. Голубева, Л. А. Москвина. Использование современных средств информатики для создания компьютерных математических систем.

А. А. Бучнев, В. П. Пяткин. Программное обеспечение обработки аэрокосмических изображений.

В. А. Дебелов, Е. В. Парилов, И. М. Севастьянов. Применение разбиения сцены для расчета ее изображения.

В. Н. Касьянов. Средства поддержки применения графов впрограммировании.

С. И. Катков, И. В. Поттосин, Е. Ю. Рубан. Об окружении разработки параллельных алгоритмов.

М. А. Горшенев, С. В. Авзан. Портативный компилятор Turbo-Expert.

А. Г. Иванов. Параллельная программа безусловной минимизации скалярной функции многих переменных.

В. А. Лобиков. Алгоритм отыскания всех контуров в орграфе.

К. А. Мельников. Базовые алгоритмы для расчета и визуализации многокомпонентных фазовых диаграмм.

Д. В. Могиленских, И. В. Павлов, В. В. Федоров, С. Н. Мельникова, Е. Э. Сапожникова. Принципы построения и функциональное содержание системы визуализации для анализа скалярных и векторных полей, заданных на двумерных регулярных сетках.

А. П. Немытых, В. Ф. Турчин. Суперкомпилятор для языка Рефал.

Ю. Д. Одышев. Исследование сети связи с динамическим протоколом синхронная <<АЛОХА>>.

А. В. Соколов. Математические модели и алгоритмы оптимального динамического распределения нестраничной памяти.


inprim@math.nsc.ru