排序方式： 共有3条查询结果，搜索用时 62 毫秒
1
1.
SF_6因优异的电气特性广泛应用于电器绝缘设备中,但其产生的温室效应对大气环境具有极大损害。近年来,C_5F_(10)O作为一种环保型SF_6潜在替代气体受到国内外科研工作者的关注。为进一步探究C_5F_(10)O/干燥空气与C_5F_(10)O/N_2的绝缘特性,文中利用气体绝缘性能测试平台,对不同气压、不同C_5F_(10)O分压下的2种混合气体在准均匀电场下进行工频击穿试验。实验结果表明,C_5F_(10)O混合气体绝缘强度随气体压强的增大而增大;提高C_5F_(10)O分压亦可提高两类缓冲气体的绝缘强度,且对N_2绝缘强度提升相对值大于干燥空气。从绝缘强度考虑,适当增大C_5F_(10)O混合气体气压和C_5F_(10)O分压,C_5F_(10)O/干燥空气比C_5F_(10)O/N_2混合气体更具潜力替代室内中低压设备中的SF_6。 相似文献
2.
3.
验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题.为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法.首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证.将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率.为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价.实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效. 相似文献
1