計算機邏輯 的英文怎麼說
中文拼音 [jìsuànjīluó]
計算機邏輯
英文
computer logic- 計 : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 機 : machineengine
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 計算機 : computer; calculator; calculating machine; computing machinery; electronic wizard; processor; pro...
- 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
- 邏輯 : logic
-
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晶元內部任何邏輯發生單點故障。Then, a logic computational diagram is constructed for calculating diametral growth by assuming fatigue cyclic softening, namely yield strength reduction as tubing fatigues
再通過合理的假設,建立用於計算直徑增長的計算機邏輯框圖。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
利用先進的現場傳感技術、信息數字化採集技術、機電一體化技術及計算機邏輯分析處理技術,對運行狀態中的動力機械進行故障分析、診斷,同時為動力機械設計提供理論依據和實驗數據。Ssr - dd series of dc solid relay is vastly applied to output joggle of computer and external equipments, it is also applied to control or switch dc load : dc relay 、 contactor 、 dc electrical motor 、 kinds of electric - heating apparatus 、 dc electromagnetic valve 、 electromagnetic iron 、 solenoid 、 filament lamp 、 indication lamp 、 plc logical electrical appliance and dc solid relay
Dd系列直流固態繼電器廣泛應用於計算機與外部設備的輸出介面,適用與控制或開關直流負載:直流繼電,接觸器、直流電動機、各類電熱器具;直流電磁閥,電磁鐵、螺線管、白熾燈、指示燈; plc邏輯電器。Computer viruses act like biologics in the way they can be set off : they can be virulent from the outset of the infection or they can be activated by a specific event ( logic bomb )
計算機病毒的傳播行為與生物病毒極其相似:它們可能從開始感染時就是致命的,可以被某些特定的事件所引發(邏輯炸彈) 。Status flags represent one of the simplest forms of microcomputer logic.
狀態標志是微計算機邏輯中的一種最簡單的形式之一。Physical units transmit information to and from the microcomputer via appropriate interface logic.
各種實體設備能夠通過適當的介面邏輯電路對計算機傳輸(輸入或輸出)信息。Ternary optical coder, decoder and ternary logical calculus belong to key components of ternary optical computer, and they are the base of implementing other components of the optical computer
三值光編碼、解碼器和三值邏輯運算器是三值光計算機關鍵部件,是實現三值光計算機其它部件的基礎。With the fuzzy theory and the dew point confined, the system can automatically adjust the surrounding temperature and humidity in the workshop to the set - point, no matter what the outside condition is, such as the change of temperature in winter or summer, in day or night, and the asymmetry of the machine and the pyrotoxin
研究出適合計算機控制的溫濕度控制模型,通過模糊控制邏輯和露點限制,自動適應冬夏氣候變化、晝夜溫差變化、車間機器分佈和發熱不均等復雜工況。實現多工況多控制狀態的自適應控制,車間主控區溫度1 ,濕度4的控制目標。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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。All of data logical relationship, data logical structure, data physical structure and data algorithm is the theme of the whole data structure course, even more, that also is an important problem in computer information process
摘要《數據結構》課程中數據的邏輯關系、邏輯結構、物理結構與演算法是貫穿整個教材的主題,而這也是計算機信息處理過程中必須面對的一個重要的課題。The thesis discusses on how to research and then design the led video panel system, which is a typical product of computer digital video system, by using the pld chip as the main control logic
本論文討論用pld晶元作為主要控制邏輯來設計計算機數字視頻系統的一個典型應用型產品? ? led視頻電子顯示屏系統的研製方法。Main course : structure of network of structure of all of technology of principle of analysis of logic of technology of electron of circuit principle, imitate, number, number, computer, microcomputer, computer science department, computer, advanced language, assembly language, data, operating system
主要課程:電路原理、模擬電子技術、數字邏輯、數字分析、計算機原理、微型計算機技術、計算機系統結構、計算機網路、高級語言、匯編語言、數據結構、操作系統等。Verschiedene digitalschaltanlage werden durch die logikfunktion der digitalstromkreis entwurfen, z. b. digitaler computer
用數字電路的邏輯功能可設計出各種數字裝置,如數字計算機。A. g. hamilton : logic for mathematicians. cambridge university press, 1978
陸鐘萬:面向計算機科學的數理邏輯(第二版) ,科學出版社2002 。For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
他將時序邏輯引入計算機科學,為程序和系統的檢測驗證方面提供一種有力的工具。Computer logic designing
計算機邏輯設計Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively
在驗證工作流時序約束一致性方面,在uml狀態圖中加入了時間事件,給出了將擴展后的uml狀態圖轉化為時間自動機的規則,用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔(上、下界約束)和工作流的最終期限約束,並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義,通過alur的演算法對時序約束一致性進行驗證。The client level provides the succinct human - machine interactive interface. the web server responds to the users " requests. the application server completes the computation and logical processing
通過客戶層提供簡潔的人機交互界面;通過web層響應用戶請求;由應用服務層完成計算和邏輯處理;由數據層提供數據的存儲服務。Computer logic circuit
計算機邏輯電路分享友人