• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Некоторые свойства автоматного замыкания множеств булевых функций
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.
August 18, 2026
HSE Scholar Presents Research on Postcards in Brazil and South Korea
Timur Khusyainov, Deputy Dean of theFaculty of Humanities atHSE University–Nizhny Novgorod, took part in two international conferences—the XVI World Congress of Rural Sociology in Porto Alegre, Brazil, and the 36th Annual Conference of the Alliance of Digital Humanities Organisations (DH2026) in Daejeon, South Korea. On his way to the conferences, the researcher also visited several other places, where he presented the experience of the Pochtovoe educational project.
August 18, 2026
Physicists Discover What Happens Inside a Stable Vortex
Large vortices with characteristic spiral arms are often observed in the atmosphere and the ocean. Physicists from HSE University have explained how these structures form and why they retain their shape. The researchers found that velocities at points located along the same vortex arc remain correlated even over long distances. At the same time, this correlation weakens rapidly with increasing distance from the vortex centre. These differences help explain the formation of spiral arms and may improve models of atmospheric and oceanic currents. The findings have been published in Physical Review Fluids.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Некоторые свойства автоматного замыкания множеств булевых функций

С. 235–237.
Sysoeva L.
Language: Russian
Text on another site
Keywords: automataавтоматrealization of Boolean functionреализация булевых функцийclosed sets of boolean functionsзамкнутые классы булевых функций

In book

Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19–23 июня 2017 г.)
М.: МАКС Пресс, 2017.
Similar publications
Человекоцентричный подход к управлению гибкими производствами
Аристова Н. И., Чадеев В. М., Якимова О. А., Автоматизация в промышленности 2024 № 6 С. 25–30
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Added: February 3, 2025
Quasiuniversal Boolean Automaton with Four Constant States
Sysoeva L., Moscow University Mathematics Bulletin 2019 Vol. 74 No. 6 P. 241–245
The problem of realization of Boolean functions by initial Boolean automata with constant states and n inputs is considered. Initial Boolean automaton with constant states and n inputs is an initial automaton with output such that in all states the output functions are n-ary constant Boolean functions 0 or 1. An example of an initial Boolean automaton with the minimum ...
Added: November 22, 2020
Квазиуниверсальный инициальный булев автомат с 4 константными состояниями
Sysoeva L., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. Гл. 3 С. 184–187.
The problem of realization of Boolean functions by initial Boolean automata with constant states and n inputs is considered. Initial Boolean automaton with constant states and n inputs is an initial automaton with output  such that in all states output functions are n-ary constant Boolean functions 0 or 1. The example of an initial Boolean automaton with the ...
Added: October 31, 2019
Реализация автоматной парадигмы вычислений на объектно-атрибутном базисе
Salibekyan S. M., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
The article describes implementation (hardware and software) of computing system in automatic paradigm based on object-attribute (OA) computer system belonging to the class of dataflow machines. OA-computer is the system of functional unit (FU) collaborating each other. FU is hardware of software unit. The system named OA-automation emulate behavior of automation. It is discussion of ...
Added: September 14, 2019
Квазиуниверсальный булев автомат с четырьмя константными состояниями
Sysoeva L., Вестник Московского университета. Серия 1: Математика. Механика 2019 № 6 С. 51–55
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0. Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых функций от n фиксированных переменных, при ...
Added: October 14, 2018
Универсальные множества обобщенных формул
Sysoeva L., В кн.: Материалы XI Международного семинара «Дискретная математика и её приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.).: М.: Механико-математический факультет МГУ, 2012. С. 218–220.
В работе рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Показывается, что для каждого n≥2 для множества всех булевых функций от переменных, сохраняющих константы 0 и 1, существуют универсальные множества. ...
Added: November 11, 2017
О некоторых свойствах обобщенных альфа-формул
Sysoeva L., Вестник Московского университета. Серия 1: Математика. Механика 2013 № 4 С. 51–55
The problem of realization of Boolean functions by generalized alpha-formulas is considered. For a given set of Boolean functions universal set of generalized alpha-formulas is determined. For the set of constant-preserving Boolean functions universal sets of generalized alpha-formulas are obtained. ...
Added: November 11, 2017
О реализации булевых функций обобщенными формулами
Sysoeva L., В кн.: Материалы XVII международной конференции "Проблемы теоретической кибернетики".: Каз.: Отечество, 2014. С. 268–270.
В работе рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Формулируется принцип двойственности для обобщенных альфа-формул. Показывается, что для каждого n ≥ 2 для множеств всех булевых функций от n переменных, сохраняющих константу 0 или 1, существуют универсальные множества. ...
Added: November 11, 2017
О реализации булевых функций обобщенными альфа-формулами
Sysoeva L., Ученые записки Казанского университета. Серия: Физико-математические науки 2014 Т. 156 № 3 С. 116–122
In this paper, we consider the problem of implementation of Boolean functions by generalized alpha-formulas. The notion of generalized alpha-formula is introduced. For a given set of Boolean functions, we define the notion of a universal set of generalized alpha-formulas. We also propose the notion of dual generalized alpha-formulas and formulate the principle of duality ...
Added: November 11, 2017
О сложности верификации автоматов-преобразователей над коммутативными полугруппами
Zakharov V., Гнатенко А. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 68–71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Added: October 22, 2017
О минимизации схем программ относительно логико-термальной эквивалентности
Zakharov V., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Added: October 22, 2017
Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.)
М.: МГУ, МАКС Пресс, 2017.
Книга представляет собой сборник статей, написанных на основе докладов, представленных на 18-ой Международной конференции "Теоретические проблемы кибернетики" в Пензенском государственном университете, 19-23 июня 2017 г. ...
Added: October 12, 2017
О задаче минимизации последовательных программ
Zakharov V., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
rst-order program schemata is one of the simplest models of sequential imperative programs intended for solving veri cation and optimization problems. We consider the decidable rela tion of logical-thermal equivalence of these schemata and the problem of their size minimization while preserving logical-thermal equivalence. We prove that this problem is decidable. Further we show that the rst-order program schemata supplied ...
Added: October 12, 2017
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit