教学课程资源库 更多>>

关键词： 智能合约   时间约束模式   模型检测   Solidity   形式化方法  

摘要： 智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题也将更加突显.以提高智能合约可靠性为目的的研究日益得到重视,但尚未有人对智能合约的时间性质可能引起的可靠性问题进行过系统的研究.通过分析典型智能合约,对智能合约时间约束的不同表现形式进行梳理,提炼出相应的时间约束模式并对其进行形式化;定义Solidity智能合约到时间自动机的转换规则,并实现其到实时模型检测工具UPPAAL入口模型的自动转换;再利用UPPAAL验证合约的时间相关性质.最后对两个实际合约进行实例研究,结果表明了所提炼模式的普遍性以及所提出形式化验证方案的可行性和有效性.

关键词： 抢救抢修行动   两栖装备   登岛作战   统一建模语言  

摘要： 为快速恢复两栖装备的战斗力,提高两栖装备登岛作战效能,采用UML静态图,对两栖装备抢救抢修主体任务、对象实体、力量实体等进行描述。基于UML动态图机制,构建两栖装备抢救抢修的行动模型,包括建立两栖装备抢救抢修行动系统包图,构建两栖装备抢救抢修行动协作模型和顺序模型,并就泛水与突击上陆、巩固与扩大登陆场两个阶段的抢救抢修行动分别建立过程模型。模型体现了两栖装备抢救抢修主体之间的关系、协作和信息传递等内在逻辑。

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

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

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

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

关键词： 形式化方法   区块链   软硬件系统   深度学习   量子计算   数学方法   可信性   基础理论  

摘要： 形式化方法基于严格的数学方法规约、设计、构建、验证、演进计算系统,是改善和保障计算系统可信性的重要方法.形式化方法相关基础理论、技术和工具已成功应用于各种软硬件系统的设计与验证.近年来,在区块链、深度学习、量子计算等新兴领域,形式化方法也逐步应用适配,提升新兴领域计算系统的可信性.

关键词： Thin Films, Surfaces \u0026 Interfaces  

ISBN: (数字)9783527836567 ISBN: (纸本)9783527350216

摘要： Gives a comprehensive description on the biological model, basic physical models, fabrication/characterization of bioinspired materials and their functions.

关键词： “面向对象分析与设计”   教学改革   以学生为中心   评价机制  

摘要： “面向对象分析与设计”课程是软件工程及相关专业的一门重要的专业核心课程,该课程的教学改革是当前教学研究和改革的热点。文章分析了传统“面向对象分析与设计”课程教学存在的问题,通过调研现有的教学改革情况,结合教学实际,给出了该课程具体的教学改革实施方案,包括改革课程培养目标、改革课程教学评价体系,以及应用案例教学法等。

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

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

关键词： 初中历史   大单元教学模式   学习任务结构化   实践策略  

摘要： 大单元教学模式是指围绕一个教学主题制订周期性的教学计划,从宏观的单元教学视角入手,设计单元目标、精选教学内容、组织单元整体教学活动的重要理念,体现的是“学为中心”“素养本位”,更易于优化学生的认知效果,可真正为学生的可持续发展做好准备。为了有效开展大单元整体教学活动,初中历史教师应设计结构化的学习任务,将单元目标分解成可探究的学习任务,使学生在单元结构下把握单元目标,实现整体学习。文章具体阐述了初中历史教师应如何在大单元教学实践中设计结构化的学习任务,探索了大单元教学模式的落实策略。

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

摘要： 近年来我国公路桥梁工程的建设数量在不断的增长,到2020年年底,已经建成的公路桥梁项目已经超过80万座。公路桥梁数量增长的同时,还需要严格控制施工质量。通过对当前数据分析显示,我国公路桥梁工程项目使用过程中出现坍塌事件的频率越来越高,不仅导致社会的稳定发展受到影响,还会给人们的出行带来严重的威胁。大部分公路桥梁倒坍都是由于施工质量没有达标,这些惨痛的教训时刻提高建筑企业必须重视公路桥梁质量的提升。从公路桥梁施工安全性的角度进行分析,找出影响公路桥梁施工质量的因素。要想从根本上解决公路桥梁质量问题需要从设计人员开始,设计人员应该秉承持续发展的观念,对公路桥梁结构进行优化,提高公路桥梁社会效益和经济效益,推动社会稳定发展。