The session focuses on the troubleshooting aspects of the designs, including server connectivity, persistence, and scripted health checking.
本课程重点介绍排除设计方面的故障,包括服务器连接、持续连接和脚本状态检查。
Therefore, it is meaningful in practice that designs and calculates for open-cut foundation from two aspects which are bury length determining and checking computation contents of foundation.
因此,从基础埋置深度的确定和基础的验算内容两方面分析明挖扩大基础的设计与计算,具有重要的实践意义。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术,并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Finally, on the basis of the knowledge and rule, the paper designs checking model for urban pipe-line data, moreover, it introduces the realization of this checking by using many successful instances.
最后,在知识与规则的基础上,设计了城市管线数据校验的模型,并以应用实例对此模型进行了验证。
The article analyses the decorative art style of the vases by checking their shapes, designs and colour.
本文从造型、图案和色彩三个方面分析了彩绘陶壶的装饰艺术风格。
The article analyses the decorative art style of the vases by checking their shapes, designs and colour.
本文从造型、图案和色彩三个方面分析了彩绘陶壶的装饰艺术风格。
应用推荐