nondeterminism meaning in English
非确定性
Examples
- Structural complexity ; function classes ; nondeterminism
结构复杂性函数类非确定性 - This is the source of the nondeterminism
这就是上面的不确定情况的根源。 - Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism , synchronization and parallelism
对复杂的并发系统进行有效建模要求有一套形式化体系,由它能获取系统的本质特性,如不确定性、同步性和并发性。 - Abstract : for a precise dataflow analysis within the framework of the computation function model , the logical relationship of branch conditions is represented as the coverage relationship of regions . in this paper , the authors discuss how to represent , compute and propagate the region , region of the conditional reference . meanwhile , the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递区域、区域,并在数据流分析过程中,利用区域、区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息