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

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

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

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

站话“子”缀词语的构成及特征

站话中的"子"缀词语与周边黑龙江方言及普通话相比,除了具有共同特征外,还表现出一定的差异性。从构成上来看,站话中"子"缀词语的词根无论音节数量还是词性都非常丰富,构成了数量众多的"子"缀词语;从功能和语义特征上来看,站话中"子"缀构词能力更强,可以构成一定数量的动词,而且虚化程度更高,语义色彩更加轻淡。     

考虑外委的露天矿剥岩计划的优化研究

针对“剥岩高峰”对矿山生产带来的不利影响，研究了设备配置更新策略与露天开采外委剥离的优化问题.基于铲运设备的运营成本与生产能力随设备役龄变化的关系，建立了决策单台设备退役时间的动态经济寿命计算模型，并根据此模型给出了具体的设备配置算法步骤.设置一系列不同的矿山自剥离量与外委剥离量的分界水平，计算各分界水平条件下的外委单价可行区间，然后在区间内确定外委商谈价格并分析得出与之对应的总成本净现值最低的外委方案.实例计算证明，采用该方法减少设备投资的成本要高于外委岩石剥离成本.     

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

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

ICP-MS法测定黔产枳椇果梗、枳椇子中22种金属元素

建立微波消解-电感耦合等离子体质谱(ICP-MS)法同时分析枳椇果梗、枳椇子中Be、Mg、Al、Ti、V、Cr、Mn、Fe、Co、Ni、Cu、Zn、As、Sr、Mo、Ag、Cd、Sn、Sb、Ba、Tl、Pb等22种元素的含量。样品经微波消解后,利用ICP-MS测定上述22种元素,通过标准曲线计算其含量。实验结果表明,22种元素在其线性范围内线性关系良好,r值0.995;检出限为0.0007～1.0713μg/L;重复性的相对标准偏差(RSD)3%;精密度的相对标准偏差(RSD)7%;回收率为81.14%～112.91%。该方法灵敏度高,重复性好,分析速度快,适用于枳椇果梗、枳椇子中22种元素的含量测定。     

数字量子模拟已经应用到两费米子体系了（英文）

In a recent work,a group of researchers led by Gui-Lu Long of Tsinghua University proposed a digital quantum simulation algorithm for the dynamics of interacting quantum systems in real space.They experimentally implemented the algorithm to simulate the dynamics of two interacting fermions using a nuclear magnetic resonance(NMR)setup[1].     

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

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