让估算能动地根植于学生的头脑

估算教学，大部分老师着重训练学生的估算方法，认为只要在学生做估算题的时候，能非常熟练地找到估算的结果，这便完成了估算教学的目标。这种教学忽视了估算方法的感悟与估算意识的培养，使估算被动地存在于学生的头脑，表现为：当学生在解决实际问题的时候，机械地套用老师在课堂里所传授的估算方法，不能根据实际需要合理选择估算的时机和方法，估算后还进行一番精确的计算，     

特色教学融入小学美术课堂的意义

小学阶段的美术课程教学过程中,由于受到传统 教学观念因素影响,教学中还存在着一些不足之处。面对新的 教学改革发展环境,这就需要从多方面加强重视,打造特色的 美术课堂,为学生综合素质发展打下坚实基础。     

影响研究生培养质量的因素分析与对策

一、影响研究生培养质量的因素分析 研究生的培养质量受到多种因素的影响,包括学生因素、导师因素、课程因素、管理因素等,各种因素之间相互关联,相互影响,共同作用了研究生的培养过程。现就主要因素分析如下：     

创设情境优化计算教学

教学活动是在知识、情感两条主线相互作用下完成的，知识往往也是通过情感这个媒介才能更好地被内化。现代心理学也认为，学生的情感不仅仅决定学生学习的自觉性和主动性，而且对学生形成以学为乐，乐此不疲的学习态度起着巨大推动作用。由此可见，学生良好的学习情感对学习质量起着重要作用。在小学数学课堂教学中，创设情境可极大地调动学生情感品质和意志品质的积极性和参与性，达到较好的教学效果。 一、创设生活情境 恩格斯说：“数和形的概念，不是从其他任何地方，而是从现实世界中得来的。”这表明数学来源于生活，是生活需要产生了…     

PVOP：隐私保护和可验证的深度神经网络预测外包

外包的预测范式引起了各种安全问题,为了解决客户端和模型提供者的隐私问题以及云服务器缺乏可验证性的问题,提出了一个为深度神经网络预测外包提供隐私保护和可验证性的双服务器框架PVOP。在sum-ch基于加性秘密共享和D-A乘法协议的变体为深度神经网络预测外包提供隐私保护。由于本文采用不共谋的双服务器系统模型,所以可以利用加性秘密共享技术实现客户端和模型提供者的隐私保护。基于D-A乘法协议的变体实现加性共享份额的相乘。将新设计的交互式证明协议与D-A乘法协议的变体相结合,为深度神经网络模型设计了新的安全协议,在预测外包范式中实现了隐私保护和可验证性。在MNIST和CIFAR-10数据集上的实验验证了本文提出的方案。实验结果表明,大多数最先进的隐私保护类解决方案的时间开销是PVOP的1.6至247.0倍,通信开销是PVOP的1.3至27.7倍。     

面向迁移学习中特征向量差异性的成员推理攻击

在以图像分类为目标任务的迁移学习场景下,针对攻击者能力和需求对应模型不一致的情况下攻击准确率较低的问题,提出面向特征向量差异性的成员推理攻击方案,构建阴影模型获取不同层次的特征向量,采用欧氏距离对不同特征向量之间的距离进行计算,提出阈值比较步骤对欧氏距离细化分类,并设计阈值选择策略。实验结果表明：在不访问教师模型的情况下,对教师模型实施成员推理攻击,所提攻击方案仍能实现较好的攻击性能。本文方案在Cats vs Dogs、Flowers102和CIFAR-100数据集上成员推理攻击准确率分别达到0.728、0.632和0.581,揭示了迁移学习场景下成员推理攻击的有效性。随着学生模型训练时冻结层数的增加,本文方案在Cats vs Dogs数据集上的攻击性能得到提升。     

同桌的脾气

【这样开始吧】周老师:这个故事发生在我的小学时代,我进入四年级以后,班上来了一位新同学,班主任让他跟我坐。他是一个很文静的学生,见人总是笑眯眯的。可是有一天,他与我突然发生了争吵,我才知道他的脾气不简单。秦雨泽:老师,怎么个不简单?是好,还是不好呢?曲野萍:你真是明知故问呀,通过周老师的脾气很好就可以看     

巧用民间游戏增加孩子的心理韧性

<正>心理韧性是指从逆境、矛盾、失败甚至是消极事件中恢复常态的能力,它决定着一个人能走多远。在“老大照书养,老二照猪养”的当下,很多人都认为散养的二宝心理韧性会更强,没想到各种玻璃心的表现还是比比皆是。想想80后的我们,因为没有太多玩具,玩的都是抓石子、摸白菜、摔瓦屋、踩高跷等之类的“纯天然游戏”,但恰恰是这些游戏练就了我们的各种抗摔打能力。于是,我们想到了利用传统游戏来培养孩子的心理韧性。     

基于地理实践力培养的高中地理活动设计研究

为了满足不同水平的不同同学的地理实践力的培养,需要坚持科学性、开放性的原则进行高中地理活动设计的研究,结合高考重难点和地理核心素养,选择合适的地理活动类型,进一步提高学生的地理实践力.本文基于地理实践力培养的高中地理活动设计研究进行论述.     

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划（3rd generation partnership project, 3GPP）提出了5G可扩展认证协议-传输层安全（extensible authentication protocol-transport layer security, EAP-TLS）。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务（denial of service,DoS）攻击和用户通信数据泄露的隐患。针对...