?
Логико-термальная эквивалентность программ с динамической памятью
С. 173-176.
Захаров В. А., Новикова Т. А.
В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.)
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245-268
Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Жайлауова Ш. Р., В кн. : Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.). : М. : МГУ, МАКС Пресс, 2017. С. 84-87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Добавлено: 22 октября 2017 г.
V. Kruglov, O. Pochinka, G. Talanova, Proceedings of the International Geometry Center 2020 Vol. 13 No. 1 P. 49-60
Добавлено: 28 июня 2020 г.
Кантонистова Е. О., Родионов И. В., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 507 № 1 С. 36-39
Предложен метод проверки гипотезы об эквивалентности хвоста распределения данных с выбранным хвостом распределения – аналога гипотезы согласия для статистики экстремумов. Метод основан на новом преобразовании данных, переводящем k максимальных порядковых статистик выборки из стандартного равномерного закона U[0,1] в случайные величины, похожие в своем асимптотическом поведении на выборку из U[0,1] размера k. Доказано, что критерии, построенные ...
Добавлено: 9 июля 2023 г.
Захаров В. А., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415-433
Стандартные схемы программ - это одна из наиболее простых моделей последовательных императивных программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при условии сохранением отношения логико-термальной эквивалентности. Нами доказано, что эта задача является алгоритмически разрешимой. Далее показано, что стандартные схемы программ ...
Добавлено: 12 октября 2017 г.
Мальбин Д. А., Вестник арбитражной практики 2023 № 2 С. 20-27
Действующее законодательство закрепляет институт защиты добросовестного приобретателя, одним из условий защиты которого является возмездность приобретения им имущества. В настоящее время в судебной практике воспринят подход, в соответствии с которым имущество считается приобретенным возмездно, если отчуждатель получил в полном объеме плату за имущество. Автор ставит под сомнение такой подход, указывая, что при разрешении вопроса о том, ...
Добавлено: 18 июля 2023 г.
Миронкин В. О., Обозрение прикладной и промышленной математики 2018 Т. 25 № 1 С. 3-8
Исследованы граф внутренних состояний Sponge-конструкции и взаимосвязь между внутренними состояниями и элементами выходной последовательности. Предложены методы построения коллизий, использующие особенности цикловой структуры подстановки Sponge-конструкции. Описан общий вид соответствующих коллизий. ...
Добавлено: 27 апреля 2018 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2012 Т. 23 С. 455-476
Унифицировать два алгебраических выражения и означает отыскать такую подстановку термов вместо переменных этих выражений, чтобы оба терма и имели одинаковое значение. Задачу унификации можно распространить и на программы. Унифицировать две программы и означает отыскать такие цепочки присваиваний и ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2011 Т. 21 С. 141-166
Для решения многих задач системного программирования, к числу которых относятся задачи реорганизации программ, деобфускации программ, выявления уязвимостей в программном коде и др., желательно иметь инструментальное средство, позволяющее обнаруживать фрагменты программ, имеющие сходное поведение. Современные средства обнаружения программных клонов позволяют выявлять лишь фрагменты программ, имеющие сходное синтаксическое устройство, поскольку более глубокий семантический анализ программ сталкивается с ...
Добавлено: 30 сентября 2015 г.
Соснин А. В., Балакина Ю. В., Кащихин А. Н., Вестник Санкт-Петербургского университета. Язык и литература 2022 Т. 19 № 1 С. 125-148
Статья посвящена оценке качества перевода: рассматриваются прикладные и прагматические аспекты оценки качества перевода в условиях стремительного увеличения
числа текстов, которые требуется перевести для обеспечения межкультурной коммуникации; суммируется большое количество подходов, каждый из которых при оценке
качества перевода имеет свои преимущества и недостатки; анализируется соотношение категорий адекватности и эквивалентности перевода как основных параметров
оценки. Заключается, что эквивалентность ориентирована на ...
Добавлено: 31 мая 2022 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2012 Т. 22 С. 435-455
Логико-термальная эквивалентность программ – это одно из наиболее слабых отношений эквивалентности программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом. В данной статье предложена новая модификация алгоритма проверки логико-термальной эквивалентности программ, основанная на операции вычисления точной нижней грани в решетке конечных подстановок. Показано, что трудоемкость предложенного алгоритма оценивается величиной O(n6) , где n - размер ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Новикова Т. А., , in : Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series. : Linz : Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55-61.
Добавлено: 13 октября 2015 г.
В статье рассматривается критичность зависимости отраслей ТЭК России от импортного оборудования, и предлагаются конкретные механизмы как максимально эффективно с точки зрения интересов государства обеспечить дальнейшее устойчивое развитие ТЭК с учетом технологических потребностей. Особое внимание уделяется созданию условий, позволяющих избежать неоправданного удорожания продукции при одновременном ухудшении её качественных характеристик. ...
Добавлено: 8 мая 2015 г.
Фомин Д. Б., Математические вопросы криптографии 2020 Т. 11 № 3 С. 121-138
Cпособ построения подстановок, основанный на конструкции типа «бабочка», обобщается на случай произвольного арифметического векторного пространства четной размерности над полем из двух элементов. Предложены подходы к построению подстановок с использованием неравновероятных (2m, m)-функций с высокой нелинейностью. ...
Добавлено: 25 ноября 2020 г.
Авраамова О. Д., Фомин Д. Б., Серов В. А. и др., Математические вопросы криптографии 2021 Vol. 12 No. 2 P. 21-38
Рассматриваются способы реализации нелинейного преобразования блочного алгоритма шифрования с длиной блока 128 бит «Кузнечик» (ГОСТ Р 34.12-2015) и хеш-функции «Стрибог» (ГОСТ Р 34.11-2012). Показана возможность реализации подстановки за 226 логических операций. ...
Добавлено: 26 июля 2021 г.
V. Kruglov, Динамические системы 2018 Vol. 8(36) No. 1 P. 15-21
Добавлено: 20 октября 2018 г.
Медведева Е. А., Ряпин И. Ю., Урванцев И. В. и др., Thermal Engineering (English translation of Teploenergetika) 2016 Vol. 63 No. 9 P. 611-620
This paper analyzes the cost-effectiveness of the use of renewable energy sources (RES) and peat in production of electric and heat energy in rural places of the country by comparing tariffs (prices) of energy versus total expenditures on generation of electric and heat energy when using RES and peat. The appraisal of a cost-effective scale ...
Добавлено: 9 октября 2016 г.
Heidelberg : Springer, 2013
Добавлено: 11 апреля 2019 г.
Захаров В. А., В кн. : Материалы XVII международной конференции "Проблемы теоретической кибернетики". : Каз. : Отечество, 2014. С. 100-102.
Показано, что задача проверки k-значности конечного автомата-преобразователя, работающего над полугруппой, вложимой в разрешимую группу, может быть решена за время, полиномиальное относительно размера автомата. ...
Добавлено: 13 октября 2015 г.
Подымов В. В., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2012 № 4 С. 37-43
В работе предложен метод решения проблемы эквивалентности линейных унарных рекурсивных программ. Основная его идея состоит в сведении проблемы эквивалентности к известным задачам на графах и задачам теории групп. Выделен класс программных семантик, для которых проблема эквивалентности рассматриваемых программ разрешима за полиномиальное время с использованием предложенной методики. ...
Добавлено: 29 сентября 2015 г.
Higher School of Economics Publishing House, 2016
Third annual conference “Communication, Computation, and Cognitive Processes (СССР3)”. National Research University Higher School of Economics, Moscow, Russia, September 28-29, 2016. ...
Добавлено: 7 декабря 2016 г.
М. А. Коврижных, Д. Б. Фомин, Прикладная дискретная математика 2022 № 57 С. 5-21
Исследована возможность построения с помощью обобщённой конструкции подстановок с заданными криптографическими характеристиками, обеспечивающими стойкость алгоритмов шифрования к линейному и разностному методам криптоанализа. Предложен эвристический алгоритм поиска параметров обобщённой конструкции, полученных посредством умножения на транспозиции. Используются идеи генетического алгоритма, спектрально-линейного и спектрально- разностного методов. Изучены вопросы оптимизации вычисления криптографических характеристик на каждой итерации алгоритма. Экспериментальные исследования ...
Добавлено: 8 октября 2022 г.
Centre for Language, Logic and Speech at the Tbilisi State University, 2017
Добавлено: 8 октября 2019 г.