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

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

Ni~(26+)离子态分辨光复合过程的R矩阵理论研究

利用基于相对论R矩阵理论的DARC程序系统计算了Ni 25+离子基态1s22s(2S1/2)和激发态1s22p(2P1/2,2P3/2)的光电离截面,并通过细致平衡原理获得了统一的光复合过程(即辐射复合和双电子复合)态分辨的截面,计算结果给出了辐射复合与双电子复合过程间的干涉效应.为了标识和分析KLL共振能区所有的共振峰,基于相对论组态相互作用理论(RCI)的FAC程序被用来计算共振峰的能量、强度及其相关的双激发态的辐射、俄歇跃迁几率以及共振宽度等.利用统一的光复合截面进一步得到了KLL双电子复合过程的伴线强度,并与孤立共振近似下FAC的计算结果以及以前的理论和实验结果进行了比较,对存在的一致性和偏差进行了分析和讨论.     

UJ24型电位差计的检修与调节

UJ24型电位差计使用时出现的故障,可以利用数字万用表排查故障,提出排查方案,进行维修与调节,使它尽快恢复到最佳工作状态,这样既节省厂家的维修时间又节省学校的维修费用。     

桐叶封弟新辨

桐叶封弟的真伪历来是学术界的公案,学者们大都对故事的真实性持否定态度。然而只要从故事的本身出发,注意分析当时故事核心人物间的关系以及权力对比,就不难发现,桐叶封弟故事的真实性是非常高的。桐叶封弟实为成王以桐叶戏弟为虚,行封叔虞于唐为实的一个借口,也反映出成王当时确有难言之隐。桐叶封弟中周公对成王的真实想法其实也早已心知肚明,"周公成之"是作为臣子的周公在故意配合成王。桐叶封弟的背后隐藏着周初朝中君臣权力间的博弈,对于君臣来说,故事的结果也是双赢。     

(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的一类非亚纯解的结构.     

产状测量方式的空间两结构面共面性理论分析

针对空间两结构面不同产状测量方式的组合关系问题,利用向量代数和空间解析几何原理,计算出不同产状测量方式组合情形下空间两结构面的平面方程,通过比较不同方程间系数关系对结构面共面性进行了理论分析;分析了空间两结构面二面夹角的误差来源,结合结构面自身性质,利用数理统计原理给出了空间两结构面共面性判断条件.     

论高校图书馆员信息素养的培育与提升

随着信息技术的迅猛发展,高校图书馆员信息素养日益成为影响图书馆服务质量的关键因素.从信息素养的含义与特征出发,剖析了图书馆员信息素养的现状,提出了提升图书馆员信息素养的途径和方法.     

第十二种孤独——从《复活节游行》解读理查德·耶茨“孤独的女性”主题

发表于1976年的《复活节游行》是美国现代作家理查德·耶茨的"女性小说"。在作品中,耶茨从一个男性作家的视角,细致入微地描写了上世纪70年代美国都市普通家庭两姐妹,用犀利但满含怜悯的笔触展示了以主人公艾米莉一家为代表的孤独的女性群体,是作家在其短篇小说集《十一种孤独》之后所描述的"第十二种孤独"——女性孤独。从孤独的女性主题着手,以《复活节游行》的分析为突破口,结合存在主义探讨作家对女性孤独的理解,并试图找到破解现代人孤独的钥匙。     

浅析《穆斯林的葬礼》中玉器对情节的推动

《穆斯林的葬礼》作者霍达以一个回族的玉器世家梁家作为故事的根基,以"月"和"玉"为中心构成两条线索平行推进又交叉铺叙,将两个完整独立又相互缠绕的爱情故事娓娓道来,抒写了在混乱的社会背景下,玉器世家第一、二代人梁亦清及其弟子韩子奇与梁君璧、梁冰玉的人生悲剧。在《穆斯林的葬礼》中,玉的意象频频出现,整理并分析那些推动了情节发展的重要玉器,借此角度重新审阅这一小说的行文结构与情节设置手法。     

大学英语教学中中国传统文化渗透路径探究

文化与语言有着密切的联系，一定的文化背景知识有助于促进语言应用能力的提高。大学英语教学的同时也应该是对文化的传授，英语教学不仅是语言知识的教授，更应该是文化知识的传播。从多模态视角出发，探究中国传统文化导入大学英语教学的必要性及途径，有助于提高当代大学生的英语识读能力及文化传播的能力。