ZENO
⏱️♾️🔁

示例

We must detect ZENO runs to avoid misleading counterexamples.

我们必须检测芝诺运行以避免误导性的反例出现。

定义

Of a process or system with infinitely many events in finite time

  • Exhibiting accumulation of steps within a bounded time interval
  • Related to Zeno behavior in timed or hybrid models

指在有限时间内发生无限多次事件的过程或系统

  • 在有界时间区间内累积步骤
  • 与计时或混合模型中的芝诺行为相关

A male given name

  • Name of ancient Greeks: Zeno of Elea and Zeno of Citium
  • Also the regnal name of a Byzantine emperor

男性名

  • 古希腊人的名字:以利亚的芝诺与奇提翁的芝诺
  • 亦为一位拜占庭皇帝的名号