power level safety system [核] 功率保护系统
According to the theory of grey system, this paper puts forward a dynamic predication method for evaluating system safety level of forestry enterprise.
运用灰色系统理论,提出了评价林业企业系统安全度的一种灰色宏观动态预测评价方法。
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和自动化定理证明,从而验证了操作系统中和运行时复杂的低级代码的安全性。
A final technical change involves the automation of infrastructure tests (either at unit, integration or system level) which provides a safety net for developers to contribute changes to ops.
最新的技术变革包括自动化基础设施测试(无论是单元测试、集成测试或系统级测试),给开发人员提供了一张“安全网”,以便放心的对运维进行变更。
应用推荐