Главная страница Конференции

Московский государственный университет им. М.В. Ломоносова
НИИ математики и механики им. акад. В. И. Смирнова СПбГУ


Опубликованы материалы школы-семинара: Материалы XVI Международной школы-семинара "Синтез и сложность управляющих систем"(Санкт-Петербург, 26-30 июня 2006 г.) / Под редакцией О. Б. Лупанова. - М.: Изд-во механико-математического факультета МГУ, 2006. - 159 с.


XVI Международная школа-семинар "Синтез и сложность управляющих систем" прошла в Санкт-Петербурге с 26 по 30 июня 2006 г. Эта школа-семинар была организована механико-математическим факультетом Московского государственного университета им. М. В. Ломоносова и Научно-исследовательским институтом математики и механики им. акад. В. И. Смирнова Санкт-Петербургского государственного университета. В работе школы-семинара приняли участие более 50 математиков из Москвы, Санкт-Петербурга, Новосибирска, Нижнего Новгорода, Пензы, Иркутска, Саратова, Ярославля и Смоленска. Был заслушен 41 доклад:

С. И. Аксенов (Пенза). Об асимптотически надежных схемах в базисе {отрицание, конъюнкция} при инверсных неисправностях на выходах элементов.

М. А. Алехина (Пенза). О функциях и схемах, корректирующих ошибки.

А. С. Балюк, С. В. Балюк (Иркутск). Минимизация термальных представлений булевых функций небольшой размерности в бинарных и тернарных базисах.

Л. Н. Бондаренко (Пенза). Применение "метода вронскианов" для решения комбинаторных задач.

Я. В. Вегнер (Москва). Сложность вычисления экспоненты методом Карацубы. С. Ф. Винокуров (Иркутск). LP-классификация булевых функций с использованием специальной операторной формы

М. А. Герасимов (Санкт-Петербург). Некоторые признаки линейной зоны емкостной сложности на алгоритмических языках программирования.

А. С. Герасимов (Санкт-Петербург). Программная реализация поиска доказательств в бесконечнозначной предикатной логике, основанной на линейных неравенствах.

О. С. Дудакова (Москва). О конечной порожденности некоторых семейств предполных классов монотонных функций k-значной логики.

Р. Н. Забалуев (Москва). О средней глубине монотонных функций.

В. А. Захаров, В. С. Щербина (Москва). О сложности распознавания эквивалентности машин Тьюринга без записи на ленту.

А. А. Иванов (Санкт-Петербург). Математическое моделирование k-ядерной архитектуры многопроцессорной системы при помощи k-головочной машины Тьюринга с плоской лентой на примере реализации метода Гаусса.

М. А. Иорданский (Нижний Новгород). Индуктивное описание класса планарных графов.

А. Е. Казач╖к, Д. С. Романов (Москва). О функциях Шеннона длин локальных тестовпри неисправностях на входах схем.

А. С. Казимиров (Иркутск). Оценка числа инвариантных функций для OP- и LP-преобразований.

Р. М. Колпаков (Москва). Экспоненциальный рост числа трехбуквенных слов с предельным минимальным порядком запретных подслов.

Н. К. Косовский (Санкт-Петербург). Доопределение до всегда завершающих работу любых процедур-операторов, написанных на языке Паскаль.

В. В. Кочергин (Москва). О сложности вычисления элементов в коммутативных полугруппах и группах.

С. Г. Курносова (Саратов). Т-неприводимые расширения для симметричных ориентаций цепей.

Ю. М. Лифшиц (Санкт-Петербург). Алгоритмы обработки автоматически-порожденных текстов.

С. А. Ложкин, М. С. Шуплецов (Москва). Оценки высокой степени точности для функции Шеннона в одном классе предикатных схем.

Ю. В. Мерекин (Новосибирск). Об одной форме представления рекуррентных схем порождения слов и их аддитивная сложность.

Е. В. Михайлец (Москва). О ранге неявных представлений функций k-значной логики над классом монотонных функций.

Е. А. Окольнишникова (Новосибирск). О сложности одного класса схем.

Т. Г. Петросян (Москва). Размер максимального множества, свободного от произведений.

В. Н. Потапов (Новосибирск). Описание n-квазигрупп порядка 4.

В. С. Рублев, Д. В. Чехранов (Ярославль). Алгебра объектных операций систем управления данными DIM.

О. Б. Седелев (Москва). О реализации функций алгебры логики BDD, вложенными в единичный куб.

И. С. Сергеев (Москва). О реализации некоторых операций в конечных полях характеристики 2 схемами логарифмической глубины.

С. В. Сидоров (Нижний Новгород). О подобии матриц третьего порядка над кольцом целых чисел.

Д. В. Сперанский (Саратов). Эволюционный подход к проблеме соеращения диагностической информации.

Фам Тхань Лам (Санкт-Петербург). Оценка памяти, необходимой для доопределения до всегда завершающих работу любых процедур-операторов, написанных на языке Паскаль.

Р. В. Хелемендик (Москва). О полной записи шахматных правил на языке конечнозначной логики предикатов.

А. В. Чашкин (Москва). О вложенияи графов в решетки ограниченной высоты.

А. Н. Черепов (Смоленск). Оценки сложности приближения непрерывных функций детерминированными функциями с задержкой.

В. В. Чугунова (Пенза). Об асимптотически наилучших по надежности схемах в некоторых базисах при инверсных неисправностях на входах элементов.

В. В. Чумаков (Нижний Новгород). Вершины целочисленных многогранников и знаменатели решений целочисленных крамеровских систем.

В. И. Шевченко (Нижний Новгород). О сложности тестирования перепутываний в схемах.

В. Н. Шевченко (Нижний Новгород). Триангуляции и монотонные булевы функции.

Л. А. Шоломов (Москва). О последовательной реализации булевых функций.

А. Д. Яшунский (Москва). О вероятностных свойствах бесповторных булевых формул.


Главная страница Конференции