neelam 中文意思是什麼
neelam
解釋
尼蘭-
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的方法。 -
Neelam gupta et al developed a constraint solving technique by using the least square error solution
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等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
分享友人