语义正确性的英文

英文翻译手机版

"语义"英文翻译 semanteme; semantics
"正确性"英文翻译 exactness; correctness; soun ...
"语义正确" 英文翻译 : correct messages
"正确性" 英文翻译 : accuracy; correctness; justness; legitimacy; trueness; truth; validity; verecity
"不正确性" 英文翻译 : inaccuracy
"部分正确性" 英文翻译 : partial correctness
"程序正确性" 英文翻译 : program correctness
"抽样正确性" 英文翻译 : sampling accuracy
"概率正确性" 英文翻译 : probable correctness
"估计正确性" 英文翻译 : accuracy of estimation
"计算正确性" 英文翻译 : accuracy in computations
"记忆正确性" 英文翻译 : memory exactitude
"经验正确性" 英文翻译 : empirical validity
"绝对正确性" 英文翻译 : absolute correctness
"可能正确性" 英文翻译 : possible correctness
"强正确性" 英文翻译 : strong correctness
"软件正确性" 英文翻译 : correctness of software; software correctness
"算法正确性" 英文翻译 : correctness of algorithm
"完全正确性" 英文翻译 : total correctness
"验证正确性" 英文翻译 : proving correctness
"正确性保持" 英文翻译 : truth maintenance
"正确性定理" 英文翻译 : correctness theorem
"正确性论据" 英文翻译 : correctness argument
"正确性确认" 英文翻译 : validation validate validating; validation, validate, validating
"正确性审计" 英文翻译 : accuracy audit

This article focuses on the research of the c orre ctne s s - di stingui shing o f data semotme problem thh is falen across in the transaction - based auditing and the fuzzy synthetic evaluation problem that is faced in the system - based auditing
本文主要研究帐项基础审计中所遇到的数据语义正确性判别问题及制度基础审计中所面临的模糊综合评价问题。
According to the characteristics of workflow process execution , a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it , at the same time , for this meta - model , a kind of dynamic semantics is specified , which represents the runtime behavior of the process and can be expressed as a finite state automata . finally , an example is given to illustrate how to apply it to analyze the semantic correctness of process models
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性