English translation for "neelam"
|
- 尼兰
Related Translations:
- Example Sentences:
| 1. | Neelam gupta et al developed a constraint solving technique by using the least square error solution Neelamgupta等人将最小二乘解法用于求解问题2 。 | | 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的方法。 | | 3. | 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等人提出的求解方法是不完备的和非终止的,并建议采用线性规划、线性(混合)整数规划方法。 | | 4. | 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等人提出的谓词片推广为路径静态切片,证明路径静态切片构造算法的正确性,证明改进后的方法与原方法所生成的线性约束系统相同。 |
- Similar Words:
- "neel" English translation, "neel grover" English translation, "neel jani" English translation, "neel point" English translation, "neelagiri" English translation, "neelam sanjiva reddy" English translation, "neelan" English translation, "neelands" English translation, "neeld" English translation, "neele" English translation
|
|
|