论文部分内容阅读
区块链智能合约的形式化验证方法研究
【机 构】
：
四川师范大学
【出 处】
：
四川师范大学
【发表日期】
：
2021年01期
【基金项目】
：
其他文献
在基于视频的行为识别研究中,学习视频的时空信息是一项非常具有挑战性的工作。行为识别在视频监控、人机交互、运动员辅助训练以及工业操作流程等方面广泛应用。近年来,深度学习在各个领域的飞速发展,在行为识别方向,许多国内外的学者也提出了很多基于深度学习的行为识别研究方法,并且表现出了不错的性能。对于基于深度学习的行为识别而言,如何更好地提取更有效的特征显得尤其重要,但由于动作外观存在的差异性和动作连续信息
网络布局就是将网络数据信息转化为图形的形式,通过人脑强大的视觉处理能力让用户更为清晰的获得网络视觉感知,为进一步的信息分析挖掘提供了便利。因此,在社会学、生物学和计算机科学等领域网络布局算法都有着广泛的应用。互联网技术的发展使得社会网络规模和复杂性快速增长,现有的布局算法难以满足大规模社会网络的可视分析需要。为此,本文以大规模社会网络布局作为主要研究对象,对布局的质量和效率等关键问题进行了深入的研
随着社交网络的飞速发展,Twitter、新浪微博等逐渐成为用户获取信息、传播信息的重要平台,尤其是这些平台上的大量帖子围绕着有新闻价值的事件展开。然而用户很难从繁杂的帖子中快速准确地掌握事件的来龙去脉与演变过程。因此,研究一种面向微博的故事脉络自动挖掘方法对网络用户具有迫切的实际需求。故事脉络挖掘旨在分析某些用户感兴趣的事件发展,为用户提供一种直观的方式来准确理解事件的演化发展。与新闻文章相比,微
学位
摘要：初中英语教师要精准化和全面化的理解高效课堂的基本内涵，不断的在高效课堂实践中总结教学经验、梳理教学各个环节，进而较好的把握高效课堂构建的基本规律和有效路径，大大的提高英语课堂教学质量，为英语综合征的形成奠定坚实的基础。本文在此基础上阐述了如何在高校构建有效的英语教学策略，供从业人员借鉴。 关键词：初中英语;高效课堂;教学策略 引言 有效的课堂是一个有效的课程或有效的课堂，顾名思义，它是
期刊
随着互联网经济和在线办公的迅速兴起,传统行业开始纷纷向互联网方向靠拢,其中电子商务、在线支付、智慧政务等应用迅猛发展,在转型的同时这些方面存在的安全性问题日益凸显。为了保护互联网中通信安全、实现不可信环境下可靠的信息交换和身份认证,需要依靠公钥基础设施(PKI)进行数据加密和身份认证操作,但现有的CA系统存在诸多不足之处,例如单点故障、易受攻击等弊端,使得被污染的证书难以追踪,其次用户申请证书时需
摘要：信息技术的进步和发展为教育教学带来了很大的变革与便捷条件。在此基础上，教师在进行高中数学教学活动的过程中，可以为学生提供更加丰富的学习方式和学习空间。同时，也为提高学生的学习兴趣，调动学生的学习积极性和主动性起到了推动的作用。通常情况下，教师针对运用探究式教学模式要进行合理的应用，为学生的学习创造充分的空间和完善的内容。在开展高中数学教学的过程中，教师对探究式教学模式要进行有效的整合，让学生
期刊
摘要：立定跳远是初中体育教学中的主要项目之一，具有动作技巧性强，对训练者体能要求高，教学强度大的特征，一直以来都被学生们所抗拒。如今，初中体育教学开始走上改革之路，立定跳远教学与训练的策略也需要调整，打破当前的僵局，取得更好的效果。本文将介绍几种有效策略。 关键词：初中体育;立定跳远;训练策略 引言： 长期以来，体育教学都有固定的流程和模式，按部就班的开展训练活动，十分机械。学生在课程当中体
期刊
摘要：中职学校的学生是复杂群体，班主任应扮演“引导者”、“监督者”、“启发者”等重要角色，用心做好班级的管理工作，促使中职学生改进不足，突破自我，明确未来的发展目标，努力奋斗后成为不可多得的专业人才。班主任准确定位自身角色，始终围绕学生的实际需求，细化班级的工作流程，进一步提高班级的管理质量，成功揭开中职教育的崭新篇章至关重要。本文特意进行了中职学校班主任工作对策的总结及角色定位的研究。 关键词
期刊
摘要：新冠疫情突发事件影响下，教育工作面临新挑战、新机遇，不断推动中国教育信息化发展进程。在新冠疫情的冲击下，引发一系列的反应，社会各行业发展压力与日俱增。基于此，本文就后疫情师时代发展下幼儿园教育教学工作的管理和开展进行深入的分析，确保在后疫情期间，优化幼儿园教育教学手段、创新教育思路，积极发展线上教育课程，更好应对后疫情时代带来的挑战。 关键词：后疫情;幼儿园管理;混合式教学;管理水平 后
期刊
摘要：美术是历史沉淀下来的传统文化，在小学美术的课堂教学中做到以生为本，通过组织形式多样且内容丰富的教学活动，认真培养学生的人文素养，深入挖掘他们的内在潜能，并为小学生审美水平的提升、综合能力的发展起到一定的促进作用显得至关重要。教师选择有效策略，培养小学生的人文素养，想方设法满足学生们的认知需求，增强他们主体创造的自信心，美术教育独具特色，后续活动的开展异常顺利，即可培育出大批高水平的优秀人才。
期刊