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

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

浅谈公路改性沥青混凝土路面施工质量控制

改性沥青是基质沥青和一种或者几种的改性剂通过工艺加工而形成的混合物,这种材料现在公路修建的时候运用非常广泛,改性沥青和普通沥青相比,有其特殊性和相同之处。本文主要研究了改性沥青路面材料选择以及控制其施工质量的措施,希望能够更好的提高公路的质量,确保能够达到其使用年限。     

浅析现代化煤矿机电安装工程施工组织与管理

本文介绍了机电安装工程在现代化矿井建设中的重要性及矿井机电设备安装工程与其它工程的关系。研究了机电安装项目的目标及施工组织安排部署,探索出了一种比较科学经济的施工作业形式,并结合实际施工案例对现代化煤矿机电设备安装项目的施工质量管理、施工安全管理、施工进度控制、成本控制、现场文明施工管理的内容及各自在安装项目中的作用作了全面具体阐述。     

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

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

三维柔性生态护坡技术在邯济线路基边坡防护工程应用的剖析

三维柔性生态护坡是集环保、绿化、节能降耗于一体,是铁路边坡防护的一项新技术。它选用环保柔性软体材料代替钢筋混凝土及浆砌片石硬体材料。采用"三角内摩擦紧锁结构+三维排水系统+植物根系"构成复合稳定型生态护坡,实现了环境保护、水土保持及绿化一次性完成。     

市政道路施工质量管理的思考

根据多年的市政道路施工和管理经验,分析了其质量控制的难点和普遍存在的问题,提出了施工中存在的质量通病,并给出了控制措施,仅供参考。     

铸造工艺仿真设计前处理及过程处理应用技术

以应用ProCAST和MAGMAsoft 2款软件为例，针对铸造工艺仿真设计前处理和过程处理每个环节的主要内容与使用方法进行了较为详细地归纳、分析和总结。提出了处理过程的技术路线，并系统地介绍了每项应用内容的操作平台与使用步骤，从而为高效地应用铸造工艺仿真设计提供理论和技术支持。     

基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

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

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

核电站压力容器接管端异种金属焊缝超声检测计算机仿真及实验研究

利用接管安全端异种金属焊缝显微组织分析结果对该焊缝进行了超声检测物理分析.通过CIVA软件对该焊缝进行了计算机超声检测仿真模拟,开发了焊缝超声检测的检测工艺,利用模拟试块实验对仿真结果和检测工艺的可靠性进行了实验验证.实验数据表明超声仿真模拟能够得到所需的探头参数及不同角度探头的定位精度,模拟试块实验有效验证了仿真模拟结果,并证明了检测工艺的可靠性.该文对核电站接管安全端异种金属焊缝进行了焊缝物理特性分析,包括异种金属焊接接头组成,焊缝及母材显微组织分析,焊缝组织对超声波衰减影响分析等,根据分析结果及该类型焊缝的检测特点.