計算邏輯 的英文怎麼說

中文拼音 [suànluó]
計算邏輯 英文
computational logic
  • : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
  • 邏輯 : logic
  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. Then, a logic computational diagram is constructed for calculating diametral growth by assuming fatigue cyclic softening, namely yield strength reduction as tubing fatigues

    再通過合理的假設,建立用於直徑增長的框圖。
  4. Utilize advanced on - the - spot sensing technology, information digitization gathering technology, electromechanics integrated technology and computer logic analysis technology, carry on fault analysis and diagnose to power machinery in the operation state, provide the theoretical foundation and experimental data for power machinery designing at the same time

    利用先進的現場傳感技術、信息數字化採集技術、機電一體化技術及分析處理技術,對運行狀態中的動力機械進行故障分析、診斷,同時為動力機械設提供理論依據和實驗數據。
  5. After this melioration, monitor agent works more initiatively by filtrating the unrelated source data changes ; computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per - source ; the burden of system communication is lessened, and the maintenance efficiency is improved

    改進后信息源端的監視代理能夠自行過濾掉無關的基表增量,提高信息反應的主動性;集成器的維護對象從每個數據源上的多基表簡化為單源視圖,集成計算邏輯得到了簡化;整個系統的通信資源也減少了,提高了系統維護效率。
  6. The author introduces basic requirements, selection and determination of the fighter ' s attack course in air - to - air multi - target attacking, and provides the logic diagram for calculation of the course, aiming deviation and operating command

    摘要介紹了空對空多目標攻擊載機攻擊航線的基本要求、航線選擇和求解方法,以及載機航線、瞄準偏差、操縱指令的計算邏輯圖。
  7. New method of calculation boolean difference based on

    計算邏輯函數布爾差分的新方法
  8. New method of calculation boolean difference based on bj map

    計算邏輯函數布爾差分的新方法
  9. Gain confidence and competence as you solve increasingly difficult problems of computation, logic, spatial relationships and more

    通過逐步解決難易不同,類型不同的題目(,空間以及其它) ,不斷的獲得自信與拼博精神。
  10. 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的優化模型。
  11. If there is a particular computation to be performed, a configuration of logic components designed specifically for that computation can be constructed

    如果需要執行一個特定的,可以為此構造一種特殊設部件結構。
  12. At the same time, we discussed how to construct the bom for materials together with the information of techniques, based on which the arithmetic for mrp was also studied

    接著研究了溶入工藝信息的物料bom的構造,以及根據bom展開物料及其工序相關需求的mrp運等關鍵技術。
  13. The paper analyses its key circuit and software program structure. this full - digital controller is made up of dsp and implements single neuron adaptive pid computation, current pi computation, logical determination, pulse - fire and procession of protective signal etc. it also improves the reliability and availability of this control system

    本課題對控制器主要的電路結構及程序結構進行了分析,以dsp為核心組成的全數字式控制器完成了電流pi演,單神經元自適應pid演判斷、脈沖觸發以及系統保護信號的處理等,提高了控制器的可靠性和可操作性。
  14. Calculation logic is particularly challenging for users who need specialized reports

    對于需要專用報表的用戶而言,計算邏輯非常具有挑戰性。
  15. Complex calculation logic is buried in report definitions and is difficult to share between reports

    復雜的計算邏輯隱藏在報表定義中,所以很難在報表之間共享。
  16. Dennett, d. " the logical geography of computational approaches to the cognitive sciences. " in brainstorms

    丹奈特,從計算邏輯地理的觀點看認知科學于《腦力激蕩》 。
  17. Finally, their applications in the logic synthesis based on the partial linear function and calculating boolean difference of logical functions are discussed

    最後討論了它們在綜合以及計算邏輯函數的布爾差分中的應用。
  18. Because such users must define the calculation logic separately for each report, there is no centralized control over how the calculation logic is defined

    由於這類用戶必須為每個報表單獨定義計算邏輯,因此,無法對如何定義計算邏輯進行集中控制。
  19. But by analyzing the data warehouse architecture, it can be found that the load imbalance of computational logical result in overload for the integrator, not enough positivity for information sources, and high price for view maintenance

    但是分析他們的體系結構發現,計算邏輯負載的不平衡造成集成器負擔過重,信息源的主動性不強,系統的維護開銷大等缺點。
  20. Object web has the advantages of both web technologies and object technologies. on object web platform, web technologies can be used to solve the problem in realizing the ui of distributed systems, and object technologies can be used to analyze, design and implement the domain logics

    Objectweb可以充分發揮web技術和對象技術的各自優點,應用web技術解決分散式系統用戶介面的實現問題,應用對象技術解決分散式系統的分析、設和業務計算邏輯的實現問題。
分享友人