教学课程资源库 更多>>

关键词： 上海交通大学   形式化方法   工程学院   电子信息   研究员   电气   金融市场   形式化验证  

摘要： 伴随着区块链概念的大火,整个金融市场似乎都显得异常兴奋,可在区块链概念被越来越多的人所知晓的同时,金融市场的不景气也在迫使区块链的浪潮逐渐退去。但不可否认的是,在这个过程中,区块链领域也取得了一些实质性的进步。其中,形式化验证的应用就是极为重要的一方面。

关键词： 道路桥梁   结构化设计   应用  

摘要： 道路桥梁作为一个地区现代化经济建设发展的重要支撑,其建设过程中是否能和设计方案一致,确保道路桥梁结构更加符合实际要求,使得整个设计方案更加稳定,能够更好的指导实际施工建设,为促进城市现代化经济建设奠定坚实基础。本文主要论述了道路桥梁设计中结构化设计的应用对策,希望通过本次研究对进一步提高道路桥梁设计合理性有一定帮助。

关键词： 电炉粉尘   铁酸锌   还原反应   分解行为   四氧化三铁   氧化锌  

摘要： 为将电炉粉尘中铁酸锌选择性分解为Fe_3O_4和ZnO,采用热力学软件分析了铁酸锌在CO气氛下还原分解的热力学过程和分解特征,讨论了反应温度和气体组成对铁酸锌分解行为的影响。结果表明:铁酸锌的气体还原遵循逐级还原规律,很容易被CO还原为Fe_3O_4和ZnO,也易过还原为FeO和Fe,甚至可将ZnO还原为锌蒸气;控制P_(CO)/(P_(CO)+P_(CO_2))在0.05～0.20之间,温度在600～700℃范围内,可实现铁酸锌的高效分解、抑制铁氧化物的过还原;对CO还原气氛下铁酸锌分解过程进行了热力学模拟,计算出铁酸锌还原初期时的CO利用率约为35%。

关键词： 结构化设计   道路桥梁   设计应用  

摘要： 随着我国经济技术的飞速发展,对于道路交通的便捷性提出了更高的要求,加之,近几年来,我国在动车和高铁的建设如火如荼,这些大大促进了道路桥梁的建设。在实际的设计阶段,设计人员对于道路桥梁工程的结构进行设计,需要遵循一定的原则,这些原则包括安全性、耐久性以及成本等。所以,本文对结构化设计在道路桥梁设计中的应用进行探讨。

关键词： 大数据   用户认证   安全协议   形式化方法  

摘要： 利用大数据特征,PPMUAS协议声称实现了移动用户的隐私保护和认证,但并没有给出严格证明.故本文首先应用Applied PI演算对PPMUAS协议进行形式化描述,然后分别使用非单射一致性和Query对认证性和秘密性进行建模,最后把PPMUAS协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析与证明.结果表明PPMUAS协议具有秘密性,但缺少认证性,并给出了解决方法.

关键词： 结构化设计   道路桥梁设计   应用研究  

摘要： 近年来,随着我国经济的快速增长,人们生活水平的提高,人们对交通行业的需求程度和质量要求也越来越高,交通事业的发展对我国经济有着不可或缺的重要作用。作为交通运输行业最基础的组成部分,我国道桥的设计近年来受到越来越多人的关注,众所周知,道路桥梁的设计水平是整个道桥施工工程的重要影响因素,因此在对道路和桥梁进行结构化设计时必须要遵循一定的原则,拥有科学合理的结构化设计方法就可以提高道桥的结构强度,在一定程度上可以提高道路和桥梁的耐久性,从而延长其使用寿命。

关键词： 软件工程   深度学习   实践教学模式  

摘要： 软件工程具有很强的工程性和实践性,在软件工程课程教学中,"如何开展学习"以及"如何促进能力培养"是需要研究探索和实践的重要命题。文章把深度学习思想引入到软件工程的实践教学中,从课程目标、内容设计、开展形式、教学指导模式等环节进行改革,详细介绍了专题设计、创设场景、分析问题、自主探究和协作交流、自我总结与点评等具体措施,发挥学生的主体作用,培养学生深度加工知识信息、深度理解复杂概念、深度掌握核心技术的能力,进而建构个体知识体系用以解决现实复杂问题。

关键词： 高职与本科   “3+2”贯通分段培养   软件技术   软件工程  

摘要： 高职与本科衔接实现“3+2”贯通分段培养是贯彻落实教育规划纲要,构建现代职业教育体系的重要举措。本文从构建教学体系、加强教学管理等方面,介绍了软件工程专业“3+2”贯通分段培养模式的探索与实践。

关键词： 结构化设计   学科课程   活动型   民主选举   理性   思想政治学科   政治课程标准   社会实践活动  

摘要： 《普通高中思想政治课程标准(2017年版)》(以下简称“2017年新课标”)中最显著的变化是构建以培育思想政治学科核心素养为主导的活动型学科课程,要求学科内容采取思维活动和社会实践活动等方式呈现,即通过一系列活动及其结构化设计,实现“课程内容活动化”“活动内容课程化”.

关键词： 道路桥梁设计   结构化设计   应用分析  

摘要： 伴随现今我国的经济实力持续提升,交通上的投入也不断提高,而这也体现出交通问题对于我国经济发展的价值意义。交通属于经济发展的重要基础。而必须加强道路桥梁设计工作,才可以使得道路桥梁工程施工中收获更好成效。