約束變詞 的英文怎麼說
中文拼音 [yāoshùbiàncí]
約束變詞
英文
bound variable-
Admittedly, these very general quantifiers make it more difficult to state specific cardinality constraints, as you can with the w3c xml schema
不可否認的是,這些非常常規的量詞卻使聲明特定基數約束變得更困難,就如您用w3c xml schemaA path - wise test data generation framework is proposed in this thesis, whose fundamental algorithm is the improved method. this framework adopts a constraint solver using linear programming and linear ( mixed ) integer programming methods for w on which all of the predicate functions with respect to the input variables are linear. for w on which there is nonlinear function ( s ) with respect to the input variables
該框架以改進后的迭代鬆弛法為核心演算法,對于謂詞函數均為輸入變量的線性函數的程序路徑,採用基於線性規劃、線性(混合)整數規劃的約束求解器;對于謂詞函數中含有輸入變量的非線性函數的程序路徑,採用線性規劃、線性(混合)整數規劃和最小二乘解法相結合的約束求解器。
分享友人