排序方式: 共有16条查询结果,搜索用时 0 毫秒
11.
分析了苯乙烯装置的乙烯压缩机(GB101)达不到额定流量的原因,提出了有效的改造措施,使压缩机达到额定流量。 相似文献
12.
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、CHAM化学抽象机等作为状态机图的形式语义,但这些语义都是行为语义,并没有从结构上直接形成体现真并发的形式语义。该文提出一种新的模型——统一结构模型作为带有并发行为的UML状态机图的形式语义,该模型不会增加或减少状态机图的任何信息。基于统一结构模型首先定义了状态机图的格局(全局状态),用于表现状态机图的执行过程,并且给出了UML状态机图的格局的转换规则,说明格局如何在状态机图中执行,在此基础上给出了状态机图的可达性算法,然后还对状态机图的死锁等性质进行了介绍,最后开发出一个原型工具,实现了状态机图的可达性分析,并用实例说明了该方法的应用。 相似文献
13.
14.
中高压蒸汽管材料为20g,设计寿命为20~25年,使用10年后发生了断管,现场调查蒸气管存在超温使用现象。通过常温力学性能分析表明蒸气管用料符合技术要求,材质成分分析与金相分析结果表明碳含量偏高及珠光体球化明显,得出碳钢管长期在蠕变温度环境下产生高温蠕变、持久强度极限下降是造成材料低应力脆性断裂的主要原因。 相似文献
15.
将集对分析应用于区间估计的探讨 总被引:1,自引:0,他引:1
本文从集对分析中的倒数型对立出发,讨论了完成总体参数区间估计的一种集对分析方法而并不要求总体分布为正态。作者认为这是对数据处理的探索性方法的一种探讨。 相似文献
16.