教学课程资源库 更多>>

关键词： 智能合约   形式化方法   模型检查   CPN   供应链  

摘要： 智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存在难点。因此,提出在编写合约前基于CPN(Coloured Petri Net)对供应链业务逻辑进行形式化规范并构建双层仿真模型,以图形化界面描述交易状态变化,进行形式化验证和状态分析,从而在建模阶段就减少逻辑漏洞。最后,提供了一种从CPN建模语言到Solidity编写的合约的转换方法,以提高智能合约的安全性和可靠性。

关键词： 三角函数   认知结构   教学重点   爬楼梯   复习课教学   教学目标   教学片段   结构化  

摘要： 一、教学目标复习三角函数知识点,建构知识网络;利用三角函数解决实际问题。二、教学重点判断一个三角形是否可解。三、教学片段1.情境再创设,促进认知结构化师:同学们每天到教室都要爬楼梯,我们前面学过,可以用数学中的什么量来表示楼梯的陡峭程度?生1:可以用斜坡与水平面的夹角来表示。角度越大,楼梯越陡。师:最近我们还学过哪个量可以用来表示坡的陡峭程度?

关键词： 多连体   超长   弱连接  

摘要： 北京生物制药厂房项目,共3个结构单体,地上四层,结构体系为框架-剪力墙结构体系与钢框架结构体系,剪力墙沿交通核布置。首先对结构基础选型及采取的相关措施进行了分析。对结构选型进行了论证,选取了合理的结构体系及基础方案。介绍了创新型结构超长弱连接结构体系的选取,针对新型超长弱连接结构体系进行了充分分析论证并采取了有效的结构加强措施。对结构的安全性进行了验证。研究结果标明,本项目的结构选型合理,基础部分采用了精细化分析节约了建设成本,结构设计安全合理新颖。

关键词： 三坐标测量机   飞机小型结构件   自助测量系统  

摘要： 本文针对飞机小型结构件测量机检测效率低的难题,开展了测量机自动化检测技术的研究,构建基于测量机的小型结构件自助式测量系统,研制零件测量用组合夹具和高精度温湿度监控系统,并采用VC#编程语言开发基于PC-DMIS的自助式测量系统控制软件,实现飞机小型结构件快速装夹、自动测量、自动数据处理及测量报告自动输出,有效缩短测量编程时间,降低了零件检测成本。

关键词： 音乐学科单元   结构化   主题单   流程单   学习单  

摘要： 以单元教学促进深度学习的音乐课堂教学变革,是促进学生从学科知识到核心素养转化的关键。完整的、体现课程思维与逻辑的单元教学设计要以发展学生音乐素养为导向,笔者通过分析教材、重组内容、重塑单元主题,形成单元教学"主题单",使内容"结构化"重构;以"核心问题"、"主要问题"、"关键问题"为问题链进行单元教学设计,形成"流程单",使课时"结构化"架构;通过指导从驱动导入、深入赏析、理解内化的三历程学习,设计多样式"学习单",推进单元学习活动的"结构化"筑构,从而促进学生音乐"专家思维"发展,培育学生音乐素养。

关键词： 结构化设计   路桥设计   结构化设计模型  

摘要： 当前我国在道路和桥梁设计中,为能更好的丰富其设计内容和形式,对其展开结构化设计,以此保障了路桥设计的整体化。就传统设计而言,结构化设计能够全方面的满足其需求,同时有效地延长了使用寿命,保证其最大限度地发挥功能,从结构化设计理念的具体内容、对路桥设计的重要意义、结构设计的不同模型、路桥结构中应用结构化设计的可行度、设计原则,以及结构化设计在路桥设计中的具体应用等方面进行研究,希望在研究后为国内路桥工程的发展提供有益的参考。

关键词： 儿童游戏   非结构化游戏   儿童游戏景观   游戏场设计   空间设计  

摘要： 随着国家对儿童问题的关注,如何让儿童健康游戏成为各界关注的热点。本文从非结构化游戏的意义、发生机制入手,总结出促进儿童非结构化游戏的景观设计思路与方法。并以月季骑士探险儿童游戏场为例,阐述了摆脱常规“重设施、轻场地”的游戏场设计弊病,从构建游戏世界观、多样空间设计及人工与自然材料的融合3个方面的设计思路,构建了包容、多样能够促进儿童非结构化游戏的游戏场设计方法。以实现吸引儿童更多从事户外游戏,减少对电子游戏的依赖,增强儿童身心健康成长的目的。

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

摘要： 作为基础设施的重要组成部分,道路桥梁建设质量会直接影响经济发展。而设计方案的科学性、可靠性,是保证道路桥梁建设水平的基础。只有设计方案合理有效,方能提高道路桥梁建设质量,营造良好的交通运输环境,为经济发展提供支持和助力。从结构化设计在道路桥梁中的应用原则出发,深入分析道路桥梁设计现状,并提出优化道路桥梁结构化设计的措施,旨在为相关人员提供参考。

关键词： 标准结构化   结构化数据   XML标识   XML架构  

摘要： 传统的标准编写方式通常是自由格式的,没有明确的结构和规范,容易导致标准质量不齐、同类型标准格式不统一、甚至存在标准信息错误等问题。为保证标准数据的完整性,本研究提出一种基于XML的标准化结构化框架,该框架定义了一组规范的XML元素和属性用于表示特定类型的标准文本内容,使得标准内容可以被明确的结构化和标记化,以确保标准结构准确、内容完整,可实现不同系统之间的互操作,降低系统间集成难度、提高标准转换和处理效率。

关键词： “后建构”课堂   单元复习课   结构化教学  

摘要： 以往的数学单元复习课重视知识记忆、解题基本方法、解题基本技能的巩固,这样的单元复习常常演变为题海战,知识还是呈现碎片化,没有形成系统的结构化网络,学生的素养不能得到有效提高。基于“后建构”课堂的结构化教学以学生已有的知识为基础,以整合知识结构为抓手,以形成方法结构为核心,以构建学生素养结构为宗旨,真正实现单元复习课的价值与意义。