摘要：不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.

摘要：V型调节球阀是一种结构简单、调节性能强的调节阀,被广泛应用于节流与调节要求较高的场景。随着高压差、大流量等严苛工况的发展,V型调节球阀在使用时易诱发空化,引起剧烈的振动噪声,严重危害管路系统的安全性和稳定性。本文通过多相流数值仿真对V型调节球阀流动特性与空化特性进行研究,探究空化成因,并设计了多层减压孔板,对阀内空化进行抑制,能够有效地减小振动噪声,具有实际工程应用价值。