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

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

三维激光扫描仪在变电站三维模型构建中的应用

随着科学技术的发展，测绘技术越来越先进，测绘速度也越来越快，变电站对于构建三维模型的需求得到了完美地满足，该文介绍了三维激光扫描仪的扫描原理，以及三维激光扫描仪在变电站三维模型构建中的应用。     

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

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

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

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

新型Atorvastatin类HMGR抑制剂的3D-QSAR和分子对接

羟甲基戊二酰辅酶A还原酶(HMGR)是内源性胆固醇合成的重要催化限速酶,通过抑制HMGR的活性可以降低内源性胆固醇的合成.HMGR抑制剂(他汀类)是治疗心血管疾病的最佳药物之一.运用计算机辅助药物设计(CADD)方法,综合三维定量构效关系(3D-QSAR)和分子对接分析研究已合成的HMGR抑制剂的结构与抑制活性之间的关系.根据最优3D-QSAR模型,再结合分子对接分析,设计出新型活性高的HMGR抑制剂分子.     

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

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

基于Fairclough三维框架对米歇尔·奥巴马身份建构的研究--以米歇尔·奥巴马2012年民主党大会演讲为例

Fairclough三维框架结合语言学和社会学理论，以解构的方式解读话语。以该框架为基础，对米歇尔·奥巴马2012年民主党大会演讲的批评话语分析发现，米歇尔在话语中动态建构了多重身份，在刻意突出其“母亲”和“第一夫人”身份的同时，忽略其种族身份。在米歇尔身份建构的背后隐藏着具有欺骗性的价值观和意识形态，目的是赢得选民、媒体的信任和认同。     

全站仪在拟建隧道断面测量中的设计应用

传统的隧道断面测量方法不仅效率低下，精度差而且劳动强度大，出成果不及时，因此严重滞后了施工进度。本系统是采用全站仪与辅助设备测设隧道断面的方法，不仅出成果及时，而且精度高，同时大大减轻了技术人员的劳动强度，在实际应用中有着无与伦比的优越性。     

基于计算实验的流感大流行预防策略

流感是人类健康的重大威胁之一.为探索预防新型流感大流行的有效策略,建立了北京市计算流行病模型,评估了边境口岸检疫,病例治疗,病例隔离,社会关系抗病毒预防以及免疫接种措施对四种新型流感大流行的预防效能.结果表明:边境口岸检疫对于预防新型流感大流行的作用非常有限;积极的病例治疗可预防传播能力类似于2009年A(H1N1)的新型流感大流行;高强度的病例治疗和病例隔离可预防传播能力类似于1957年A(H2N2)的新型流感大流行;对于传播能力类似于1918年A(H1N1)的新型流感,在高强度病例治疗和病例隔离的基础上须对病例的社会关系进行抗病毒预防才有可能预防大流行;而对于具有超级传播能力的新型流感(R_03.3),必须依靠有效的广谱疫苗才能预防大流行.研究结果对于进一步完善我国应对流感大流行的应急准备与处置计划具有参考价值.