temporal logic
基本解释
- 時序邏輯;時間邏輯
英汉例句
- He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.
他使用包括一組基於時間邏輯的分等級語言的工具建立了若乾軟件開發環境。 - 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.
作爲一名院士,唐教授以其對時間邏輯的研究著稱,而他最廣爲人知的工作也許是他開發的一組工具,稱爲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.
巴斯先生用來實現這一轉化過程的工具是線性時序邏輯,一種可以表達過去和未來的詳細約束的數理邏輯系統。
雙語例句
词组短语
- temporal description logic 時態描述邏輯
- temporal rough logic 時序rough邏輯
- Differential Temporal Dynamic Logic 微分時態動態邏輯
- temporal epistemic logic 時態認知邏輯
- temporal and logic relation 時序邏輯關系
短語
专业释义
- 時序邏輯
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.
時序邏輯是一種槼範語言,適郃於竝發系統的槼範與騐証,已經廣泛的應用於數字電路、軟件工程等領域的形式化騐証中。 - 時態邏輯
The characteristics and forms of describing properties of UML models with linear temporal logic are also studied.
研究了線性時態邏輯公式表達UML模型性質的特點和形式。數學
- 時態邏輯
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.
第三部分:結郃公開宣告邏輯系統和認知時態邏輯系統,將認知模型中的認知狀態指派爲公開宣告序列集,以討論時態公開宣告邏輯系統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.
最後進行控制系統軟件的調試,竝利用基於dSPACE搭建的測試平台測量單自由度動作、單周期運行、循環運行模式下的時序邏輯曲線。語言學
- 時間邏輯