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

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

天津医科大学图书馆中文专业图书资源利用效率统计分析

以天津医科大学图书馆UNICORN集成管理系统的各项记录为数据源,挖掘整合了2004—2013年中文专业图书有关数据,从综合性、动态性角度,统计分析了图书购置数量、图书借阅数量及购书经费分布等有关数据,旨在为提高图书馆管理水平提供参考依据。     

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

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

浅论因明中的因与因过

古印度的因明、中国先秦的名辩之学和古希腊的逻辑,三者都是关于推理方法、论证方法的学说,属于同一范畴。因明作为古印度治学、研究的核心学问由唐代僧人玄奘传入中国,后由其弟子发扬。因明中的因是至关重要的,因的重要性在于其是指称立者论式即宗成立的关键。似因是立论者在对宗行论证时所使用的错误的因。因的过失共有十四种,如何成立好的因,就要明白因的过失有哪些,从而避免这些过失。     

船舶主机填料函结碳严重的原因及对策

本文介绍了主机填料函结碳严重的现象,分析了可能导致该现象产生的原因,如燃油品质问题、气缸注油率问题、主机长期运行负荷问题等,并提出针对性对策,如提升主机转速、缩短主机扫气箱的清洁周期和定期对喷油器进行拆检。     

圆柱面上具非零曲率和挠率的曲线特征

三维欧氏空间中的曲线的Frenet标架的运动方程满足Frenet公式,并且在相差一个旋转变换和平移变换的意义下由其曲率和挠率唯一确定.在曲线所在曲面有特殊结构的情况下,可以得出曲面上曲线的曲率和挠率满足的关系.文中只利用了圆柱面上曲线在中心轴上的投影函数给出了圆柱面上具非零曲率和挠率的光滑曲线其曲率和挠率必须满足的方程.     

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

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

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

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