理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- superconducting materials
- superconducting microbridge
- superconducting microstrip line
- superconducting microwave antenna
- superconducting microwave delay line
- superconducting microwave device
- superconducting microwave filter
- superconducting microwave intrinsic surface impedance
- superconducting microwave kinetic inductance detector
- superconducting microwave parametric amplifier
- superconducting microwave resonator
- superconducting microwave surface impedance
- superconducting microwave surface resistance
- superconducting mixer
- superconducting nanowire single photon detector
- superconducting-normal transition
- superconducting nuclear fusion generation
- superconducting oagulation energy
- superconducting pair symmetry
- superconducting particle accelerator
- superconducting particle detector
- superconducting proximity effect
- superconducting quantum bio-magnetometer
- superconducting quantum bio-magnetometer, SQUID
- superconducting quantum bit