О конференции
    Программа
    Сборник трудов
    Организаторы
    Место и сроки
    Проживание
    Участники
    О Казани
    Контакты
КФУ
НИКС

 
XVII Международная конференция
ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ
Участники

1. Аблаев Фарид Мансурович
Квантовое хеширование и классические универсальные хеш-семейства
Аннотация: В работе предлагается конструкция построения семейств квантовых хеш-функций на основе универсальных семейств хеш-функций. В качестве примера рассматривается конструкция квантовых хеш-функций на основе кода Рида-Соломона. Доказывается, что такая конструкция оптимальна по числу используемых кубит.
Соавторы: Аблаев Марат Фаридович

2. Алексеев Валерий Борисович
О билинейной сложности умножения матриц размеров 5х2 и 2х2

3. Алехина Марина Анатольевна
Синтез надежных схем в Р3
Аннотация: "Рассматривается реализация функций трехзначной логики схемами из ненадежных функциональных элементов в полном конечном базисе. Предполагается, что элементы схемы переходят в неисправные состояния независимо друг от друга, а сами неисправности могут быть произвольными (например, инверсными или константными). В работе 1) описан класс функций K трехзначной логики, схемы которых можно использовать для повышения надежности исходных схем; 2) доказано, что если базис содержит хотя бы одну из функций класса K при инверсных неисправностях на выходах базисных элементов, то коэффициент ненадежности базиса равен 2."
Соавторы: Барсукова Оксана Юрьевна

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

5. Антонов Дмитрий Владимирович
Генератор ODQL-запросов для СУБД DIM
Аннотация: Рассматриваются вопросы разработки интеллектуальной системы, решение которых связано с облегчением создания запросов в объектной СУБД DIM.

6. Антоновская Ольга Георгиевна
Метод функций Ляпунова и проблема оптимизации процесса управления в системах с переменной структурой
Аннотация: Настоящий доклад посвящен решению задачи оптимизации процесса управления в системах с переменной структурой с помощью применения корневого критерия и метода функций Ляпунова.
Соавторы: Горюнов Владимир Иванович

7. Антюфеев Григорий Валерьевич
О свойстве булевых функций гарантирующем существование логарифмических диагностических тестов относительно сдвигов переменных
Аннотация: Речь пойдёт об одном типе неисправностей на входах схем. С помощью специального свойства выделяется класс функций, диагностическиетесты которых имеют логарифмическую длину.

8. Бабин Дмитрий Николаевич
Автоматная сложность булевых функций.
Аннотация: Найдена автоматная сложность булевых функций из классов Поста.
Соавторы: Кибкало М.А.

9. Бадмаев Сергей Александрович
О некоторых минимальных ультраклонах
Аннотация: Шаранхаев Иван Константинович

10. Батуева Цындыма Чимит-Доржиевна
Дискретные динамические системы циркулянтного типа с пороговыми функциями в вершинах сети

11. Бондаренко Леонид Николаевич
Статистики спусков и средних на множествах слов
Аннотация: Рассмотрены статистики спусков и средних на двух множествах слов фиксированной длины, одно из которых является подмножеством другого. Для них получены производящие многочлены, совпадающие на соответствующем множестве, и исследованы свойства коэффициентов этих многочленов. Также показано, что асимптотика распределений изучаемых статистик одинакова на рассматриваемых множествах слов.
Соавторы: Шарапова Марина Леонидовна

12. Бондарь Ольга Петровна
Об эквивалентности отображений многообразий
Аннотация: Указан один из способов нахождения эквивалентных отображений многообразий и некоторые его приложения.

13. Буй Дмитрий Борисович
Сложность операций в базах данных (обзор)
Аннотация: Работа представляет собой краткий обзор моделей и методов, предназначенных для
обеспечения безопасности программных средств современных компьютерных систем
на протяжении всего их жизненного цикла. Рассмотрены подходы к разработке
технологий, обеспечивающих безопасность программных средств, и возникающие
при этом сложности. Охарактеризована общая схема, применяемая для построения
системы защиты программных средств. Представлены основные типы систем защиты
программных средств и выделены типы методов, используемых при их построении.
Охарактеризованы модели и методы, применяемые в процессе валидации и
верификации программных средств. Указаны некоторые возможные направления
исследований, связанных с построением формальных моделей и методов верификации
программных средств. Кратко рассмотрены методы обеспечения защиты баз данных.
Соавторы: В.Г. Скобелев

14. Булгакова Александра Сергеевна
Интеллектуальный подход к извлечению знаний из данных с помощью алгоритмов индуктивного моделирования
Аннотация: Зосимов Вячеслав Валериевич

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

16. Васин Алексей Валерьевич
О нижних оценках ненадежности схем в полном базисе из констант, инверсии и элементарных конъюнкций рангов 2,3 и 4, не содержащиx инверсий

17. Вершинин Игорь Сергеевич
Ассоциативная стегозащита стилизованных бинарных изображений
Аннотация: Рассматриваются принципы ассоциативной стеганографии, применяемой для защиты бинарных изображений картографических сцен в условиях действия случайных и преднамеренных (с целью дезинформации) помех.

18. Воблый Виталий Антониевич
Перечисление помеченных тетрациклических эйлеровых блоков
Аннотация: Получена явная формула для числа помеченных тетрацикличе-ских эйлеровых блоков с задан-ным числом вершин, а также найдена асимптотика для числа таких графов с большим числом вершин.
Соавторы: Мелешко А.К.

19. Габбасов Булат Нилович
О сравнительных характеристиках моделей квантовых алгоритмов Гровера -- алгоритма точного и алгоритма с ошибками

20. Гавриков Александр Владимирович
Алгоритмы построения Т-неприводимых расширений для линейных орграфов
Аннотация: Линейный орграф - это орграф, полученный переориентацией некоторых дуг цепи. Т-неприводимые расширения (ТНР) являются одним из видов оптимальных расширений для орграфов. Конструкции оптимальных расширений применяются в диагностике дискретных систем и криптографии, а также в вопросах отказоустойчивости. В работе разработаны полиномиальные алгоритмы построения ТНР для линейных орграфов.

21. Гайнутдинова Аида Фаритовна
Вычислительные возможности квантовых и классических OBDD.
Аннотация: В работе исследуются вычислительные возможности квантовых и классических OBDD. Рассматривается частичная функция $f_k^n$, зависящая от параметра $k$, для которой классические OBDD (детерминированная, недетерминированная, вероятностная, вычисляющая с ограниченной ошибкой), требуют ширины не менее $2^{k+1}$. При этом квантовая OBDD, вычисляющая данную функцию без ошибки, имеет ширину 2.

22. Георгиев Виктор Олегович
Один из подходов к определению понятия специалиста программной инженерии
Аннотация: Рассматривается один из подходов к определению понятия специалиста по программной инженерии, выстраивается градация уровней квалификации которыми должен он обладать

23. Горюное Владимир Иванович
Метод функций Ляпунова и проблема оптимизации процесса управления в системах с переменной структурой
Аннотация: Настоящий доклад посвящен решению задачи оптимизации процесса управления а системах с переменной структурой с помощью применения корневого критерия и метода функций Ляпунова
Соавторы: Антоновская Ольга Георгиевна

24. Гостев Максимилиан Вадимович
Об одной задаче оптимального выбора пропускных способностей каналов транспортных сетей
Аннотация: Рассматривается задача выбора пропускных способностей каналов транспортных сетей, минимизирующего суммарное время транспортировки по всем каналам сети при ограничении на стоимость сети. Получены оценки границ локализации решения, позволяющие построить эффективный численный метод для решения задачи. Построены приближенные решения задачи в аналитической форме, обладающие малыми погрешностями.
Соавторы: Хабибуллин Рустем Фарукович

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

26. Дергач Пётр Сергеевич
О спектральных свойствах тонких языков.
Аннотация: Автор занимается вопросами теории кодирования в применении её к регулярным языкам. Ставятся вопросы об алгоритмической разрешимости многих возникающих при этом проблем. Для аппроксимации класса регулярных языков используется класс тонких языков. Удается описать его структуру, дать каноническое представление в терминах регулярных выражений, а также решить несколько задач, касающихся спектральных свойств таких языков.
Соавторы: Соавторов нет.

27. Дуничкина Надежда Александровна
Модель и алгоритмы синтеза расписаний обслуживания группировки стацонарных объектов mobile-процессором
Аннотация: Рассматривается система, в которой реализующий обслуживание группировки стационарных объектов процессор выполняет в пределах одномерной рабочей зоны два рейса, прямой и обратный. Часть объектов обслуживается в прямом рейсе, остальные объекты - в обратном рейсе. Обслуживание любого объекта нельзя начать ранее предписанного срока. Изучаются возникающие оптимизационные задачи и алгоритмы синтеза расписаний обслуживания.
Соавторы: Коган Д.И., Пушкин А.М.

28. Дурандин Олег Владимирович
О свойствах деревьев вывода стохастической КС-грамматики при переходных явлениях
Аннотация: "Рассматриваются переходные явления для стохастических КС-грамматик с одним нетерминальным символом. Переходные явления возникают в случае, когда перронов корень r матрицы первых моментов грамматики близок к 1. Выявлены особенности свойств деревьев вывода фиксированной высоты t при переходе от докритического (r<1) к критическому случаю (r=1)."

29. Евдокимов Александр Андреевич
О графическом разнообразии шаров
Аннотация: Изучаются векторы разнообразия шаров (i-ая компонента вектора равна числу различных шаров радиуса i) для обыкновенных связных графов. Решена проблема характеризации векторов разнообразия шаров графов малого диаметра.
Соавторы: Т.И.Федоряева

30. Емеличев Владимир Алексеевич
Анализ устойчивости векторной инвестиционной булевой задачи Марковица с критериями Вальда в метрике Гёльдера
Аннотация: "Приводятся нижняя и верхняя оценки радиуса устойчивости многокритериальной булевой задачи портфельной оптимизации с максиминными критериями экономической эффективности Вальда в случае, когда в трехмерном пространстве параметров задачи задана произвольная метрика Гёльдера lp, 1 p ∞."
Соавторы: Бухтояров Сергей Евгеньевич

31. Емец Олег Алексеевич
О сильной разрешимости и сильной допустимости нечетких линейных систем неравенств
Аннотация:
Соавторы: Емец Александра Олеговна

32. Емец Александра Олеговна
О сильной разрешимости и сильной допустимости нечетких линейных систем неравенств
Аннотация:
Соавторы: Емец Олег Алексеевич

33. Жизневский Алексей Николаевич
Об эффективности признака формы при классификации транспортных средств

34. Жильцова Лариса Павловна
О верхней оценке длины слабопрефиксного кода для одного семейства КС-языков
Аннотация: Для одного известного семейства КС-языков рассматривается задача оптимального алфавитного кодирования, учитывающего синтаксис слов. В классе кодов, являющихся обобщением префиксных, получена верхняя оценка длины элементарного кода, имеющая порядок O(log n), где n - мощность алфавита языка, в отличие от оценки O(n) для префиксных кодов.
Соавторы: Крылова Ирина Игоревна

35. Жук Дмитрий Николаевич
О замкнутых классах функций, содержащих функцию почти единогласия

36. Заботин Игорь Ярославич
Метод отсечений с аппроксимацией надграфика и оценка точности решения
Аннотация:
Соавторы: Яруллин Рашид Саматович

37. Замараева Елена Михайловна
О мощности и структуре разрешающих множеств k-пороговых функций
Аннотация: В докладе рассматриваются k-пороговые функции и их разрешающие множества. Исследуется структура разрешающих множеств. Дается оценка мощности разрешающего множества для k=2.

38. Замарацкая Светлана Вячеславовна
О базисах клона всех ультрафункций ранга 2
Аннотация: Рассматривается выделенный класс мультифункций на двухэлементном множестве, относительно специальным образом введенной суперпозиции. Приведена классификация таких функций относительно принадлежности максимальным клонам и перечислены все возможные типы базисов.

39. Захаров Владимир Анатольевич
Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами
Аннотация: Автомат-преобразователь - это автомат с конечным числом состояний, среди которых выделены начальное и финальное состояния, и преобразующий строки входного алфавита в строки выходного алфавита. Автомат называется ограниченно недетерминированным, если каждую входную строку автомат преобразует лишь в ограниченное число различных выходных строк. Рассматриваются обобщения указанных автоматов, для которых строки выходные строки образуют конечно полрожденную полугруппу. Доказана разрешимость проблемы эквивалентности обобщенных автоматов-преобразователей, работающих над полугруппами выходных строк, вложимыми в разрешимые группы.

40. Захарова Дарья Владимировна
Задача редактирования для симметрических линейных пространств графов
Аннотация: Задача редактирования графов относительно класса графов X состоит в том, чтобы по данному графу найти ближайший к нему граф из X. Рассматривается задача редактирования относительно симметрических линейных пространств графов (СЛПГ), т.е. множеств графов, замкнутых относительно изоморфизма и симметрической разности. При любом фиксированном множестве вершин имеется не более 14 СЛПГ. Для некоторых из них задача редактирования тривиальна, для других эффективно решается, для третьих NP-трудна. Для последних предлагаются быстрые алгоритмы редактирования, дающие точное решение в случаях, когда расстояние редактирования невелико.

41. Зиятдинов Мансур Тагирович
Об одной конструкции квантовой хеш-функции. Алгебраический подход
Аннотация: В работе на случай произвольных групп обобщается конструкция квантовой хэш-функции, введенная в работах Аблаева и Васильева. Приводятся примеры построения квантовой хэш-функции для некоторых групп, в том числе для произвольной абелевой группы

42. Золотых Николай Юрьевич
Сложность расшифровки пороговой функции
Аннотация:
Соавторы: Чирков Александр Юрьевич

43. Зорин Андрей Владимирович
Кибернетическая модель циклического управления конфликтными потоками с последействием
Аннотация: Рассматривается кибернетическая система массового обслуживания конфликтных потоков на пересечении магистралей в реалистическом предположении, что интервалы между моментами поступления зависимы и имеют различные законы распределения (случай транспортных пачек). Строится вероятностная модель в виде многомерной цепи Маркова с несчетным пространством состояний. Рассматриваются некоторые свойства переходной вероятности.

44. Иорданский Михаил Анатольевич
Избыточность конструктивных описаний графов
Аннотация: В конструктивных описаниях графов используются операции объединения графов, не являющиеся в общем случае дизъюнктными. В работе рассматривается величина избыточности, вносимой при этом для некоторых классов графов

45. Исаченко Александр Николаевич
Гамильтоновы циклы матроида
Аннотация: В докладе рассматриваются свойства гамильтоновых циклов матроида. Даются некоторые условия существования гамильтонова цикла в матроиде.
Соавторы: Исаченко Я.А.

46. Казимиров Алексей Сергеевич
О базисах клона всех гиперфункций ранга 2
Аннотация: Рассматриваются гиперфункции на двухэлементном множестве. Приведена классификация гиперфункций относительно принадлежности максимальным клонам и перечислены все возможные типы базисов клона всех гиперфункций.
Соавторы: Пантелеев В.И., Токарева Л.В.

47. Калымбет Айбек Сапаргалиулы
Моделирование универсального диалога искусственного интеллекта
Аннотация: В статье показаны некоторые алгоритмы диалога моделирования речи искусственного интеллекта на основе синхронной связи официально-делового, научного стилей речи и художественного стиля.
Соавторы:

48. Кашуба Алексей Юрьевич
Оценка алгоритмов распределения ресурсов в когнитивных системах связи с зональными аукционами
Аннотация: В настоящей работе численно исследуется эффективность алгоритмов распределения ресурсов в когнитивных системах связи с зональными аукционами.

49. киселева лариса георгиевна
Об уравнениях в словах с 3 неизвестными
Аннотация: 1.Доказано, что почти все уравнения с тремя неизвестными имеют не более одного нетривиального решения. 2.Дано описание минимальных (несжимаемых) решений, с точностью до изоморфизма, уравнения в словах с тремя неизвестными
Соавторы:

50. Климов Роман Владимирович
Исследование процесса формирования индексов мягких решений принятого сигнала с расширенной зоной стираний
Аннотация: Рассматривается процедура вычисления индексов мягких решений (ИМР), применимых для реализации мягкого декодирования помехоустойчивых кодов. Вводятся показатель эффективности схемы формирования ИМР и определяются его асимптотические границы для различных процедур получения ИМР. Представлены граничные оценки аналитического моделирования обобщенных систем формирования ИМР, прошедшие проверку результатами статистических испытаний соответствующих моделей.

51. Коганов Леонид Маркович
Ещё одна биекция.
Аннотация: "Устанавливается прямая универсальная биекция(в смысле работы автора: УМН, 1996, 51, вып. 2(308),С.165-166) между естественно возникающими в биоинформатике так называемыми тернарными (по степени каждой невисячей - внутренней вершины) деревьями (Бородовский М., Екишева С., кн. ""Задачи и решения по анализу биологических последовательностей"", М. - Ижевск, 2008, Гл.7, С.240 - 251) и диаграммами связей. При этом не используется весьма трудоёмкое промежуточное кодирование по Прюферу, задействованное в указанной книге. Установленная биекция попутно доставляет представление-кодировку указанных деревьев (степени вершин либо - 1, либо - 3, метки лишь на висячих вершинах - листьях)кодами соответствующих диаграмм связей, построенными в указанной выше статье автора. "

52. Колесникова Светлана Ивановна
Метод скользящего управления на многообразиях с компенсацией возмущений
Аннотация: Рассматривается задача управления нелинейным многомерным(плохо формализуемым) объектом на многообразиях в условиях неопределенности. Дается сравнительный обзор трех методов управлений на многообразиях. Численно исследуется свойство робастности данных методов по отношению к зашумлению координат и параметрических флуктуаций объекта. Дается теоретическое обоснование обобщения известного метода аналитического конструирования агрегированных регуляторов (АКАР) на случай возмущения произвольной природы в задаче стабилизации сложного объекта. Дается информационная модель системы интеллектуального управления на многообразиях. Приводятся результаты численного моделирования.

53. Колпаков Роман Максимович
О числе максимальных повторов и субпериодичностей в формальных словах
Аннотация: В работе получена точная по порядку оценка для максимального возможного числа максимальных повторов, разрыв между копиями которых линейно ограничен длиной копий, в формальных словах заданной длины. В качестве следствия получена точная по порядку оценка для максимального возможного числа максимальных субпериодичностей ограниченного снизу порядка в формальных словах.

54. Колчин Андрей Валентинович
Применение вероятностного метода к изучению разбиений целого числа на слагаемые
Аннотация: С помощью вероятностного подхода изучается асимптотическое поведение числа разбиений целого числа на слагаемые. Цель -- не получить наилучшую оценку, а показать возможности метода. Получено компактное асимптотическое выражение для числа разбиений целого числа на слагаемые.

55. Комаров Дмитрий Дмитриевич
Минимальные реберные 1-расширения сверхстройных деревьев с малым числом дополнительных ребер

56. Коннов Игорь Васильевич
Аукционный принцип распределения сетевых ресурсов
Аннотация: Предлагается обобщение модели аукционного рынка для случая многих делимых товаров и наличия связывающих ограничений. Эта модель применяется для распределения ресурсов в телекоммуникационных сетях. Предложены простые итеративные алгоритмы поиска решения.

57. Коноводов Владимир Александрович
Синтез и сложность булевых формул в базисах с прямыми и итеративными переменными

58. Копытова Ольга Михайловна
Об одном типе локальных преобразований автономных автоматов
Аннотация: "Изучается влияние локальной операции – переброски дуг на циклическую структуру автономного автомата и его поведение. Сформулированы условия сохранения поведения автономным автоматом при переброске k дуг."

59. Корабельщикова Светлана Юрьевна
Максимальные префиксные коды и проблема равенства в разных классах языков
Аннотация:
Соавторы: Мельников Борис Феликсович

60. Коротченко Анатолий Григорьевич
Об одном классе задач, имеющих многоэтапный характер
Аннотация:
Соавторы: Сморякова В.М

61. Костенко Константин Иванович
Вложения формализмов знаний
Аннотация: Формализм знаний определяется в формате, близком к алгебраическим системам. Его составляют разрешимое вычислимое множество, элементы которого рассматриваются как фрагменты абстрактных знаний, включающее множество знаний в качестве разрешимого подмножества. На множестве фрагментов знаний определены операция композиции и отношение вложения. Вложение формализмов связано с существованием инъективных отображений фрагментов знаний одного формализма во множество фрагментов знаний другого формализма, сохраняющих композицию и вложение фрагментов. Приведены общие свойства отношения сравнения формализмов знаний. Определены формализмы, представляющих: атомарные продукционные системы, образовательные пространства, базы знаний в дескрипционных логиках, абстрактные пространства знаний и иерархические семантические сети. Для таких формализмов обосновано существование только тех вложений, которые согласованы с приведённым порядком их следования. Доказано существование универсальных формализмов знаний и не универсальность формализма иерархических семантических сетей. Уточнены вложения, выполняющиеся для классов иерархических семантических сетей разной глубины.
Соавторы: нет

62. Кочергин Вадим Васильевич

63. Кочкарев Баграм Сибгатуллович
Об одном алгоритме, не согласующемся с тезисами Тьюринга, Черча и Маркова.
Аннотация: Формулируется проблема из перечислительной комбинаторики и строится алгоритм ее решения, который отвергает тезисы соответствующих формальных понятий алгоритма.

64. Кудрявцев Евгений Владимирович
Кибернетический подход к изучению вероятностной модели адаптивного управления конфликтными потоками
Аннотация: "В работе предлагается кибернетический подход Ляпунова-Яблонского к построению и анализу вероятностной модели адаптивного управления конфликтными потоками. Функциональная схема такой управляющей системы включает: а) конфликтные входные потоки - первый тип входных полюсов; б) потоки насыщения (выходные потоки системы при ее максимальной загрузке и эффективном функционировании) - второй тип выходных полюсов; в) накопители очередей по входным потокам - внешняя память; г) устройство по организации дисциплины очередей в накопителях или стратегия обслуживания - блок по переработке информации внешней памяти; д) обслуживающее устройство - внутренняя память; е) алгоритм смены состояний обслуживающего устройства - блок по переработке информации внутренней памяти. Такой подход позволяет построить маркированный точечный процесс с выделенной дискретной компонентой, для которой определены и изучены конечномерные распределения."
Соавторы: Федоткин Михаил Андреевич

65. Куимова Анастасия Сергеевна
Задача синтеза расписаний обслуживания бинарного потока объектов в системе с накопительно-расходными компонентами
Аннотация: Рассматривается модель системы, в которой стационарный процессор с двумя невзаимозаменяемыми накопительно-расходными компонентами осуществляет одностадийное обслуживание конечного детерминированного потока объектов. Поток состоит из двух подпотоков - входящего и исходящего. Ставится задача синтеза расписания обслуживания, минимизирующего суммарный штраф по всем объектам потока за время пребывания их в системе обслуживания. Исследуются вопросы вычислительной сложности и выполняется построение решающего алгоритма динамического программирования.
Соавторы: Федосенко Ю.С.

66. Курганский Алексей Николаевич
Сохранение направления движения коллективом автоматов без компаса в решётчатой среде
Аннотация: Рассматриваются коллективы автоматов без компаса, взаимодействующие между собой в среде, представляющей собой целочисленную 2-мерную решетку. Взаимодействуя со средой, автомат получает на вход информацию о наличии или отсутствии других автоматов в окрестности своей вершины, а выходом автомата является перемещение в одну из соседних вершин. Автомат не различает направление и взаимное расположение соседних вершин. В работе приводятся как достаточные, так и необходимые условия в виде ограничений на свойства автоматов и структуру коллектива, при которых коллектив как цельный, связанный взаимодействием объект, сохраняет постоянное направление перемещения в среде.
Соавторы: Сапунов Сергей Валерьевич

67. Лавренченко Сергей Александрович
Метод оценивания сверху количеств неизоморфных комплексов заданного типа
Аннотация: Алгебраическая формула разложения на орбиты применяется для получения верхних оценок количеств неизоморфных комбинаторных симплициальных комплексов заданного типа, в частности: числа графов данного типа, а также числа асимметричных графов (отдельно деревьев) и числа попарно неизоморфных триангуляций с данным числом вершин.
Соавторы: Щиканов Алексей Юрьевич

68. Лакомкина Александра Евгеньевна
О надежности схем в базисе {&,v,-} с надежными и ненадежными элементами.
Аннотация:
Соавторы: Алехина Марина Анатольевна

69. Ларионов Виталий Борисович
О сложности бесконечной надструктуры классов монотонных 4-значных функций.
Аннотация: Работа посвящена изучению решетки замкнутых классов функций k-значной логики (Pk). Известно, что при определенных условиях классы монотонных функций являются предполными. С другой стороны, автором было показано, что существуют семейства классов монотонных функций, обладающих бесконечным множеством классов их содержащих. Минимальной логикой с таким условием является P4. В данной работе показывается, что уже в P4 указанная бесконечная надструктура чрезвычайно сложна (а именно, содержит бесконечное число классов, не являющихся предикатно-описуемыми). Работа поддержана грантом РФФИ №13-01-00684-a.

70. Летуновский Алексей Александрович
Цикловые индексы автоматов в задаче выразимости

71. Лещёв Алексей Николаевич
Вычислительные возможности односторонних машин Тюринга с сублогарифмическими ограничениями на память
Аннотация: В докладе рассматривается известная модель машины Тюринга --- недетерминированная односторонняя машина Тюринга. Автором доказывается существование невырожденных (нерегулярных) классов сложности языков, распознаваемых недетерминированными односторонними машинами Тюринга с сублогарифмическими ограничениями на память. В докладе показывается, что соответствующие классы сложности образуют строгую иерархию. Для доказательства иерархии определяется семейство языков специального вида и доказываются некоторые их свойства.

72. Лобанов Михаил Сергеевич
Об одном классе бент-функций

73. Ложкин Сергей Андреевич
О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с оптимальной по порядку динамической активностью
Аннотация:
Соавторы: Шуплецов М.С.

74. Магомедов Абдулкарим Магомедович
(6,3)-бирегулярные графы, не раскрашиваемые интервально 6 цветами
Аннотация: "Известно, что задача о реберной интервальной раскраске 6 цветами двудольного (6,3)-бирегулярного графа G=(X,Y,E), |X|=n, NP-полна. Используя компьютерные подходы, в работе доказано, что при n<6 любой такой граф обладает требуемой раскраской, а для любого n>=6 найдется граф G=(X,Y,E), |X|=n, указанного вида, не обладающий интервальной раскраской 6 цветами."

75. Мазуров Анатолий Алексеевич
О количестве частично стационарных функций в трехзначной логике
Аннотация: Рассматриваются такие функции трехзначной логики, что вектор коэффициентов их полинома совпадает с вектором значений функции, полученной из исходной путем сдвига набора переменных на некоторый постоянный вектор. Установлено число таких функций для любого вектора сдвига.

76. Майсурадзе Арчил Ивериевич
Обучение линейной комбинации метрик на конечной выборке
Аннотация: В задачах интеллектуального анализа данных всё чаще встречается ситуация, когда на одних и тех же объектах заданы различные способы измерения попарных расстояний. Формально, множество объектов является мультиметрическим пространством. Ставится задача агрегирования первичной метрической информации, т.е. по набору попарных расстояний на одних и тех же объектах (конечной выборке) требуется построить новую метрику на всей генеральной совокупности, которая наилучшим образом соответствует распределению прецедентов по классам. В работе предлагается подход, в котором указанная задача сводится к задаче линейного программирования. Рассматриваются теоретические свойства задачи, приводятся эмпирические данные.

77. Малышев Дмитрий Сергеевич
О сложности задач о раскраске для наследственных классов с запретами небольшого размера
Аннотация: "Наследственный класс графов – множество обыкновенных графов, замкнутое относительно изоморфизма и удаления вершин. Любой наследственный класс может быть задан множеством своих запрещенных порожденных подграфов. Задачи о раскраске и о k-раскраске являются NP-полными и остаются таковыми при значительных сужениях. Для этих задач по вычислительной сложности известны частичные и полные классификации в семействе наследственных классов с запрещенными порожденными подграфами небольшого порядка. В докладе для тех же задач будут даны частичные и полные сложностные дихотомии в семействе наследственных классов с запретами большего размера. "

78. Мамонтов Андрей Игоревич
Алгоритмические задачи, связанные с полнотой в функциональной системе L(Z)
Аннотация: Предложен алгоритм, распознающий полноту (относительно суперпозиции) в функциональной системе полиномов первой степени над кольцом Z. Исследованы вопросы, связанные со сложностью алгоритма. Алгоритм применен и для решения нескольких иных задач: проверки свойств функций и распознавания полноты некоторых систем. Работа выполнена при финансовой поддержке РФФИ (проект 13-01-00684).
Соавторы: Мещанинов Дмитрий Германович

79. Мартынов Игорь Михайлович
"О распределении нетерминалов в словах, порождаемых деревьями вывода фиксированной высоты стохастической КС-грамматики вида ""цепочки"""
Аннотация: Рассматриваются разложимые стохастические КС-грамматики специального вида. Для слов, порождаемых деревьями вывода высоты t, показана пропорциональность вектора частот использования нетерминалов вектору специального вида, при t стремящемся к бесконечности. Получена оценка дисперсии для разности вектора частот использования нетерминалов и вектора специального вида.

80. Марченко Антон Александрович
Сложность реализации некоторых классов бент-функций в модели упорядоченных один раз читающих ветвящихся программ
Аннотация: В докладе анализируется сложность реализации квадратичных бент-функций в модели один раз читающих упорядоченных ветвящихся программ (OBDD), приводятся оценки сложности OBDD для итерационной конструкции и конструкции Мэйорана-МакФарланда бент-функций.

81. Меламед Игорь Ильич
Моделирование творческого мышления на нейронной сети типа Хопфилда
Аннотация: Показано, что при определенных условиях на матрицу межнейронных связей, процесс творческого мышления, понимаемый в смысле Адамара,может быть смоделирован на нейронной сети типа Хопфилда

82. Мелешко Анна Константиновна
Асимптотическое перечисление помеченных эйлеровых кактусов
Аннотация: Получена асимптотическая формула для числа помеченных эйлеровых кактусов с большим количеством вершин.
Соавторы: Воблый Виталий Антониевич

83. Мельников Борис Феликсович
Максимальные префиксные коды и проблема равенства в разных классах языков
Соавторы: Корабельщикова Светлана Юрьевна

84. Мельникова Александра Александровна
Цветные циклы базисного конечного автомата.
Аннотация: Рассматриваются так называемые базисные конечные автоматы Рабина-Скотта, определённые ранее автором и используемые для решения различных задач в теориии регулярных языков, в частности задач минимизации конечных автоматов. Для базисных автоматов определяется цвет дуг с помощью инъективной функции и исследуются различные циклы, соответствующие циклам автомата, возможно определяющего данный регулярный язык.

85. Михайлович Анна Витальевна
О свойствах классов функций трехзначной логики, порожденных симметрическими функциями с ограниченным числом слоев

86. Мокеев Дмитрий Борисович
Кёниговы графы относительно 4-пути

87. Молчанов Андрей Эрикович
Сводимость проблемы эквивалентности в специального вида алгебраических моделях программ с процедурами
Аннотация: Алгебраические модели программ с процедурами предназначены для изучения семантических свойств самих программ на их образах - схемах программ. Центральное место в теории отводится проблеме эквивалентности схем программ, принадлежащих отдельной модели. Для специального класса моделей программ с процедурами, порожденного моделями программ без процедур, устанавливается полиномиальная сводимость проблемы эквивалентности к проблемам в порождающей модели.

88. Морозов Евгений Валерьевич
О тестах для булевых функциях относительно монотонных симметрических слипаний переменных
Аннотация: Под слипанием переменных в булевых функциях понимается подстановка некоторой функции, зависящей от данных переменных, вместо них. Слипание называется множественным, если имеется несколько групп переменных, относительно которых произошло слипание. В данной работе устанавливаются нижняя линейная и верхняя квадратичная оценка функции Шеннона длины проверяющего теста относительно множественных монотонных симметрических слипаний, а также точное значение функции Шеннона длины диагностического теста относительно множественных монотонных симметрических слипаний.

89. Мубаракзянов Рустам Гамирович
Оценка количества состояний последовательности, порожденной вероятностным автоматом
Аннотация: При исследовании поведения вероятностных автоматов интересно понимать свойства порождаемых ими последовательностей. Одна из возникающих проблем сводится к оценке количества образующих полиэдрального конуса, лежащего в пересечении заданного конуса и подпространства. Доказаны точные оценки исследуемого числа.

90. Нагорный Александр Степанович
О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике
Аннотация:

91. Новикова Татьяна Анатольевна
О сложности задачи решения линейных уравнений над конечными полстановками
Аннотация: Задача решения линейных уравнений над конечными подстановками является обобщением широко известных задач унификации и антиунификации формул.Другие варианты этой задачи возникают при проверке отношений подобия для программ. В частности, нами исследована один из таких вариантов указанной задачи, для которого установлена его PSPACE-полнота.
Соавторы: Захаров Владимир Анатольевич

92. Пантелеев Владимир Иннокентьевич
О базисах клона всех гиперфункций ранга 2
Аннотация: Рассматриваются гиперфункции на двухэлементном множестве. Приведена классификация гиперфункций относительно принадлежности максимальным клонам и перечислены все возможные типы базисов клона всех гиперфункций.
Соавторы: Казимиров А.С., Токарева Л.В.

93. Пархоменко Денис Владимирович
Регулярность частотных языков
Аннотация: Ранее автор ввел понятие p-языка, как множества слов, возникающих на выходе некоторого автомата не менее p раз. Было показано, что каждый такой язык регулярен, но оставался вопрос проверяемое ли свойство произвольного регулярного языка быть языком p-типа. В докладе будет рассказано о положительном решении данного вопроса.

94. Петренюк Владимир Ильич
Структура 9-вершинных графов-обструкций для тора
Аннотация: Предложен структурний подход к описанию 9-вершинных графов-обструкций для тора

95. Петренюк Дмитрий Анатольевич
Грациозная разметка деревьев и ее применение
Аннотация: Понятие бета-разметки вершин дерева, названной позднее грациозной разметкой, было предложено Александром Росой в 1976 году. В статье дан обзор известных грациозных классов деревьев и предложены методы получения грациозной разметки для отдельных классов деревьев. Также указаны области практического применения грациозной разметки.
Соавторы: Петренюк Анатолий Яковлевич

96. Петров Алексей Николаевич
Взаимодействия СУБД DIM и их реализация
Аннотация: Рассматриваются вопросы разработки интеллектуальной системы, решающие задачу создания инфраструктуры выполнения запросов и организации выполнения взаимодействий СУБД DIM

97. Петюшко Александр Александрович
О биграммных языках с закольцовыванием

98. Подловченко Римма Ивановна
Решение проблем эквивалентности и эквивалентных преобразований в одном классе двухпараметрических алгебраических моделей программ.
Аннотация: Алгебраические модели программ изучаются в теории схем программ. Основными для них являются указанные в названии доклада проблемы. В общем случае алгебраические модели программ определяются двумя параметрами. Для однопараметрических моделей разработаны методики решения обеих проблем.В докладе рассматриваются специального вида двухпараметрические модели, и для них применением разработанных методик решены обе проблемы Функциональной особенностью рассмотренных моделей является то, что в них имеются классы эквивалентных схем с несколькими каноническими представлениями схем.

99. Подолько Дмитрий Константинович
О мощности некоторых семейств классов функций многозначной логики, замкнутых относительно расширенной суперпозиции|

100. Подымов Владислав Васильевич
Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами|

101. Пузикова Анна Валентиновна
Теория нормализации в реляционных базах данных|

102. Романов Дмитрий Сергеевич
О проверяющих тестах для контактных схем специального типа
Аннотация: В работе устанавливается, что для произвольной отличной от константы булевой функции f от n переменных возможна тестопригодная реализация системы функций, состоящей из функции f и ее отрицания, контактной схемой с одним входом и двумя выходами, допускающей: а) единичный проверяющий тест длины O(n), б) полный проверяющий тест замыкания (размыкания) длины O(n). Доказано также, что для произвольной булевой функции f от n переменных возможна тестопригодная реализация некоторой ее надфункции двухполюсной контактной схемой, допускающей: а) единичный проверяющий тест длины O(n), б) полный проверяющий тест замыкания (размыкания) длины O(n).

103. Рублев Вадим Сергеевич
Теорема о статической полноте СУБД DIM
Аннотация: Вводятся формализация OD-модели, при помощи которой может быть заданы данные произвольной базы данных, формализация схемы классов DIM и формализация статического описания OD-модели схемой классов DIM. Обосновывается алгоритм сведения произвольной OD-модели к схеме классов DIM.

104. Рубцов Александр Александрович
Исследование задачи регулярной реализуемости для контекстно-свободных языков
Аннотация: "Задача регулярной реализуемости — это массовая задача состоящая в проверке непустоты пересечения регулярного языка на входе с фиксированым языком, называемым фильтром. Для различных фильтров задача регулярной реализуемости является полной в различных классах сложности. В случае контекстно-свободных фильтров все известные примеры попадают либо в класс P, либо в NL, либо в Logspace. При исследовании данной задачи возникает много естественных вопросов относящихся к теории формальных языков и тесно связанных с интересными результатами в этой области, такими как исследование рационального индекса и классами AFL-языков."

105. Рыбаков Андрей Валентинович
Сложность асимптотически оптимальных по надежности клеточных схем

106. Саргсян Ваге Гнелович
Асимптотика логарифма числа множеств, свободных от решений линейных уравнений, в абелевой группе
Аннотация: Получена асимптотика логарифма числа подмножеств абелевой группы, в которых уравнения x_1 + ... + x_k = y_1 + ... + y_l не имеет решений.

107. Селезнева Светлана Николаевна
Порядок функции Шеннона длины функций k-значной логики в классе полиномиальных нормальных форм по модулю k
Аннотация: В работе установлен порядок функции Шеннона длины функций k-значной логики в классе полиномиальных нормальных форм по модулю k.
Соавторы: Башов Максим Александрович

108. Семенов Владимир Ильич
Применение вейвлет-преобразования для определения средних размеров объектов на изображении.
Аннотация: Используется непрерывное быстрое вейвлет-преобразование для определения средних размеров микрообъектов, полученных с помощью электронных микроскопов.
Соавторы: Шурбин А.К., Желтов П.В.

109. Семенов Александр Анатольевич
Вычислительное исследование дискретных моделей конформного поведения
Аннотация: Феномен конформности в мультиагентных системах заключается в том, что поведение каждого конкретного агента зависит от поведения его соседей. В работе будут представлены результаты применения SAT-подхода к исследованию дискретных моделей конформного поведения, которые задаются случайными графами.
Соавторы: Кочемазов С.Е., Фисенко Д.Л.

110. Семенюта Марина Фроловна
О дистанционной магической разметки декартового произведения графов
Аннотация: К одной из нерешенных проблем теории разметок графов, относится задача характеристика графов G и H таких, что их декартовое произведение будет дистанционным магическим графом. Ее исследованием занимались S.B.Rao, T.Singh,V.Parameswaran, S.Beena и другие. Мы рассмотрели следующие нерешенные случаи: определить условия существования дистанционной магической разметки декартового произведения графов: Kn и Cm, Cm и Pn, Cm и Kn,t.

111. Сенченко Алексей Сергеевич
Некоторые свойства сигнатурных операций табличных алгебр
Аннотация: Найдены необходимые и достаточные условия, при которых некоторые включения, выполняемые в табличных алгебрах, превращаются в равенства. Эти условия выражаются в терминах активных доменов таблиц и являются естественными.

112. Сидоров Сергей Владимирович
О подобии матриц над кольцом целых чисел
Аннотация: Рассматривается обобщение на кольцо целых чисел классической задачи из линейной алгебры о подобии матриц над полем рациональных чисел. Исследуются необходимые условия подобия и классы подобных матриц.

113. Смирнова Татьяна Геннадьевна
Об оптимальном кодировании в классе локально-префиксных кодов
Аннотация: Рассматривается задача алфавитного кодирования нетривиальных локальных моделей языков глубины 1, которая приводит к расширению класса префиксных кодов классом локально-префиксных кодов.

114. Сморякова Валентина Михайловна
Об одном классе задач, имеющих многоэтапный характер
Соавторы: Коротченко А.Г.

115. Софонова Наталья Викторовна
Методы случайной генерации функций алгебы логики

116. Сысоева Любовь Николаевна
О реализации булевых функций обобщенными формулами

117. Таранников Юрий Валерьевич
Несократимые разложения однородных произведений двучленов для построения m-устойчивых функций с максимально возможной нелинейностью

118. Тарасов Павел Борисович
О некоторых необходимых условиях равномерности систем функций многозначной логики

119. Фадеев Сергей Георгиевич
Использование методов обратной разработки для контроля качества программного обеспечения

120. Фазылов Валерий Рауфович
Модель задачи негильотинного размещения набора прямоугольников на полуполосе.
Аннотация: Предлагается модель задачи компактного негильотинного размещения набора прямоугольников на полуполосе. Обсуждаются результаты численного эксперимента.
Соавторы: Андрианова А.А., Мухтарова Т.М.

121. Федоряева Татьяна Ивановна
О графическом разнообразии шаров
Аннотация: Изучаются векторы разнообразия шаров (i-ая компонента вектора равна числу различных шаров радиуса i) для обыкновенных связных графов. Решена проблема характеризации векторов разнообразия шаров графов малого диаметра.
Соавторы: А.А.Евдокимов

122. Федоткин Михаил Андреевич
Подход Ляпунова-Яблонского при построении и исследовании модели управляющих систем обслуживания конфликтных потоков
Аннотация: "Рассматривается система циклического управления конфликтными независимыми неординарными потоками без последействия с малой интенсивностью. Предлагается кибернетический подход для построения модели, в рамках которого выделены информация, схема, функции и координаты таких управляющих систем. В схеме определены следующие основные блоки: входные потоки и потоки насыщения - входные полюса первого и второго типов соответственно; очередь по потокам - внешняя память; стратегия механизма обслуживания - блок по переработке внешней памяти; состояния обслуживающего устройства - внутренняя память; схема смены состояний обслуживающего устройства - блок по переработке внутренней памяти. Благодаря такому подходу построена вероятностная модель функционирования исследуемой системы в виде многомерной марковской цепи. Были найдены необходимые и достаточные условия существования стационарного режима в такой системе."
Соавторы: Рачинская Мария Анатольевна

123. Фофанов Вячеслав Борисович
Поиск объектов как задача распознавания образов
Аннотация: Предлагаются формализация и решение задачи поиска объектов на основе теории распознавания образов. Моделью сцены является локально однородное случайное поле,исходной информацией о сцене служит ее изображение. Поиск объектов выполняется в три этапа. Вначале выявляются зоны интереса, представляющие квадратные фрагменты сцены, содержащие один объект и его окружение. На втором этапе путем сегментации зоны интереса строится проекция объекта. На завершающем этапе проводится классификация объекта по его проекции.
Соавторы: Жизневсий А.Н.

124. Хабибуллин Рустем Фарукович
Об одной задаче оптимального выбора пропускных способностей каналов транспортных сетей
Аннотация:
Соавторы: Гостев Максимиллиан Вадимович

125. Хадиев Камиль Равилевич
Иерархия классов булевых функций, представимых в детерминированных и недетерминированный моделях OBDD ветвящихся программ по параметру ширины.
Аннотация: В работе рассматриваются такие модели ветвящихся программ как детерминированная и недетерминированная OBDD, а также k-OBDD. Выстраивается иерархия классов булевых функций, представимых в этих моделях по параметру ширина. А также между собой сравниваются классы относящиеся к различным моделям.

126. Хелемендик Роман Викторович
Программа построения таблиц истинности для больших булевых формул и СФЭ
Аннотация: Таблицы истинности (ТИ) строятся для булевых функций, заданных формулами или схемами из функциональных элементов. Допускается построение ТИ для формул со сложностью до 1000000000 символов, СФЭ - со сложностью до 1000000 элементов, числом переменных - не более 30. Среднее время построения ТИ на стандартном IBM-совместимом компьютере для формул с 17 переменными и сложностью 1000000 символов - 4 минуты.
Соавторы:

127. Хуснуллин Наиль Фаридович
Планирования ремонта участков железной дороги
Аннотация: "В работе рассматривается одна из задач построения оптимального расписания движения поездов на железной дороге, в частности задача нахождения расписания на двухпутной железной дороге при условии, что один из участков между семафорами закрыт. Предложен точный алгоритм, основанный на методе динамического программирования."
Соавторы: Лазарев Александр Алексеевич

128. Цветков Александр Игоревич
"Синтез расписаний однопроцессорного обслуживания потока объектов в линейной рабочей зоне"
Аннотация: Рассматривается модель, в которой подвижный процессор осуществляет обслуживание бинарного потока объектов в пределах одномерной рабочей зоны. Модель учитывает суммарный доход за обслуживание объектов потока, суммарный штраф за отказы в обслуживании объектов, а также суммарное расстояние, проходимое процессором при автономном движении в процессе реализации стратегии управления обслуживанием. Изучаются возникающие оптимизационные задачи и алгоритмы синтеза расписаний обслуживания.
Соавторы: Федосенко Ю.С.

129. Чашкин Александр Викторович
Вычисление булевых функций с распределением Бернулли на области определения
Аннотация: Рассматривается вычисление значений булевых функций неветвящимися программами с условной остановкой. При заданном распределении вероятностей на $\{0,1\}^n$ средней сложностью $n$-местной функции $f$ называется величина $T(f)=\min\sum_xt_P(x)\Pr(x)$, где минимум берется по всем программам $P$, вычисляющим $f$, $t_P(x)$ --- число команд, выполненных программой $P$ на наборе переменных $x$, $\Pr(x)$ --- вероятность $x$. Для распределения Бернулли найден порядок величины $\max_{f\in P_2(n)} T(f)$.

130. Чебурахин Игорь Федорович
Вычислительная сложность реализации полинома Жегалкина в базисе ПЛИС класса FPGA.
Аннотация: Решена задача реализации булевых функций общего вида (БФ) в классе схем из функциональных элементов (ФЭ) в базисе программируемых логических интегральных схем класса FPGA (ПЛИС). Получены верхние оценки вычислительной сложности реализации БФ на основе однотипных конвейерных модулей, имеющих высокую степень соответствия базису ПЛИС. Оценки подтверждены экспериментами, выполненными на основе спец. САПР.
Соавторы: Сергей Викторович Шалагин

131. Чилихин Николай Юрьевич
Применение каскадной конструкции на основе кодов Рида-Соломона с внутренними полярными кодами в широкополосных системах связи
Аннотация: "В работе рассматриваются полярные коды на основе ядра Арикана в совокупности со статистической оценкой канала связи с целью определения его состояния в определенный момент времени. Применение мягких решений позволяет оценить канал передачи данных на основе ИМР, что является дополнительным инструментом по фиксации ""замороженных"" принятых символов."

132. Чухров Игорь Петрович
О минимизации типичных булевых функций для аддитивных мер сложности
Аннотация: "Рассматривается задача минимизации булевых функций для аддитивных мер сложности, которые удовлетворяют условию: сложность комплекса граней (д.н.ф.) равна сумме сложностей граней(импликант). При некоторых предположениях о свойствах функционала аддитивной меры сложности, характеризующих максимальную и типичную сложность граней в $n$–мерном единичном кубе, доказано асимптотическое равенство длины любого минимального и длины кратчайшего комплексов граней для почти всех булевых функций. Показано, что в таком случае верхние оценки числа минимальных и числа кратчайших комплексов граней не превосходят ${{2}^{{{2}^{n-1}}\left( 1+o\left( 1 \right) \right)}}$ для почти всех булевых функций."

133. Шалагин Сергей Викторович
Оценка сложности вычисления нелинейной полиномиальной функции над полем Галуа вида GF(2^2)
Аннотация: Определена оценка вычислительной сложности конвейерного вычисления нелинейной полиномиальной функции (НПФ) от m переменных над полем GF(2^2). Вычисление производится на основе операций над элементами GF(2^2), что обеспечивает высокую степень соответствия процесса вычисления данной НПФ однородной архитектуре ПЛИС класса FPGA.

134. Шаранхаев Иван Константинович
О некоторых минимальных ультраклонах
Аннотация: Найдены некоторые минимальные ультраклоны на двухэлементном множестве
Соавторы: Бадмаев Сергей Александрович

135. Шевченко Валерий Николаевич
Мебиусовы алгебры, связанные с задачами линейного программирования

136. Шоломов Лев Абрамович
Сводимость и равносильность недоопределенных алфавитов

137. Шульгина Оксана Николаевна
Об одном алгоритме решения задачи упорядочения

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

139. Эминов Булат Фаридович
Представление автоматных марковских моделей на основе укрупнения цепей Маркова
Аннотация: Представлено решение задачи алгоритмического синтеза автоматных марковских моделей на основе предложенного алгоритма укрупнения цепей Маркова (ЦМ). Дана сравнительная оценка алгоритмической сложности рассматриваемых автоматных моделей. Определена зависимость сложности от размера стохастической матрицы, описывающей закон полученной укрупненной ЦМ, и длины имплицирующего вектора этой матрицы.
Соавторы: Захаров В.М.

140. Яруллин Рашид Саматович
Метод отсечений с аппроксимацией надграфика и оценка точности решения
Соавторы: Заботин Игорь Ярославич


-------------------
Агора