Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
To ensure that an automated test truly simulates user input, you need to generate "native" events at the operating-system level, just as if a user were using the keyboard and mouse.
要确保一个自动化测试能真正模拟用户输入，您需要生成操作系统级的“原生”事件，就像用户在使用键盘和鼠标一样。
Modify the example as necessary, then use it with an lpar_netboot command to kick off an automated installation of the operating system.
根据需要修改这个示例，然后将它和 lpar_netboot命令一起使用，以开始操作系统的自动化安装。
Google's automated driver system has the potential to become the operating standard for every car in the world — the Windows of motor vehicles.
谷歌的自动驾驶系统将来很有可能成为世界上所有自动驾驶汽车的运行标准，它的这套系统就好比是汽车里的Windows系统。
The paper discusses an automated real time 3-d (three-dimensional) tunnel monitoring system. In Singapore, every construction project near operating Metro tunnels requires such a system.
本文讨论地铁隧道的自动化实时三维监测系统。在新加坡地铁沿线保护区内开展建设项目时，都必须应用这样的系统对地铁隧道进行安全监测。
The paper discusses an automated real time 3-d (three-dimensional) tunnel monitoring system. In Singapore, every construction project near operating Metro tunnels requires such a system.
本文讨论地铁隧道的自动化实时三维监测系统。在新加坡地铁沿线保护区内开展建设项目时，都必须应用这样的系统对地铁隧道进行安全监测。
应用推荐