教学课程资源库 更多>>

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

摘要： 道路桥梁是我国交通系统的重要组成部分,在我国经济发展中发挥着非常重要的作用。随着我国交通工具的数量逐渐增多,道路桥梁的使用寿命不如人意,如何提高道路桥梁的使用寿命引起了人们的高度重视。为了延长道路桥梁的质量,从道路桥梁的设计开始就要引起更高的重视,将结构化设计运用到道路桥梁的设计中,可以有效的提高桥梁的质量。

关键词： 微观机制   语法   系统   方药   配伍规律   中药配伍   形式化方法   临床应用  

摘要： 中药的理论与实践的精彩之处在于配伍，配伍的规律集中在方剂，药对是基本的配伍形式，是研究配伍规律的理想切入点，而药性则是体现中药配伍规律的理论表述角度。本项目以经方药对为研究载体，以语法的暗喻（中药为字，药对为词，方剂为句，方剂的临床应用为文章，药性与功效所表达的规律为中药语法）为指导思想，利用实体语法系统的形式化方法，构建药对配伍中客观存在的中药语法系统，并从分子层次研究配伍规律的机制，从而为揭示中药配伍的宏观和微观机制提供基础和工具。

关键词： 孟加拉扇   若开盆地   深水沉积体系   结构单元   沉积演化  

摘要： 利用多个地震数据体的地震反射特征,分析了孟加拉湾若开盆地深水沉积体系的不同沉积结构单元类型(峡谷、水道及水道复合体、天然堤—漫溢沉积、朵体以及块体搬运沉积)的典型地震响应特征、及其发育的位置,构建了研究区陆架—陆坡—盆底的沉积结构单元演化模式。研究表明,一个深水沉积体系垂向上自下而上的组合样式为:底部块体搬运沉积及厚层大规模朵体沉积,上覆水道复合体沉积,之后为水道—天然堤复合体沉积、以及一些小规模朵体沉积,顶部为薄层深海泥岩沉积。横向上自陆架向深海盆地的发育模式表现为:陆架/上陆坡峡谷—上陆坡侵蚀型水道—下陆坡侵蚀沉积型水道—沉积型水道—盆地朵体。

关键词： ABAQUS   损伤因子   二次开发   性能评价  

摘要： 根据《高层建筑混凝土结构技术规程》(JGJ 3—2010)中的结构抗震性能设计,结合《混凝土结构设计规范》(GB 50010—2010)中的混凝土本构关系,针对多高层混凝土结构,提出基于损伤的钢筋混凝土梁柱构件、剪力墙构件和钢管混凝土构件的抗震性能评价方法。通过ABAQUS软件的二次开发功能,实现应力-应变层次上的抗震性能评价标准的应用,并通过工程实例验证评价标准的适用性。

关键词： 导师制   应用型   人才培养  

摘要： 民办本科高校是国家高等教育的重要组成部分,生源质量相对国办高校有一定差异,学生自主能力差,学习热情不高,为培养具有社会竞争能力,符合企业要求的人才,需要良好的措施解决问题。文章提出一种专业导师制的人才培养模式,具有一定的实效性,对民办本科高校的应用型人才培养具有指导和借鉴作用。

关键词： 编译原理   安全关键嵌入式软件   形式化方法   课程改革  

摘要： 模型驱动开发方法和形式化验证技术逐渐成为安全关键嵌入式软件设计与开发的重要手段,其中模型转换、代码自动生成等技术都是编译原理知识的具体体现。本文分别从理论教学、课程设计及研究型教学3个方面介绍了笔者关于"编译原理"课程教学模式和方法的一些探索。经过近一年的教学改革和实践,取得了较好的教学效果。

关键词： 旧货交易   JSP技术   系统设计   UML建模   SQL   Server数据库  

摘要： 以现有的校园旧货交易系统为背景，分析了高校旧货交易系统的意义。采用UML进行需求建模，设计了买家子系统的用例图、整体功能结构图等。基于JSP技术进行开发，实现了交易系统的商品管理、购物车、留言板、求购信息的发布等功能。实际应用表明，系统达到了需求分析的目标，使得旧货物品在校园内多次使用和流通，减少了浪费，

关键词： UML建模   驾校学员   培训管理   信息系统   概要设计  

摘要： 随着汽车的广泛普及,越来越多的人开始走进驾校学习驾驶。传统的驾校管理模式办事效率低、耗时耗力已不能满足现实的需要,驾校管理系统代替传统人工管理已势在必行。本文通过使用统一建模语言(Unified Modeling Language,UML)中的包图对软件进行描述和构造。

关键词： 形式化方法   高阶逻辑   应用专题   定理证明器   程序理论   数学方法   研究成果   代数的   计算机科学   保障系统  

摘要： 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.

关键词： 工作过程化   课程体系建设   教学改革  

摘要： 在国家引导部分普通本科高等学校向应用型转型发展的情况下,专业课程教学体系必须由学科体系向工作过程体系(即行动体系)转变。姜大源教授所提出的"工作过程系统化课程方法"就是解决这一问题的有效途径之一。以软件工程中的《.NET平台和C#编程》这门课程为试点建立基于工作过程化课程体系授课方式。