کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423301 685201 2008 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Semantic Abstraction and Quantum Computation
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Semantic Abstraction and Quantum Computation
چکیده انگلیسی

We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed property.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 210, 11 July 2008, Pages 49-63