教学课程资源库 更多>>

关键词： CDIO   一体化   多元化   多层次   创新实践教学体系  

摘要： 实践教学是理论联系实际的重要环节,对学生工程意识和创新思维的培养,以及动手能力、分析问题、解决问题能力的培养具有非常重要的作用。本文运用CDIO方法学,打破以知识结构为主线的课程体系,制订用项目引导课程,体现多元化、多层次的一体化创新实践教学体系。阐述在课程、项目、毕业设计、课外活动等一系列活动中,培养学生达成所需能力的具体实施路径,改革实践体系的评价要素,建立以能力培养为导向的多元实践考核体系。采用基于项目的教学策略,实施案例式、启发式、讨论式等混合教学方法。实践表明,该教学体系切实加强了实践环节设置的针对性和科学性,提高了人才的培养质量。

关键词： 分离逻辑   形式化方法   双向诱导推理   程序验证  

摘要： 随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩展程序的主流验证技术之一.文章阐述分离逻辑的研究背景、理论基础以及验证原理,详细介绍其对存储空间抽象描述的思想,通过实例说明分离逻辑的推导策略.特别地,介绍了双向诱导推理对循环链表程序片段的验证过程,展现了在未知系统当前状态的情况下,分离逻辑验证未完成代码,甚至代码片段正确性的可行性.文章还综述了诸多基于分离逻辑的各种拓展,以增加对分离逻辑研究状况的了解.

关键词： 结构化   具象模型   抽象模型  

摘要： 采用化学学科核心素养视角下的结构化设计策略和建模策略,将物质质量到微观粒子数的计算作为一个结构化的整体,从宏观具象建模迁移到微观抽象模型,引导学生基于最近发展区基础上建构概念,内化相关概念间的关系,对突破难点起到良好效果。

关键词： 形式化方法   Event-B   Pro-B   Rodin   逻辑分析  

摘要： Event-B是国外新兴的一种通过形式化方法,主要用于对系统功能性需求建模并验证,在Rodin工具集中,通过给出环境、变量、常量和相关事件,对每一个抽象需求建模。其后,使用Pro-B animator进行验证。它通过逻辑分析产生验证规约并且自动抛除无关紧要的验证规约来取代传统的编译,解决了传统的软件工程过程中系统分析与设计阶段非形式化方法带来的低效率,错误率高,不易纠错,不灵活,编码复杂以及常常不够符合实际的缺陷。以账单分摊系统为例,详细描述了Event-B方法的需求建模和规范化验证的思路和过程方法。

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

摘要： 交通基础建设对于城市经济的发展以及人员的流动至关重要,由此可见分析道路桥梁设计是十分必要的。本文将从道路桥梁设计原则、道路桥梁设计中应用结构化设计的必要性、道路桥梁设计中结构化的可靠性、道路桥梁应用结构化设计技术要点四个方面进行详细的分析,意在促进我国道路桥梁的发展建设。

关键词： 面向对象   软件测试   RRT  

摘要： 软件测试是软件技术人员为了保证软件的开发质量,对软件进行的一系列测试,而面向对象软件测试就是通过将其应用在软件工程中,促进软件的维护、设计和开发。笔者针对现有的软件测试技术进行研究,以RRT技术为例,对其在计算机软件测试的中的实践情况进行探讨。

关键词： 形式化方法   信息流验证   可信执行环境   TrustZone  

摘要： 基于可信硬件构建安全关键应用的可信执行环境(TEE),是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,并建立了安全通信通道,用户层可信应用不能直接访问非可信环境的软硬件资源,只能通过内核层的安全通信通道API与外界通信,因此整个TEE的信息流不再受用户层影响。该文进一步提出了TEE形式化模型(TEEFM),借助Coq辅助证明器验证了TEE信息流无干扰性并证明了TEE安全监控模块不存在整型溢出、程序返回地址异常等资源边界类软件漏洞,以此保证了TEE的自身安全性。

关键词： 工程教育认证   持续改进   软件工程实践   软件能力   课程改革  

摘要： 针对工程教育认证持续改进的理念,结合软件工程实践课程现状,提出在工程教育认证持续改进中,加强软件工程实践课程对学生软件能力的培养,阐述以解决复杂工程问题的软件能力培养为核心的软件工程实践课程改革措施,最后通过学生的课后反馈和能力评价说明课程改革的意义和效果。

关键词： 军事概念建模   防空反导系统   UML   Petri网  

摘要： 以某型防空反导系统为对象,依据系统的作战流程从用例图、类图和活动图等方面对其进行了概念建模,并结合Petri网支持评估验证的特点,实现了从UML模型到Petri网模型的映射与转换,并从可达性、合理性、自由选择等多个方面对建模的过程进行了分析与验证,为下一步基于某型防空反导系统的实体仿真及优化研究铺垫了基础。

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

摘要： 道路桥梁设计作为我国交通系统中重要的组成部分,其对于我国经济的发展有着至关重要的影响。因此必须要加强对其设计进行管理,尤其是其相关结构上的设计管理,在实际的设计中将结构化设计有效的应用到道路桥梁设计中不仅可以有效地降低其施工建设成本,还能对其整体施工质量进行有效地提升,进而为我国交通系统的发展完善打下良好的基础。