temporal logic

基本解釋

• 時序邏輯；時間邏輯

英漢例句

雙語例句

• He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.
  他使用包括一組基于時間邏輯的分等級語言的工具建立了若干軟件開發(fā)環(huán)境。
• An Academy member, Professor Tang is well known for his work in temporal logic and perhaps best known for a set of tools he developed, known as the XYZ tools.
  作為一名院士，唐教授以其對時間邏輯的研究著稱，而他最廣為人知的工作也許是他開發(fā)的一組工具，稱為XYZ工具。
• The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
  巴斯先生用來實現(xiàn)這一轉(zhuǎn)化過程的工具是線性時序邏輯，一種可以表達過去和未來的詳細約束的數(shù)理邏輯系統(tǒng)。

• temporal logic更多例句

詞組短語

短語

• temporal description logic 時態(tài)描述邏輯
• temporal rough logic 時序rough邏輯
• Differential Temporal Dynamic Logic 微分時態(tài)動態(tài)邏輯
• temporal epistemic logic 時態(tài)認(rèn)知邏輯
• temporal and logic relation 時序邏輯關(guān)系

• temporal logic更多詞組

專業(yè)釋義

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

• 時序邏輯

  Temporal logic is a specification language which is suitable for specification andverification of concurrent systems, and it has been widely used in the formalverification of digital circuits and software engineering.
  時序邏輯是一種規(guī)范語言,適合于并發(fā)系統(tǒng)的規(guī)范與驗證,已經(jīng)廣泛的應(yīng)用于數(shù)字電路、軟件工程等領(lǐng)域的形式化驗證中。

• 時態(tài)邏輯

  The characteristics and forms of describing properties of UML models with linear temporal logic are also studied.
  研究了線性時態(tài)邏輯公式表達UML模型性質(zhì)的特點和形式。

  數(shù)學(xué)

• 時態(tài)邏輯

  Part three:Temporal pubic announcement logic which merges the semantic framework of pubic announcement logic and epistemic temporal logic and assigns to each state in a given epistemic model a set of sequences of pubic announcements.
  第三部分:結(jié)合公開宣告邏輯系統(tǒng)和認(rèn)知時態(tài)邏輯系統(tǒng),將認(rèn)知模型中的認(rèn)知狀態(tài)指派為公開宣告序列集,以討論時態(tài)公開宣告邏輯系統(tǒng)TPAL。

  機械工程

• 時序邏輯

  Finally, carry out the debug of the software ,and use the testing platform built on dSPACE to measure the temporal logic chart in the mode of single action,one period action and circulative action.
  最后進行控制系統(tǒng)軟件的調(diào)試，并利用基于dSPACE搭建的測試平臺測量單自由度動作、單周期運行、循環(huán)運行模式下的時序邏輯曲線。

  語言學(xué)

• 時間邏輯