Розв'язано актуальну науково-прикладну задачу - побудова математичної моделі квантової обчислювальної системи, на базі якої розроблено технологію комп'ютерного експерименту, що призначена для дослідження квантових інформаційних процесів. Використання даної технології дозволяє перевірити на моделях ряд властивостей й ефектів, характерних для квантових інформаційних процесів. Розглянуто трьохкрокову модель квантової операції та встановлено, що вона дозволяє уніфіковано описувати унітарні перетворення квантової системи та необоротні. Створено модель квантового автомату як системи взаємодіючих квантових операцій. Дані математичні моделі покладено в основу розробки каркасу системи імітаційного моделювання квантових автоматів. Показано,що квантові автомати ведуть себе у відповідності до найбільш загальних законів квантової фізики та дозволяють моделювати відомі в квантовій інформатиці ефекти, зокрема, квантову телепортацію. Одержано теоретичні результати, які дозволяють розробити методи синтезу та верифікації квантових операцій у термінах характеристичного оператора квантового каналу.

  Скачати повний текст