教学课程资源库 更多>>

关键词： 论文管理系统   高效率   在线投稿  

摘要： 随着计算机和互联网技术的迅速发展,网络将高校内部的学术论文汇聚到一起,在线处理稿件己成为可能。各高校内部迫切需要规范化的学术论文投稿在线系统来满足学术论文投稿工作的高效率进行,系统应用UML分析设计B/S结构的系统模型,实现在线投稿、信息实时发布、信息储存量大、处理速度快捷、数据准确直观、查询检索灵活方便、成本降低、可视化等具体功能。

关键词： 形式化方法   逻辑系统   验证技术  

摘要： 近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。

关键词： 研究生   设计型项目驱动   软件工程实践教学   教学改革  

摘要： 介绍设计型项目驱动教学法的原理,提出在传统案例式实践教学中引入设计型项目驱动思想,以创新软件人才培养模式为指导,以教师为引导、学生为主体,构造典型实用的软件项目案例簇,进行分阶段教学设计,引入公开答辩考核方式,从而实现软件人才的动态培养。

关键词： 创新实验   计算机类专业   高校课程   计算机教育   人才培养   形式化方法   教指委   引导作用   电子信息   领军  

摘要： 桂林电子科技大学(简称"桂电")是一所电子信息特色鲜明的地方院校,建校50多年来,为国家、行业和地方培养了大批人才,特别是桂电计算机专业,创建30多年来成绩斐然,在国内外享有盛誉。作为桂电校长、教育部计算机类专业教指委副主任,一位计算机学科的领军人物,古天龙教授一直致力于创新创业人才的培养,倡导创新教育,推动成立创新学院、国家级人才培养模式创新实验区,创建了广西高校课程联盟"广西漓江学堂",为国内地方高校的应用型人才培养起到了引导作用。岁末年初,正值国家"十三五规划"开启之际,带着对桂林电子科技大学未来更美好的期待,《计算机教育》杂志主编奚春雁(以下简称奚)在山水旖旎的桂电校园里专门拜访了古天龙校长(以下简称古),下面是他们的对谈。

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

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

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

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

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

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

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

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

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

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

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

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