verification of correctness 中文意思是什麼

verification of correctness 解釋
正確性驗證
  • verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  • of : OF ＝Old French 古法語。
  • correctness : 正確度
  1. To verify the structural correctness, a structural conflict verification method of workflow models based on graph reduction is introduced in this paper. with this method, we can figure out all structural conflicts of workflow model. to verify execution performance, we should rely on simulation and comprehensive bpi system

    為了保證工作流模型的結構正確性，本文採用了一種基於圖歸約法的工作流模型結構沖突檢測方法，該方法可以成功的檢測出工作流模型中存在的各種結構沖突;為了保證業務過程的運行性能，模擬運行過程模型，藉助業務流程綜合評價指標體系，通過分析過程模型運行結果，從而得到模型的運行性能指標。
  2. Ieee design and test of computers, july - august 2001, 18 : 36 - 45. 12 kantrowitz m, noack l m. i m done simulation ; now what ? verification coverage analysis and correctness checking of the dec chip 21164 alpha microprocessor

    具體來說，一個變量v ，在某一時間幀t的控制-觀測鏈，就是由所有在時間幀t ，對v的取值產生影響的賦值關系所形成的集合。
  3. The workflow model is built by uml statecharts in this paper, and the correctness of the control flow in workflow is verified, including the verification of soundness and the properties of semantic - related of the control flow

    把驗證uml狀態圖的完全性轉化為驗證全局可達遷移圖的完全性，給出了驗證控制結構完全性和語義相關性質的演算法。
  4. The effects of the time sequence netlist simulation of the circuit and fpga verification indicate the correctness of the circuit design

    行為模擬結果、綜合布線后的門級模擬結果以及fpga驗證結果均表明了設計的正確性。
  5. We verify the correctness of software in this co - verification platform, then use this correct software to verify the correctness of chip in the hardware verification platform

    Rtos通過修改硬體抽象層，把文件輸出重定向到新的顯示終端，就實現了異構平臺上的模擬。
  6. In addition to carrying out audits on business records, the field audit group also carries out verification of the correctness of rental incomes reported by property owners

    除了查閱業務記錄外，實地審核組亦會核實物業擁有人所申報的租金收入是否正確。
  7. In addition to conducting audits on businesses, the unit also carries out verification checks on the correctness of rental income reported by property owners

    物業稅查核除了查核業務記錄外，實地審核及調查科亦會核實物業擁有人所申報的租金收入是否正確。
  8. 3. the reliability of hardware platform, the realization of the functions, the correctness of results, and additionally, the verification time for three verification mode are tested in actual system. finally, the system is optimized

    3 .在實際系統中驗證硬體平臺的可靠性，功能的可實現性，以及測試的正確性，還有三種驗證模式的驗證速度等性能指標，最後在總結系統運行情況后對系統進行了一定的優化設計。
  9. The verification statement shall give the final verdict of the project in terms of the completeness, comparability, accuracy and correctness of the reported ghg emission reductions

    核查聲明應對報告的溫室氣體減排的全面性、可比性、精確性、正確性做出最終結論。
  10. Model checking is one of the formal verification techniques to verify the correctness of system, and it is also one of the most successful automatic verification techniques in recent 20 years

    模型檢測是近二十幾年來最成功的自動檢驗技術之一，它是關于系統屬性驗證的演算法和方法。
分享友人
分享到 Line

分享到臉書