輸入謂詞 的英文怎麼說
中文拼音 [shūrùwèicí]
輸入謂詞
英文
input predicate- 輸 : Ⅰ動詞1 (運輸; 運送) transport; convey 2 [書面語] (捐獻) contribute money; donate 3 (失敗) l...
- 入 : Ⅰ動詞1 (進來或進去) enter 2 (參加) join; be admitted into; become a member of 3 (合乎) conf...
- 謂 : Ⅰ動詞1. (說) say 2. (稱呼; 叫做) call; name Ⅱ名詞1. (意義) meaning; sense 2. (姓氏) a surname
- 詞 : 名詞1 (說話或詩歌、文章、戲劇中的語句) speech; statement; lines of play 2 (一種韻文形式 起於唐...
- 輸入 : 1 (從外部送到內部) import 2 [電學] input; entry; entering; in fan; fan in; 輸入變壓器 input tra...
-
Informally, xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
Xquery被非正式地設計為可以構造xml文檔,而這些xml文檔是通過對輸入的xml文檔進行一階謂詞演算得出的。The iterative relaxation method is improved in this thesis by omitting the con - structions of predicate slices and input dependency sets
本文改進迭代鬆弛法,省略構造謂詞片和輸入依賴集的過程。With bringing in the state predicates and transition event constants, the key problem of how to depict the asynchronous node can be resolved
文法中引入傳輸事件常量與狀態謂詞侶tatepredicates )解訣了異步節點的rtl文法描述問題。By means of analyzing the static and dynamic data dependencies between the statements on [ v, and constructing predicate slices and input dependency sets, this method linearizes the predicate functions with linear arithmetic representations. therefore it can only be used to generate test data for white - - box testing
該方法通過分析w上各語句之間的靜態、動態數據依賴關系,構造謂詞片和輸入依賴集,用線性算術表示對謂詞函數進行線性化,僅能夠用於白盒測試數據的自動生成。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等人提出的求解方法是不完備的和非終止的,並建議採用線性規劃、線性(混合)整數規劃方法。Furthermore, when the divided ii1 differences are used to approximate to the derivatives that are coefficients in linear arithmetic representations, computing linear arithmetic representations is converted to compute predicate residuals completely, which needs to analyze neither static nor dynamic data dependencies between the statements on w. at this time, the improved method is more powerful to generate test data, and can be used for black - box testing
更進一步,當用均差作為謂詞函數關于輸入變量的導數的近似時,計算線性算術表示就全部轉化為計算謂詞殘量,而後者無須分析w上各語句之間的靜態、動態數據依賴關系。此時,改進后的方法比原方法生成測試數據的能力更強,能夠用於黑盒測試數據的自動生成。A 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
該框架以改進后的迭代鬆弛法為核心演算法,對于謂詞函數均為輸入變量的線性函數的程序路徑,採用基於線性規劃、線性(混合)整數規劃的約束求解器;對于謂詞函數中含有輸入變量的非線性函數的程序路徑,採用線性規劃、線性(混合)整數規劃和最小二乘解法相結合的約束求解器。分享友人