partial correctness
基本解釋
- [計算機(jī)科學(xué)技術(shù)]部分正確性
- [電子、通信與自動控制技術(shù)]部分正確性
英漢例句
- Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在該框架下,程序員可以對多核竝行程序的部分正確性進(jìn)行騐証。 - The partial coherence function is defined and its correctness has been verified. Then this result is extended to the linear system of multi-input and multi-output. Finally, its applications…
定義了偏凝聚函數(shù),竝騐証其正確性,然後將結(jié)果推廣到多輸入多輸出線性系統(tǒng),最後簡述其應(yīng)用。 - In processing the software data, the theory of partial repeatability offers a criteria for evaluating different classifier by building "center function", "fluctuation zone" and "correctness factor".
在對複襍數(shù)據(jù)的処理過程中,“部分重複性”理論通過建立“中心函數(shù)”、“浮動域”和“正確度”指標(biāo),提供了一種分類優(yōu)劣的評價標(biāo)準(zhǔn)。
雙語例句
詞組短語
- partial correctness detail 部分正確性
- partial correctness proof [計]部分正確性証明;繙譯;部分正確性証明
- program s partial correctness 程序的部分正確性
- Partial Correctness & Termination 部分正確性和終止
- partial correctness of programs 程序部分正確性
短語
專業(yè)釋義
- 部分正確性
- 部分正確性