first-order language 中文意思是什麼

first-order language 解釋
一階語言
  • first : adj 1 最初的，最早的。2 最上等的，第一流的。3 基本的，概要的。4 高音（調）的。n 1 最初，第一；第...
  • order : n 1 次序，順序；整齊；（社會）秩序，治安；狀況，常態；健康狀態；條理；會場秩序；議事程序，日程；...
  • language : n 1 語言；（某民族，某國的）國語；語調，措詞。2 （談話者或作者所使用的）言語，語風，文風，文體。3...
  1. First - order logic provides ilp with a uniform and very expressive means of representation : the background knowledge and the examples, as well as the mined rules, can all be represented as formulas in a clausal language. so we can use naturally background knowledge in the mining process

    一階邏輯為ilp提供了一致的和非常有表達力的表示手段：背景知識、例子以及挖掘到的知識都可表示為子句語言的公式，所以在挖掘過程中可非常自然地利用背景知識。
  2. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  3. The thesis comes to such a conclusion that in order to keep up with the development of times, one of the essential factors is to have a good knowledge of translating, however, an understanding of the basic nature of language should be the first and essential step towards faithful translation

    本文得出結論:要緊跟時代發展，一個基本要素就是具備良好的翻譯知識，然而，了解基本的語言性質是通向忠實翻譯的第一步
  4. Through the intensional interpretation, first - order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter

    比之於外延語義的解釋，內涵語義的解釋使一階語言更接近於自然語言的語義，而且也使一階邏輯對各種題材真正保持了邏輯的中立性。
  5. If frege and russell ' s first - order language is expanded to higher - order language, then it would not only be in accordance with quine ' s theory, but also can refrain from disputing over ontological problems about " existence "

    如果將弗雷格、羅素的一階語言擴展到高階語言，則既能與蒯因的理論連貫一致，又能避免無謂的「存在」本體論紛爭。
  6. This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus

    這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。
  7. So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language

    所以對於一個復雜對象，任何看起來需要一階謂詞演算才能描述的東西，實際都可以在編程語言范疇內實現十分精細地表述。
  8. In order to made his theory of confirmation have exact rules, he constructed a first - order logical language system and gave the definitions and theorems to some important concepts such as state description, structure desciption and the range of state description etc. in the given language system, some functions such as m - function, c - function etc. collected with the theory of inductive confirmation are introduced, m - function is the basis of c - function

    在構建的語言系統中，引入了測度函數m 、確證函數c ，其中測度函數是確證函數的基礎，由語句所滿足的狀態描述的測度函數m值來確定確證函數c的值，研究了歸納確證問題。
  9. Firstly, a formal model of tpm is built using first - order logic language. then logic reasoning is made on the formal model

    首先，在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型，然後對建立的形式化模型進行邏輯推理分析。
  10. Abstract : the state space, search heuristics, and move generator in searching solutions to a given problem are characterized by first order language, which implies that the logical properties of a search algorithm are determined by its state space, that is, the logic describing the searching process has compactness and the class of initial states has finite close property

    文摘:搜索演算法的初始空間、搜索策略、搜索過程可以用一階語言描述，搜索演算法的邏輯性質由初始狀態空間確定.這意味著描述搜索過程的邏輯具有緊致性，初始狀態的初等類具有有限封閉性
  11. This has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first - order predicate calculus as a language extension

    這就促使一些人在編程語言的描述機制和建模語言（如統一建模語言， uml ）的處理機制中加進了部分一階謂詞演算的東西，作為一種功能擴展。
  12. Consider the hugeness and the extreme complexity of first - order rule space, in order to carry out an effective search, most ilp systems have used greedy search strategy and required to explicitly present strong language bias related to the mining task, the structure feature description of first - order rules explored in mining process, to reduce the search range or is used as heuristics to guide the search

    由於一階規則空間的龐大和復雜性，為了實現有效的搜索，絕大多數一階規則挖掘系統採用了貪婪的搜索策略，並需要對具體問題給出極其嚴格的語言偏向（即挖掘過程中待測規則構成的特徵描述）來縮小搜索的范圍或作為啟發知識來指導搜索過程。
  13. ( 2 ) in order to validate the efficiency of algorithm, this paper design and implement a testing, platform rule processor based on sql server. the main function of the processor is to translate the first order logic rule into embedded - sql programs, which make sql server dbms possess the capability in expressing recursive query with logic language

    （ 2 ）為驗證演算法的有效性，該文設計實現了一個測試平臺? ?基於sqlserver的規則處理器，其主要功能為自動把一階邏輯規則轉換為含有sql語句的過程代碼，這使得sqlserver數據庫管理系統有了用邏輯數據語言表示遞歸查詢的能力。
  14. In order to adapt to this trend, i believe that we should cultivate the students " language ability first. it is in line with the point of view of lu shu - xiang - " the main task of chinese teaching is to cultivate the students " ability of sense of language from all aspects "

    要適應這一趨勢，應該將培養學生的語言能力放在首位。這和呂叔湘提出的「語文教學的首要任務就是培養學生各方面的語感能力」這一觀點是一致的。
分享友人
分享到 Line

分享到臉書