上海航空公司自1985年成立的第一天起，就把保证飞行安全视作自己的生命线。
Since the inception of Shanghai Airlines in 1985, it is lifeline to guarantee safety flight.
除了这些显而易见的安全方面的好处，第一反应时间将会保证最小的工作停顿，从而带来工人效率和公司利润的提高。
In addition to the obvious safety-related benefits, the fast reaction time will ensure minimal work stoppage and thus result in increased worker productivity and company profitability.
它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
应用推荐