邏輯語言 的英文怎麼說

中文拼音 [luóyán]
邏輯語言 英文
logic language
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • 邏輯 : logic
  • 語言 : language
  1. The circuits driving the ccd and processing the video signal are implemented by means of cpld ( complex programmable logic device ) and hdl ( hardvvare description language ). the solution to solve the problem of multi - level logical competitive risks that occur in cpld circuits frequently was provided in details in the thesis

    Ccd的驅動電路和視頻信號處理電路採用cpld (可編程器件)和hdl (硬體描述)實現,文章對cpld電路中容易出現的多級冒險競爭情況作了專門的敘述和提出相應的解決方法。
  2. 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提供了一致的和非常有表達力的表示手段:背景知識、例子以及挖掘到的知識都可表示為子句的公式,所以在挖掘過程中可非常自然地利用背景知識。
  3. Aiming at the dynamics and enormous incomplete information, defeasible logic that if of flexibility and robustness is proposed as negotiation language and protocol operation semantic ( pos ) is utilized in the system as communication protocol to meet with the requirement of sequence information exchange

    針對合約市場協商的動態性和信息量大且不完全等特點,設計了靈活、魯棒性強的可廢止作為協商,並採用滿足序列信息交換要求的pos義作為智能體平臺的通信協議。
  4. 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查詢系統原型。
  5. Finished the definition of cwml ( courseware markup language ) which is based on the technology of xml : the definition of cwml build the c wml courseware structure in xml style, cwml represent the whole process when a courseware is presented on line, and also cwml has the advantage of easy for extension, self - descript, which are bring from xml, so the cwml courseware are easy to dissever and rebuild

    參與了以xml技術為基礎的多媒體課件標記cwml的定義: cwml的定義將課件結構中包含的元素以xml的形式表現出來,它既代表了網上課件演播的過程,有擁有xml可擴展、自描述等性質,易於再抽取,重新組合。
  6. Therefore different modes of thinking would lead to some illogic and ambiguous sentences in chinese language

    由於漢重整體思維和主體思維的傾向,有時會出現一些似乎不合或有歧義的現象。
  7. Firstly, related research work on agent, multi - agent system ( mas ), robot, multi - robot system ( mrs ) and auv are described. then, based on the famous bdi theory, extended bdi model ( xbdi model ) is presented. in xbdi model, every robot or agent has own mental states, such as beliefs, desires, goals, intentions and behavioral property, such as roles, capabilities, plans, know - hows

    本文在簡要介紹agent及mas 、機器人及多機器人,尤其是水下機器人技術的研究現狀及發展趨勢之後,在目前廣為使用的bdi模型基礎之上,提出了適用於水下機器人的擴展bdi模型( exendedbdimodel ,以下簡稱為xbdi模型) ,描述了xbdi - agent的結構和功能、定義了xbdi邏輯語言l _ x 、給出了xbdi - agent的心智狀態的表示及處理方法、並給出了xbdi系統的運行演算法。
  8. The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case. ( 2 ) we introduce a new modal operator

    ( 2 )引入一個新模態詞,並在此基礎上使用新的模態邏輯語言給出一個更具一般性的-互模擬的模態特徵。
  9. The compound classes parser is quite complex, since it implements a full logical language interpreter and returns an

    復合類解析器十分復雜,因為它實現完整的邏輯語言解釋器並返回表達式的
  10. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy

    由於構件可能具有不同的抽象層次和粒度,我們採用了時序邏輯語言xyz e作為構件描述,這種能夠描述構件的靜態義和動態執行,並且能在不同抽象層次上對系統進行形式化描述。
  11. To study the interpreting mode for words ' abnormal functional meanings, we must distinguish logical semantic mode from linguistic variant so as to interpret the abnormal functional meanings accurately and correctly in chinese dictionaries

    探討詞的非常規功能義的釋義模式要注意區分義模式與表達變式,以期在文辭書中準確地、規范地說解詞的非常規功能義。
  12. Abstract : because of its concise and skilled logical language, ticino school becomes the model combining basic principles of modern architecture with local culture

    文摘:瑞士的提契諾學派以他們精練而嫻熟的邏輯語言成為現代建築的基本原理與地方文化結合的典範。
  13. Explore the logical language and meaning field of thinking ideas

    邏輯語言與思維觀念意義域探析
  14. Firstly, a formal model of tpm is built using first - order logic language. then logic reasoning is made on the formal model

    首先,在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型,然後對建立的形式化模型進行推理分析。
  15. The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject, but also found a reasonable form of existence for the subject on the stratum of logic language

    界限主體的確立,既解決了主體的「體」帶來的一系列問題,同時又為主體在邏輯語言的層面上找到了一種合理的存在形式。
  16. In this paper, three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced, and studied in their advantages and weakness. combing the advantages, a new formal logic language is put forward to analyze electronic commerce protocols

    在本文中,作者主要介紹了用於分析密碼協議的三種邏輯語言,研究了它們的優缺點,然後結合其優點,提出了一種新的用於分析電子商務協議的形式化邏輯語言
  17. 16 parsons s, giorigini p. an approach to using degrees of belief in bdi agents. information, uncertainty and fusion, kluwer academic publisher, 2000, pp. 81 - 92. 17 parsons s, sierra c, jennings n r. agents that reason and negotiate by arguing

    本文的工作,一方面把我們以前的概率程序擴展到了面向agent的情況進一步的,這種邏輯語言也擴展了hindriks等人的工作,即把面向agent的程序擴展到了面向不確定agent的情況,實現了對于不確定信息的動態的描述和推理。
  18. Next, it indicates that mathematical language is an important instrument for developing the mathematical communication activity, and based on the predecessors " achievements, reclassifies the mathematical language : character language, symbol language, figure language, chart language and logic language

    接著指出數學是進行數學交流活動的重要工具,參考前人的成果,對數學重新進行分類,可分為:文字,符號,圖形,圖表邏輯語言
  19. Secondly, in order to solve the problem, the article introduces semantic analysis technique, which is a kind of language processing technique in mt and provides semantic information for translation to increase the rate of translation. then logic semantics is presented in detail, which is a kind of semantic analysis technique. thirdly, applying logic semantics to witt, this thesis constructs the logic semantic framework of telegraph to obtain the logic semantics of telegraphs

    針對這個問題,採用機器翻譯中合適的處理方法?義分析技術,利用義信息提高翻譯率,接著介紹了義分析技術,詳述了義,並用它建立了水情電報的義模型,用來為報文作義分析,從而結合義信息實現了對幾種類型錯報的翻譯。
  20. We generalize the notion of information tables to ordered information tables by adding order relations on attribute values. a data analysis method is thus proposed to describe properties of ordered information tables. we define the concepts of reduct and core etc. by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules, designs the ordered decision logic language ( odl - language ), and gives a solution for mining ordering rules

    從數據挖掘的角度考慮對象排序問題,通過引進屬性值上的有序關系,作者擴充了常見的屬性值方法,提出了有序信息表的形式化概念,進而提出了一個有序信息表上的數據分析方法,通過分析有序信息表中的屬性依賴,定義了有序信息表的約簡集和核的概念;作者還提出和形式化了有序信息表中挖掘有序規則的問題,設計了有序決策邏輯語言( odl ) ,並給出了一個挖掘有序規則的方法。
分享友人