云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

具有非线性PTO的波能装置水动力及获能分析

运用计算流体力学(CFD)方法对系泊双浮体波浪能装置的水动力及PTO(动力输出装置)非线性出力特性进行模拟和分析,利用VOF(流体体积分数)方法结合动网格及刚体求解技术模拟波浪生成及浮体运动,分析了不同速度指数的非线性动力输出装置下波浪能装置的水动力及获能特性,并与线性PTO的特性进行对比.在此基础上提出一种组合控制模式,可使波浪能装置在较大的PTO阻尼系数范围内维持较高的俘获宽度比.     

基于Copt-aiNet的污水处理过程优化控制

污水处理是一个复杂的动态反应过程,针对如何确定优化控制中关键变量的动态最优设定值,使满足出水水质排放达标的同时降低运行能耗的问题,提出了一种基于人工免疫算法Copt-aiNet(组合优化的人工免疫网络)的污水处理控制策略.首先,利用Copt-aiNet确定第二分区溶解氧质量浓度和第五分区硝态氮质量浓度的最优设定值;再利用控制器跟随最优设定值,对氧传递系数和内回流流量进行控制,进而对曝气能耗和泵送能耗同时进行优化;最后,在仿真平台BSM1上进行仿真实验,结果验证了本文控制策略的有效性,可以在保证出水水质达标的前提下有效降低能耗.     

基于ADAMS的下肢康复训练坐姿调节的仿真分析

文章针对下肢功能障碍康复机器人的水平滑块调节机构,建立其基于四杆机构的人-机模型;通过解析法得出调节滑块水平距离在已知关节运动规律下的运动方程;运用静力学和动力学原理对模型中的曲柄部分进行了状态分析,并通过ADAMS进行运动学和动力学的仿真,得到调节水平距离对人体下肢关节变化、足底受力和电机转矩的影响。该文验证了所设计机构的合理性,并给出了康复训练指导建议。     

起重船波浪载荷直接计算方法研究

起重船波浪载荷直接计算大致包括频率响应函数(RAO)计算、作业工况载荷短期预报、调遣工况载荷长期预报、设计波参数确定等内容。通过DNV GL SESAM HydroD软件,建立波浪载荷直接计算所用的计算模型,在进行整船强度分析时,将对应于设计波浪向和频率波浪诱导压力以及惯性力的实部与虚部,分别施加到有限元模型进行有限元求解,进而得到单元应力响应函数(RAO)。     

高压端出流条件对多级泵径向力的影响

为了降低节段式多级泵叶轮所受的径向力,提高多级泵运行时的稳定性,采用剪切应力传输κ-ω湍流模型对高压双壳体多级泵末级导叶出口有出口压盖和无出口压盖2种情况分别进行了全流道非稳态数值计算,比较了2种情况在设计与非设计工况下末级叶轮及整个叶轮所受的径向力。研究结果表明,1个旋转周期内,末级叶轮径向力波动周期与末级导叶叶片数(即反导叶数)相同,整个叶轮的波动周期与正导叶叶片数相同。此外,添加出口压盖后,末级叶轮及末级导叶流道内流线分布更均匀,旋涡区明显减少,径向力幅值及主频也明显减小。     

基于远场涡流检测技术的铁磁性热交换器管仿真研究

石油、化工、电力等行业频繁出现热交换器管的泄漏事故,给企业带来经济损失,同时会对现场工作人员的生命安全造成威胁。为能够快速有效地对服役管道进行无损检测,本文基于远场涡流检测机理,对铁磁性热交换器管进行仿真分析与实验研究。结果表明,远场区的位置随着壁厚和管内径的增加而变远,并且对于相同大小的缺陷,远场区的检测灵敏度高,但当相同大小的缺陷位于内外壁时磁感应强度差值的变化近似相等,这与真实管道缺陷检测的实验结果一致,满足远场涡流检测原理。结论认为,远场涡流检测技术能够较好地判定和识别铁磁性管道缺陷,对服役管道在线无损检测以及安全性能评估具有良好的应用前景。     

R型半胱氨酸体系电荷转移百分数的理论计算

采用密度泛函理论中的CAM-B3LYP方法, 在6-31G(d)基组水平上优化气相条件下R型半胱氨酸(R-Cys)分子的几何构型, 理论研究电子激发过程中R-Cys体系片段间的电荷转移特征, 并基于弛豫与非弛豫激发态密度计算片段间的电荷转移百分数. 结果表明: 对于SH片段, S0到S3的电荷转移百分数为57.96%； 对于COOH片段, S0到S1~S5各激发态的电荷转移百分数均为负值, 二者电荷转移的定性结果一致； 对于NH2片段, S0到S1和S4的电荷转移百分数分别为6.98%和31.45%.