理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- feedback neural network
- Feedback prediction method
- feedback reflector
- feedback reflector, FBR
- feedback regulation of allosteric enzyme
- feedback shift register
- feedback signal
- feedback stabilization
- feedback suppression
- feedback synthesis
- feedback system
- feed biological contamination
- feed box of machine tool
- feed chute
- feed constituent
- feed control
- feed conversion rate
- feed conversion rate for egg-type poultry
- feed defocusing
- feed efficiency
- feed enzyme preparation
- feeder
- feeder cell
- feeder layer
- feeder layer cell