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

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

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

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

纤维加筋土技术国内外研究进展

根据国内外近20年来在纤维加筋土技术方面取得的研究成果,主要对纤维加筋土的力学特性、变形特性、本构模型、动力特性及天然纤维加筋土应用技术等方面的研究现状进行了介绍。研究发现,针对纤维加筋土的强度特性进行的大量研究均表明,加筋纤维能有效提高土体的抗剪、抗压、抗拉强度和承载力,降低膨胀土的胀缩性,而纤维含量、纤维长度及龄期是影响纤维加筋土强度和变形的主要因素;在动力特性方面,纤维加筋可以提高土体的动力学性能,但相关研究较少,尚未形成系统的理论;在本构模型方面,目前的模型主要用于预测纤维加筋土的抗剪强度,缺少能够完整描述纤维加筋土应力应变关系的本构模型。在天然纤维加筋土及其应用方面,由于是近年来才逐步开展的研究,尚缺少大范围的研究,理论还不完善。最后,对纤维加筋土研究现状进行了概括,并针对目前研究中的不足,提出了今后该领域的研究重点和方向,主要包括:开展大试样及大尺度模型试验、纤维加筋土的本构模型研究、纤维加筋土的动力学特性研究、纤维加筋特殊土研究、天然纤维加筋土的系统研究等。     

也谈“力学性能”

笔者读到《中国科技术语》2015年第1期赵中平的《mechanical properties中文译名演变过程及定义》一文,很受启发,但也有一些不同看法。该文斩钉截铁地说,"力学性能"并不存在,只有"机械性能",恐怕事实并不那么简单。问题的起源大概是对英文中mechanical和mechanics的理解。我们查找一本英文辞典(比如Webster’s New World College Dictionary),便可以知     

“二三结合”开发模式渗流特征研究

L油田B区块开展"二三结合"实验区,"二三结合"开发模式渗流特征对区块的合理高效开发具有重要意义。为了明确其渗流特征,利用油藏数值模拟软件Eclipse建立代表意义的油藏数值模型,研究区块"二三结合"开发模式下原射孔层和补孔层的渗流特征,分析了"二三结合"开发模式下,不同开发阶段综合含水率、采出程度、井底压力、地层压力及含水饱和度的变化特征。研究表明,"二三结合"开发模式先通过水驱开发挖潜原射孔层剩余油,提高厚油层顶部剩余油的采出程度,再通过聚合物驱进一步提高开发效果,通过水驱与聚驱的综合作用,最终得到较好的开发效果。     

单快拍相干信号自适应波束形成方法

针对低快拍条件下相干信号波束形成问题,提出一种单快拍相干自适应波束形成方法。首先,构造Duvall特征消除器滤除阵列接收信号中的期望信号,再利用空间平滑方法解相关。然后,依据Hung Tuner算法对平滑后的协方差矩阵进行Gram Schmidt正交化,快速重构干扰信号子空间。最后,将静态权矢量在干扰子空间内的正交投影作为波束形成最优权矢量。该算法可有效避免协方差矩阵求逆和特征分解造成的复杂计算,且能降低由于期望信号泄露造成的子空间估计误差,在单快拍条件下性能良好。仿真分析验证了算法的优越性和理论分析的有效性。     

高温作用后砂岩物理力学性质阈值温度的确定——基于机器学习算法

通过采用机器学习算法，提出了高温作用后砂岩物理力学性质变化的阈值温度的确定方法。基于Python语言，利用K-Means、SVM算法，实现了对样本数据的分类和聚类，确定了阈值温度区间，验证了二分类法的合理性和准确性.结果表明，砂岩样本的阈值温度区间为400~600 ℃，阈值温度上下砂岩的物理力学性质存在显著差异，体现为阈值温度区间以下的岩样物理力学性质较为分散，而阈值温度区间以上的岩样物理力学性质较为集中.