進入終態時間 的英文怎麼說
中文拼音 [jìnrùzhōngtàishíjiān]
進入終態時間
英文
settle-out time- 進 : 進構詞成分。
- 入 : Ⅰ動詞1 (進來或進去) enter 2 (參加) join; be admitted into; become a member of 3 (合乎) conf...
- 終 : Ⅰ名詞1 (最後; 末了) end; ending; finish 2 (指人死) death; end 3 (姓氏) a surname Ⅱ形容詞(...
- 態 : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
- 時 : shí]Ⅰ名1 (比較長的一段時間)time; times; days:當時at that time; in those days; 古時 ancient tim...
- 間 : 間Ⅰ名詞1 (中間) between; among 2 (一定的空間或時間里) with a definite time or space 3 (一間...
- 進入 : get into; enter; entry; entering; entrance; incoming; dipping; ingress; intro-
- 時間 : time; hour; 北京時間十九點整19 hours beijing time; 上課時間school hours; 時間與空間 time and spac...
-
The primary aim of the single chip microcomputer circuit of this project is data collecting, it applied the invention monopoly of professor zhang guanghui and professor peng donglin of chongqing university, make use of the high frequency inserted pulse, and join together the software to constitute subsidiary calibration distributed on equal time, complete the task of on - line subdivision in the dynamic measure process, finally up pass the data to pc, pc handle it and get examination result
下位機是硬體集成電路,利用重慶大學張光輝教授、彭東林教授的發明專利「計算機對脈沖信號的細分與辨向新方法」 ,附加頻率極高的外部插入脈沖,結合軟體構成按時間均勻分度的輔助標尺,實現動態測量過程中采樣點的實時細分,最終完成數據採集任務;上位機主要是軟體部分,利用pc機接收下位機的採集數據並進行分析處理,得出檢測結果。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的演算法對時序約束一致性進行驗證。Next chapter, we discuss that the repairable queueing system with three kinds of states which are normal work, abnormal work and breakdown. after a few minutes, the service station turns into abnormal work. passing by a period of time, the life of service station terminate, then enter into breakdown
第四章討論了服務臺具有正常工作、異常工作和故障的三種狀態的可修排隊系統,即服務臺工作一段時間后,其服務時間也會延長,轉為異常狀態,再經過一段時間服務臺壽命終止而進入故障狀態。
分享友人