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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
This new method solved the artifact of linear visibility transition in the algorithm for linear light, and can generate convincing soft shadows for area light.
这个算法解决了线光源软阴影生成算法阴影过渡不真实的缺陷，可以实时生成较为真实的面光源软阴影。
It has been found that there are more than one reaction pathway and more than one transition state determined by linear reaction coordinate between one reactant and one product.
研究中发现在反应物和产物的构型确定后，用线性反应坐标构造的反应途径和过渡态的构型不是唯一的。
The transition from linear stage to nonlinear regime has three types of patterns.
从线性阶段到非线性阶段的过渡存在三种斑图结构。
A new high-speed TLB architecture is designed for accelerating the address transition rate from linear address to physical one in micro processors.
为了加快微处理器中线性地址向物理地址转换的速度，提出了一种高速tlb结构。
Under coulostatic perturbation, the transition process may be described by a group of linear differential equations, the key of deriving the equations is to determine the value of start condition.
恒电量微扰下的过渡过程可用一组线性微分方程组表示，求解的关键是确定其初始条件值。
In this paper, the problem of state transition matrix assignment in linear state feedback systems is discussed. The general computing formula on feedback matrix is given.
本文讨论了线性状态反馈系统按转移矩阵进行配置的问题，导出了反馈矩阵的统一算式。
Some of the weak transition lines whose F-C factor is very small are also obtained. This experiment also proves that the linear polarization spectrum is much simpler than fluorescent spectrum.
观察到若干F - C因子很小的弱支跃迁谱线，实验也证实了线偏振光谱对荧光谱线的减化。
The advantage and disadvantage of three laser protection materials are briefly compared, which are based on linear, nonlinear, and phase transition principles.
简要比较了基于线性、非线性、相变原理的三类激光防护材料的优缺点。
The advantage and disadvantage of three laser protection materials are briefly compared, which are based on linear, nonlinear, and phase transition principles.
简要比较了基于线性、非线性、相变原理的三类激光防护材料的优缺点。
应用推荐