neelam meaning in English
尼兰
Examples
- Neelam gupta et al developed a constraint solving technique by using the least square error solution
Neelamgupta等人将最小二乘解法用于求解问题2 。 - Neelam gupta et al proposed a method , which is referred to as the iterative relax - ation method in this thesis , to address the above problem
迭代松弛法是neelamgupta等人提出的一种自动求解问题2的方法。 - Jon edvardsson et al pointed out that the technique developed by neelam gllpta et al is neither complete nor terminationai for w on which all of the predicate functions with respect to the input variables are linear , and suggested using linear programming and linear ( mixed ) integer programming methods instead
Jonedvardsson等人指出，对于谓词函数均为输入变量的线性函数的程序路径， neelamgupta等人提出的求解方法是不完备的和非终止的，并建议采用线性规划、线性(混合)整数规划方法。 - This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies , and defines the notions in the iterative relaxation method formally . the program theories about the iterative relaxation method and its improvement are investigated , whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices , and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement
本文给出一种模型语言；给出一个比较完整的形式化描述，该描述可用于证明与静态、动态数据依赖关系有关的程序性质；给出迭代松弛法中各概念的形式化定义；深入研究迭代松弛法及其改进后的方法的程序理论，其结果包括：将neelamgupta等人提出的谓词片推广为路径静态切片，证明路径静态切片构造算法的正确性，证明改进后的方法与原方法所生成的线性约束系统相同。