TF:时间公式
“Temporal Formula”常缩写为TF,这一简写形式在物理学等学术科研领域中广泛使用,能够方便书写并提升效率。该术语的中文含义是“时间公式”,通常用于描述与时间变化相关的数学模型及物理规律。
Temporal Formula的英文发音
例句
- The temporal formula model ( TFM ) of the discrete event process is established firstly, then the property analysis problem of the TFM is discussed.
- 首先给出了离散事件过程的时态公式模型(TFM),并讨论了在该模型下的性质分析问题。
- The programming on the basis of temporal logical formula deduction
- 建立在时态逻辑公式演绎基础上的程序设计
- Then the specification is described in computation tree logic ( CTL ) or linear temporal logic ( LTL ) formula.
- 其次,验证规范通过可计算树逻辑(CTL)或线性时态逻辑公式(LTL)表示出来。
- A temporal Rough logic is proposed. Temporal operators are defined, they are used in Rough logical formula, that Rough logical formula has new significance.
- 提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义。
- 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.
- 首先,通过外延优先权标记Petri网,提出了GSPN的定义、时序规范、变迁激发规则和计算公式。
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若TF词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。