Linear temporal logic is an established discipline. It is, for example, used to test safety-critical systems, such as aeroplane flight controls. The main difference between computer programs based on linear temporal logic and those using other sorts of programming language is that the former describe how the world ought to be, whereas the latter list specific instructions for the computer to carry out in order to achieve a particular end. The former say something like: “If you need milk, you ought eventually to arrive at the shop.” The latter might say: “Check the refrigerator. If there is no milk, get in your car. Start driving. Turn left at the corner. Park. Walk into the shop.”
基于1个网页-相关网页
The study found an increase in both heavy traffic and stop-and-start driving.
研究发现在拥挤的交通的走走停停驾驶在不断增加。
I don't start driving while I'm drunk, for example - I still don't want to crash.
举个例子，我一定不会酒后开车——我依然不想出车祸。
Just start this application, put your phone on a flat surface in your car and start driving.
只要启动此应用程序，您的手机把你的车在平坦的表面上，并开始驾驶。
应用推荐