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

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

2种煤液化残渣氧化萃余物中杂原子化合物的鉴定

在40℃恒温水浴下用次氯酸钠对2种煤液化残渣进行氧化,将反应所得混合物用滤膜过滤,滤出液依次用石油醚、二硫化碳、四氯化碳和乙酸乙酯萃取,得到的萃取物用气相色谱/质谱(GC/MS)分析.根据分析结果系统地考察了2种煤液化残渣中所含杂原子化合物的分布,为从煤液化残渣中选择性地脱除这些杂原子化合物及提取高附加值化学品提供了一条路径.     

气相色谱法测定水环境中甲苯及硝基苯类化合物含量

采用正己烷萃取,气相色谱法测定水中甲苯、硝基苯、邻硝基甲苯、间硝基甲苯、对硝基甲苯。方法在6.25~100μg/L范围内线性良好,检出限为0.2~0.25μg/L。标准溶液平行测定的RSD≤10.0%,加标回收率分别为80%~114%。方法简便快速,可用于实际样品的检测。     

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

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

基于模糊形式背景的变精度模糊信息粒

在模糊形式背景下研究变精度的模糊信息粒,给出精度为δ的必要模糊信息粒,充分模糊信息粒以及充分必要模糊信息粒的定义.在此基础上,进一步给出对任意给定的模糊信息粒转化为精度为δ的必要模糊信息粒,充分模糊信息粒及充分必要模糊信息粒的方法.     

我国新生牛血清~(60)Coγ-射线照射技术的研究现状

新生牛血清是医药生物技术产品重要的原辅材料,其质量是生物制品质量保证的重要环节,国内的新生牛血清用60Coγ-射线照射已有多年,但还没有形成统一的操作规范和技术标准.文章对我国新生牛血清60 Coγ-射线照射的现况进行了分析总结,同时呼吁有关部门加强监督管理和技术指导,使60Coγ-射线照射技术在新生牛血清中得到更规范的应用.     

《装在口袋里的爸爸:身体调换机》

<正>聪明饭、摇钱树、后悔药、美梦制造机,爸爸以前发明的东西让杨歌心有余悸。这次,爸爸又有了新发明——身体调换机!一开始,杨歌很不待见这个新发明,不过后来转变看法了。因为他发现,有了身体调换机,他可以扮演很多不同的角色:成为人人称赞的优秀学生,变成受学生爱戴的老师,当一回万众瞩目的明     

临界的4-规约基及其构造

应用规约理论,研究了临界的4-规约基的构造问题.给出了一种临界的4-规约基的构造方法,证明了格常数α_4=8/5并改进了β-规约基的一个性质.