The Quantum-Mechanical Model of an Atom
Block Diagram Reduction
Hückel's Rule Diagram of π MOs: Frost Circle
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
First-Order Circuits
Relation between Mathematical Equations and Block Diagrams
您也可能阅读
通过共同作者、期刊和引用图与本文相关的文章。
Canh Minh Do1, Kazuhiro Ogata1
1School of Information Science, Japan Advanced Institute of Science and Technology, Asahidai, Nomi, Ishikawa, Japan.
本研究介绍了一种用于模型检查量子电路的象征性方法,使用莫德和线性时间逻辑 (LTL) 验证量子通信协议. 该方法使量子电路正确性的正式规范和自动验证成为可能.
科学领域:
背景情况:
研究的目的:
主要方法:
主要成果:
结论: