教学课程资源库 更多>>

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

摘要： 在桥梁工程中,结构化设计是一种应用较为广泛的方法,能够结合桥梁目标的实际情况和特点,利用工程模型,增加设计的可靠度,使得设计方案更加切合实际,便于进行施工。因此,为了增强桥梁的安全系数,提升其耐久性,应该加强桥梁的结构化设计。基于此,文章就结构化设计在桥梁设计中的应用进行简要的分析,以期能够提供一个有效的借鉴,从而更好的促进桥梁建设事业的发展。

关键词： 软件工程   改革与实践   教学模式   培养模式   校企合作  

摘要： 该课题旨在通过对面向区域产业的软件工程专业的教学方式方法、教学内容、培养模式的改革创新.教学改革的主要目的是为了提高武汉学院计算机专业师生的整体竞争力,对于学生,应培养他们的实践能力和创新精神,并提高他们探究问题和解决问题的能力,对于教师,应提高自身的人文素养和科研精神.

关键词： DoDAF   体系结构   飞机   标准系统  

摘要： 飞机装备研制复杂性的增加,对标准系统能力的要求不断提升,迫切需要构建通用飞机标准系统体系结构,为特定型号飞机标准系统的开发提供标准框架,满足飞机全寿命周期的标准需求。本文借鉴DoDAF的体系结构设计思想,综合分析飞机装备对标准系统的实际需求,提出飞机标准系统体系结构的设计思想及开发流程,建立其体系结构的相关模型,为飞机标准系统的设计提供指导。

关键词： 软件工程与项目管理   分组教学选题   创新与实践  

摘要： 在软件工程与项目管理课程教学中，针对如何提高学生的课堂学习兴趣和学习效率，本文提出了一种基于分组的教学方法，可以有效地提升课堂效果。即“固定分组、完善作业”的方法。

关键词： 多Agent系统   形式化方法   政策建模   社会承诺   模型检测   责任政策  

摘要： 为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。

关键词： 应用型   “双主线”课程体系   建设研究  

摘要： 如何实现以学生未来就业岗位需求为导向,以培养具有良好道德品质、具有勇于创新精神、具有高度社会责任感、理论知识扎实、专业能力全面、实践能力实出、具备继续学习能力的高素质应用型、技术技能型、复合型人才。以该院软件工程专业为例,向应用型技术技能型转变过程以此专业的课程体系建设为突破口,建立以岗位能力驱动的"双主线"的课程体系。

关键词： “互联网+”   创新创业   离散结构   实践教学  

摘要： "互联网+"时代的来临催生了创新创业型高端人才的巨大需求缺口,软件工程专业的内禀特征决定其必然要在"双创"人才培养上有所作为。承载着理论与应用创新思维培养的离散结构课程应该在实践教学环节另辟蹊径,助力"双创"人才的培养。文章以正向融入"互联网+"的教学改革思维,介绍吉首大学软件学院在离散结构课程教学在实践教学环节改革实践,并对实施的过程进行深度剖析。

关键词： 形式化方法   可靠度   元启发式搜索方法   水波优化算法  

摘要： 形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.

关键词： 计算机体系结构   大数据时代   教学模式   多层次实验   创新  

摘要： 随着大数据时代的到来,"计算机体系结构"教育也呈现出前所未有的发展趋势。文章首先分析了大数据时代下计算机体系架构的发展及其特点,然后针对目前"计算机系统结构"在教学研究中存在的问题,就教学内容和教学模式的改革进行了探讨,最后阐述了大数据时代计算机体系结构课程的特色。

关键词： 校企合作   实践教学体系   实践平台   评价体系  

摘要： 文章针对软件行业人才"两难"现象,从教育的大背景、软件工程学科特点、经济社会对软件人才需求、地方高校工程应用型软件人才培养4个方面说明校企合作培养工程应用型人才是实现地方高校转型的有效途径。并以延安大学软件工程专业实践教学改革为例,从实践教学体系、实践教学平台、实践教学评价体系3方面提出了具体实施方案,以期不断提升地方高校软件工程专业人才培养质量。