函數謂詞 的英文怎麼說
中文拼音 [hánshǔwèicí]
函數謂詞
英文
boolean-valued function- 函 : 名詞1. [書面語] (匣; 封套) case; envelope 2. (信件) letter 3. (姓氏) a surname
- 數 : 數副詞(屢次) frequently; repeatedly
- 謂 : Ⅰ動詞1. (說) say 2. (稱呼; 叫做) call; name Ⅱ名詞1. (意義) meaning; sense 2. (姓氏) a surname
- 詞 : 名詞1 (說話或詩歌、文章、戲劇中的語句) speech; statement; lines of play 2 (一種韻文形式 起於唐...
- 函數 : [數學] function函數計算機 function computer; 函數計算器 function calculator; 函數運算 functional operation
-
Comparing full - text functions and full - text predicates
>比較全文函數與全文謂詞Adapts a binary predicate interface to a unary one
仿函數)將一個二元謂詞介面適配為一元介面。Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息This method combines the rich output of function and the powerful semantic express ability of predicate and can be used to build precise and detailed ' information needs descriptions for workflow activities. this method can also be used as the request expression language for user query
該方法吸收了函數的豐富輸出和謂詞的強大語義表達能力,用於為工作流活動建立準確、詳細的信息需求描述,同時也可以作為人工推動的信息檢索的需求表達語言。12 barr a h. superquadrics and angle - preserving transformations. ieee computer graphics and applications, 1981, 1 : 481 - 484. 13 barr a h. global and local deformation of solid primitives
基於此,我們將能保持微分屬性的r函數用來將布爾謂詞轉換到分析函數中,即將層次化的變形與高效的常用的且緊致的圖元相結合。We use the same predicates to identify birthdays for this month and after today ; but we also use the min function to determine which is the next day this month that a birthday will fall on
我們使用相同的謂詞來標識本月的所有生日和本月自今天起剩下的生日,但是另外用min ( )函數來確定本月接下來的哪一天有生日。Although both the full - text predicates and the full - text functions are used for full - text queries, and the syntax used to specify the full - text search condition is the same in both the predicates and the functions, there are major differences in the way that these are used
雖然全文謂詞和全文函數都用於全文查詢,且二者用來指定全文搜索條件的語法是一樣的,但是它們在使用方法上仍有顯著差別。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
該框架以改進后的迭代鬆弛法為核心演算法,對于謂詞函數均為輸入變量的線性函數的程序路徑,採用基於線性規劃、線性(混合)整數規劃的約束求解器;對于謂詞函數中含有輸入變量的非線性函數的程序路徑,採用線性規劃、線性(混合)整數規劃和最小二乘解法相結合的約束求解器。When user defined functions ( udfs ) are involved in the join predicate, the algorithms for the computation of relational joins can not be used directly. in the paper, the restricting transformation function r, is defined, which can restrict some variable ' s values. without scanning the entire relation, performance of join algorithm can be improved greatly
當連接條件中包含用戶自定義的復雜函數時,原有的連接演算法不能直接應用於該連接運算,為此,本文提出了限定變換函數t _ r概念,來限定連接謂詞中某些變元的取值范圍,從而避免對整個關系的掃描,達到提高連接演算法性能的目的。Where clause. this clause may include simple predicates to identify non - xml column values or sql xml functions to identify xml element values contained within xml columns
該子句可以包括簡單的謂詞來標識非xml列值或包括sql / xml函數來標識包含在xml列中的xml元素值。分享友人