О минимизации схем программ относительно логико-термальной эквивалентности

Захаров Владимир Анатольевич; Жайлауова Шынар Рустамбековна

Глава

О минимизации схем программ относительно логико-термальной эквивалентности

С. 84-87.

Захаров В. А., Жайлауова Ш. Р.

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

Язык: русский

Ключевые слова: автомат схема программ эквивалентность минимизация подстановка

В книге

Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.)

М.: МГУ, МАКС Пресс, 2017.

Закрытые эксперименты с автоматами

Бабаш А. В. В кн.: Проблемы функционирования государственной системы изготовления, оформления и контроля паспортно-визовых документов нового поколения. Научно-практическая конференция 1 ноября 2012 г.. М.: Проспект, 2012. С. 10-15.

Решается задача по частичному определению ключевой информации шифрующего устройства по частичному наблюдению за данным устройством.

Добавлено: 14 января 2014

Сборник трудов VI-й Международной конференции имени А.И. Китова "Информационные технологии и математические методы в экономике и управлении (ИТи ММ-2016)" 26-27 мая 2016

Бабаш А. В. М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016.

В сборнике трудов представлены статьи по математическим ьетодам в экономике и информационной безопасности

Добавлено: 26 февраля 2017

Определение периода гаммы в шифре Виженера по заданному шифртексту

Бабаш А. В. В кн.: Интеллектуальные системы в информационном противоборстве в корпоративной бизнес-среде. Материалы IV научно-практической конференции, 12-13 декабря 2013 г., Москва. Сборник научных трудов. М.: МЭСИ, 2013. Гл. 1. С. 8-28.

Проведено математическое обоснование метода Фридмана по дешифрованию шифра Виженера.

Добавлено: 14 января 2014

Краткосрочные и долгосрочные угрозы и риски России в условиях обострения международных отношений и пути их минимизации Стратегический анализ

Акаев А. А., Андреев А. И., Бондаренко В. М. и др. М.: Учитель, 2015.

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

Добавлено: 9 октября 2015

Период функционирования генератора псевдослучайных чисел RC4

Бабаш А. В., Кудияров Д. Системы высокой доступности. 2012. № 2. С. 7-11.

Генератор RC4 представим последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2 в степени n и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2 в степени n-1 и даны достаточные условия, при которых эти периоды кратны 2 в степени n .

Добавлено: 7 марта 2014

О периоде функционирования генератора псевдослучайных чисел IA

Бабаш А. В., Кудияров Д. С. Проблемы информационной безопасности. Компьютерные системы. 2013. № 3. С. 49-54.

Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n.

Добавлено: 7 января 2014

О периоде функционирования генератора псевдо-случайных чисел IA

Бабаш А. В., Кудияров Д. Проблемы информационной безопасности. Компьютерные системы. 2013. № 3. С. 49-54.

Добавлено: 8 марта 2014

Математика, компьютер, прогноз погоды и другие сценарии математической физики

Гордин В. А. М.: Физматлит, 2013.

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

Книга адресована читателю, который использует и аналитические, и численные, компьютерные методы в своих исследованиях. Заметное место отведено подготовке исходной информации для задачи Коши и смешанной краевой задачи, где используются и вероятностные, и вариационные подходы. Необходимый элемент – исследование задач и алгоритмов на устойчивость к возмущениям малой амплитуды в начальных и краевых условиях – проверка корректности задачи.

Первая часть книги ориентирована на студентов младших курсов и доступна даже продвинутым физматшкольникам. Вторая составляет углубленный курс и предназначена старшекурсникам, аспирантам и научным сотрудникам.

Изложение сопровождается большим количеством задач, для решения которых иногда потребуется компьютер. Не решая задачи, овладеть излагаемыми приемами нельзя.

Представлены задачи различной трудности, некоторые из них могут служить темами курсовых работ. Чаще других в качестве примеров в книге используются метеорологические проблемы, однако, эти методы и приемы, как правило, пригодны там, где применяется математика.

Добавлено: 18 марта 2013

О сложности верификации автоматов-преобразователей над коммутативными полугруппами

Захаров В. А., Гнатенко А. Р. В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.). М.: МГУ, МАКС Пресс, 2017. С. 68-71.

В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же статье было показано, что задача проверки выполнимости формул регулярного фрагмента FL-LTL на конечных автоматах преобразователях, работающих над свободными полугруппами, разрешима со сложностью по времени, оцениваемой двойной экспонентой от размера проверяемой формулы.

Добавлено: 22 октября 2017