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

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

一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

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

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

(2+1)维KD方程组的一类非亚纯行波解

通过行波变换将(2+1)维KD方程组转变为复域中的常微分方程,给出复合的(2+1)维KD方程组2(wk-3l2+3ak2 C1)u=2k4 u″-k2 a2 u3+(6k2b-3kal)u2+C2,v=lku+C1的一类非亚纯解的结构.     

后方交会技术在实际工作中的应用

本文分析了采用正弦定理解算三角形时出现无解和两解的情况,并从现场实际情况得出结论,凡是现场构成三角形的情况,采用正弦定理解算,除非测量数据有误,都会有解,不会出现无解的情况。对边角后方交会出现无解和多解的情况进行了分析,提出了解决问题的办法。     

PANI-CNTs复合材料的制备及其在对称型全固态超级电容器中的应用

超级电容器寿命长、安全性高,并可以实现快速充放电,是化学电源研究的热点之一。文章通过简单的化学原位聚合法将聚苯胺(polyaniline,PANI)与碳纳米管(carbon nanotubes,CNTs)进行复合,得到聚苯胺纳米管(PANI-CNTs)复合材料。利用场发射扫描电子显微镜(field emission scanning electron microscope, FESEM)对其形貌和结构进行表征。循环伏安(cyclic voltammetry,CV)曲线、恒电流充放电(galvanostatic charge-discharge, GCD)曲线和循环寿命测试结果表明,纳米复合电极材料在三电极体系中,电流密度为1 A/g时,比电容高达690 F/g,3 000次循环后仍保持初始电容80%,在组装成柔性器件后,保留了优异的电化学性能,并展现出卓越的柔性机械性能。     

灰色系统理论在废气污染物排放量预测中的应用

应用灰色系统预测理论,以GM(1,1)模型对我国废气排放中主要污染物排放量进行预测,可有效克服原始数据的离散性,在少信息的情况下得到高精度的预测结果。以2008²012年废气主要污染物排放量为例进行了中短期的预测,结论表明,预测精度均可达到最优的精度等级。     

孔道关键氨基酸残基对电压门控钾离子通道Kv2.1和Kv2.2离子选择性的调控

哺乳动物电压门控钾离子通道在膜电位维持以及介导神经元和肌肉兴奋性方面发挥了关键性的作用,与多种神经和心血管疾病密切相关.本研究主要运用点突变方法和膜片钳技术探究W366,Y376以及W374,Y384之间的氢键对哺乳动物大鼠Kv2.1和Kv2.2通道结构和功能的影响.实验证明破坏该氢键会导致通道丧失钾离子通透能力,而主要通透钠离子.     

磺酸化CNTs在钙钛矿太阳能电池电极中的应用

为解决钙钛矿太阳能电池(perovskite solar cells,PSCs)中采用贵金属作为对电极(counter electrode,CE)而导致的成本高昂问题,对碳纳米管(CNTs)进行磺酸化处理,并将磺酸化CNTs(s-CNTs)作为对电极材料应用到PSCs中.利用稳态荧光(PL)、电化学阻抗(EI)等方法对PSCs的电荷传输过程进行研究,结果如下:与CNTs对电极相比,s-CNTs对电极具有更好的导电性、更优异的空穴提取和传输能力,在s-CNTs基PSC上获得6.18％的能量转换效率.当喷涂量为1 mL/块,退火温度为100℃,退火时间为30 min时,s-CNTs基PSC的各项性能最优,并具有较好的重复性.研究结果为改善碳基PSCs的光电性能提供了新思路.