面向服务计算的拜占庭容错方案及其正确性证明

针对现有拜占庭容错协议的假设(要求被保护的对象是被动的和独立的)不适用于服务计算等新兴计算模型的问题,提出一种面向服务计算的拜占庭容错协议。该协议在服务请求方和服务提供方两端均创建服务复制品,采用基于状态机的主动复制技术,在服务复制品间进行三轮通信,就该请求的编号和内容达成一致,随后该请求被提交给上层应用逻辑处理;收到应答后,服务请求方的复制品进行三轮通信就应答的编号和内容达成一致后接受该应答。针对现有面向服务计算的拜占庭容错协议只有简单的正确性推理缺乏形式化验证的问题,采用I/O自动机和模拟关系方法进行正确性证明,更加严谨和正式。构造一个高度抽象的简单I/O自动机S,此自动机满足安全性和及时性;将协议中的各方分解成若干简单I/O自动机:前端自动机、后端自动机和多播通道自动机;最后用模拟关系方法证明各成员自动机构成的系统实现了自动机S,从而证明协议的正确性。使用I/O自动机可以精确描述协议,以此为基础进行证明比感性推理的证明方法更加规范。     

电子封装SnPb钎料和底充胶的材料模型及其应用

采用统一型粘塑性Anand模型描述SnPb钎料的非弹性力学行为,基于试验数据和弹塑性蠕变本构模型,确定了92.5Pb5Sn2.5Ag和60Sn40Pb两种钎料Anand模型的材料参数。采用线性粘弹性Maxwell模型,描述了一种倒装焊底充胶U8347-3材料的模量松弛和体积松弛,得到了相应的松弛参数,研究对所给出的材料模型和参数进行了验证。另外,利用有限元法模拟了倒装焊在热循环条件下的应力应变行为,分析了SnPb焊点的塑性应变和热循环寿命。结果表明,采用上述材料模型和参数,可以合理描述SnPb钎料和底充胶的力学本构,并可应用于电子封装的可靠性模拟和分析。     

一种基于树结构排序的多目标优化演化算法

多目标优化演化算法(MOEA)是一种新的解多目标优化问题(MOP)的有效算法。针对大多数MOEA采用的表示解优劣的Ranking技术存在的问题,该文提出了一种新的表示方法———树结构来表示解的关系。实验证明这种方法很好地达到Pareto最优,有效地保持解的多样性,而且收敛速度快。     

水泵水轮机顶盖螺栓应力实测分析北大核心CSCD

水泵水轮机启停频繁、工况多变,内部流态复杂,顶盖在运行过程中受到复杂的水推力作用。连接顶盖和座环的高强度螺栓在不同工况下,应力水平和变化具有较大差别。螺栓的受力特性直接关系到机组的运行安全,因此,有必要全面了解顶盖螺栓在典型工况下的应力水平。本文依托宝泉蓄能电站水泵水轮机组开展顶盖螺栓应力实测工作。采用电阻应变法,选取螺柱中间截面上均布的4个应力测点,通过测量螺栓表面微应变得到螺栓应力。测试得到了螺栓在预紧、水轮机满负荷、甩负荷、水泵零流量及水泵正常运行工况下的应力结果,为顶盖螺栓和机组安全评估提供了基础数据,也为后续顶盖螺栓的设计提供参考。     

太阳能驱动转轮空调在近零能耗建筑中的应用

为实现近零能耗建筑能耗指标，提出一种热管型转轮除湿空调系统应用于湿热地区近零能耗建筑，并可通过三种太阳能系统驱动。在TRNSYS中进行建模，用搭建的实验平台进行实验验证。动态模拟太阳能驱动转轮空调系统全年运行情况。模拟结果表明：室外新风经太阳能驱动转轮空调系统处理后，可使室内温湿度满足人体热舒适性要求，其中采用光伏光热系统的热管型转轮除湿空调系统的耗电量最低，性能系数（COP）最高可达2.1，与传统空调系统相比，COP提高两倍，年平均能耗降低64.7%。