邏輯算式 的英文怎麼說

中文拼音 [luósuànshì]
邏輯算式 英文
logical expression
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 邏輯 : logic
  • 算式 : equation
  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. Operator to perform logical disjunction on two expressions

    運算符對兩個表達式執行邏輯析取。
  3. Operator to perform an inclusive logical disjunction on two expressions

    運算符對兩個表達式執行包含邏輯析取。
  4. Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally

    摘要在文[ 1 ]和文[ 2 ]的基礎上，給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法，並實現了多個命題公式主範式的同時形式化輸出。
  5. Logical calculus and formalized method

    邏輯演算與形式化方法
  6. Status flags represent one of the simplest forms of microcomputer logic.

    狀態標志是微計算機邏輯中的一種最簡單的形式之一。
  7. 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擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  8. With the development of electronics and microcomputer, microprocessor - based protection has advanced. but much of than are just the republication of the electromechanical and electronic protection. many advantages of the computer, such as nunerical evaluation data storage and logical decision, is n ' t used

    異步電動機保護的研究由來已久，隨著電子和微機技術的發展，異步電動機微機保護也得到了大力的發展，但很多僅是機電式和電子式保護的翻版，沒有真正利用微機所具有強大的數值計算能力、數據存儲能力和邏輯判斷能力，使保護更加的精確、可靠和智能化。
  9. With the development of electronics and microcomputer, microprocessor - based protection has advanced. but some of them are just the republication of the electromechanical and electronic proteciton. they can not fully utilize the computing capability and logic judgement that the computer has and most of the microprocessor - based protection is running isolated

    異步電動機保護的研究由來已久，隨著電子和微機技術的發展，異步電動機微機保護也得到了快速的發展，但很多僅是機電式和電子式保護的翻版，沒有充分利用微機所具有的強大的計算能力和邏輯判斷能力，而且目前的異步電動機保護裝置大都是單臺運行，與外界進行數據交換很少。
  10. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  11. 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

    同時給出了本文的具體的工作，主要是：對在時序數據序列中發現模式問題進行了描述，並介紹了一種新的趨勢邏輯表示方法，給出了其演算法及演算法的實驗結果；對時序數據進行處理，提出了利用線段的斜率反正切值作為模式識別的樣本，從而在分類時忽略模式的畸變；另外，還提出了一個新的基於高階神經網路的時序模式發現演算法。
  12. This thesis presents pc - base model motor automated testing system whose control part is consisted of pc and programmable logic device ( plc ) : pc controls the test process, intelligence measure instrument ; the plc executes the commands sent from pc. common three - coil motor, frequency motor, synchronal perpetuation magnetism motor can be tested by this system

    本文介紹的電機測試系統是pc - base類型電機型式自動測試系統，它的邏輯控制部分由上位機（ pc機）和可編程邏輯控制器（ plc ）構成： pc機主要實現對整個試驗過程的控制、智能儀器控制和邏輯運算， plc主要執行pc機命令，實現對系統的繼電控制。
  13. It can be extended to fuzzy logic systems and some lattice - valued logic systems. 3. the study on automated reasoning a new automated reasoning method based on path searching was proposed

    2 、提出一種利用神經邏輯單元動態地構造神經網路的演算法來對一些邏輯系統中的邏輯公式的真值進行計算。
  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. This paper is an academic thesis about remote sensing information model and geographical mathematics. the author have studied a lot of remote sensing information models and geographical image information models. according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation. that is from formal logic inferring to dialectical logic calculation. moreover, it is from abstract thinking to both of abstract and visualized thinking, which is image joining equation calculated. make a suggestion that the geographical parameters are different from the physics variables. thus initiate based on geographical science for mathematics. there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models

    從大量的遙感信息模型，地理圖像信息模型的實踐中，提出符合地理科學自身規律的非線性數學方法，解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算，從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別，從而開創了以地理科學為背景的數學研究，進而為發展地理數學奠定了基礎。
  16. The dcs of i / a series is regarded as main reference object, and the control is separated from model. and the configuration of control is operatised at administration system, not to be added into model, not to build control sound code also. therefore it realizes on - line adjusting, real - time control and so on. users configurate by filling table. they only define i / o condition, fill certain operation variable, and name logic variable. the software offers a friendly user ' s interface, so personnel can compile and modify the control and logic program, change the value of logic and control variable conveniently, attach themselves to run, debug and control the system, not need to know the programs deeply. so the configuration software offer a flat that control engineers can attend to control loop, not to give their attention to the complicated program

    在本課題中，採用填表的方式進行控制組態，用戶只需定義i / o條件、填寫具體的運算變量名即可。本軟體為建模人員提供了一個友好的用戶界面，使建模人員在建模時不必對模塊內部的控制、邏輯程序有很深的了解就可以方便的對其進行編寫和修改，實時改變各邏輯和控制變量在數據庫里的值，參與運行和調試，從而實現對系統的控制。因此，本組態軟體提供的這樣一個平臺，讓控制工程師能集中精力于控制迴路的構成，而不必拘泥於一些具體而煩瑣的程序操作。
  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. 14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems

    本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用，進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
  19. It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly

    這種方法可以對邏輯公式的原始形態直接進行計算，無需化簡。
  20. 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

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
分享友人
分享到 Line

分享到臉書