自動機時鐘 的英文怎麼說
中文拼音 [zìdòngjīshízhōng]
自動機時鐘
英文
clock of automaton- 自 : Ⅰ代詞(自己) self; oneself; one s own Ⅱ副詞(自然;當然) certainly; of course; naturally; willin...
- 機 : machineengine
- 時 : shí]Ⅰ名1 (比較長的一段時間)time; times; days:當時at that time; in those days; 古時 ancient tim...
- 鐘 : Ⅰ名詞1 (用銅或鐵製成的響器) bell 2 (計時器) clock 3 (指鐘點、時間) time 4 (沒有把兒的杯子...
- 時鐘 : [電學] [半] clock時鐘計數器 [自動化] clock counter
-
In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一個時間自動機是一個五元組n , l 0 , c , e , i ,其中n為一個有窮的位置集合, l 0n是初始狀態, c是一個取實數值的時鐘變量的有窮集合, e ng c 2 cn是轉換的集合。Using domestic strained integrated resistor as weighing sensor, at89c52 single chip as control unit, combined with arithmetical magnification, analogtodigital conversion ( a / d ), real time clock, liquid crystal display ( lcd ), and series communication interface, a minitype automatic weighing lysimeter is developed. that made measurement of evapotranspiration become conveniently and effectively in studying on water use of crops
為了方便、有效地測定植物的蒸散,為水分利用研究提供價廉物美、簡單易用的儀器,本研究利用國產的集成電阻應變式稱重傳感器,採用at89c52單片機作為控制單元,結合運算放大、模數轉換、實時時鐘、液晶顯示、數據存儲、串列通信等外圍介面電路,研製了小型自動稱重式蒸散儀。2 daws c, olivero a, tripakis s, yovine s. the tool kronos. in dimacs workshop on verification and control of hybrid systems, lncs 1066, springer - verlag, october 1995. 3 henzinger t a, ho p h. hytech : the cornell hybrid technology tool
當自動機當前狀態為l時,轉換l , g , r , l的使能條件是時鐘變量的取值滿足g ,而當轉換發生之後, r中時鐘的值被重置為0 。The developed apparatus can automatically measure evapotranspiration at setting up interval and memory the data through a 32 kilobyte data storage memory. measured data can be transmitted to personal computer by rs232 series communication interface. apparatus will be trigged at measurement time by a real time chip set in it
該儀器通過實時時鐘晶元實現間隔採集動作的觸發及時間、日期的計數;利用液晶顯示器( lcd )進行顯示;使用它能在無人監管的工作環境下,定時進行蒸散測量並將測得數據自動保存到32k數據存儲器中;再通過rs232串列通訊介面將數據傳送到pc機進行進一步處理。It uses 300w temperature controlling power supply, which contains power supply of the main board, printer, ticket read - in device, supplemental displayer as well as some others. it possesses linkable protection and automatically temperature controlling functions. there is constant ups power supply inside the machine, after the power blackout there would still be 3 - 5 minutes for prolonged working
[電源]電源採用300w溫控電源,包含主板、印表機、讀票機、付顯顯示器等的電源,有聯動保護和自動溫控等功能。機內帶有ups不間斷電源,停電后尚有3 - 5分鐘的延遲工作時間。It can realize the automatic measurement rainfall and sequence record history datum on time with the rtc ; the system can be taken notes history datum more than 1 month at least ; communication interface supported by the serial communication interface can link with the pc ' s rs232, telephone network and mobile telephone network ; it can persist in working with backup power more than 1 day when the local junction circuit stops providing electricity
它可以實現自動測量降雨量;具備實時時鐘,按時間順序記錄歷史資料,系統至少能夠記錄1月以上的歷史資料;具備串列通訊介面,通訊介面應支持如下功能:與pc計算機的rs232介面、與電話網連接、與移動通訊網連接;具有后備電源,在市電斷電時能堅持工作1天以上。The mains are monitored by automatic control system. generator set will take over and supply power to the load within max. 15 seconds when the mains supply fail
自動監測系統常年監測主電網供電。當主電網突發停電時,發電機組將在15秒鐘內自動完成從發電機組起動到向負載送電。It introduces by form the conception of event - clock automata and two - way timed automata, it gives the construction from event - clock automata to two - way timed automata and it proves the inclusion relationship between them
基於時間自動機不同模型的驗證被工業界廣泛應用,本文形式描述了兩種這樣的模型,給出了從事件時鐘自動機到雙向時間自動機的構造方法,證明了二者識別語言之間的包含關系。The video surveillance system. it makes all facilities running efficient between subsystems. for example, while the sensor detects abnormal movement in the central control room, the system will automatically present related alarm position in the e - map and pop up video, which is set one minute ahead for the management
使機房內各設備系統之間自動高效運行,譬如當機房內的探頭檢測到有人活動時,系統會在電子地圖上以形象的方式顯示報警發生的位置,彈出報警區域的視頻,同時聯動攝像機提前一分鐘進行錄像,為報警事件處理提供科學依據。Abstract : this paper introduces hardware structure and software design of digital dock system using single - chip microcomputer. the system can reckon by time, count down and adjust led luminance automatically
文摘:介紹一種以8031單片機為核心的數字顯示鐘系統的硬體和軟體設計。系統具有正、例計時和自動調節led顯示亮度的功能。Setting the period to five minutes ensures against losing a shot because her camera is automatically reawakening
因為相機會自動進入睡眠狀態,請把睡眠狀態出發時間設定為5分鐘以上,以確保不會失去一個最佳的拍攝機會。In this paper, the method of in - bore abnormal phenomenon remote detecting is presented. considering of the multi - channel transient signals automatic acquisition, a project of pcm signal hardwire transmission data automatic acquire system is put forward. in this system, a pcm demodulate board is designed, it can decode the pcm code string which contain the information of the multi - channel transient signals, it also can catch the useful data automatically, and transmit these data to upper pc by rs485
在該系統中,為了能夠解調出包含多路動態信號數據的高碼速率pcm信號,設計並製作了一種適用的pcm解調板,能夠從pcm碼流中恢復出位時鐘信號,從而與發送端保持位同步和幀同步,從而對pcm碼流可靠地解調、緩存,並能根據計算機設定的觸發條件自動地捕獲多路信號的有效段,然後利用rs485總線將這些數據可靠地遠傳至計算機以供顯示、分析和保存。分享友人