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

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

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

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

具有物联网功能的安全智能插座设计

介绍了一种以CC2530芯片和HLW8032芯片为核心构成的具有物联网功能的智能插座控制电路设计,智能插座与监控面板模块间按照Zigbee协议实现联网构成智能监控系统;监控面板可以实时显示插座功率、温度、开关状态等信息,可以按照用户要求实现插座的定时通断,智能插座还可以实现过流保护与过热保护等功能。     

盾构机刀盘回转系统恒功率自适应控制

为提高盾构机刀盘回转系统的工作效率和系统稳定性,采用简化刀盘回转液压系统模型,建立刀盘回转液压系统数学模型.分析了刀盘回转载荷,确定了液压系统负载扭矩计算模型.采用变论域方法建立基于变论域模糊PID的刀盘回转液压系统自适应控制算法.对刀盘扭矩施加线性变载荷和随机载荷进行控制系统的仿真实例研究.研究结果表明:在掘进系统刀盘扭矩增加时,所提出的控制系统可随时调整刀盘旋转速度以实现系统总功率的平衡,并可降低刀盘转速调整过程的超调量和调整时间.研究结论为盾构机刀盘回转液压系统的设计和改进提供了理论依据.     

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

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

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

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

医药洁净室的计算流体动力学模拟及实测对比

采用计算流体动力学(CFD)模拟,研究3个医药洁净室的气流流型及颗粒物浓度.采用标准k-ε双方程模型,通过模拟颗粒物在洁净室的分布,分析合理的污染物散发位置及散发比例.对比参考发尘量下的结果与实测数据的差异,根据实测数据确定污染散发量,通过试验不同的单位容积发尘量,计算对应的洁净度,得到与实测数据吻合最好的单位容积发尘量.在单位容积发尘量为1 000pc·(m3·min)-1计算条件下,各房间的模拟结果与实测数据数值比较吻合,且经CFD预测的3个房间的洁净度变化趋势与实测一致.     

科技进步综合实力评价与监测

科技进步是指以科学技术和科技管理为动力,以高新技术为先导,以全民素质提高为基础,来全面促进社会经济的快速发展和社会的文明与进步.科技进步涉及到社会的方方面面,既涉及到知识的创造、扩散、物化、产业化,又涉及到量的增长及质的提高,因此,科技进步是一个内涵十分丰富的科技范畴.     

差示扫描量热法(DSC)测定金属物质的热容

热容是金属材料的一个重要物理量,在此介绍一种用DSC测定热容的方法.以锌粉为样品,测定了不同温度下的热容,回归出了热容与温度的关系,并用积分法对实验温度范围内热容实验曲线和理论曲线之间的符合程度进行了比较.     

数学的普遍实用性

在现代社会里，能源主要靠电，电是几乎无所不用，无所不在，如果突然停电的话，对我们生产和社会会产生很大的影响。在那些经济非常发达的地区，如果说突然停电的话，会造成几亿甚至于几十亿美元的损失，那么供电的安全就是一个重要问题。实际上供电现在不是靠一个电厂，而是靠一个大的地区的电网，这个大的电网由若干个电网组成，而每个电网又包含了一些发电厂，每一个发电厂的生产可以通过一组偏微分方程来描述。