教学课程资源库 更多>>

关键词： 增材制造   激光选区熔化   超轻结构   金属零件  

摘要： 为解决金属超轻结构零件设计技术复杂、设计周期长、难添加蒙皮进行增材制造等难题,提出一种基于激光选区熔化增材制造工艺的金属零件自动超轻结构化设计方法:根据激光选区熔化工艺特点,编制程序将原始零件CAD模型自动转化为设定孔隙率的带蒙皮类蜂窝状超轻结构零件模型,且其数据可直接驱动设备实现零件增材制造。研究了带蒙皮超轻结构的构造形式及设计方法;探讨了合适的成型棱长及合理蒙皮结构形式;成功实现复杂零件自动带蒙皮超轻结构化设计及增材制造,所得零件孔隙率误差2.79%,表明能较准确按预期减重。该方法能根据原始零件CAD模型自动、快速地构建带蒙皮金属超轻结构零件模型,大大减轻该类零件设计负担及提高其实用性。

关键词： 钢铁生产调度   模型库   模型自匹配   模型自重构   UML建模  

摘要： 针对钢铁生产流程调度系统中的模型管理问题,采用面向对象的建模方法,结合钢铁生产调度的实际需要和模型库管理系统的一般规律,提出一种可根据实际生产调度问题自动生成求解模型的钢铁生产流程调度系统模型库的设计方案。结合现有的各种钢铁生产流程调度模型,将钢铁生产调度模型进行规范化、模块化转换,建立一套可实现模型自匹配和模型自重构的模型生成的机制,并使用生成的新模型和结合相应的算法对目标调度问题进行求解,通过对优化结果的仿真实验,验证优化模型的实用性和有效性,并通过UML技术对模型库系统进行建模。

关键词： 软件工程   实践教学   企业合作  

摘要： 在当今移动互联网时代的到来,给软件工程专业人才带来了全新的发展机会,也提出了更高的培养要求。多年的经验以来,校企合作一直是软件工程人才培养的主要途径。文章论述了在移动互联网时代,软件工程人才培养的特点和要求,当今校企合作培养的方式以及实际运行过程中遇到的相应问题,针对人才培养与企业需求相脱节的情况,提出了相关解决思路及方法。

关键词： 济南电网   人力资源管理   UML建模   信息系统   工作效率  

摘要： 为提高电力企业人力部门工作效率,实现内部资源整合,设计一款人力资源信息管理系统。结合济南电网人力部门实际,利用UML建模工具对系统功能进行分析;利用MVC模式对系统整体架构进行设计,降低各层之间的耦合性;利用Visual Studio 2008对开发环境进行部署;利用SQL Server 2012对数据进行管理与存储;采用C对系统各项功能开发。最后通过测试实现了对员工的考勤、薪资、绩效等方面的信息化管理,大大提供了济南电网的人力管理效率。

关键词： 校企合作   人才培养   实践教学   人才培养   软件工程  

摘要： 校企合作是学校培养高素质应用型人才的重要模式之一。本文探索校企融合下应用型软件工程实践教育模式的改革,寻求通过校内实践和校外实训的相互结合,培养和提高学生的实践能力、应用力和综合素质,培养工程型、应用型的高素质软件专业人才。

关键词： CDIO   校企联合   应用型   软件工程   人才培养模式  

摘要： 基于CDIO工程理念,以社会需求为导向,以校企联合为抓手,强调优化软件工程专业课程体系、实践教育体系和创新教育体系,阐述如何提高应用型软件工程专业学生核心竞争力和培养卓越软件工程人才,以形成定位准确和培养目标明确的应用型软件工程专业人才培养模式。

关键词： UML建模   软件测试   EFSM模型   Petri网   用例生成  

摘要： 针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构建,同时利用EFSM模型生成路径转换序列,借助Petri网的可覆盖性、可达性,将UML状态图转换为Petri网,再通过Petri网对上述转换的路径进行分析,从而消除了传统测试用例生成时存在的缺点,最后通过实验验证了该算法的严谨性和有效性。

关键词： 软件工程专业   实践教学体系   建设与实践  

摘要： 自从我国计委、财务部以及教育部在2001年12月开始联合批准35所高校试办示范性的软件学院以来,经过将近15年的经验积累,目前我够软件工程专业的人才培育已经走上正轨,并逐渐向培养更为强大的高精尖软件应用型后备人才所努力,可以说我国软件系列产业正呈现着大好发展趋势。众所周知,软件工程专业重点在培育创新型、具有更高层次、拥有实用性技能以及逐渐国际化的创新型人才,为现如今紧缺的复合型人才以及应用型人才补上缺口。文章将从建立完善的制度以保证软件工程专业实践教学体系的专业性入手,同时将课程设计的难点以及解决方式进行分析,进而延伸到学生在实践课程中学分的分配问题以及毕业设计的创作方面,提供给相关教育工作者参考。

关键词： 计算机联锁   安全需求   通用应用   形式化验证  

摘要： 铁路信号系统中的联锁系统对安全性要求极高,仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化,得到具体的安全需求后输入带归纳功能的布尔可满足问题(SAT)约束求解器进行验证,通过覆盖所有的实例、所有周期以及每个周期所有的状态空间,保证了验证方法的完备性。

关键词： 校企协同   软件工程   探索  

摘要： 校企协同育人是解决应用型软件人才培养与社会实际需求脱节的一种比较好的机制,但在实施过程中,容易流于形式,达不到应有的效果。本文结合实践经验,在校企合作的形式、内容和目标等方面,进行了比较细致地分析,并提出相应可行的方法。