timed automaton

基本解釋

• [計算機科學(xué)技術(shù)]時間自動機

英漢例句

雙語例句

• Real-time systems are often modeled as timed automaton networks, which are parallel compositions of timed automata.
  實時系統(tǒng)可以使用由多個并發(fā)的時間自動機組成的時間自動機網(wǎng)絡(luò)來建模。
• Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
  另外，通過擴展代價和概率時間自動機模型，得到多代價和概率時間自動機。
• The property of timed automaton is presented. The basic concept of the timed automaton is given. The construction of the region automaton is described, and the algorithm to realize it is given.
  給出時間自動機的基本概念，描述了區(qū)域自動機的構(gòu)造方法，并且實現(xiàn)了區(qū)域自動機的構(gòu)造算法。

• timed automaton更多例句

詞組短語

短語

• stochastic timed state automaton 隨機賦時狀態(tài)自動機
• minimizable timed automaton 可最小化的時間自動機

• timed automaton更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

• 時間自動機

  An optimization definition of clock equivalence,the key to model checking real-time,is described for model checking timed automaton. Based on its equivalent finite-state clock valuation,region automaton that the finite-state model resulted from timed automaton is redefined.
  提出了一種優(yōu)化模型檢驗時間自動機的時鐘等價規(guī)則,通過優(yōu)化的時鐘等價規(guī)則,使時間自動機等價后的域自動機狀態(tài)數(shù)盡可能少,并在此基礎(chǔ)上定義了適合于優(yōu)化時鐘等價規(guī)則的域自動機。