邏輯自動機 的英文怎麼說
中文拼音 [luózìdòngjī]
邏輯自動機
英文
logical automaton-
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為控制目標,採用模糊邏輯控制為控制演算法的自動防滑差速系統。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的控制目標。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動態顯示數據、功能參數設置、掉電數據自保護、 「看門狗」電路保護、位置發送器在線調節、與遠程工控機數據通信等眾多功能。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機命令,實現對系統的繼電控制。When listening to mechanism of inferior public security to represent a report, should to it look communication, show the posture movement that oneself listen attentively to seriously in order to nod first class what match, the person that can ask in time to report to the very not clear problem in the report repeats, explanation, also can quiz appropriately, but the problem that should notice to carry is logical, unapt the train of thought that interrupts report of the other side
聽取下級公安機關代表匯報時,應與之目光交流,配之以點頭等表示自己認真傾聽的體態動作,對匯報中不甚清楚的問題可及時要求匯報者重復、解釋,也可以適當提問,但要注重所提的問題合乎邏輯,不至於打斷對方匯報的思路。For its characteristic of parallel logic and dispersed state, ca can be realized easily in hardware
元胞自動機的并行邏輯特性以及離散狀態等特性,使其易於硬體實現。The systems are usually described by the timed automata and the properties are specified by the temporal logic
這類系統通常用時間自動機來表示,而它們的性質則用時序邏輯公式表示。It includes : dynamic show of technics flow, real time data acquirement and show, history data save and print, fault alarm, etc. the plc control system mainly accomplishes the wastewater technics flow control, harmonizes the logical relationship among local intelligent control instruments and transmits the state of each local equipment to the industrial computer simultaneously, the plc control station receives the control commands from the industrial computer ; the local intelligent units take charge of the correlated parameters measure, disposal and control, and it will transmit the related parameters to the computer, etc. in this thesis, introduced municipal wastewater treatment technics, the integrated application program development of computer, the design method of plc control station, the communication between plc control system and computer, and the network of wastewater treatment with profibus - dp was also discussed
上位計算機主要實現遠程監測和管理功能,具體包括:工藝流程動態顯示、實時數據獲得及顯示、歷史數據存儲與列印、故障報警等功能plc控制系統主要完成工藝流程式控制制以及協調現場各智能儀表之間的邏輯關系,將現場各設備的運行狀態通過通訊網路傳輸到上位計算機,並接收上位計算機的控制指令;現場各智能儀表單元負責各相關參數的監測和處理、控制,並將有關參數送往上位監控計算機進行處理、保存等。本文以莎車污水處理項目為例,介紹了城市污水處理工藝、上位監控計算機的綜合應用程序開發、城市污水處理自動控制系統plc控制站的設計和採用profibus系列中廣泛應用於現場設備的profibus - dp總線。Site experiment were carried out on the testing vehicle for ahs and the magnetic markers road in national intelligent transport system center. also, study on multi - sensor information fusion and control model by using neural net system, fuzzy logic and genetic algorithm were carried out. the work completed are as follows mainly : ( 1 ) hardware system for lane keeping system including magnetic marker, magnetic sensor, control system and executor machine were designed
本文以國家智能運輸系統研究中心的自動公路系統試驗車和專用的磁軌釘道路為工作平臺,在大量的現場實驗基礎上,針對基於磁軌釘導航的車輛車道保持技術中的若干問題展開研究,運用神經網路、模糊邏輯、遺傳演算法等方法在多傳感器信息融合、控制模型等方面進行了系統的研究,主要完成了以下幾方面的工作: ( 1 )對車道保持系統硬體平臺進行了設計,論述了導航設施? ?磁軌釘的設計過程和車載工控機、步進電機等的選擇。Now if sometimes you organize a kind of big meeting and you want all kinds of great masters or international yogis or something to come to costa rica so that you can serve them, you can see them, and you can learn from each other, that s very good. you even want to give them money to come. some of them don t have money to come, you would feel sorry, you would care, and probably find some way to donate some money so they could buy aeroplane tickets to come here
有時候你們會舉辦大法會,邀請各大名師或國際瑜珈行者到哥斯大黎加來,以便能侍奉他們,跟他們觀摩學習,這樣很好,你們甚至想付錢讓他們來,他們有些人沒有錢不能來,你們會覺得遺憾很關心,也許想辦法籌點錢送過去,好讓他們能買機票來這里,這非常令人感動,可是你們卻不珍惜,自己花錢買票,而且已經來到這里的師父,這是什麼邏輯?We used fx1 series manufactured by sanling japanese. in practices, the system is of good peculiarities such as high efficiency, good stability and reliability
自動塗膠機械手是機電一體化產品,其自動操作過程是按預先編排好的邏輯程序順序完成的。The history logic from 1840 to 1901 suggests that the crisis of chinese traditional political culture in modem times be unprecedented and it could not be saved unless it should be replaced by a completely - new cultural form through the nativistic movement
1840 - 1901年間中國傳統政治文化本土運動的歷史邏輯表明:中國傳統政治文化在近代遭遇的危機是空前和全面的整體性危機,非本土運動所能自救,最終不得不進行全面的革故鼎新,以一種新的政治文化替代之。Thirdly, the paper researchs the application of single electron transistor and the synthesis theory of cicuit based on quantum dot cellular automata by synthesis example of quantum cellular neural network based on build schr ? dinger equation of coupling quantum dot. at last, the paper researchs digital integrated circuit design based on quantum dot cellular automata and design a 8 - bit quantum dot cellular adder by qcadsign based on a method of majority logic reducetion for quantum cellular automata, it prove this designer of 8 - bit quantum dot cellular adder is correctly
Dinger )方程為基礎的量子點細胞自動機電路綜合理論,本文以量子細胞神經網路為綜合實例,建立耦合量子點的薛定鄂( schr ? dinger )方程組,通過化簡得到類似細胞神經網路的非線性電路方程。最後研究了基於量子點細胞自動機數字集成電路設計,通過建立邏輯方程,簡化邏輯方程,並設計基於精簡qca擇多邏輯門8位加法器,並用qcadesign進行了模擬,實驗證明設計正確性。Theories of different schools probe into the original derivation of international politics through distinct thinking methods, cognitive logic and deviation of values ; and consequentially construct specific ontological “ role - scenarios ” covering from basic political state, structural formation to interactive relationship and internal motivation of actors. with such “ scenarios ” as “ script ”, they seek respectively their rational goals of value achievement ? ? in the meanwhile the different ideologies of governance of international / world politics come into being
各派理論以獨特的思想方法、認知邏輯和價值取向去審視國際政治的本源性內涵,建構出從基本政治形態、結構構成、到行為體互動關系和內在動機的本體性「角色劇情」 ,走向價值實現的理性目標? ?形成各自不同的國際/世界政治治理觀。This paper includes a number of contributions on how to harmonize the macro and micro, global and local, random and structural, order and disorder, simple and complex, and so on, which is the significant task for the complexity exploration. it is research course that is more important than others, but still several conclusions have been drawn as follows : regional speciality lies in spatial complexity, the process of spatial complication starts from symmetry rebuilding in macro - level while symmetry breaking in micro - level which accounts for emergence of complex regularity, and the target of geographical evolution seems to reconstruct the symmetry laws of nature
標度律是全文的邏輯核心,通過它們將城市系統的宏觀與微觀、整體與局部、有序與無序、隨機與確定、簡單與復雜、對稱與對稱破缺等對立問題有機地統一起來。盡管如此,本文還是得出了一些基本結論:所謂地理學的區域獨特性實則空間復雜性,微觀層面的對稱破壞與宏觀層面的對稱重組是「突現」和空間復雜化的動力根源,城市系統自組織演化的優化目標似乎就是重建大自然的對稱律。After these discussions, we ' ll focus on the implementation of traffic control on the linux operating system, including the new queue processing, new packet classify processing, the interface to the traffic control, the modification of network adapter driver. this thesis consists of five chapters. the first chapter analyzes the rapid development and the traffic control requirements of the distributed parallel firewall system, and points out the necessity for the implementation of load balance in distributed parallel firewall system
為了解決以上問題,本文首先描述了整個分散式并行系統的邏輯結構,然後分析了現階段的linux自身的流量控制機制和流量分發技術;接著重點描述了分散式并行防火墻系統的流量控制和分發機制的整體設計以及相關的關鍵技術的研究和實現,主要包括下面的內容: linux自身的流量控制機制的改進、整個系統流量負載均衡的實現、網卡驅動程序的修改等。To make this logical scheme work, we had to find a way to connect the molecular automaton to its biochemical environment so that it could sense whether specific disease conditions were present
要讓這套邏輯設計可行,我們得找到一個可銜接分子自動機和生化環境的方法,自動機才能感應特定疾病的癥狀是否存在。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的演算法對時序約束一致性進行驗證。In multiple - valued logic theory, completeness theory of function sets is an important and fundamental problem, it is also the problem which must be solved in automata theory and multiple - valued logic network. the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets
函數系的完備性判定問題是多值邏輯理論中基本而重要的問題,同時也是自動機理論,多值邏輯網路中必須解決的問題,此問題的解決依賴于定出多值邏輯函數集中的所有極大封閉集(準完備集) 。After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后,用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。分享友人