TF:时间公式

“Temporal Formula”常缩写为TF,这一简写形式在物理学等学术科研领域中广泛使用,能够方便书写并提升效率。该术语的中文含义是“时间公式”,通常用于描述与时间变化相关的数学模型及物理规律。

Temporal Formula具体释义

  • 英文缩写:TF
  • 英语全称:Temporal Formula
  • 中文意思:时间公式
  • 中文拼音:shí jiān gōng shì
  • 相关领域tf 物理学

Temporal Formula的英文发音

例句

  1. The temporal formula model ( TFM ) of the discrete event process is established firstly, then the property analysis problem of the TFM is discussed.
  2. 首先给出了离散事件过程的时态公式模型(TFM),并讨论了在该模型下的性质分析问题。
  3. The programming on the basis of temporal logical formula deduction
  4. 建立在时态逻辑公式演绎基础上的程序设计
  5. Then the specification is described in computation tree logic ( CTL ) or linear temporal logic ( LTL ) formula.
  6. 其次,验证规范通过可计算树逻辑(CTL)或线性时态逻辑公式(LTL)表示出来。
  7. A temporal Rough logic is proposed. Temporal operators are defined, they are used in Rough logical formula, that Rough logical formula has new significance.
  8. 提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义。
  9. At first, the definition and temporal specification of GSPN are described by extending the Marked Petri Net with Priorities, the firing rules of transition and calculus formula are given.
  10. 首先,通过外延优先权标记Petri网,提出了GSPN的定义、时序规范、变迁激发规则和计算公式。