描述邏輯等 的英文怎麼說

中文拼音 [miáoshùluóděng]
描述邏輯等 英文
daml+oil description logic（dl
  • 描 : 動詞1. （照底樣畫） copy; depict; trace 2. （在原來顏色淡或需改正之處重復塗抹） retouch; touch up
  • 述 : Ⅰ動詞（陳說; 敘述） state; relate; narrate Ⅱ名詞（姓氏） a surname
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 等 : Ⅰ量詞1 （等級） class; grade; rank 2 （種; 類） kind; sort; type Ⅱ形容詞（程度或數量上相同） equa...
  • 描述 : describe; represent
  • 邏輯 : logic
  1. 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查詢系統原型。
  2. 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可擴展、自描述等性質，易於再抽取，重新組合。
  3. By thorough analysis and synthetize this paper made a frame of the system of intelligent instrument and its hardware structure. as followed, this paper depicted design details of intelligent instrument " s hardware, it included the design of interface circuit, data commutations and digital logic of dsp, mcu, internet ' s chip and isp ' s apparatus etc., and have designed schematic map and circuit. so it accomplished the full design of hardware / software of the new type intelligent instrument

    本文具體給出了新型智能儀器硬體結構及實現，描述了智能儀器硬體設計細節，包括數字信號處理器、單片機、 internet接入晶元、可編程數字/模擬器件等在新型智能儀器中的介面電路設計、數據通信設計和數字邏輯設計等，詳細地給出了設計原理圖和電路圖；給出了新型智能儀器的軟體設計細節，從而完成了新型智能儀器完整的軟硬體設計。
  4. Through using the method of literature investigation, expert interview, questionnaire, and logical analysis, this thesis sums up the study results and present condition of internal and aboard on the physical fitness

    摘要運用文獻法、邏輯分析法、對比法、訪談法等，對體能研究基本問題進行回顧與探討，指出：國內外就體能概念和定義及內涵描述紛繁多樣，始終未有統一。
  5. For describing the similarity of two processes, - bisimulation is introduced, its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given

    為了描述進程間的近似等價，最近文獻中提出了-互模擬的概念，並將其性質與度量聯系在一起，給出了為超度量時-互模擬的模態邏輯特徵。
  6. Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description

    邏輯綜合的功能是對組合邏輯函數的描述進行轉換和優化，生成與邏輯功能描述等價的優化的邏輯級純結構描述。
  7. 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 、從語義上採用這些定義的原語，就可以描述知識、規則和公理。
  8. Secondly, it proposes the “ mixed route protocol lmrp ” adaptive in dynamic and complicated environment, which cuts in the design of unicast with multipul notes ’ reply, based on the summarization and analyses of the technology and performance used in manet. thirdly, the thesis introduces the complete design plan of this protocol, including method design, specific design, data structure in lmrp, router discovery algorithm, router maintenance protocal, router optimization protocal, logistic layered method, mtu solution, robusticity policy, etc. finally, the thesis simulate protocals in lmrp and compare it with aodv by opnet emulator, which shows that the protocol has advantages in several domains, including end - to - end delay, throughput, etc

    本文首先對manet中的路由演算法和路由協議進行了深入分析研究;提出了一種新的適合於動態復雜環境使用的「局部-全局混合路由協議lmrp 」 ，該協議以多點回復的點播方式的設計思想入手，詳細描述了lmrp的設計方法、實現細節，設計了lmrp的數據結構，路由發現演算法，路由維護協議，路由優化協議，邏輯分層方法， mtu解決方案，魯棒性策略等。
  9. After these discussions, we ' ll focus on the implementation of traffic control on the linux operating system, including the new queue processing, new packet classify processing, the interface to the traffic control, the modification of network adapter driver. this thesis consists of five chapters. the first chapter analyzes the rapid development and the traffic control requirements of the distributed parallel firewall system, and points out the necessity for the implementation of load balance in distributed parallel firewall system

    為了解決以上問題，本文首先描述了整個分散式并行系統的邏輯結構，然後分析了現階段的linux自身的流量控制機制和流量分發技術;接著重點描述了分散式并行防火墻系統的流量控制和分發機制的整體設計以及相關的關鍵技術的研究和實現，主要包括下面的內容: linux自身的流量控制機制的改進、整個系統流量負載均衡的實現、網卡驅動程序的修改等。
  10. Then we explicate the hardware design in details, including implementing ad convert, extending multiple serial communications and external memory, and using cpld do some logic controls. thereby we implement abundance simulation interface, flexible digital interface and serial communication interface. at last we describe the software design, including software design of cpld basing on vhdl and software design of dsp

    本文首先介紹飛行模擬訓練系統的主要組成；接著說明飛控計算機整體系統方案的設計；然後詳細說明飛控計算機硬體平臺的設計，包括ad轉換、多串口通信、外部存儲器的擴展以及採用可編程邏輯器件cpld實現電路的邏輯控制等幾部分，體現了系統豐富的模擬介面、方便靈活的數字介面和串列通信介面；最後是軟體部分的編程，包括cpld部分的硬體描述語言程序設計，和dsp部分相關的程序設計。
  11. The paper focuses on the mncs " technology transfer, diffusion, the absorption capacity of chinese enterprises, and the strategy of technology development. it employs market research methods, normative description, empirical and case studies to deduce the process of mncs " technology transfer to china, the learning strategy, as well as the logic of technology improvement of chinese enterprises

    本文把跨國公司的技術轉移、擴散和中國企業的吸收學習和技術能力發展策略作為主要對象，運用市場調查、規范描述、實證比較和案例研究等方法，把研究的著眼點集中在跨國公司對華技術轉移的過程和難點、中國企業技術學習策略、中國企業技術能力提高的邏輯演繹和操作模式。
  12. In combination with the stock market segmentation theory and the financing decision - making theory, it analyzes the advantages and background of cross - border financing through dual listing as to chinese companies. we use the financial data of chinese dual listing companies which issued a share, h share or a share, b share at the same time during the period from 1999 to 2002, analyze the financial characteristics of chinese cross - border financing companies, with the help of statistical method such as binary logistic regression and the descriptive statistics

    本文結合股票市場分割理論和融資決策理論，對我國企業通過吸納國外資本進行跨境融資的背景和優點加以分析;運用1999到2002年我國同時發行a股、 h股或b股和只發行a股的上市公司的財務報表數據，採用二項邏輯回歸等統計推斷方法，結合描述性統計，對我國上市公司中進行跨境融資企業的財務特徵進行分析研究。
  13. I regard qsim as a kind of constraint satisfaction problem ( csp ), and improve the qualitative simulation algorithm by constraint logic programming ( clp ). fuzzy qualitative simulation develops conventional qsim on several facets, such as representation of qualitative value, state transition rule and filtering algorithms. it bridges the gap between pure qualitative and quantitative, and improve the efficien

    前者是將定性模擬演算法看作一類約束滿足問題，用約束邏輯程序加以改進，不僅為解決定性模擬問題提供了邏輯框架，而且也是一種規范化的程序描述語言；模糊定性模擬演算法則是對純定性模擬演算法在知識描述、狀態轉移規則、過濾演算法等方面的改進，是一類半定量描述方法，有利於在定性模擬領域綜合定量信息，同時提高演算法的效率。
  14. This paper first discusses the feature of vhdl, and introduces the process of very long digital system by vhdl and auto - synthesis system with the method of top - down through designing control system of color lamp, reveals that it is very important to design digital system, logic synthesis and emulation with vhdl

    本文介紹了硬體描述語言的功能特點，並通過彩燈控制系統的設計過程（給出了模擬結果） ，介紹應用硬體描述語言及自動綜合系統以自頂向下的方法進行大規模數字系統設計的過程，揭示了硬體描述語言設計數字系統、邏輯綜合和模擬等技術在數字系統設計中的重要地位和作用。
  15. In this paper we analyzed the structure, function and characteristics of the private office network, discussed the primary threats to the office network security and common attack methods, based on the p2dr model, we distributed the office network security policy across three layers : network layer, system layer and application layer. the security principle, implement solution and the relationship among these three layers were illustrated in this paper, including physical access control, logical access control, vpn, data encryption, authentication, authorization, audit, ids ( intrusion detection systems ), system leak test and anti - virus protection

    本文中將辦公網路的安全策略由下至上劃分為網路層、系統層和應用層三個層次，分別敘述了各個層次上的安全原則和實現方式，以及各層之間的相互關系，詳細介紹了物理控制、邏輯控制、 vpn與數據加密、用戶認證和授權、審計與入侵檢測、漏洞掃描及病毒防護等方面的策略和實現方式。
  16. Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper. firstly, some basical and important concepts are explained such as confirmation and degree of confirmation, probability1 and probability2. in carnap ' s opinion, the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true, but confirmation means it be true nowerdays. then carnap analyzed the distinction and relationship between probabilityi and probability2

    他認為，證實是決定性地最後為真，而確證只是現階段得到確定，並不保證以後也確定為真；繼而分析了概率1與概率2兩者之間的區別與聯系；然後構建了一階語言系統，並在其中定義了狀態描述、結構描述、量程等重要概念與定理，以便使在考察歸納邏輯前提與結論時，能在該系統中根據確切的規則進行準確的分析。
  17. At last, the objective of the thesis is pointed out, and the research frame is presented after the state of the art in mrp is reviewed. chapter 2 introduces foundational theory and computing logic in mrp. the role of mrp taking in manufacturing industry is presented

    第二章是對mrp基本原理和運算邏輯進行分析，指出了mrp在生產管理中的地位和作用，簡單描述了主生產計劃、獨立需求計劃、物料清單、物料主文件等mrp運算信息源的作用；最後，採用各種優化手段對mrp計算送行優化，得到了分散式mrp計算的優化模型。
  18. Daml oil, description logic dl

    描述邏輯等
  19. Daml oil : a description logic for the semantic web. bull. the ieee computer society technical committee on data engineering, 2002, 25 : 4 - 9

    針對目前的描述邏輯無法表示動態服務的推理功能，史忠植等人提出了動態描述邏輯ddl 。
  20. This paper described the essential theory of expert system, and many kinds of knowledge expression, such as producing rule, semantic network frame, predicate logic, and knowledge expression in home. and it recommended many kinds of reasoning technology, such as positive chain, inverse chain, uncertainty reasoning. it depicted principle, essential character of com and realization of com

    本文介紹了專家系統的基本理論，和產生式、語義網路、框架、謂詞邏輯等多種知識表達方式以及國內所採用的農業知識表達方式，並描述了正向鏈、反向鏈、不確定性等多種推理技術，還闡述了com原理及其基本特性，以及com組件的實現。
分享友人
分享到 Line

分享到臉書