The data dependence relationship among statements is obtained by data flow analysis, which can be attributed to obtain the global information about how a program defines, changes and uses data values.
数据流分析主要是求取语句间的数据依赖关系,可以归结为到达-定值信息的求解。
参考来源 - 基于GCC抽象语法树文本的C源程序语义分析方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Objectives: To evaluate the ablation effect of hydrochloride acid and the dependence relationship among density dosage and range of ablation.
目的：探讨盐酸对组织的消融凝固作用，盐酸浓度、剂量与消融凝固范围之间的关系。
Constraint solver is the conversion from dependence relationship of features to geometry or engineering expression, then achieve the design by solving the constraint.
约束求解是将特征间的相互依赖关系映射为几何或工程约束描述，通过求解约束实现设计对象的细节。
应用推荐