TLS1.2协议安全性分析

安全传输层协议（TLS）用于在两个通信应用程序之间提供保密性和数据完整性。详细地分析了TLS协议,并给出了TLS1.2协议的具体工作流程。通过传输层协议中客户端对服务端的认证和服务端对客户端的认证来建立安全模型,并基于计算模型Blanchet使用自动化工具CryptoVerif证明其认证性和安全性。     

虚拟水底环境中珊瑚的可视化研究

目前对于动植物在陆地自然场景中的建模已经有了比较深入的研究,但是对于在水下场景中的三维建模研究还不够完善。首先通过分析珊瑚结构并采用三维L系统对珊瑚进行建模,其次模拟水下环境建立水场模型,最后通过对真实珊瑚的有限元分析,得到较为真实的运动规律模型。基于OpenGL库编写实现上述模型,结果显示该模型能够较好地建立珊瑚在水场中的状态,从而还原真实场景。     

问璨神:数学好是怎样的体验?

"有一个漂亮的女朋友是怎样的体验?"抑或"在奢侈品行业工作是一种怎样的体验?"在问答网站上,这种句式已经成了流行。但是王青璨是一个社交网站绝缘体。他没有微博,鲜少发朋友圈。你问他:"大神,数学好是一种怎样的体验?"他端端正正地坐着,眼睛习惯性地向左下角瞟,几秒钟之后,又看向你:"老师,这种问题一般人会怎么答?"王青璨是北京大学数学科学学院科学与工程计算数学专业的本科生,今年大四。他得过一串奖,随便列举几个     

机械设备安装常见的问题以及对策

机械设备安装是一个大概念,具有涉及面很广,学科跨度大等特点。管理工作的好坏直接关系到机电建设工程的投入产出及工程质量。文章就目前机械设备安装工程管理的控制目标展开探讨,并且探讨机械设备安装常见的问题以及对策。     

以计算思维为导向的教学模式在VB程序设计课程中的应用研究

利用计算思维方法,结合高校VB程序设计课程教学的基本现状,针对课程探索并运用以计算思维为导向的教学模式,改进课程教学理念,改善教学效果,从而培养学生分析、解决问题的能力,提高创新能力。     

基于计算思维的大学计算机基础分层教学研究

针对大学计算机基础教学的现状及存在的问题,提出了将基于计算思维的分层教学应用于计算机基础课程的教学中。该方案可以根据学生计算机水平及专业的差异而进行有针对性的教学,旨在提高高等院校计算机基础教学的质量和学生计算机应用的能力。     

叠加:从平面向空间过渡的桥梁

小学生学习图形,经历着从"空间——平面——空间"的学习过程,这遵循的是学生的年龄特征和学习规律。在学习平面时,教师讲授"点动成线、线动成面"的纯数学化动态观点,到空间学习时,教师再次叠加"面动成体"这一科学原理。笔者在教学六年级《圆柱和圆锥的认识》单元时,对"面动成体"的教学有深刻的体会。铺垫:为后续的教学奠基在教学《圆柱的认识》时,书上对"面动成体"强调的是"一个长方形以它的一条边为轴,旋转一周,就能形成一个圆柱",而笔者对这处的内容进行了补     

大型园区网络下基于EXI的移动数据交换模型

大型园区网络中存在大量的移动访问需求,智能移动设备在访问基于XML的Web服务时普遍面临传输时间及能量消耗大的问题。提出了一种基于EXI(Efficient XML Interchange)的、适应智能移动终端资源受限特点的数据交换模型,采用UML模型进行了形式化描述,分析了Web服务信息的EXI编码、解码过程;基于该模型开发了校园移动学习应用系统,实验结果表明经过EXI编码后的数据传输量和传输时间显著减少,服务调用时间及移动智能设备电量损耗亦无显著增加。     

小学生计算错误原因分析及改进方法

计算错误是小学生数学学习过程中的一种常见错误。在小学数学教学中,应该培养小学生的计算能力。针对小学生常见的计算错误,对其原因进行了简要的分析,并提出了相应的改进方法,希望能够提高小学生的计算能力,减少计算中的错误。     

新课改下小学数学计算教学的探析

计算是人们生活和工作中必不可少的一部分。计算教学是小学数学中重要的组成部分,小学数学计算的水平直接影响学生计算能力的强弱,数学计算是数学的根本,同时它对于学生进一步学习数学有着十分重要的影响。