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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
2
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.
这个算法解决了线光源软阴影生成算法阴影过渡不真实的缺陷，可以实时生成较为真实的面光源软阴影。
3
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.