教学课程资源库 更多>>

关键词： 智能合约   形式化方法   区块链   以太坊   程序验证  

摘要： 智能合约是区块链技术应用的一个重要场景,智能合约技术实现了区块链的可编程化,提高了其扩展性,有广阔的应用前景。然而,一系列关于智能合约的安全事件造成了大量经济损失,削弱了人们的信心,安全性问题已经成为制约智能合约进一步发展的关键问题。如果合约设计和代码实现的过程中存在缺陷,可能会造成严重后果。而智能合约发布后无法修改,因此,在智能合约发布前对其正确性做出验证尤为重要。近年来,国内外学者在智能合约的验证领域取得了大量成果,但对这些研究成果的系统分析和总结相对较少。对以太坊的交易过程、gas机制、存储结构、编写语言做了简要介绍,在此基础上调查归纳了智能合约中常见的8种漏洞类型,解释了漏洞产生的原因,回顾了一些真实发生的安全事件并给出了漏洞示例代码;根据不同的技术手段,如符号执行、模型检测、定理证明等,对智能合约的形式化验证工作做分类介绍,分析了各种方法的优劣,并选取了3个开源的自动化验证工具Mythril、Slither和Oyente,从运行效率、检测漏洞类型以及准确率等方面作出实验评估和对比;研究了目前已有的相关综述文章,总结了这些研究的区别与优势;概述了智能合约的漏洞检测技术中仍存在的关键问题,对智能合约验证工作的现状进行了分析和展望,提出了未来能够进一步研究的方向。

关键词： 计算机网络   信息安全   体系结构  

摘要： 随着计算机网络技术的不断发展,为了确保计算机网络信息的安全性和保密性,现提出一套切实可行的计算机网络信息安全体系结构设计方案。针对计算机网络信息安全存在的威胁,科学设计了数据加密技术、防火墙技术的信息安全体系结构,并管理和检测计算机网络的安全性。结果表明,所提出的计算机网络信息安全体系结构设计方案具有较高的可靠性和可行性,可有效保护计算机网络信息,为计算机网络系统运行提供良好的网络环境,为确保网络信息数据的完整性、真实性和保密性提供重要技术支持,为技术人员提供有效的借鉴和参考。

关键词： 机电   一体化   开放体系   控制系统   结构设计  

摘要： 机电一体化,它属于计算机、机械装置、自动化、动力设备、微电子等整合的一个必然结果,机电一体化的实现过程,属于集成化历程。那么,面对当前市场小批量订单需求,对机电一体化控制系统提出了更高要求。因而,实施开放体系总体结构开发设计较为必要。故本文主要采用文献资料检索方法,先检索国内外与机电一体化及其控制系统、控制系统当中开放体系及其结构设计等相关的研究报告和学术论文等,对相关研究成果进行系统化地梳理及总结分析,并围绕着机电一体化控制系统当中开放体系总体结构设计开展深入研究及探讨,仅供业内人士参考。

关键词： 绍兴瑞丰银行   单层平面索网   连体结构   预应力   施工模拟   限力保护装置  

摘要： 绍兴瑞丰银行大楼由两幢高度不一的塔楼组成,采用钢筋混凝土核心筒-矩形钢管混凝土柱-钢框架结构体系,两塔楼间采用单层平面索网幕墙、钢桁架及轻钢玻璃形成空中中庭,存在拉索幕墙与主体结构相互作用的影响。结构设计时根据单层平面索网水平拉力,确定上部塔楼采用钢桁架刚性连接。通过计算四个不同风工况的作用并考虑主体结构刚度影响确定索网初拉力,采用施工模拟分析不同张拉顺序的预应力损失规律及程度。用带索网的结构模型进行整体结构分析,并对结构关键构件进行抗震性能化设计。在水平索一端设限力保护装置,在超设计风压作用下该装置能有效减小索拉力,保护主体结构的安全性。分析结果表明:结构各项指标均满足规范相关要求。

关键词： 主题学习   主干知识   学习主题   主动思考   教师引导   知识框架   不等式教学   开展教学  

摘要： 1主题学习结构化教学设计的界定主题学习的结构化教学设计,是指在教师对学生所学内容一个章节、一个单元的内容进行结构化处理,在主干知识和分支知识点的分析过程中,确定研究的挑战性学习主题,学生在教师引导下发散思维,主动思考,动手列出知识框架,以合理有效的方式通过层层递进的形式开展教学,让学生积极体验体悟,从整体上实现知识体系的把握.

关键词： 结构化设计   路桥设计   混凝土项目设计  

摘要： 为保证路桥设计的安全与质量,从结构化设计的应用原则出发,对结构化设计在路桥设计中的应用进行探讨,以期通过结构化设计改善路桥结构性能,提高安全性和耐用性。

关键词： 机器学习可解释性   特征重要性   反事实样本   形式化方法   逻辑推理  

摘要： 随着机器学习在安全关键领域的应用愈加广泛,对于机器学习可解释性的要求也愈加提高.可解释性旨在帮助人们理解模型内部的运作原理以及决策依据,增加模型的可信度.然而,对于随机森林等机器学习模型的可解释性相关研究尚处于起步阶段.鉴于形式化方法严谨规范的特性以及近年来在机器学习领域的广泛应用,提出一种基于形式化和逻辑推理方法的机器学习可解释性方法,用于解释随机森林的预测结果.即将随机森林模型的决策过程编码为一阶逻辑公式,并以最小不满足核为核心,提供了关于特征重要性的局部解释以及反事实样本生成方法.多个公开数据集的实验结果显示,所提出的特征重要性度量方法具有较高的质量,所提出的反事实样本生成算法优于现有的先进算法;此外,从用户友好的角度出发,可根据基于反事实样本分析结果生成用户报告,在实际应用中,能够为用户改善自身情况提供建议.

关键词： 可信系统   形式化方法   性质分类   验证方法和工具  

摘要： 计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.

关键词： 中小学   校本研修   课程结构化设计  

摘要： 校本研修是促进中小学教师专业发展的有效方式,受到基层学校的高度重视。当下,加强校本研修课程设计是提升校本研修质量的关键所在。校本研修课程的结构化设计可采用选择合适的方法,确定课程主题、从理论与实践两个维度,围绕教与学两个核心甄选课程模块、锚定核心要素开发具体课程等策略。

关键词： 思维发展   学习活动   结构化  

摘要： 促进学生思维发展的语文学习活动结构化设计,包括“确立学习任务、实施学习过程、优化学习评价”三个部分。依据课程标准,针对学生的学情,设计具有差异性、选择性、趣味性的学习任务,并提供多样的学习支架支持学生学习,开展指向素养立意、“教—学—评”一体化的学习评价。