教学课程资源库 更多>>

关键词： 形式化方法   程序验证   分离逻辑   Coq   交互式定理证明  

摘要： 大型程序的验证是一项十分复杂但又极其重要的工作。本文以使用Hoare风格的分离逻辑验证C程序为目的,在基于Coq的现有的验证系统中,添加分离蕴含以扩展其分离逻辑断言语法,使得分离逻辑断言可以更灵活的描述程序状态。此外,我们开发了一些相关的自动证明策略,尽可能的通过减少人工证明来提高验证效率。

关键词： 给水排水工程   可靠性指标   分项系数   调整建议  

摘要： 我国工程建设可靠度标准体系已经历了35年的探索,1984年颁布《建筑结构设计统一标准》(GBJ 68-84),在大量理论研究和对比分析的基础上,提出了永久荷载和可变荷载的分项系数分别取值1.2和1.4的方案,完成了安全系数法向分项系数表达式的合理过渡。《给水排水工程构筑物结构设计规范》(GB 50069-2002)和《给水排水工程管道结构设计规范》(GB 50332-2002)也相继建立给水排水工程结构设计分项系数表达式,以及相应分项系数指标体系。随着我国国民经济的飞速发展,国家"一路一带"经济政策的推出,工程标准与国际接轨的迫切需求,给水排水工程结构设计分项系数指标体系的调整已不可避免。通过对以往工程结构可靠度发展足迹的探寻,本文提出指标体系调整的一些建议。

关键词： 本硕联动   产学一体   软件工程   实践基地建设   建构主义  

摘要： 分析高校专业实践基地建设中普遍存在的工程实践教育困局,提出本硕联动的软件工程实践教学基地建设方法,以提升学生工程实践能力为目标,完善分别适用于硕士生和本科生的具体培养模式,强调基地所引入软件产品和工程项目的真实性和可行性以保证学生工程实践能力的培养质量,优化基地管理制度和师资建设方式以保障产学协同育人机制的持久有效,实现本科生、硕士生、工程师、指导教师多位一体,优势互补,研发相长。

关键词： UML   高速公路管理系统   MYSQL数据库  

摘要： 本文使用UML语言实现了高速公路管理系统的系统分析及系统建模。系统前台采用JAVA,后台采用MYSQL数据库。该系统对高速公路信息的管理更加方便、快捷。

关键词： 结构化设计   物质结构与性质   复习   疑难问题  

摘要： 简述了"物质结构与性质"模块教学内容及近几年全国理综卷该模块选做题的特点,提出了通过对复习内容和解题思路的结构化设计来提升"物质结构与性质"模块复习效率的策略,同时辨析了教学中的几个疑难问题。

关键词： 新工科   软件工程   实践教学  

摘要： 相对于传统的工科人才而言,新工科人才更注重实践、创新能力培养。基于新工科理念,通过把握软件行业发展趋势和产业政策,结合软件工程人才培养目标,提出“三层递进式”实践教学体系,从顶层设计上推进实践教学模式创新。以合肥工业大学软件工程专业为例,介绍其实践教学体系整体构建过程,将新工科教育理念贯穿于软件工程师培养全过程,旨在培养适应经济结构调整和软件行业发展的工程人才。

关键词： 数字化校园   结构化设计   系统构建  

摘要： 本文从数字化校园的基本架构体系分析入手,对数字化校园在中职学校中的具体应用进行论述。期望通过本文的研究能够对促进中职学校教学管理水平的进一步提升有所帮助。

关键词： 在线教育   教学改革   开放课程   混合式教学  

摘要： 近年来,在信息化大潮和慕课浪潮的推动下,我们依托"在线开放课程"等优质教学资源和"互联网+"等信息技术现代化教学手段,改变传统的教师与学生的交流模式,本文遵循CDIO"以学生为中心"、"在做中学"的基本理念,研究通过云平台建立课程共享资源库,对课程资源、教学设计、教学方法、考核方式等方面进行课程建设实践改革,开展《软件工程》在线开放课程建设探索。

关键词： 安全关键系统   机载软件   形式化方法   形式化模型   形式化分析   DO-333   DO-178C  

摘要： 安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。

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

摘要： 伴随着经济的不断发展,道路桥梁建设技术以及水平有了很大程度的提升。在道路桥梁设计的过程当中,就需要加入结构化设计,这样一来,能够提升道路桥梁的施工效率,加快桥梁施工开展进程,进而在一定程度上延伸道路桥梁的使用性能,从根本上确保整体质量。在这篇文章当中,针对道路桥梁设计中结构化设计进行了详细的探讨,希望为道路桥梁设计来提供一定的理论参考。