排序方式： 共有4条查询结果，搜索用时 0 毫秒
1
1.
介绍了某硫回收装置扩建中平面布置和管道设计的思路及方法，给出硫回收装置的平面布置，并对管道设计的难点——夹套管的连接方式和应力分析进行了详细分析。 相似文献
2.
介绍了管道设计专业在离心式压缩机设计中的思路及方法。对离心式压缩机平面及管道布置进行了阐述,并对管道设计的难点——汽轮机管道设计及应力计算进行了详细分析。 相似文献
3.
老装置扩容改造一般依托原有实施，采用先进的工艺流程，增加或更换部分设备和管道。笔者以多年的设计及施工经验，通过几则典型案例，介绍了设备平面布置及管道设计的思路及方法。配管设计的水平对装置的风格、外观、操作、维修和安全等均有着重大影响。 相似文献
4.
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑，操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障，造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生，对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误，因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中，互斥量可协调多任务对资源的访问，是一种常用的任务同步方式，其功能正确性对于保障多任务应用的正确性十分关键.本文基于定理证明方法，在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模，给出其接口函数的形式化规范，并实现这些接口函数的功能正确性验证. 相似文献
1
