这家意大利的公司将提供“尖端的技术”，如节油发动机，小型汽车生产平台和工厂自动化系统。

The Italian firm would supply it with “cutting-edge technology” in the form of fuel-efficient engines, small-car platforms and factory automation.

youdao

由于使用了自动化和独特的信息管理技术，“朱姆沃尔特”驱逐舰水下作战系统的操作人员是目前“宙斯盾”级反潜平台的三分之一。

Through the use of automation and unique information management, Zumwalt's undersea warfare combat system can be operated by one-third the crew of current Aegis-class anti-submarine warfare platforms.

youdao

它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

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.

youdao