Erwin discussed the design options for implementing bi-temporality in domain models by using a temporal Database or writing custom code.

Erwin讨论了在领域模型中实现双时态(bi - temporality)的设计选择：使用一个时态数据库(temporal Database)或编写自己的代码。

youdao

Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.

由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。

youdao

For DSSS system with antenna array, the spatial-temporal correlator (STC) is proposed for the acquisition of the PN code and adaptive beamforming weight.

对于使用阵列天线的直接序列扩谱系统，提出使用空时相关器方法实现码捕获和自适应波束形成权值捕获。

youdao