教学课程资源库 更多>>

关键词： 形式化方法   Event-B方法   模块化建模   自动化模块组合方法   模块调用   精化  

摘要： Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。

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

摘要： 随着社会经济的快速发展,我国车辆数量不断增加,道路桥梁的使用寿命不断缩短,如何提高道路桥梁的使用寿命是桥梁工程中需要考虑的一个重要问题。本文主要介绍了结构设计在道路桥梁设计中的应用原理,并且分析了结构化设计在道路桥梁设计中的具体应用,希望能为相关专业研究提供参考依据。

关键词： Willis   软件工程   应用   培养  

摘要： 软件工程应用人才的培养是计算机教育研究的重点,本文针对软件工程专业应用人才的培养提出了一种改进了Willis的培养模式,它是通过模拟场景和任务导向为主的教学方法。从普通本科学校软件工程专业选取一届学生进行了教学对照实验,并进行了具体课程的教学设计。最后,通过毕业设计、大创项目、就业统计等指标进行对比,结果表明改进的Willis培养模式要优于一般的培养模式,该培养模式的教学改革是有持续研究意义的。

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

摘要： 道路工程本身是地区经济发展的基础支撑,现阶段经济进步对交通运输有非常强的依赖性,在道路设计中要面对的问题也是更加复杂,为了让工程建设的与设计方案符合,保证道路的结构更加符合设计的初衷,需要保证设计方案的可靠性以及稳定性,对施工建设起到指导的作用,也是为经济建设奠定一定的基础。在道路设计结构化设计起到非常重要的作用,关系到道路设计的合理性以及科学性,也关系到设计方案整体的稳定性。

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

摘要： 在当前社会经济发展以及科技创新的背景下,桥梁工程的施工受到人们的关注,为了逐渐提高桥梁设计的稳定性,应该结合结构化的设计理念,进行桥梁设计方案的完善,以全面提升桥梁设计的整体质量,推动桥梁工程行业的稳步发展。

关键词： 软构件   开发   应用限制  

摘要： 文章主要包括了两部分,第一部分是对于软构件技术的概述,主要包括构件与软构件的相关描述,软构架技术的应用优势分析以及其应用限制分析三个方面的内容。之后,则对基于软构件的软件开发方法进行了分析,主要包括开发流程概述以及开发注意事项分析两方面的内容。

关键词： 新工科   软件工程   创新实践体系   五个课堂  

摘要： 以新工科建设为背景,在软件工程专业工程应用型人才的创新实践能力培养中,通过聚集课内外、校内外、海内外、线上线下的资源,进行课堂教学、校内实践、校外实践、国际交流、在线课程的协同培养,构建了开放的全过程实践教学体系,提高了学生的工程实践能力、创新能力和国际竞争力,开拓了学生的就业前景,为软件工程特色专业建设和人才培养提供了参考。

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

摘要： 从某种意义上来讲,道路桥梁设计是影响整个道路施工作业质量的重要因素,一旦道路桥梁设计出现重大问题将直接威胁道路施工的质量和人们的生命财产安全。尤其是近年来,道路桥梁设计在施工作业中所体现出来的问题也越来越明显,这就要求相关部门必须引起足够的重视来加强管理,通过科学合理的道理桥梁施工设计来加强质量控制和确保人们的生命安全。下面文章则就道理桥梁设计中具体的实际应用进行重点分析和讨论,希望通过文章的论述可以为相关人员提供一定参考意见,并真正意义上推动我国道路桥梁作业的发展。

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

摘要： 社会经济的发展使我国道路桥梁建设技术和建设水平也获得了迅猛提升,在道路桥梁设计过程中加入结构化设计有利于为后续道路桥梁的施工奠定坚实的基础,有效提升道路桥梁建设的安全性、承载能力以及桥梁的耐久性能。论文主要针对道路桥梁设计中结构化设计的具体应用情况进行探讨,希望能为道路桥梁设计工作提供一定的参考。