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

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

土木水电论坛栏目征文

<正>《三峡大学学报(自然科学版)》是科技部中国科技论文统计源期刊和俄罗斯《文摘杂志》、美国《化学文摘》、英国《INSPEC》收录期刊,并已加入《中国学术期刊(光盘版)》和"中国期刊网",在水利电力行业有一定的影响力和知名度。本刊自2004年开设了"水电论坛"栏目(现更名为"土木水电论坛"),主要刊载反映国内外水电建设中的最新科研成果和工程应用的论文。欢迎土木水电工程科研和建设单位的广大作者踊跃投稿,我们将以最大的热情和最快的速度为您服务。对您所投的"土木水电"类论文,属省、部级以上基金资助的,我     

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

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

介绍一个与材料相关的研究型综合化学实验——壳聚糖的制备与表征

在中国科学技术大学夏季学期的研究型实验课程"化学科研基础训练"中开设"壳聚糖的制备与表征"综合实验,以龙虾壳为原料,通过除蛋白、脱盐、脱色、脱乙酰等一系列反应,制备得到目标产物壳聚糖。运用红外光谱、核磁共振仪、黏度法、滴定等对产品的结构及性能进行表征。     

煤直接液化油中混合酚的分离研究

利用分子筛择形特点，对煤直接液化油中的混合酚实施高效分离。本研究选取间甲酚和对甲酚作为分离煤直接液化油馏分段混合酚的模型化合物，采用化学液相沉积法对HZSM-5吸附剂的孔口结构进行改变，分析分子筛硅铝比及颗粒粒径对模型化合物间甲酚和对甲酚吸附分离性能的影响，以获得高性能固相吸附剂，并将其应用于180-190℃馏分段混合酚分离。结果表明，当分子筛硅铝比为25、粒径为3-5 μm时，分子筛的孔口结构调节效果最优；当正硅酸乙酯的最小用量为0.2 mL/g时，固相吸附剂的吸附量为0.03 g/g，对甲酚选择性高于95%。由于外表面沉积物对吸附剂的孔口结构变化，导致对甲酚选择性的提高。进一步采用HZSM-5（1）吸附剂对真实煤直接液化油混合酚的分离中发现，苯酚和对甲酚的选择性均达到100%。     

四-对羟基苯基卟啉的自组装及光电特性

利用X射线光电子能谱(XPS)测试5,10,15,20-四-(对羟基苯基)卟啉单体和5,10,15,20-四-(对羟基苯基)卟啉自组装二聚体,并通过化学模拟得到卟啉自组装二聚体分子的最优构象.结果表明:两种卟啉化合物中氧原子的类型不同;在单体卟啉中未检测到瞬态表面光电压信号,卟啉自组装二聚体表现出较好的瞬态表面光伏特性;卟啉自组装二聚体的光限幅性质优于卟啉1单体.     

浅析高中化学的有效教学

化学是我国高中阶段教育的一个传统学科，也是素质教育的重要组成部分。我们在高中阶段的化学教学中不难发现，一些学生对于化学的学习积极性不强、学习效率不高，严重影响了学生的学习效果。所以教师应该改进教学方法、创设新的教学机制帮助学生提高化学学习有效性。     

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

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

初中化学教学如何创新

初中阶段，化学是学生学习的重难点科目，很多学生一看到公式、定理、元素符号就对化学望而却步。这就需要教师在教学过程中要创新教学方式，激发学生的学习兴趣，并教给学生科学的学习方法，从而帮助学生提高化学的学习水平。     

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

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