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

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

深水铺管船的动力定位能力评估系统

为解决评估铺管船作业能力的难题,提出一种适用于评估铺管船动力定位能力的方法,开发了动力定位能力评估程序系统,并针对高海况环境条件设计了优化的辅助作业方案.采用数值计算方法对铺管船作业期间的平均二阶力、风载荷以及流载荷进行仿真计算,建立了环境载荷与动力定位系统提供的推力之间的平衡关系,给出了用于评估铺管船动力定位能力的系统模块,采用动力定位能力包络线的方式表达动力评估结果.在高海况作业中给出安全建议,即采用辅助拖轮作用于船舶适当位置以增强动力定位能力,从而降低工程作业风险.     

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

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

基于Sobol法的车身抬高量的全局敏感性分析

为分析前轮转向时车轮中心主销拖距和车轮定位参数对车身抬高量的影响,建立了车身抬高量模型,并采用图形变换的方法进行求解,再应用改进的Sobol法对车身抬高量进行全局敏感性分析,比较了主销内倾角、主销后倾角、前轮外倾角、前轮前束角、车轮中心主销拖距对车身抬高量的贡献度。结果显示,车轮中心主销拖距、主销后倾角、主销内倾角对车身抬高量影响较大,其总效应指数分别达到0. 7323、0. 0270、0. 0219,说明车轮中心主销拖距是一个对车身抬高量影响较为明显的参数。     

基于成像算子优化的微震逆时定位方法

针对目前微震逆时定位成像存在的问题,提出一种优化后的成像算子,对模型数据进行抗噪性、误差速度以及检波器分布和数量进行测试,并提出采用峰度值作为定位成像结果的评价标准。结果表明,优化后的成像条件在定位能量聚焦程度和成像分辨率上都得到了提升,对含速度误差和含噪微震数据都有较好的成像结果,并且对检波器的分布和数量有较好的适应性,取得了较为理想的定位效果。     

联合卫星定位和测量机器人的超高层建造过程水平位移监测

在超高层建筑建造过程中,常用测量机器人监测中间楼层的监测点的变形。削弱建筑晃动影响对于监测结果的稳定性至关重要。为此,首先提出一种利用楼顶卫星接收机测量建筑晃动情况,通过内插得到中间楼层瞬时晃动影响的方法,并通过实验验证该方法的有效性。在此基础上,利用该方法对多期监测数据进行处理,结果表明该方法可获得更加稳定的监测结果。将处理结果与有限元分析的结果进行比较,结果表明使用该方法后监测结果与有限元分析的结果吻合度较高。     

斜插桩板墙在工程应用中的问题研究

为使斜插桩板墙结构在边坡及道路工程应用领域中得到推广。目前,斜插桩板墙结构以其美化效果较好在个别城市道路已经得到应用。通过总结斜插桩板墙在施工过程中遇到的部分问题,亟待提出相应的解决办法。