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

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

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

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

腐蚀对风车联合作用下斜拉桥拉索 疲劳可靠性的影响分析

为探讨腐蚀对随机交通和风载联合作用下斜拉索疲劳可靠性的影响规律和机理,通过拉索高强钢丝的加速腐蚀和疲劳试验,提出了考虑腐蚀的斜拉索疲劳抗力模型;基于线性累积损伤准则,建立了考虑腐蚀影响的风车联合作用下拉索疲劳可靠性的分析方法和流程;依托工程实例,分析了腐蚀等级和时变腐蚀对拉索疲劳可靠性的影响.结果表明:随腐蚀加剧拉索动态疲劳可靠指标下降速率增大;等级达到Ⅲ级及以上的腐蚀对拉索疲劳可靠寿命影响显著,尤其对于靠近桥塔及辅助墩处拉索;Ⅳ级和Ⅴ级腐蚀时拉索疲劳寿命相对无腐蚀状况降幅最大分别达24%和44%;相对完好状况,时变腐蚀影响下拉索的动态疲劳可靠指标下降更为迅速,且降幅明显大于仅考虑腐蚀分级的状况.     

高职院校城市轨道交通车辆专业项目化课程体系建设的研究

我国高职院校近几年大力进行项目化课程体系建设工作,项目化课程的建设旨在提高高职学生知识及能力素质,为国家未来的发展奠定坚实的基础。随着中国经济的飞速发展,对城市轨道交通技术人员的需求也日益增大。为了更好的培养城轨专业人才,城市轨道交通车辆专业在这样的大环境下也进行了项目化课程体系建设。该文从项目化课程体系建设的背景、项目化课程体系的构建、项目化课程的建设等方面详细的介绍了城市轨道车辆专业项目化课程体系建设的过程及意义。     

多铰接结构的现代无轨列车路径跟随研究

现代无轨列车是一种新型公路运输车辆,其融合了汽运车辆建设成本低和轨道车辆载运量大的技术优势.针对多铰接现代无轨列车车体编组多,运动自由度大,曲线路径行驶时后方车辆会偏离前方车辆的运动轨迹的问题,建立了跟随误差模型,分析影响路径跟随性的因素,提出一种曲线路径行驶的路径跟随策略.采用航向角预测跟随控制策略,设计中间车轴的铰接角和后车轴的转向角控制规律,以增量PID算法补偿阿克曼转向模型误差,提高系统稳定性.最后在圆曲线路径和"S"曲线路径工况下测试车辆各轴的行驶轨迹.仿真结果表明:车辆的位置跟踪误差保持在0.03 m以内,航向跟踪误差最大在4.5°以内,车辆具有较好的路径跟随性能.     

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

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

高中数学立体几何题答题技巧刍议

立体几何题是高中数学试卷中必出的题目。这类题目往往占的分值较高，但是难度却不高，即便如此，也很少有学生能够拿到立体几何题的满分。其实这类题目是存在一定的答题技巧的，只要学生掌握了这些答题技巧，并且能够静下心认真答题，那么学生就能轻松拿到立体几何题的高分甚至满分。     

数控仿真中切削面计算的并行化研究

针对高离散精度模型与刀具包围体进行切削计算的情况,由于三维图像重建的计算量大,基于传统CPU实现的数控加工仿真系统不能满足实时性的三维绘制。本文利用GPU的并行性特点,提出并行方式数控仿真切削面显示算法:通过线程并行处理基于MC算法的实体构造模型中体素与刀具包围体的切削计算,根据切削后体素角点信息和边的状态查找建立的构型索引表和交点数目索引表,加速数控仿真切削面的提取,从而提高三维图像的绘制速度,满足实时性显示要求。