СЕКЦИЯ "СИНТЕЗ, СЛОЖНОСТЬ И НАДЕЖНОСТЬ УПРАВЛЯЮЩИХ СИСТЕМ"
3 февраля (вторник), 15.30, ауд. 16-10
1. Угольников А. Б. (Москва)
О сложности реализации
функций формулами в Pk.
2. Чашкин А. В. (Москва)
Машины Тьюринга и неветвящиеся программы
3. Аблаев Ф. М. (Казань)
Нижняя оценка сложности квантовых и вероятностных
бинарных программ
4. Гайнутдинова А. Ф. (Казань)
Сравнительная сложность
квантовых и вероятностных бинарных программ
5. Алехина М. А. (Пенза)
О верхних оценках ненадежности схем
6. Шалагин C. В. (Казань)
К задаче дискретного моделирования
состояния квантовой системы
7. Забалуев Р. Н. (Москва)
О средней сложности функций
из инвариантных классов
8. Бородина Ю. В. (Москва)
Синтез легкотестируемых схем
при однотипных неисправностях на выходах элементов
4 февраля (среда), 15.00, ауд. 16-10
1.
Шоломов Л. А. (Москва)
Сложность распознавания свойств дискретных порядковых отношений: редукция к непрерывным
2.
Сперанский Д. В. (Саратов)
О тестировании линейных автоматов
3.
Косовский Н. К., Косовская Т. М. (С-Петербург)
О полиномиальных алгоритмах решения диофантовых систем линейных уравнений и сравнений
4.
Перязев Н. А. (Иркутск)
Верхние вычислительные оценки сложности булевых функций в классе полиномиальных нормальных форм
5.
Мубаракзянов Р. Г. (Казань)
Сложность вероятностных бинарных программ
6.
Черухина С. Е. (Москва)
О сложности реализации &Ъ&-формулами одного класса "почти симметрических" функций
7.
Матюхин В. А. (Москва)
Об обратной задаче интервального поиска в модели информационных графов
8.
Михайлец Е. В. (Москва)
О рангах неявных представлений булевых функций
9.
Сафин Р. Ф. (Москва)
О равномерности систем функций, сохраняющих центральные отношения
10.
Захаров В. М., Нурутдинов Ш. Р., Соколов С. Ю., Шалагин С. В. (Казань)
Моделирование вероятностных последовательностей в полях Галуа
5 февраля (четверг), 15.30, ауд. 16-10
1.
Редькин Н. П. (Москва)
О сложности реализации булевых функций с малым числом единиц
2.
Шевченко В. Н., Чирков А. Ю. (Н. Новгород)
О приближенном решении задачи о рюкзаке
3.
Орлов В. А. (Москва)
Об одном способе реализации функций в автоматных базисах
4.
Окольнишникова Е. А. (Новосибирск)
О сложности ветвящихся программ
5.
Тарасов В. В. (Рязань)
Синтез индикаторов внешней среды
6.
Шарифов Я. А. (Баку)
Необходимое условие оптимальности
для дискретных управляемых систем с нелокальными условиями
7.
Яхонтов С. В. (С-Петербург)
Вычисление степенных рядов в пределах
LINSPACE
8. Жуков Д. А. (Москва)
О вычислении частичных булевых функций клеточными схемами
9. Черухин Д. Ю. (Москва)
О линейных информационных и транспортных сетях
СЕКЦИЯ "ТЕОРИЯ КОДИРОВАНИЯ И СМЕЖНЫЕ ВОПРОСЫ"
3 февраля (вторник), 15.30, ауд. 15-04
1. Лебедев В. С. (Москва)
(w, r) cover-free codes
2.
Жильцова Л. П. (Н. Новгород)
Кодирование стохастических КС-языков
3. Васильева А. Ю. (Новосибирск)
Частичное восстановление совершенных двоичных кодов
4. Зенцова С. В. (Москва)
Оценка кодового расстояния одного орбитного кода и ее применение
к оценке снизу сумм Клостермана
5. Кузнецов Ю. В. (Москва)
О носителях платовидных функций
6. Мохаммед Реза Хошманд Асл
Canal with separation mistake
4 февраля (среда)
Секция не работает
5 февраля (четверг), 15.30, ауд. 15-04
1. Горбачев (Тула)
Оценки плотности упаковок равными шарами в
n-мерном евклидовом пространстве
2. Серебряков А. Ю. (Москва)
Об ортогональных полиномах,
связанных с мономиальными базисами
3. Матвеев Г. В. (Минск)
Особенности модулярного разделения секрета
4. Таранников Ю. В. (Москва)
О платовидных устойчивых функциях
5. Кириенко Д. П. (Москва)
О числе корреляционно-иммунных функций порядка n-4
СЕКЦИЯ "КОМБИНАТОРНЫЙ АНАЛИЗ"
3 февраля (вторник), 15.30, ауд. 16-08
1. Маренич В. Е. (Москва)
О дзета-свойстве частично упорядоченых
множеств
2. Кумаров В. Г. (Мурманск)
Критерий совместности систем линейных
уравнений над решетками
3. Веревкин А. Б. (Ульяновск)
О положительных эйлеровых
произведениях
4. Речки А. (Будапешт), Ревякин А. М. (Москва)
Сильные и слабые
отображения матроидов и их применение
5. Ревякин А. М. (Москва), Речки А. (Будапешт)
Жесткость плоских
квадратных ферм с удаленными фрагментами
6. Устинов А. В. (Москва)
О полиномах Коробова
7. Свиридова И. Ю. (Ульяновск)
Производящие функции и правило
Юнга
8. Коганов Л. М. (Москва)
Два вывода явного замкнутого выражения
для числа циклически несократимых слов фиксированной длины в
свободной группе
9. Маренич Е. Е. (Мурманск)
О числе пересечений графа
4 февраля (среда), 15.30, ауд. 16-08
1. Бондаренко Л. Н.(Пенза)
Взвешенные композиции и обобщенные
полиномы Гончарова
2. Соколов А. В.(Петрозаводск)
Об оптимальном управлении двумя
FIFO очередями
3. Сигал И. Х. (Москва)
Параметризация задач дискретной
оптимизации большой размерности
4. Коган Д. И. (Н.-Новгород)
Синтез представительных совокупностей
эффективных оценок в задачах дискретной многокритериальной
оптимизации
5. Титова Е. Б., Шевченко В. Н. (Н.-Новгород)
Левые и правые нуль-
пространства матрицы ограничений многоиндексных транспортных
задач.
6. Лазарев А. А., Кварацхелия А. Г. (Казань)
Алгоритм решения NP-трудной
проблемы теории расписаний
7. Барболина Т. Н., Емец О. А. (Полтава)
Лексикографическая
эквивалентность в оптимизации на размещениях
8. Каменецкий А. М. (Москва)
Рациональность произведений функций
цикловых ладейных полиномов кронекеровых произведений
теплицевых матриц и циркулянтов с матрицей Jk
5 февраля (четверг), 15.30, ауд. 16-08
1. Карымов Д. Н. (Москва)
Несколько замечаний о точности
аппроксимации в теореме Пуассона
2. Баранчук А. Л., Кузьмин О. В. (Иркутск)
О расщепленных
полиномах Бела и квазиортогональных им
3. Бухтояров С. Е. (Минск)
Об устойчивости одной задачи теории
конечных игр
4. Леонович А. Н. (Минск)
О квазиустойчивости и о радиусе
устойчивости векторной комбинаторной задачи с различными
критериями и разными метриками
5. Докин В. Н., Соловьева Л. А. (Иркутск)
Суммирование независимых случайных
величин в задачах симметричных блужданий
6. Колокольникова Н. А., Ефремова А. С. (Иркутск)
Комбинаторные числа и размещения случайного числа частиц
7. Турчина В. А.(Днепропетровск)
Плотные и почтиплотные
упорядочения вершин подграфов
8. Сергеев С. И. (Москва)
Трипланарая задача назначения, задача
разделения и новые нижние границы
9. Костенко В. А. (Москва)
Оценки сложности и качества различных итерационных алгоритмов
построения расписаний
СЕКЦИЯ "ТЕОРИЯ ГРАФОВ"
3 февраля (вторник), 15.30, ауд. 15-02
1. Коржик В. П. (Москва)
Об 1-хроматическом числе неринтируемых поверхностей
2. Сорочан С. В. (Н. Новгород)
Алгоритмические и сложностные вопросы распознавания
орграфов из наследственных классов с наименьшим положительным значением энтропии
3. Панюков А. В. (Москва)
Коллективное решение задачи Вебера на графе
4. Панюкова Т. А. (Москва)
Рекурсивный алгоритм построения обходов с упорядоченным
охватыванием в плоских неэйлеровых графах
5. Чернецов П. Н. (Москва)
О некоторых вложениях двоичных деревьев в плоские
прямоугольные решетки
6. Пушкарев И. А.
Весовой критерий сильной связности орграфа
7. Расин О. В. (Екатеринбург)
Изоморфизм графов и древесные dist-разложения
4 февраля (среда), 15.00, ауд. 15-02
1. Козырев В. П. (Москва)
О многокритериальных задачах
2. Воблый В. А. (Москва)
Интегральное представление и асимптотика для числа помеченных общих (2,k)-бирегулярных графов
3. Иорданский М. А. (Н. Новгород)
Кодирование помеченных и непомеченных графов
4. Кабанов В. В. (Екатеринбург)
Характеризация некоторых классов графов без
3-лап и ее приложения
5. Бобылева Е. В. (Днепропетровск)
Исследование неканонических предфрактальных графов
6. Маренич Е. Е. (Мурманск)
О числе пересечений графа
7. Нагорный А. С. (Москва)
Задача идентификации объектов на En_k
8. Полякова О. П. (Ярославль)
Оценка функции неплотности некоторого класса графов
5 февраля (четверг), 15.30, ауд. 15-02
1. Матиясевич Ю. В. (С.-Петербург)
Теоретико-вероятностные эквиваленты гипотезы четырех красок
2. Лифшиц Ю. М. (Санкт-Петербург) Бинарные функции с нреограниченной коммуникационной сложностью.
3. Андреева Т. В. (Москва)
Об унимодальности декартовой степени звезд
4. Петросян Т. Г. (Москва)
О числе множеств, свободных от произведений, в группах четного порядка
5. Петренюк А. Я., Петренюк Л. П. (Кировоград)
100 новых T-факторизаций порядка 12
6. Петренюк В. И. (Кировоград)
Алгоритм построения специальных t-минимальных плоских графов
7. Омельченко Г. Г. (Черновцы)
Полиномиальный алгоритм распознавания совершенных сочетаний на многогранном гиперграфе.
8. Карпов Д. В. (С.-Петербург)
Структура k-связного графа.
9. Титов В. К. (Москва)
Теорема Понтрягина-Куратовского для 3-связных графов.
Русские снарки (о 4-хроматических по ребрам кубических графах)
10. Коганов Л. М. (Москва)
Два вывода явного замкнутого выражения для числа циклически несократимых слов
фиксированной длины в свободной группе
СЕКЦИЯ "ДИСКРЕТНАЯ ГЕОМЕТРИЯ"
4 февраля (среда), 15.00, ауд. 16-13
1. Анзин М. М. (Москва)
О проблеме С.С.Рышкова в теории решетчатых
покрытий n-мерного евклидова пространства равными шарами
2. Большакова Е. А., Рышков С. С. (Москва)
Диагональные слои и сечения n-мерного куба
3. Твердохлебов В. А. (Саратов)
Дискретные словарные геометрии и автоматы
4. Кучериненко Я. В. (Москва)
О взаимном расположении двух фигур в
пространствах постоянной кривизны
5. Макеев В. В. (Санкт-Петербург)
О четыр╖хугольниках, вписанных в
пространственную кривую
6. Нецветаев Н. Ю., Макеев В. В. (Санкт-Петербург)
О двумерных
подпространствах конечномерного нормированного пространства
7. Субботин В. И. (Новочеркасск)
Приложения сильно симметричных
многогранников
8. Банару М. Б. (Смоленск)
О типовых числах почти контактных метрических
гиперповерхностей почти эрмитовых многообразий
5 февраля (четверг), 15.30, ауд. 16-13
1. Груздев Д. В. (Нижний Новгород)
Реализация операции сравнения чисел в
алгебраических расширениях специального вида подполя поля
вещественных чисел
2. Герман О. Н. (Москва)
Об одном классическом многомерном обобщении
цепных дробей
3. Ахунжанов Р. К. (Москва)
О векторах заданного диофантового типа
4. Ильютко Д. П. (Москва)
Экстремальные сети на плоскостях Минковского
5. Гусев Н. С. (Москва)
Плоские многоугольные кусочно-аффинные
погружения и их границы
6. Макаров В. С., Макаров П. В. (Москва)
О многогранниках с правильными
гранями в пространстве Лобачевского
7. Макаров В. С. (Москва)
Об асимптотах на плоскости Лобачевского
8. Ковалев М. Д. (Москва)
О некоторых свойствах рычажного отображения
9. Яковлев Н. Н. (Москва)
О подходах к оценке асимптотических плотностей
многократных решетчатых расположений шаров
СЕКЦИЯ "ФУНКЦИОНАЛЬНЫЕ СИСТЕМЫ"
4 февраля (среда), 15.00, ауд. 15-03
1. Черепов А. Н. (Смоленск), Черепов И. А. (Москва)
О классификации недетерминированных функций
2. Черепов И. А. (Москва)
Приближение непрерывных функций детерминированными функциями с задержкой
3. Михеева Е. А. (Ульяновск)
К вопросу функциональной полноты в Pk
4. Алексеев В. Б. (Москва)
О числе дискретных функций, связанных с замыканием
5. Вялый М. Н. (Москва)
Об алгоритмической сложности задачи поиска подслова в
таблице значений булева полинома
6. Черемушкин А. В. (Москва)
Однозначность разложения двоичной функции
в бесповторное произведение с точностью до линейной замены
переменных
7. Галкин П. А., Мещанинов Д. Г. (Москва)
Аналитический метод решения уравнений на конечных множествах
8.
Нурутдинов Ш. Р. (Казань)
Умножение в расширениях полей Галуа
5 февраля (четверг), 15.30, ауд. 15-03
1. Мосурович М. (Подгорица, Черногория)
Об одном подходе к вычислению конволюций в конечном поле
и целочисленном умножении
2.
Тарасова О. С. (Москва)
О классах в Pk, замкнутых относительно операций суперпозиции и перестановки
3.
Хелемендик Р. В. (Москва)
О сведении задачи синтеза игровых программ к построению специальных моделей для формул логики ветвящегося времени
4.
Герасимов М. А. (С-Петербург)
О классе функций, вычислимых за линейное время
5.
Тарасова В. П. (Москва)
Прямые и обратные задачи поиска экстремума
6.
Лялин И. В. (Москва)
Об автоматных уравнениях
7.
Захаров В. А. (Москва)
О модели программ, связанной с обработкой прерываний
8. Костылев Е. В. (Москва)
Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ
9. Захарьящев И. М. (Москва)
О сложности проблемы эквивалентности программ с перестановочными операторами на монотонных функциях разметки
СЕКЦИЯ "МАТЕМАТИЧЕСКАЯ ТЕОРИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ"
3 февраля (вторник), 15.30, ауд. 12-08
1.
Кудрявцев В. Б., Алисейчик П. А., Строгалов А. С. (Москва)
Автоматные модели обучения
2.
Алексеев Д. В., Ежова Т. А., Кудрявцев В. Б.,
Козлов В. Н., Пенин А. А.,
Скрябин К. Г., Чуб В. В.,
Шестаков С. В., Шульга О. А. (Москва)
Об автоматной модели генного механизма растений
3.
Галатенко А. В. (Москва)
Автоматная модель компьютерной системы с ограниченным
доступом
4.
Владиславлев В. Е. (Москва)
О сложности представления конфигураций в клеточных
автоматах
5. Кирнасов А. Е. (Москва)
Установочные эксперименты с автоматами
6. Кучеренко И. В. (Москва)
Об обратимых клеточных автоматах
7.
Рублев В. С. (Ярославль)
Концепция выполнения взаимодействия динамической
информационной модели
8.
Чаплыгина Н. Б. (Ярославль)
Выбор критерия оптимизации в задаче о равномерном назначении
4 февраля (среда), 15.00, ауд. 12-08
1. Бабин Д. Н. (Москва) Неразрешимость проблемы полноты конечных систем автоматов с функциональной добавкой из Pk (k>2) типа Слупецкого
2. Часовских А. А. (Москва)
Об A-выразимости через системы линейных автоматов,
содержащих сумматор
3.
Мазуренко И. Л. (Москва)
Эффективный способ введения метрики на множестве непрерывных монотонных вероятностных автоматов
4.
Холоденко А. Б. (Москва)
О предельных частотных свойствах регулярных языков
5.
Матвеев А. В. (Москва)
Об одной линейной последовательной машине без входов
6.
Марченко М. А. (Москва)
Модель графа перестановок для оптимизации размещения элементов
СБИС
7.
Белозерова А. Р. (Димитровград)
Задача дискретной оптимизации схемы нуклидных превращений для расчетов
трансмутаций
8.
Малинаускас К. К. (Москва)
Динамический алгоритм построения диаграмм Вороного для решения задач
топологического анализа интегральных схем
9.
Спицына Н. В., Евтушенко Н. В. (Томск)
Синтез условных проверяющих тестов для недетерминированных автоматов
10.
Мельников Б. Ф. (Тольятти)
Некоторые эвристические алгоритмы в задачах дискретной оптимизации
11.
Рыжов А. П. (Москва)
Математические проблемы информационного мониторинга
12.
Морозов А. А. (Москва)
Логическое программирование агентов для поиска информации в
Интернет
13.
Кожухов И. Б. (Москва)
Полигоны над цепями
5 февраля (четверг), 15.30, ауд. 12-08
1.
Подколзин А. С. (Москва)
О компьютерном моделировании логических процессов
2.
Козловский В. А., Копытова О. М. (Донецк)
Представления автоматов относительно m-плотных классов
3.
Алексеев Д. В. (Москва)
Приближение функций нескольких переменных нейронными сетями
4.
Пантелеев П. А. (Москва)
Обобщенные эксперименты с автоматами
5.
Грунская В. И. (Димитровград)
О восстановлении лабиринтов по словам
6.
Толмачевская Л. А. (Донецк)
Циклические эксперименты с автоматами и их сложность
7.
Сапунов С. В. (Донецк)
Структура класса неотличимости неориентированных помеченных графов
8.
Грунский И. С., Курганский А. Н. (Донецк)
Свойства языков, порождаемых неориентированными
графами с отмеченными вершинами
9.
Захаров В. К., Яшин А. Д.
Динамическая модель самоорганизующегося нома
10.
Золотых Н. Ю. (Н. Новгород)
О мощности минимального разрешающего множества
пороговой функции многозначной логики
11.
Ахтеров А. В.
Задача обнаружения как часть задачи информационного блокирования при
управлении распределенной мобильной системой
12.
Тихончев М. Ю. (Димитровград)
Контрольный эксперимент для детерминированных графов с уникальной отметкой
13.
Сенченко А. С. (Слявянск)
Алгебраическое представление частичных автоматов без выхода
14.
Глубокая М. Г. (Жуковский)
Интеллектуальная система поддержки принятия решений на этапе разбега
магистрального самолета