9-я Международная конференция "Дискретные модели в теории управляющих систем"
    Конференция
    Заявки
    Доклады
     Принятые докл.
    Фотоальбом
    Контакты
Powered by AGORA
Международная конференция.
9-я Международная конференция "Дискретные модели в теории управляющих систем"
    Список принятых докладов в алфавитном порядке

[ID 180] Аблаев М.Ф. О построении квантовых хеш-функций.

[ID 168] Алексеев В.Б. О билинейной сложности умножения матриц размеров $k \times 2$ и $2 \times 2$.

[ID 158] Алексеев Е.К., Кущинская Л.А. Обобщение одного метода восстановления ключа фильтрующего генератора.

[ID 135] Алехина М.А., Барсукова О.Ю. О надежности одной схемы.

[ID 147] Алехина М.А., Каргин С.П. Об одном методе повышения надежности схем в базисе Россера–Туркетта.

[ID 111] Андреев А.А. О нижних оценках сложности функций многозначной логики в бесконечных базисах.

[ID 018] Антонов Д.В., Рублев В.С. Эффективность доступа к данным в системе управления базами данных DIM.

[ID 146] Антюфеев Г.В. О свойстве булевых функций, гарантирующем существование логарифмических диагностических тестов относительно примитивных сдвигов переменных.

[ID 098] Балюк А.С., Янушковский Г.В. Операторные полиномиальные формы функций над конечными полями.

[ID 179] Батуева Ц.Ч.-Д. Истоки и неподвижные точки в дискретных динамических системах циркулянтного типа.

[ID 191] Белышов М.В. Cуществование асимптотики стандартного вида для сложности реализации функций алгебры логики клеточными и планарными схемами в некоторых базисах.

[ID 041] Бондаренко Л.Н., Шарапова М.Л. Свойства f-многочленов Эйлера, связанных со статистикой exc на перестановках.

[ID 073] Буй Д.Б., Пузикова А.В. Критерии полноты аксиоматик зависимостей в табличных базах данных.

[ID 084] Бухман А.В. Субэкспоненциальные алгоритмы распознавания сохранения некоторых центральных предикатов функциями, заданными полиномами.

[ID 153] Быков И.С. О равномерных кодах Грея.

[ID 123] Быков И.С. О циклах графов функционирования генных сетей циркулянтного типа с пороговыми функциями.

[ID 114] Быковская С.В. Полные системы одноместных предикатов для классов Поста.

[ID 026] Варновский Н.П., Захаров В.А., Шокуров А.В. К вопросу о существовании доказуемо стойких систем облачных вычислений.

[ID 106] Васильев А.В. Минимизация коллизий при квантовом хешировании.

[ID 167] Воблый В.А. Об асимптотике для числа помеченных эйлеровых графов.

[ID 020] Воблый В.А., Мелешко А.К. Перечисление помеченных двудольных кактусов.

[ID 033] Вялый М.Н. О подсчете числа совершенных паросочетаний в графе.

[ID 054] Гашков С.Б., Сергеев И.С. Аддитивная сложность матриц НОД и НОК.

[ID 143] Герасимов М.А. Одно обобщение алгоритма Шеннона-Фано для кодирования дискретных множеств сообщений.

[ID 100] Грабовская С.М. Верхняя оценка ненадежности неветвящихся программ в базисах, содержащих нелинейную функцию двух переменных.

[ID 103] Грибанов Д.В., Веселов С.И. Ширина некоторых классов политопов и задача поиска целой точки.

[ID 127] Данилов Б.Р. Асимптотическое поведение ранговой функции базиса для модели обобщенной целочисленной глубины схем из функциональных элементов.

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

[ID 145] Дурандин О.В., Жильцова Л.П. Переходные явления в неразложимых стохастических КС-грамматиках.

[ID 056] Емец О.А., Барболина Т.Н. Линейные порядки на множестве дискретных случайных величин: использование в комбинаторной оптимизации.

[ID 184] Жук Д.Н. О ключевых предикатах k-значной логики.

[ID 032] Закаблуков Д.В. Асимптотическая сложность и глубина обратимых схем из элементов NOT, CNOT и 2-CNOT.

[ID 176] Замараева Е.М. Существенные точки и разрешающие множества k-пороговых функций.

[ID 082] Ильев А.В., Ильев В.П. Аксиоматизируемость наследственных классов графов и матроидов.

[ID 185] Иорданский М.А. Избыточность конструктивных описаний (r,s)-деревьев.

[ID 029] Карандашов М.В. Автоматы с задержкой и отображения на Z_2.

[ID 156] Карпов А.В. Обращение дифференцируемых перестановок над группой.

[ID 159] Ковалевская А.О. Построение транзитивных полиномов над кольцом Z_{p^2}.

[ID 092] Коган Д.И., Федосенко Ю.С. Алгоритмы построения расписаний обслуживания линейно рассредоточенных объектов с учётом временных характеристик.

[ID 021] Коганов Л.М. Исправления и дополнения одного алгоритма в перечислительной комбинаторике и биоинформатике.

[ID 067] Кожухов И.Б., Халиуллина А.Р. О решётке конгруэнций полигонов над прямоугольными связками.

[ID 035] Козин И.В., Перепелица В.В., Рябенко А.Е. Эволюционная модель покрытия графа звездами.

[ID 142] Козлов В.Н. Зрительная среда и образы в ней.

[ID 169] Коноводов В.А. Асимптотические оценки высокой степени точности для сложности булевых формул в некоторых базисах, состоящих из элементов с прямыми и итеративными входами.

[ID 187] Копытова О.М. О сравнении поведения автоматов, порождаемых локальными преобразованиями ОД-k-эталона.

[ID 183] Корабельщикова С.Ю., Чесноков А.И., Тутыгин А.Г. О первообразных корнях из языков специального вида.

[ID 088] Коротченко А.Г., Сморякова В.М. О многоэтапных задачах оптимизации.

[ID 130] Косовская Т.М. Применение неполной выводимости в исчислении предикатов для решения ряда задач искусственного интеллекта.

[ID 129] Косовский Н.К., Косовский Н.Н. NP-полнота задачи проверки совместности в отрезке целых чисел систем целочисленных линейных уравнений и дизуравнений.

[ID 059] Кочеганов В.М., Зорин А.В. Дискретная модель колебания длины низкоприоритетной очереди в тандеме систем обслуживания при циклическом алгоритме с продлением.

[ID 061] Кочергин В.В. О средней сложности конечных абелевых групп.

[ID 096] Кочергин В.В., Кочергин Д.В. К вопросу о сложности сборки двоичных слов схемами конкатенации.

[ID 131] Кузнецов А.А., Кузнецова А.С. Об одном алгоритме вычисления матрицы смежности графа Кэли.

[ID 134] Кукарцев А.М., Кузнецов А.А. О применении частотного анализа для решения некоторых групповых уравнений индукции действия группы Джевонса и её подгрупп на множестве булевых функций.

[ID 160] Кулешов О.В., Шуплецов М.С. О динамической активности схем из функциональных элементов в стандартном базисе, реализующих мультиплексорную функцию.

[ID 057] Курносов А.Д., Дайняк А.Б. Независимые множества в деревьях с заданными степенными последовательностями.

[ID 078] Лавренченко С.А., Магомедов А.М. Все гранево 2-раскрашиваемые d-ангуляции раскрашиваемы по Грюнбауму.

[ID 173] Ложкин С.А., Садовников О.А. О сложности и глубине реализации булевых функций схемами, вложенными в единичный куб.

[ID 192] Ложкин С.А., Шуплецов М.С. О связи между глубиной и динамической активностью схем из функциональных элементов в унимодальных базисах.

[ID 094] Магомедов А.М., Магомедов Т.А. Последовательное разбиение ребер двудольного графа на паросочетания.

[ID 097] Майсурадзе А.И. Агрегирование аналитического пространства задержек передачи информации.

[ID 089] Мамонтов А.И. О некоторых решётках замкнутых классов в функциональной системе линейных полиномов с целыми коэффициентами.

[ID 152] Маренич Е.Е., Маренич В.Е. Векторные пространства над решетками: базисы и размерность.

[ID 163] Мартынов И.М. О числе нетерминалов в деревьях вывода разложимой стохастической КС-грамматики.

[ID 119] Мещанинов Д.Г. O замкнутых классах полиномов над кольцом Z_k.

[ID 053] Михайлович А.В. Критерий базируемости для одного типа семейств замкнутых классов функций многозначной логики.

[ID 050] Мокеев Д.Б. О равенстве чисел P_4-упаковки и P_4-покрытия в графах.

[ID 166] Нагорный А.С. О пересечениях предполных классов монотонных функций в четырехзначной логике.

[ID 014] Назаров М.Н. Оптимизация решения задачи об изоморфизме графов.

[ID 025] Новикова Т.А., Захаров В.А. Логико-термальная эквивалентность схем программ с динамической памятью.

[ID 148] Парватов Н.Г., Алексеева Д.В. Оценки периода полиномиальной рекуррентной последовательности.

[ID 047] Перепелица В.А., Заховалко Т.В., Максишко Н.К. Многокритериальная оптимизация на гиперграфах с нечеткими весами в управлении земельными ресурсами сельскохозяйственного предприятия.

[ID 125] Perfilieva I. Fuzzy transform as a universal tool for image processing.

[ID 186] Перязев Н.А. Шефферовы операции в алгебрах унарных мультиопераций.

[ID 015] Петренюк В.И., Петренюк А.Я., Донец Г.А. Свойства графов-обструкций для тора.

[ID 070] Петров А.Н., Рублев В.С. Полнота динамики значений свойств данных в СУБД DIM.

[ID 132] Подловченко Р.И. Обзор последних результатов в теории алгебраических моделей программ с процедурами.

[ID 016] Попков К.А. О единичных тестах для функциональных элементов.

[ID 137] Прилуцкий М.Х. Программные управления для одного класса стохастических производственных систем.

[ID 080] Пройдакова Е.В. Подход Ляпунова-Яблонского как метод исследования приоритетной управляющей системы обслуживания.

[ID 049] Рачинская М.А., Федоткин М.А. Численное исследование и синтез дискретных управляющих систем обслуживания.

[ID 081] Ревякин А.М. Оптимизация на булевых решетках.

[ID 140] Романов Д.С., Романова Е.Ю. Единичные проверяющие тесты для схем переключательного типа.

[ID 044] Рубцов А.А. О вычислительной сложности языков, распознаваемых автоматами со словарём (Set Automata).

[ID 066] Рыбаков А.В. Об одной оценке сложности клеточных схем из ненадежных элементов.

[ID 083] Сабурова М.И., Майсурадзе А.И. Распределение признаков по классам в дискретной трехдольной модели данных.

[ID 161] Сапунов С.В. О представлении помеченных графов множествами слов в алфавите меток .

[ID 011] Селезнева С.Н. Сложность систем функций алгебры логики и функций трехзначной логики в классах поляризованных полиномиальных форм.

[ID 177] Семенов В.И., Сорокин Г.М.,Шурбин А.К., Христофоров О.В. Распознавание отдельных предложений с использованием быстрого непрерывного вейвлет-преобразования.

[ID 028] Семенюта М.Ф. О задаче существования грациозной разметки одноциклических графов.

[ID 144] Сенченко А.С. Сохранение ключей операциями табличных алгебр.

[ID 118] Сидоров С.В., Костров С.А. О мощностных характеристиках базисов Гребнера торических идеалов.

[ID 034] Смирнов А.В. Некоторые полиномиальные подклассы задачи о наибольшем кратном потоке в делимой сети.

[ID 136] Стеценко В.А. Сравнение базисов многозначной логики.

[ID 090] Стёпкин А.В. Распознавание неориентированных графов с помощью коллектива агентов.

[ID 181] Суворов М.А., Майсурадзе А.И. Расширение модели линейной комбинации метрик на конечной размеченной выборке.

[ID 037] Сысоева Л.Н. Максимальное число булевых функций, порождаемых инициальным автоматом с двумя константными состояниями.

[ID 095] Трухина М.А., Федосенко Ю.С., Шеянов А.В. Управление обслуживанием мультипотока объектов мобильным процессором.

[ID 189] Тяпаев Л.Б. Транзитивные семейства автоматных отображений.

[ID 060] Федоткин М.А., Кудрявцев Е.В. Анализ кибернетической дискретной системы адаптивного управления потоками требований.

[ID 182] Хадиев К.Р. Построение иерархии классов сложности булевых функций вычислимых детерминированными, недетерминированными и вероятностными k-OBDD.

[ID 116] Хадиев К.Р., Ибрагимов Р.Н. Иерархия для двусторонних детерминированных и недетерминированных автоматов.

[ID 072] Хорошеньких С.Н., Дайняк А.Б. Модель случайного геометрического графа для беспроводных самоорганизующихся сетей.

[ID 031] Чехонадских А.В. Критические корневые диаграммы систем автоматического управления.

[ID 102] Чирков А.Ю., Грибанов Д.В. Применение методов целочисленной оптимизации для решения задач компьютерной алгебры.

[ID 022] Чухров И.П. О минимизации одного множества булевых функций для аддитивных мер сложности.

[ID 174] Шалагин С.В. Сложность вычисления нелинейной полиномиальной функции над полем Галуа вида GF(2^k) в базисе булевых функций от 2k переменных.

[ID 138] Шаранхаев И.К. О методе декомпозиции мультифункций.

[ID 046] Шерман З.А. Исследование грациозности графа средствами целочисленного программирования.

[ID 175] Шоломов Л.А. Свойства энтропии недоопределенных данных в терминах лучших доопределений.

[ID 024] Яшунский А.Д. Об операциях с независимыми случайными величинами над конечным линейно упорядоченным множеством.