邏輯演算 的英文怎麼說

中文拼音 [luóyǎnsuàn]
邏輯演算 英文
logical calculus
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 邏輯 : logic
  • 演算 : perform mathematical calculations; calculation; calculus演算器 exerciser
  1. This paper mainly aims at the characteristics of the hardware and software structure of the parallel computer on satellite, and has fulfilled researches of fault tolerant technique in three aspects of control theories and engineering : the first research of the system level fault - tolerant module is based on the system structure of the parallel computer on satellite, a kind of cold backup module and a kind of hot backup module for multiprocessor computer have been put forward. then the research of software fault tolerant technique which is based on the operate system named rtems has been carried, the mission level fault - tolerate arithmetic and the system level fault - tolerate mechanism and strategies based on the check point technique have been put forward, at the same time the self - repair technique of software which has used the technique of system re - inject has been studied. finally the technique of components level fault - tolerant based on fpga has been studied, a kind of two level fault - tolerant project which aims at the fault - tolerant module of the parallel computer on satellite has been put forward, and the augmentative of circuit that project design realization need is little, this project can avoid any breakdown of any part logic circuit of the fpga

    本課題主要針對星載并行計算機體系結構及軟體結構的特點，從如下三個方面進行了容錯控制理論研究和實踐工作:首先進行了基於星載多cpu并行計算機體系結構的系統級容錯模型研究，提出了一種多cpu冷備份容錯模型和一種多cpu熱備份容錯模型;然後進行了基於rtems操作系統的軟體容錯技術研究，提出了任務級容錯調度演算法以及基於檢查點技術的系統級容錯恢復機制和策略，同時研究了利用系統重注入進行軟體在線自修復的容錯技術;最後研究了基於fpga的部件級容錯技術，提出了對容錯模塊這一星載并行計算機關鍵部件的兩級容錯方案，實現該方案所需增加的電路少，可避免板級晶元以及fpga晶元內部任何邏輯發生單點故障。
  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. Aimed at the flaw of weak anti - slide function in traditional engineering machine, the thesis puts forward a new auto - anti - slide differential gear system controlled by intel 8751 microcontroller, which adopts the fuzzy logic as its control algorism and the best slide ration ( s ) as system ' s control target

    針對傳統工程機械差速系統存在防滑功能不強的缺陷，提出以intel8751單片機為控制晶元，以最佳滑移率s為控制目標，採用模糊邏輯控制為控制演算法的自動防滑差速系統。
  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. A kind of downgrade algorithm and its properties in gainse - rescher logic system

    邏輯系統中的一種降級演算法及其性質
  6. A method based on map matching arithmetic which includes muzzy logic arithmetic can emendate error of gps localization. this method is introduced in the paper

    著重分析了地圖匹配演算法的基本原理，基本方法，並應用了一種基於模糊邏輯地圖匹配演算法校正gps定位誤差。
  7. Because the factorization attribute of logic program possess the property of uncertainty, exploring the fargoing factorizing algorithm need further study

    由於邏輯程序的可分解屬性具有不確定性，因此尋找適用范圍更廣的分解演算法有待于進一步研究。
  8. We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation. the platform is characteristic of transplant, expansion

    處理器中實現了本文中用到的一系列演算法，其中包括：規則修飾、邏輯程序的修飾、魔集轉換、邏輯程序的分解、分解的魔集轉換。
  9. Logical calculus and formalized method

    邏輯演算與形式化方法
  10. In some projects charged by our lab such as national 863 project - " crop planting management components based on weather analyse ", anhui provincial 95 key project - " agricultural meteorology disaster evaluation system base on gis in anhui province " and the project " small coal mine security management and decision system based on gis in anhui province ", this paper combines the theory and arithmetic of rough set with gis and data mining in idss, investiges the application of rough set theory to precision analysis of attribute data and logical operation in gis, analyzes the logical operation based on rough set ( logical union, logical intersection, logical complement, mixed logical operation etc. ), so that it can give a method y to research the gis attribute data and the uncertainty of attribute data after superposition operator, so as to express the roughness and illegibility of attribute data more accurately

    在完成試驗室所承擔的國家863項目「基於氣象分析的農作物種植管理軟構件」 、省95攻關項目「基於gis的安徽省重大農業氣象災害測評系統」和「基於gis的安徽省小煤礦安全管理決策系統」等項目中，將粗糙集理論和演算法與gis 、智能決策系統中的知識發現等相結合，對粗糙集理論在gis屬性數據和邏輯運算精度分析中的應用情況進行了研究，分析了基於粗集的gis邏輯運算（邏輯並、邏輯交、邏輯補、混合邏輯等） ，從而為研究gis屬性數據及其疊加運算后屬性數據的不確定性提供了一種方法，能比較準確地表達屬性數據的模糊性和粗糙性。
  11. 6. presenting an authorization - based encryption algorithm, which using two encryption parameters, a public secret key and a private secret key, and converting user password into pc to save in database by exclusive - or logical operation

    （ 6 ）提出了一種針對cms用戶權限的加密演算法，該演算法具有公匙和私匙兩個加密參數，通過異或等邏輯運算將用戶口令加密成偽碼再進行存儲。
  12. Further tweak to closing down logic, to make it slightly more accurate vs slider descriptions

    進一步調整了逼搶的邏輯演算法，使得其更符合玩家所設定的滑動設置欄的設置。
  13. By simulation, the paper subsequently shows the feasibility of the method, and the result shows that this method is much advantageous over traditional methods in stability

    本文隨后設計了該邏輯演算法的模擬實驗，驗證了演算法的可行性。結果表明，與傳統的控制演算法相比，該方法還在穩定性方面具有突出的優點。
  14. The logical control model is built based on pal - bool algebra based on a good deal of empirical data and characteristics of firing process of ceramic kiln. then simulation on this algorithm by matlab and shows the feasibility of the algorithm, and the result shows that this algorithm is much advantageous over traditional algorithms in stability

    在分析了大量經驗數據的基礎上，針對陶瓷窯燒成過程的特點，建立了基於泛布爾代數的邏輯控制模型，然後以matlab為模擬工具，對該邏輯演算法進行模擬，驗證了該演算法的可行性。
  15. Considering a half - freedom mobile robot, the paper had done some conceptual analysis and design, then emphasized on some essential functions, including velocity control, path plan, target tracking etc. studied the algorithms respectively, such as pid algorithms, iterative algorithms, fuzzy logic algorithms, and so on, and used matlab to simulate and compared with each other

    本文以市內半自主式移動機器人為研究對象，在研究整體系統組成及功能結構的基礎上，對其主要功能進行了概念性分析設計，並著重研究了其中幾項主要的基本的功能：包括速度控制、路徑規劃、目標跟蹤等，分別研究了這些功能實現的演算法，如pid演算法、迭代學習演算法、模糊邏輯演算法等，並應用matlab進行模擬分析。
  16. 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智能決策。
  17. On one hand, we improve on one of the existed algorithms which named attribute reduction algorithm based on discernility matrix and logic operation. we propose a new transformation method from conjunction matrix to disjunction matrix that avoids the manual work or global search and can save the time and space. on the other hand, most traditional methods didn ’ t integrate with database operations

    主要做了兩方面的工作，一方面，對已有的基於可辨識矩陣和邏輯運算的屬性約簡演算法進行了改進，提出了一種從合取項矩陣到析取項矩陣直接轉化的方法，避免了傳統的人工轉化或全局搜索的方法，節省了空間和時間。
  18. When calculate the correlation function of binary array pairs, using the boolean calculation instead of the decimal multiplication, using the method of count the number of 1 in binary integer to calculate the correlation function of binary array pairs, the speed of searching is obviously improved by these methods. by the algorithm introduced in this paper, the constant weight and normative perfect binary array pairs whose volume from 4 to 28 and quasi - perfect binary array pairs whose volume from 2 to 24 were searched and gi ved the new result

    此外，採用二進制整數來表示陣列，通過對整數的邏輯運算來實現陣列偶的移位變換、完全采樣變換等運算；在計算二進陣列偶的相關函數時，用整數的邏輯運算代替十進制中的乘法運算，並用計算二進制整數中1的個數的方法來計算二進陣列偶的相關函數，以上方法的採用明顯地提高了搜索速度。利用上述演算法，對體積為4 28的等重規范型最佳二進陣列偶和體積為2 24的準最佳二進陣列偶進行了搜索，並給出了新的結果。
  19. Therefore, based on formers " research and recurring to the rather strong ability of holding mistakes possessed by rough set theory, this paper present a new attribute reduction arithmetic as well as an improved value reduction arithmetic based on the combination of rough set theory and duality boolean calculation, and use it to handle the reduction progress of the decision table including all kinds of fault cases which is established by considering the signals of protection relays and circuit breakers, then form the general mixed knowledge model and bring up an idea about automatic production of decision table

    為此，本文在前人研究的基礎上嘗試藉助粗糙集理論所具有的較強的容錯能力，提出了基於粗糙集理論與二值邏輯運算相結合的屬性約簡演算法以及改進的值約簡演算法，並將其應用於由斷路器和保護為條件屬性，考慮各種故障情況所組成的診斷決策表的約簡過程中，形成了混合策略知識模型，同時提出了診斷決策表自生成的基本思想。
  20. This paper describes the details about knowledge representation and reasoning based on uncertainty in ai, and the outline of belief network. after introducing the causality diagram model and summarizing conventional reasoning algorithm, a new reasoning approach of causality diagram has been presented, which is aimed at the defects in conventional reasoning algorithm, which are the large amount of boolean computation and its complexity

    論文詳細地介紹了人工智慧中不確定性知識表達及其推理的有關內容，並簡要介紹了信度網知識表達方式；在介紹因果圖知識表達模型、總結單值因果圖的常規推理演算法后，針對單值因果圖常規推理演算法中存在邏輯運算量大、計算復雜的困難，根據早期不交化的思想，提出了一種單值因果圖推理的新方法。
分享友人
分享到 Line

分享到臉書