35434

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

АЛЬТЕРНАТИВНЫЕ ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ ПРЕИМУЩЕСТВА И ПРОБЛЕМЫ РЕАЛИЗАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ

Наименование конференции: 

  • 8-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2015, Москва)

Наименование источника: 

  • Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва)

Обозначение и номер тома: 

том 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2015

Страницы: 

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

Библиографическая ссылка: 

Промыслов В.Г., Масолкин С.И. АЛЬТЕРНАТИВНЫЕ ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ ПРЕИМУЩЕСТВА И ПРОБЛЕМЫ РЕАЛИЗАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ / Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. том 2. С. 204-206.