nondeterminism 中文意思是什麼
nondeterminism
解釋
非確定性-
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
文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息 -
Structural complexity ; function classes ; nondeterminism
結構復雜性函數類非確定性 -
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism
對復雜的並發系統進行有效建模要求有一套形式化體系，由它能獲取系統的本質特性，如不確定性、同步性和並發性。
分享友人