邏輯表示法 的英文怎麼說

中文拼音 [luóbiǎoshìfǎ]
邏輯表示法 英文
logic notation
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 表 : Ⅰ名詞1 （外面;外表） outside; surface; external 2 （中表親戚） the relationship between the child...
  • 示 : Ⅰ動詞（擺出或指出使人知道; 表明） show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] （給...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 邏輯 : logic
  • 表示 : show; express; mean; indicate; expression; presentation; signifying; remark; representation
  1. The detailed works are as follows : the finding patterns problems in the time - series data sequence are described, and a new trend logic expression method is introduced, and its algorithm and experiment result of algorithm are given ; time - scries data are disposed, and using the arctg. slope of line as the sample of pattern recognition, so ignoring the aberrance of pattern in the classified. in addition, a new time - series pattern finding algorithm based on higher - order neural network is put forward

    同時給出了本文的具體的工作，主要是：對在時序數據序列中發現模式問題進行了描述，並介紹了一種新的趨勢邏輯表示方法，給出了其演算法及演算法的實驗結果；對時序數據進行處理，提出了利用線段的斜率反正切值作為模式識別的樣本，從而在分類時忽略模式的畸變；另外，還提出了一個新的基於高階神經網路的時序模式發現演算法。
  2. 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系統的運行演算法。
  3. A model representation method based on first order predicate logic

    一種基於一階謂詞邏輯的模型表示方法
  4. Then discusses common knowledge representation method such as predicate logic, semantic network, production rule, frame etc. and probes into the application of predicate logic in epr system

    然後，較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法，重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。
  5. Expression of the properties of logic analysers

    邏輯分析儀性能的表示法
  6. By using the methods of abstract analyzing, the example analyzing and combining the fact that property right division is a must to the market development, i tried to see through the appearance and grasp the most common essence of the property right institution. then i pointed out some drawbacks in socbs

    本文最大程度地運用系統抽象法、歷史與邏輯相統一的方法，結合實證分析法等方法，從產權權能分工是市場經濟發展的必然趨勢入手，剝開層層表面現象，探尋產權制度的本質，從而揭示我國國有商業銀行產權制度的缺陷。
  7. Bdd ( binary decision diagram ) is the state - of - the - art data structure in logic function. it is widely used in the fields of computer science and digital circuit and system

    二元判決圖bdd （ binarydecisiondiagram ）是邏輯布爾函數的一種高效表示方法，在計算機科學以及數字電路與系統等領域中有廣泛的應用。
  8. The system design includes information model, function design and dada - base logical relation. the information model is established by entity - relation method, and the e - r picture is ploted, and the in - out diagram is gived out ; the fuction designed is established by idef0 method, the subsystems are designed according to the model in detail, we give out the explaining document and explain the calculation method for the model ; we design the data - base logical relation by the above models, decide the distributing and partition the relation diagram of the data - base, then define the logical structure of the diagrams

    其中信息建模採用實體-聯系的方法建立系統的信息模型，並用idef1x圖表示出該信息模型，同時給出電泵物資管理系統輸入輸出信息表；功能設計用idef _ 0方法建立電泵物資管理系統分系統功能模型，參照功能模型對內部各子系統進行詳細設計，給出分系統功能模塊的詳細說明書及相應功能演算法描述；數據庫邏輯設計依據系統分析結果、信息模型及功能模型，確定電泵物資管理系統數據庫分佈，劃分數據庫內部關系表，定義表的具體邏輯結構。
  9. In the ongoing quest for technical solutions that separate business and presentation logic in j2ee web development, jsp custom tags offer a compelling alternative to plain old javabeans and java scriptlets

    在j2ee web開發中越來越多地需要將業務和表示邏輯分離， jsp自定義標記提供了替代簡單的老javabean和java腳本的一個有吸引力的方法。
  10. Electronic measuring instruments. expression of the properties of logic analyzers

    電子測量儀器.邏輯分析儀特性的表示法
  11. Is that their syntax follows a logical progression closely mirroring that of the xml document they represent

    ，在於它們的語法表示完全體現了它們所代表的xml文件的邏輯進程。
  12. We first talk about its logical structure, which includes its contents and their relationship. followed by it is the way of representation and their effects in the formation of change awareness. we talk about the principles of the change information, which include the acquiring, transmitting, and receiving mechanisms

    在這些管理機制中，首先討論的是變更信息的邏輯結構，即變更信息包含內容以及它們的組織形式；接下來討論的是變更信息的表示方法和不同表示方法對協作者建立變更認知的影響；最後討論變更信息在協作環境中的運動規律，包括變更信息的獲取規律、傳輸和存儲規律、變更信息的接收和處理規律三個方面的內容。
  13. The system emphasized on attempting to applying fuzzy in the automatic - controlling technology of greenhouse environmental parameters. fuzzy controll is based on the theory of fuzzy mathematics, fuzzy language, fuzzy logical, and adopt digital controlling from which use of computer technology and has feedback and structure

    本系統研究的重點是模糊控制演算法在溫室環境參數自動控制系統中的嘗試應用。模糊控制是以模糊數學、模糊語言形式的知識表示和模糊邏輯的規則推理為理論基礎，採用計算機技術構成的具有反饋閉環結構的數學控制形式。
  14. By introducing model theory, we investigate the concept classification in description logic and present the algorithm that transforming the ontology defined in description logic to frame expression based on the satisfiability of concept interpretation

    通過採用模型理論，以本體概念的解釋是否可滿足為基礎，研究了描述邏輯中概念的自動分類，並給出了將描述邏輯本體轉換為框架表示的演算法。
  15. Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment

    針對現有符號邏輯描述方法難以保證知識表達的完整性，推理過程陷於復雜的邏輯演繹的問題，作者引入了模糊因果關系的網路模型，基於模糊認知圖理論構造agent推理模型，用簡單的數值計算代替復雜符號系統的表示和演繹推理過程，實現了復雜環境下的agent智能決策。
  16. The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  17. We pointed out the features of this infrastructure, analyzed the basis of modern applied software - mvc mode, elaborated the j2ee system infrastructure used by this system, and analyzed the integrated infrastructure system. then from the system ' s real requirement, with the object - oriented method, we used an advanced modeling tool - rose to model the system ' s requirement and logic design, then finally implemented the system design. this system uses powerdesigner to do the data modeling, jbuilder as the development tool, and struts framework to realize the separation of the expressing layer, the logic layer and the data layer

    通過研究和開發寬帶boss ，了解了有關boss的基本概念、模型、發展現狀及發展趨勢；然後分析了現代應用軟體的架構： b s架構，指出了此種架構的特點，並分析了現代應用軟體架構的基礎? ? mvc模式，詳細介紹了本系統所採用的j2ee體系架構，對組成本系統的整體架構體系進行分析；隨后從本系統的實際需求出發，以面向對象的方法，採用先進的建模工具rose對系統的需求及邏輯設計進行建模；最後對系統設計加以實現，本系統用powerdesigner對數據建模，以jbuilder為開發工具，採用struts框架實現表示層、邏輯層及數據層的分離，數據層採用數據持久化技術hibernate ，從而可以隱藏訪問數據源的數據訪問api ，簡化開發。
  18. Table 1 offers a comparison of the logic flow of the two methods, and illustrates what happens on specific lines in listings

    表1提供了對兩種方法的邏輯流程的比較，並演示了清單
  19. The basic idea behind our approach is to simplify the representation of membership function without affecting the precision of fuzzy computation or slowing the speed of fuzzy inference

    我們基本的想法，是要簡化歸屬函數的表示法，但不影響模糊計算之準確度，亦不影響模糊邏輯處理器進行模糊推論所需的時間。
  20. The group network scheme was inducted to research on the relations among the missions and the activity, and the fuzzy relation matrix was applyed to solve the problem on complex relation

    接著引入群體網路計劃的思想來研究動態聯盟研發項目任務之間的關系，並給出了任務之間邏輯關系、約束關系的模糊矩陣表示法以及任務層模糊關系的確定法。
分享友人
分享到 Line

分享到臉書