謂詞常數 的英文怎麼說
中文拼音 [wèicíchángshǔ]
謂詞常數
英文
predicate constant-
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
文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生(像我自己這樣的)來說它是非常有用的。This program creates truth tables from boolean expressions. i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
這個程序從布爾表達式中創建真實的表格。我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生(像我自己這樣的)來說它是非常有用的。Nouns in news titles not only can be subjects and objects, but also can be adverbials to modify predicates directly. the verbs that refer to movement are most frequently used in news titles. verbs in news titles not only can be predicates or the key words of predicates, but also have some special usages such as verb - object structure with object, transitive verb with special object, ect
新聞標題中的名詞,絕大多數是表示人或事物的名詞,在語法上不僅經常做主語和賓語,還經常做狀語直接修飾謂語動詞;新聞標題中的動詞,動作動詞使用的頻率最高,在語法上不僅經常做謂語或謂語中心,還出現了動賓結構帶賓語、及物動詞帶特殊賓語等一些特殊用法;新聞標題中的形容詞,性質形容詞占絕大多數。Deductive database is introduction to knowledge and inferring mechnism in artificial intelligece in traditional database. studying it needs very strict theory model as background. relation model and datalog model can describe world
演繹數據庫是人工智慧中的知識及其推理機制在傳統數據庫中的引入,對它的研究需要有非常嚴謹的理論模型為背景,它用關系模型(描述事實)和datalog模型(描述規則)來描述世界,演繹數據庫中主要採用一階謂詞邏輯表示。No special meaning is given to any of the reserved keywords or wildcard characters that typically have meaning when specified in the contains search condition parameter of the contains predicate
保留關鍵字或通配符字元都不具有特殊含義,而它們指定在contains謂詞的< contains _ search _ condition >參數中時則通常具有含義。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函數用來將布爾謂詞轉換到分析函數中,即將層次化的變形與高效的常用的且緊致的圖元相結合。分享友人