1) preimage computation
前像计算
1.
This paper presents a preimage computation approach used in unbounded model checking.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点。
2) pre-image computation
原像计算
1.
It not only used pre-image computation to avoid false negative, but also incorporated reachable states and unreachable states in the verification process.
除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中。
3) image plane calculates
像面计算
5) Computational imaging
计算成像
补充资料：单光子发射计算机化断层显像
分子式：
CAS号：
性质：SPECT一种能给出发射单光子放射性药物在体内的立体分布图像的显像技术。即利用可移动的γ探测仪器在体外从不同方位多次摄制发射单光子放射性药物在体内的分布图像，经计算机处理，可由横切面、冠状面、矢状面或任意角度的剖面进行重建为三维图像的显像技术。显像清晰、对比度和分辨率高。可用于SPECT的放射性核素有99TCm，123I，67Ga，111In和201Tl等。
CAS号：
性质：SPECT一种能给出发射单光子放射性药物在体内的立体分布图像的显像技术。即利用可移动的γ探测仪器在体外从不同方位多次摄制发射单光子放射性药物在体内的分布图像，经计算机处理，可由横切面、冠状面、矢状面或任意角度的剖面进行重建为三维图像的显像技术。显像清晰、对比度和分辨率高。可用于SPECT的放射性核素有99TCm，123I，67Ga，111In和201Tl等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条