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

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

光束在不衰减的情况下实现了小角度转弯

一种类似蜂窝的塑料材料不但能引导光束实现精确的小角度转弯,还能在整个过程中保证光束的强度和完整性丝毫不受影响。由美国得克萨斯大学埃尔帕索分校(UTEP)和中佛罗里达大学(UCF)两校联合开发出的这种技术有望进一步拉近高性能光学计算机,特别是小型光学计算设备和现实的距离。相关论文发表在最近出版的《光学快报》杂志上。     

基于Overlay Test评价应力吸收层 抗反射裂缝性能

为了更好地评价应力吸收层的抗反射裂缝性能,提出采用Overlay Test(OT)试验测定SBS、WTR和WTR/APAO改性沥青应力吸收层在常规条件、浸水和长期老化后的抗反射裂缝性能.研究发现,试验周期数、荷载损失率和总断裂能能够很好地表征应力吸收层的抗反射裂缝性能;第一周期最大荷载和临界断裂能是评价初期开裂的指标.试验发现3种应力吸收层在常规条件下均有良好的抗反射裂缝性能,但是水损坏对WTR/APAO的抗裂性能影响较大,长期老化后WTR和WTR/APAO的抗反射裂缝性能大大降低.3种应力吸收层的OT试验最大荷载-周期数曲线符合幂函数变化规律.     

一款可冷热变换的模块化多功能垫的研制与应用

利用热电元件,研制了一款具有温度可调节以及模块化可拼接的多功能垫。在研制过程中,结合热场模拟仿真分析,从隔热、导热、散热等方面进行材料选取和结构设计,实现了控温功能;结合实际使用情景,对模块间的机械和电路连接进行设计,实现了模块化拼接功能。运用3D打印技术完成了该坐垫的整体设计和样品制作,并测量了温度随工作电流电压以及时间的变化关系,结果表明该坐垫具备良好的使用特性。     

具有物联网功能的安全智能插座设计

介绍了一种以CC2530芯片和HLW8032芯片为核心构成的具有物联网功能的智能插座控制电路设计,智能插座与监控面板模块间按照Zigbee协议实现联网构成智能监控系统;监控面板可以实时显示插座功率、温度、开关状态等信息,可以按照用户要求实现插座的定时通断,智能插座还可以实现过流保护与过热保护等功能。     

海上电泵结蜡井热循环洗井工艺参数优化设计

为探索海上油田电泵举升结蜡井热循环洗井工艺井筒温度场分布规律，综合考虑潜油电机增温、电缆散热、热流体注入量、注入深度、注入温度、结蜡管段传热和海水空气导热的影响，基于热能守恒原理，建立了电泵井结蜡热循环洗井工艺井筒温度场计算模型，分析了热流体注入温度和注入量对混合产出流体的井筒温度分布的影响。研究结果表明，随着注入量的增加混合产出液沿程井筒温度增加，随着注入温度的增加混合产出液沿程井筒温度增加。该方法可有效指导现场措施工艺的实施，达到延长结蜡井的清蜡周期、延缓产液/产油量下降速度的目的。     

冻结黏土的强度与变形特性及参数研究

为了更全面地分析冻土的强度与变形特性,以皖北某矿取样的原状黏土为研究对象,进行不同温度(-5℃、-10℃、-15℃)下的单轴抗压强度试验和三轴剪切强度试验.试验结果表明,在试验温度下,试样单轴抗压强度的应力-应变曲线为应变软化型;试验条件下,冻土三轴剪切应力-应变曲线可以用双曲线模型描述.随着温度的降低,冻土的单轴抗压强度和弹性模量均增加.初始弹性模量和极限偏应力均与围压呈正相关,与温度呈负相关.冻土的抗剪强度随围压增加而增大,随温度增加而减小.通过冻土三轴试验得到的抗剪强度指标推算单轴抗压强度,可以为人工冻结法施工提供理论依据.