邏輯等式 的英文怎麼說

中文拼音 [luóděngshì]
邏輯等式 英文
logical equation
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 等 : Ⅰ量詞1 （等級） class; grade; rank 2 （種; 類） kind; sort; type Ⅱ形容詞（程度或數量上相同） equa...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 邏輯 : logic
  • 等式 : [數學] equation; equality等式約束 equality constraint; 等式組 equality system
  1. The simple sentences in news titles have such patterns as subject - predicate structure, modifier - keyword structure, verb - object structure, parataxis structure, structure with consecutive predicates, appositive structure, and single - word structure. subject - predicate structure is the major one in simple sentence. the logical relations between clauses of main titles that are complex sentences, or between shoulder titles and main titles, or between main titles and subtitles are : parataxis, continuity, illustration, causality, transition, progression, purpose, hypothesis, condition, and so on

    新聞標題單句一般由主謂、偏正、動賓、並列、連謂、同位、獨詞等結構形式構成，其中主謂結構是新聞標題單句的主要結構形式;新聞標題復句中，主題復句各分句之間、引題與主題之間、主題與副題之間、引題與主題與副題之間存在著並列、順承、解說、因果、遞進、轉折、目的、條件、假設等邏輯關系。
  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. 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可擴展、自描述等性質，易於再抽取，重新組合。
  4. As we all known, with the founding of euclidean geometry in ancient greece, with the development of analytic geometry and other kinds of geometries, with f. kline " s erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. on the other hand, euclid formed geometry as a deductive system by using axiomatic theory for the first time. the content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from kline and perry " s appealing

    縱觀幾何學發展的歷史，可以稱得上波瀾壯闊：一方面，從古希臘時代的歐氏綜合幾何，到近代解析幾何等多種幾何的發展，以及用變換的方法處理幾何的埃爾朗根綱領，到20世紀拓撲學、高維空間理論等幾何學的新發展，這一切都在不斷豐富人們對幾何學的認識；另一方面，從歐幾里得第一次使用公理化方法把幾何學組織成一個邏輯演繹體系，到羅巴切夫斯基非歐幾何的發現，以及希爾伯特形式公理體系的建立，極大地發展了公理化思想方法，不管是幾何學的內容還是方法都發生了質的飛躍。
  5. One of the experimentation of the experimental drama in contemporary china lies in its filmic tendency, manifests as a narration in scenes, montage structures and visual logic, etc

    電影化傾向是當代中國實驗話劇文體實驗性的一個重要體現，主要表現為電影式的鏡頭化敘事、蒙太奇結構方式和視覺邏輯等。
  6. The thesis presents a expert system for identifies power quality disturbance signal, after compare the artificial neural network, nearest neighbors, fuzzy decision, and expert system. we bring forward the project flexible rule - based expert system, according to the characteristic inspection and measure system, and has a deep research on the problem of this system. this project for disturbance classifies has lower mistake ratio and facility maintenance

    採用專家系統的方法進行模式識別，在對神經網路、最近鄰法、模糊邏輯和專家系統及一些交叉方法等模式識別方法進行比較分析的基礎上，根據電能質量信號故障分析的特點，提出了採用規則基專家系統的方法，該模式識別方法具有便於擴展、修改和識別率高等特點。
  7. During the process of analyzing its reasons, in the terms of logic, the thesi s proceeds from international to the domestic, from the whole nation to the west region, from under system to system itself ; in the terms of contents, the thesis respectively uses relevant theories of micro - economics, public economics and institutional economics as well as the most newly research result named " flypaper effect " in the field of financial grants

    對這一模式原因的分析過程中，在邏輯上循著國際到國內、全國到西部、制度下到制度本身這樣一條線；在內容上則分別運用了微觀經濟學、公共經濟學、制度經濟學、以及財政轉移支付研究領域有關的最新研究成果「粘蠅紙效應」等各個方面的理論，從各個不同角度分析和論證。
  8. This paper has accomplished part work of it, include : the research on the behavior based control method, the visual technique of robot and the application of active vision on behavior based robot. the main work and innovative ideas include : on the base of technique analyze of behavior based robot, a behavior system structure of rira - robot behavior - based robot and a behavior coordinator by combine the fuzzy logic control with multiple objectives propriety - based decision have designed, the ability of competence in multiple behavior and no collision within the intercurrent behavior have enhanced

    本文完成了其部分內容的研究，包括：機器人基於行為控制方法和策略的探討，移動機器人視覺技術的分析研究，主動視覺在機器人行為控制技術中的應用等。本文的主要工作和創新點包括：在機器人行為控制技術分析的基礎上，設計了rira - robot基於行為機器人的模塊、分層式行為體系結構。通過基於模糊邏輯行為控制和基於優先級的多行為決策相結合的控制策略，設計了機器人行為協調器，增強了多行為競爭和並發行為無碰撞的能力。
  9. This article contains three parts, five chapters. the first part introduces the incentive models of actual bonus stock synoptically, analyses the stock on hand, option shares and stock option, the three kind of important incentive models, on rights and incumbencies, value and the incentive guidance by contrast. the second part discusses the difficulties and influential factors in the design of technical bonus stock, quests for the incentive models of technical bonus stock, analyses superiority and inferior position in action, difference and interosculation between them, discusses the need and significance for the technical bonus stock reanimation in the middle - small technicalfilms. in order to make use of the technical bonus stock distribution mechanism fully, inspire the talent of technologists, encourage their devotion to films, we have some important discussion on the technical bonus stock distribution policy, introduce the distributed models of technical bonus stock, point out the questions in the excutive course, and offer the solution correspondingly. in the third part, we discuss the technical stock option design on middle - small technical films, and consider the logical thoughtfulness in the course of reanimation as follows : the more outstanding achievement for the powered man the more increase on special target the lower price on technical option premium the more profit the more effective reanimation. in the parameter, a set of detailed program is designed, which includes establishment of incentive fund, institution of merit system for the plan ' s grantors, award of stock option, determination of premium, so as to reduce random in the incentive course, have a great effect on the mormative management for the

    本文內容共分為五章三大部分，第一部分概括性地介紹了現行股權激勵方式，對現股、期股和期權這三種重要的激勵方式，從權利義務、價值和激勵導向三個方面進行了對比分析；第二部分探討了技術股權設計的難點和影響因素，討論了我國中小科技企業技術股權激勵的方式，分析它們在激勵中的優勢和不足，以及它們之間的區別與聯系，並對中小科技企業實施技術股權激勵的必要性和意義進行了探討。在文中還重點討論了中小科技企業技術股權分配的策略，介紹了技術股權紅利分配方式，指出在技術股權激勵過程中應注意的問題，並提出相應的解決辦法，目的在於充分利用技術股權分配機制，來激發技術人員潛在的創新能力，激勵他們為企業作貢獻；第三部分著重探討了中小科技企業技術股份期權的方案設計，在激勵方面，按照技術期權獲受人的業績越突出特定的指標增長越快行權價越低獲利越多激勵效果越好的邏輯思路進行考慮；在參數設計方面，對技術期權計劃中激勵基金、授予和考核、行權價格等參數進行了詳細地分析設計，旨在減少技術期權激勵過程中的隨意性，為中小科技企業的規范化管理起到一定的指導和借鑒作用。
  10. In the hardware design, the paper completes modules ’ design like outside memory, patulous a / d, patulous d / a, rs232 communication, ecan communication, led control, keyboard control, distant control, emulation, reset, logic voltage switch, dsp supply power regulate and ac - dc power circuit, as well as room layout design like anterior panel, back panel etc. and dsp transfers data with peripheral equipments except outside memory using serial ports. besides, the whole circuit is configured in interrupt response. thus, it can meet system demand as well as take full advantage of tms320f2812 ’ s hardware resource. in the software design, the paper finishs programs like the interface programms intercommunicates with people, the distant control program, ad and da modules ’ control program, in addition, the paper select the velocity and acceleration state - feedback algorithm and is written in the program. the software design uses dsp integrate exploiting environment named ccs2. 2 of ti inc. as software instrument, and programs with the combination of c language and assembly language. moreover, in order to maintenance or modify the software expediently and shorten software ’ s exploitation time, the design adopt software modularization technique. finally, some air cylinder experiments are carried out to proved that the pneumatic controller is very practical

    在硬體設計中，本文完成了片外存儲器擴展、 a / d擴展、 d / a擴展、 rs232通信介面、 ecan通信總線介面、液晶顯示控制、鍵盤控制、遠程控制、模擬、復位、邏輯電平轉換、 dsp工作電源校正電路和ac - dc電源等模塊設計以及控制器前面板、後面板等的空間布局設計。其中dsp與除外部存儲器的外圍設備之間的數據傳送全部採用串口通信，同時系統電路配置成中斷響應方式，這樣既滿足了系統要求，又充分利用了tms320f2812的硬體資源。在軟體設計中，本文完成了人機界面功能模塊、遠程控制模塊、 ad擴展模塊、 da擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  11. It integrates the functions of servo amplifier, dynamic operator, position transmitter and remote communication. many new functions have added to its original ones, such as the real - time logical judgment, malfunctions self - diagnosis, alarm & protection, led display, on - line setting and adjustment of functional parameter and position transmitter, power - absence data auto - protection, watchdog system protection, and the long - range communication with pc

    系統集伺服放大器、電動操作器、位置發送器及遠程網路式通信功能於一體，在保留對應部分原有功能的同時，還新增了邏輯實時判斷、故障實時監控、 led動態顯示數據、功能參數設置、掉電數據自保護、 「看門狗」電路保護、位置發送器在線調節、與遠程工控機數據通信等眾多功能。
  12. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  13. Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle

    通過調查問卷、能力測試等途徑，結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要，採用定性與定量結合的方法，進行實證研究，得出結論：化學學科能力的19種表現形式歸納為3個層次：最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括；以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非邏輯思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的邏輯思維；化學實驗能力層次是化學學科能力的最高層次，它以思維能力為基礎，集中體現了化學教學的基本特徵，實驗能力層次包括：選用實驗方法和設計實驗方案，對實驗的評價，研究和處理實驗事實、資料、數據，發現規律，表達實驗及其結果，最終解決問題的能力和發散思維。
  14. Secondly, the paper describe the principle of atm network, and the function of ' sar " ( segmentation and reassembly ) and the format of packet aal5, and introduce the basic idea of ipoa, and the design project and implementing of the control chip. later, the paper introduce the logic function and operational principle of packet buffer control chip and prove the feasibity and correctness of the arithmetic. at last the paper introduce crc - 32 arithmetic based on look up and implement it with hardware

    接著詳細論述了核心路由器atm網路實現的原理，包括「 sar 」 （ segmentationandreassembly ）功能和aal5報文的格式， ipoa基本思想，以及控制晶元的設計方案和實現途徑等。然後又論述報文緩存區控制晶元的工作原理和邏輯功能等，並對演算法的可行性，正確性等進行論證。最後介紹了一種基於查表的crc - 32演算法的原理及其硬體實現。
  15. The thesis discussed a parameter extraction program for the mosfet level1 model. in the analysis and design of circuit, at first, the thesis described the system function of the new dc - dc switching converter. then several sub - circuits of converter ic such as oscillator, over - temperature shutdown circuit, auto - restart counter circuit and control circuit were completely discussed

    在電路設計中，本文首先分析了開關電源電路的基本拓撲結構和psm調制模式，接著對開關電源變換器進行了系統的原理分析並設計了總體框圖，然後詳細設計了振蕩器電路，熱保護電路，自動重啟計數器電路和主控門邏輯等子電路並進行了功能模擬。
  16. The negative relation plays the same role with the positive relation from the view of the mathematics and formal logic

    從數學、形式邏輯等學科技術中也容易看出，負關系所起的作用與正關系一樣重要。
  17. And two questions are raised at the end of the chapter, which 1 found when i was observing and recording on the construction site, namely if the form from construction logic is the same as the form of architecture or not

    並在結尾處列出了兩個在觀察和記錄中發現的問題，即：建造的邏輯形式是否等價于建築的形式?為什麼計算機模擬的建造過程和個案的實際建造過程並不一致
  18. The grounds of literary meaning ( and by extension all meaning ) must be located in rhetoric rather than in any of the other possible dimensions ( form, content, reference, grammar, logic etc. )

    文學的意義（在任何意義上）必須建立在修辭而不是任何其他的緯度上（如形式、內容、引文、語法、邏輯等） 。
  19. To ensure that you get success every time you try to verify the digital signatures of logically equivalent xml - irrespective of its physical representation - you must make sure that the xml is in an agreed - upon standard format

    要保證每次驗證邏輯等價的xml不管物理表示如何的數字簽名都能成功，您必須保證xml使用公認的標準格式。
  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

分享到臉書