?
Некоторые свойства автоматного замыкания множеств булевых функций
С. 235–237.
Сысоева Л. Н.
В настоящей работе вводится понятие автоматного замыкания множества булевых функций. Показывается, что существует шесть автоматно-замкнутых классов булевых функций.
В книге
М.: МАКС Пресс, 2017.
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Добавлено: 3 февраля 2025 г.
Сысоева Л. Н., Moscow University Mathematics Bulletin 2019 Vol. 74 No. 6 P. 241–245
Добавлено: 22 ноября 2020 г.
Сысоева Л. Н., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. Гл. 3 С. 184–187.
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0. Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых ...
Добавлено: 31 октября 2019 г.
Салибекян С. М., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
В статье описываюется реализации — программная или аппаратная — автоматной вычислительной системы (ВС) на базе объектно-атрибутной вычислительной системы, относящейся к классу машин с управлением потоком данных (dataflow). Рассматриваются реализации автоматов различных классов (детерминированный, недетерминированный, абстрактный, структурный), а также реализации автоматной декомпозиции (вложенный и вызываемый автоматы) и системы параллельно работающих автоматов. ...
Добавлено: 14 сентября 2019 г.
Сысоева Л. Н., Вестник Московского университета. Серия 1: Математика. Механика 2019 № 6 С. 51–55
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0.
Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых функций от n фиксированных переменных, при ...
Добавлено: 14 октября 2018 г.
Сысоева Л. Н., В кн.: Материалы XI Международного семинара «Дискретная математика и её приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.).: М.: Механико-математический факультет МГУ, 2012. С. 218–220.
В работе рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Показывается, что для каждого n≥2 для множества всех булевых функций от переменных, сохраняющих константы 0 и 1, существуют универсальные множества. ...
Добавлено: 11 ноября 2017 г.
Сысоева Л. Н., Вестник Московского университета. Серия 1: Математика. Механика 2013 № 4 С. 51–55
Рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Для множества булевых функций, сохраняющих константы 0 и 1, строятся универсальные множества. ...
Добавлено: 11 ноября 2017 г.
Сысоева Л. Н., В кн.: Материалы XVII международной конференции "Проблемы теоретической кибернетики".: Каз.: Отечество, 2014. С. 268–270.
В работе рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Формулируется принцип двойственности для обобщенных альфа-формул. Показывается, что для каждого n ≥ 2 для множеств всех булевых функций от n переменных, сохраняющих константу 0 или 1, существуют универсальные множества. ...
Добавлено: 11 ноября 2017 г.
Сысоева Л. Н., Ученые записки Казанского университета. Серия: Физико-математические науки 2014 Т. 156 № 3 С. 116–122
Рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие обобщенной альфа-формулы. Определяется понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Вводится понятие двойственных обобщенных альфа-формул, формулируется принцип двойственности. Показывается, что для каждого n ≥ 2 для множеств всех булевых функций от n переменных, сохраняющих константы 0 или 1, существуют универсальные множества. ...
Добавлено: 11 ноября 2017 г.
Захаров В. А., Гнатенко А. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 68–71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Добавлено: 22 октября 2017 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Добавлено: 22 октября 2017 г.
М.: МГУ, МАКС Пресс, 2017.
Книга представляет собой сборник статей, написанных на основе докладов, представленных на 18-ой Международной конференции "Теоретические проблемы кибернетики" в Пензенском государственном университете, 19-23 июня 2017 г. ...
Добавлено: 12 октября 2017 г.
Захаров В. А., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
Стандартные схемы программ - это одна из наиболее простых моделей последовательных императивных программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при условии сохранением отношения логико-термальной эквивалентности. Нами доказано, что эта задача является алгоритмически разрешимой. Далее показано, что стандартные схемы программ ...
Добавлено: 12 октября 2017 г.