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

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

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

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

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

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

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

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

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

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

基于计算思维的大学计算机基础课程教学

大学计算机基础课程是培养大学生综合素质与和创新能力不可或缺的重要环节,而计算思维的培养更是该课程教学的核心。在分析大学计算机基础课程现状和计算思维特征的基础上,从任课教师的角度探讨了以计算思维为导向的教学内容的设计,并取得了较好的实施效果。     

双螺杆压缩机的动力学性能研究

为了探究双螺杆压缩机内部阴、阳螺杆转子在实际运转中的动力学性能,利用虚拟样机技术对某型号螺杆压缩机的工作情况进行动力学仿真研究。在SolidWorks中建立螺杆压缩机模型,借助ADAMS软件进行动力学特性分析,模拟螺杆压缩机真实运动状况。以阳转子为驱动源带动阴转子运动,得到阴转子在0.5 s内的速度、加速度曲线和阴、阳转子之间的啮合力曲线。结果发现阴、阳转子开始工作时有较大冲击,之后逐渐趋于平稳且与其预期理论计算结果相符,研究结果可为搭建真实螺杆压缩机样机提供参考。     

海洋放射性现场探测谱仪的机械优化设计

为提高海洋放射性现场探测NaI(Tl)谱仪的探测性能，采用蒙特卡罗仿真和统计计算方法，研究和分析谱仪封装、材料和尺寸等机械设计对探测性能的影响规律。综合考虑伽马射线衰减和密封、耐压及耐腐蚀等要求，开展谱仪的机械优化设计和海上现场检测实验。优化谱仪达到了对40K最小探测活度约0.30 Bq/L，现场测量相对误差为0.45%。该研究对海洋放射性现场探测谱仪的性能优化设计和现场应用具有重要的指导意义。     

评价动词——评价对象智能计算构式研究

为解决好评价本体与评价计算的接口问题,给评价对象抽取提供更加有力的“数据”基础支撑,采用构式知识驱动的方法,基于小规模语料库,归纳概括出8种后指评价动词与受事评价对象配对构式、5种前指评价动词与施事评价对象配对构式,并精准找出帮助计算机辨别各种评价构式的形式化特征标记,建立“评价动词与评价对象智能配对规则簇”,规则簇信度与效度实验F1值达到80%左右,相较于基准模型CUCsas1.0效率提升约13%。     

均匀带电圆环片的空间电场计算

利用均匀带电圆环片电场的轴对称性,联合运用静电场的高斯定理和安培环路定理,以轴线上的场强值为初值,通过反复迭代的方式巧妙地导出了均匀带电圆环片空间电场的无穷级数表达式.