С. И. Гуров, А. Е. Жуков, Д. В. Закаблуков, Г. В. Кормаков, “Обратимые вычисления. Часть I”, ТВИМ, 2019, выпуск 3,страницы 37

Обратимые вычисления. Часть I

С. И. Гуров^a, А. Е. Жуков^b, Д. В. Закаблуков^c, Г. В. Кормаков^a

^a Московский государственный университет имени М. В. Ломоносова, Факультет Вычислительной математики и кибернетики, Ленинские горы, д. 1, стр. 52, Москва, ГСП-1, 119991, Российская Федерация
^b Московский государственный технический университет имени Н. Э. Баумана, 2-я Бауманская ул., д. 5, стр. 1, Москва, 105005, Российская Федерация
^c ООО "Алгоритмы и данные" ул. Дмитрия Ульянова, д. 42, стр. 1, 117218, Москва, Российская Федерация

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

Ключевые слова: обратимая логика, модели обратимых вычислений, обратимые языки программирования.

УДК: 519.7, 621.3

MSC: 68M07