?
Реализация автоматного подхода к программированию на основе ОА-парадигмы
С. 54–61.
Salibekyan S. M.
In book
Ростов н/Д: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2016.
Аристова Н. И., Чадеев В. М., Якимова О. А., Автоматизация в промышленности 2024 № 6 С. 25–30
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Added: February 3, 2025
Salibekyan S. M., Информационные технологии 2024 Т. 30 № 5 С. 261–268
The article is devoted to the description of the developed method and tools for translating high-level programming languages into an abstract syntactic tree. The peculiarity of the technique is that it is based on the object-attribute (OA) architecture of a computing system belonging to the dataflow class. The syntactic tree synthesized by the translator is ...
Added: May 21, 2024
Salibekyan S. M., Информационные технологии 2021 Т. 26 № 3 С. 169–176
В статье приводится описание методики семантического анализа естественного языка (ЕЯ) и семантического поиска в нем, включающая в себя: основные этапы анализа ЕЯ, формат семантической сети для представления смысла текста, работа с полисемией (многозначностью) слов, семантико-синтаксическое согласование слов т.д. Методика основывается на применении объектно-атрибутного принципа организации вычислений и структур данных, относящемся к классу dataflow (вычислительные системы ...
Added: November 16, 2020
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
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
М.: МГУ, МАКС Пресс, 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
Sysoeva L., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19–23 июня 2017 г.).: М.: МАКС Пресс, 2017. С. 235–237.
В настоящей работе вводится понятие автоматного замыкания множества булевых функций. Показывается, что существует шесть автоматно-замкнутых классов булевых функций. ...
Added: August 25, 2017
Babash A. V., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016.
В сборнике трудов представлены статьи по математическим ьетодам в экономике и информационной безопасности ...
Added: February 26, 2017
Zakharov V., Cybernetics and Systems Analysis 2010 № 4 С. 39–48
This paper shows how two-tape automata can be employed to design efficient equivalence checking procedures for sequential programs. The semantics of sequential programs is defined in terms of dynamic logic structures. If a dynamic frame is acyclic (i.e., all program statements are irreversible), it can be specified by means of a two-tape deterministic automaton. Then ...
Added: September 30, 2015
Babash A. V., М.: МЭСИ, 2014.
Монография знакомит читателя с теоретико-автоматными методами синтеза криптографической защиты информации ...
Added: March 8, 2015
Vyalyi M., Гимадеев Р. А., Дискретный анализ и исследование операций 2014 Т. 21 № 1 С. 3–14
Получены нижние оценки сложности различения слов кратностями вхождений подслов с учётом позиции подслова в слове. Доказано, что в случае подслов длины 1 оценка оптимальна с точностью до мультипликативного множителя. Рассмотрена связь задачи различения слов вхождениями подслов с задачей различения слов автоматами. ...
Added: October 18, 2014
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Added: March 8, 2014
Babash A. V., Математические заметки 2012 Т. 91 № 5 С. 667–674
Улучшена оценка сверху минимальной длины выходных слов, которые не
могут быть получены на выходе произвольного автомата с двоичным входным
и выходным алфавитами. ...
Added: March 7, 2014
Babash A. V., Кудияров Д. С., Системы высокой доступности 2012 № 2 С. 7–11
Генератор RC4 представим последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2 в степени n и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2 в степени n-1 и даны достаточные условия, при которых эти периоды кратны 2 в степени n . ...
Added: March 7, 2014
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Added: March 7, 2014
Babash A. V., В кн.: Интеллектуальные системы в информационном противоборстве в корпоративной бизнес-среде. Материалы IV научно-практической конференции, 12-13 декабря 2013 г., Москва. Сборник научных трудов.: М.: МЭСИ, 2013. Гл. 1 С. 8–28.
Проведено математическое обоснование метода Фридмана по дешифрованию шифра Виженера. ...
Added: January 14, 2014
Babash A. V., В кн.: Проблемы функционирования государственной системы изготовления, оформления и контроля паспортно-визовых документов нового поколения. Научно-практическая конференция 1 ноября 2012 г.: М.: Проспект, 2012. С. 10–15.
Решается задача по частичному определению ключевой информации шифрующего устройства по частичному наблюдению за данным устройством. ...
Added: January 14, 2014
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Sufficient conditions under which the periods of the sequences of maps generator IA divisible by 2n. ...
Added: January 7, 2014