邏輯術語 的英文怎麼說

中文拼音 [luóshùyǔ]
邏輯術語 英文
logical term
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 術 : 術名詞1. （技藝; 技術; 學術） art; skill; technique 2. （方法; 策略） method; tactics 3. （姓氏） a surname
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 邏輯 : logic
  • 術語 : term; onomastion; onym; terminology; technology; buzz word; nomenclature; jargon; technical terms
  1. 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可擴展、自描述等性質，易於再抽取，重新組合。
  2. It implements filter groups design, wide range linear automatic gain control design, and the programmed logic device design based on vhdl, and discuss their application in initial radar system in details

    其中包括分段濾波器的設計技術，寬線性自動增益控制agc電路的設計技術，以及基於vhdl語言的可編程邏輯器件的設計技術，並對其在數據採集系統中的應用作了詳細的討論。
  3. 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系統的運行演算法。
  4. Benefit from designer experience, expert system regulations are built by c language. through the inference, all fixed logic fault and most multi - line short circuit fault are detected by expert system. on that account, the design process built by c language will be a mode that can be imitated by other intelligent fault diagnosis system

    對于專家系統智能故障診斷技術而言，構建專四川大學碩士學位論文家系統規則庫和設計推理機制是重點，本文採用c語言構建規則庫，然後通過精心設計的專家推理機，從而使得固定邏輯故障和大多數多線橋接故障能夠被專家診斷系統檢測出來。
  5. Main course : structure of network of structure of all of technology of principle of analysis of logic of technology of electron of circuit principle, imitate, number, number, computer, microcomputer, computer science department, computer, advanced language, assembly language, data, operating system

    主要課程：電路原理、模擬電子技術、數字邏輯、數字分析、計算機原理、微型計算機技術、計算機系統結構、計算機網路、高級語言、匯編語言、數據結構、操作系統等。
  6. With turning the scale of asic ( appl ication specified integrated circuits ) to s0c ( system on chip ), which conunon1y is composed of mcu, specified function ip cores, memory, periphery interface etc, the ip reuse techno1ogy is very important in s0c design flow, which can realize the constructions of different levels components. the approach of configurable system, method and design f1ow for udsm ( u1tra deep sub micron ) asic, logic system design using hdl 1anguage, coding style, static and dynamic verification strategy are a1so presented in chapter 2. in chapter 3 we study the vlsi - - dsp architecture design, dense computation and high speed high performance digital signal processing unit structure, which includes high speed mac components and distributed arithmetic unit

    在工程設計方法及結構化設計和高層次綜合的研究中，介紹了在深亞微米工藝條件使用的方法和asic設計流程，討論了高層次綜合的核心如何從描述推出電路構成的設計思路，針對不同目標的設計技巧討論了採用hdl語言進行邏輯系統設計的方法，給出了用vhdl語言進行代碼設計時的規范和風格，在面向soc的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  7. 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

    然後，較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法，重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。
  8. Western historiography originates from its metaphysical academic tradition and logicism while chinese non - logicism or historicism make comments according to certain affairs and focuses on narrating, verifying and understanding, which is strikingly different from western historiography, which seeks for the study of fixed knowledge

    西方史學之富有理論源於其形而上學的學術傳統與邏輯（實質）主義的運思理路，而漢語文思考的非邏輯主義（或曰歷史主義）使其不離事而言理，即體用不二，道器合一，史學重在述事、征實與會通，這與西方史學追求確定性知識的探究形成鮮明對照。
  9. The author has made extensions on logical and relational primitives based on some influential techniques, like rdfs ( resource description framework schema ) and oil ( ontology inference / interchange layer ), so as to enable knowledge, rules and axioms to be syntactically seriliazed with ordinary xml

    本文基於rdfs 、 oil等有影響的技術對這些邏輯原語和關系原語進行了擴展定義，這樣，從語法上採用通用的xml 、從語義上採用這些定義的原語，就可以描述知識、規則和公理。
  10. Logical datacenter designer terminology

    >邏輯數據中心設計器術語
  11. This thesis firstly analyzed major techniques widely used in semantic web and also ontology theory. it then focused the researches on reasoning techniques in the context of ontology knowledge base systems

    本文在分析語義web的支撐技術和本體知識庫的理論后，著重研究基於本體知識庫系統的自動推理技術，分邏輯推理和傳統的規則推理兩方面進行研究。
  12. In the paper, the object - oriented technique in the modem software engineering and the unified modeling language is adopted. the analysis model of the product data management according to the rational unified process is built. this is more satisfying people ' s logical thinking

    本文採用現代軟體工程中的面向對象技術，按照統一開發過程，利用統一建模語言uml對產品數據管理系統作了比較詳細的分析建模，使分析過程更符合人們的思維邏輯，具有更清晰的思路。
  13. Based on the primitive system, a logical device coordinate and its normalization function were defined to enhance the ability of device - independent, an input - output hierarchy model of application system in distributed interactive simulation was proposed, and an instance of the model was listed based on com

    在研究分析已有原語系統的基礎上，通過定義邏輯設備坐標系及其中的歸一化函數強化了設備無關性，提出了一個分散式交互模擬應用系統輸入輸出層次模型，並基於com技術對該模型進行了具體實現。
  14. Abstract this paper stems from " 863 " project and national natural science fund. based on the theory of industrial design and fuzzy set, using object - oriented technology and semantic grammar technology, a semantic transformation method for product color design is proposed

    本文依據「十五」國家高技術發展計劃（ 863 ）課題項目和國家自然科學基金，以工業設計理論及現代設計方法學為基礎，綜合應用模糊邏輯、面向對象技術、語義文法等技術方法，提出了一種基於語義空間的產品色彩設計方法。
  15. In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml

    當前，對agent和多agent系統的研究正在掀起熱潮，是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究，從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 （ bdi ）模型，在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題，提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋，解決了「邏輯全知」問題和由此帶來的問題，避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。
  16. Makes an investigation of interpretive principles and key techniques of plc ladder diagram language based on fx2n series plc instruction set, and proposes interpretive methods of basic program instructions, sfc instructions and application instructions on cygnal f040 single chip system, as well as the design and debugging of hardware and software. 3. analyzes the can controller of cygnal f040

    （ 2 ）針對fx2n系列plc指令集，對plc梯形圖語言的解釋原理和關鍵技術進行了詳細的研究，提出了在cygnalf040單片機硬體系統上實現plc基本邏輯指令， sfc指令和功能指令的解釋方法，完成了其硬體和軟體的設計和調試。
  17. The idea of object - oriented is introduced to analyze the basic physical entities, basic logical entities and simulation environment entities in traffic simulation system. terms in traffic field, which covers the gap between models and real system, is adopted to enhance the visualization and easy - comprehension

    引入面向對象思想分析交通模擬系統中的基本物理實體、基本邏輯實體和模擬環境實體，使用交通領域中的術語彌補模型和實際系統之間的差距，增強了模擬建模的直觀性和易理解性。
  18. We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples. some data mining techniques, which can be applied to semantic web mining, were also discussed in this thesis. we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail, and showed how to make use of this method in the semantic context

    對于語義web挖掘中適合的數據挖掘技術進行了探討，提出了可採用歸納邏輯程序設計作為適合語義化web的數據挖掘技術，給出了如何應用這種技術的演算法描述，並通過具體實例驗證了這種方法對于語義化web環境下進行數據挖掘是可行性。
  19. 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

    本系統研究的重點是模糊控制演算法在溫室環境參數自動控制系統中的嘗試應用。模糊控制是以模糊數學、模糊語言形式的知識表示和模糊邏輯的規則推理為理論基礎，採用計算機技術構成的具有反饋閉環結構的數學控制形式。
  20. He is a member of the chinese calligrapher association, a judge of creation of sichuan provincial calligrapher association, the dean of calligraphy dept. of chengdu hanlin chinese calligraphy and painting college, and a professor of arts dept. of chinese logical and linguistic correspondence university

    現為中國書法家協會會員、四川省書法家協會創作評審委員、四川詩詞協會會員、成都翰林中國書畫藝術學院書法系主任、中國邏輯與語言函授大學藝術系教授。
分享友人
分享到 Line

分享到臉書