教学课程资源库 更多>>

关键词： 形式化   描述逻辑   类图   元模型  

摘要： UML是一种半形式化的语言,它缺乏精确的形式化语义,难易保证UML模型的一致性。描述逻辑是一种知识表示的形式化语言,具有强大的知识表示和推理能力。针对UML模型的形式化问题,提出基于描述逻辑的形式化方法,分析类图元模型元元素与描述逻辑ALCUQI的对应关系,提出基于描述逻辑ALCUQI的类图元模型形式化方法,给出类图元模型转化为ALCUQI知识库的正确性证明。

关键词： 地铁   深基坑   围护结构   曲梁支撑  

摘要： 受地面环境的影响,市区内明挖深基坑的平面布置形式逐渐向复杂多边形方向发展。由简单条线形杆系内撑组成的传统围护结构在该类基坑中应用时,由于各种施工条件的限制,将难以付诸实际。从复杂深基坑平面布置形状特点、设计方案的可实施性、施工过程的安全性和施工组织的便捷性角度出发,提出了一种适合于该类复杂深基坑特点的曲梁式环撑围护结构体系,并依托实际工程背景,对该种围护结构体系的构成、支护方案特点、结构检算方法及具体设计参数等进行了详细阐述,最后通过现场监测结果对设计方案的可行性进行了验证。

关键词： 课程体系   CDIO工程教育模式   项目化   职业素养  

摘要： 根据信息化产业和软件行业对软件专业人才培养的要求,我校从培养应用型和创新型人才的角度出发,对软件工程专业的课程体系进行了一系列的改革,借鉴CDIO工程教育模式,构建了理论课程体系、实践课程体系和创新课程体系高度融合的三位一体的课程体系,并对教学内容进行了层次化、模块化、阶梯式项目化建设。通过课程体系的创新改革和建设,学生的工程实践能力、创新能力、职业素养都得到了极大的提高。

关键词： 软件工程   培养模式   校企融合   工程创新  

摘要： 通过分析高校软件工程人才培养模式问题,结合行业、企业的人才需求情况,提出软件工程人才在培养模式上的改革思路和改革措施,强调企业在工程人才培养目标定位、教学实施、就业等育人过程中的作用,明确只有校企深度融合才能培养出实践能力强并具有创新意识的软件工程人才。

关键词： 实践教学体系   软件工程   新工科  

摘要： 分析了新形势下新工科人才培养的需求,以地方高校、民办高校的软件工程专业办学为例,针对学生实践能力培养问题,构建软件人才实践能力培养路线,研制产教协同的实践教学支撑资源池,形成实践教学新体系。实践证明,收到良好效果。

关键词： 图形处理器   纹理映射   纹素采样   纹理过滤   纹理压缩  

摘要： 纹理贴图操作是图形处理器必不可少的功能。为了提升纹理贴图操作的执行效率,提出一种能够集成到3D图形绘制引擎内部的多模式并行处理硬件专用纹理引擎。根据1D、2D、3D和CUBE的纹理映射参数,包括纹理的尺寸、纹理的维度、纹素的内部格式、过滤方式和深度比较模式等,并行处理结构能够对4个同时到来的纹理请求的16组数据并行实施多模式的纹理采样、纹素数据格式转换和纹理过滤等功能,显著提升了纹理贴图操作的执行效率。基于Xilinx Vertex6xc6v1x760构建了FGPA原型系统进行了功能验证和性能评估。测试结果表明,并行架构的硬件纹理引擎在SMIC 40 nm工艺下,工作主频可达270 MHz,绘制帧率在512×512分辨率下平均可达35.5 fps(帧每秒),完全满足嵌入式系统对实施渲染的需求。

关键词： 面向对象语言   程序设计  

ISBN: (数字)9787568258111 ISBN: (纸本)9787568258111

摘要： 本书通过案例《图书借阅系统》贯穿始终，让学生掌握面向对象程序分析设计的过程，并学会用ROSE建模工具创建UML图和图中模型元素。最后通过一个集课程资源共享、机考平台、论坛等实用功能于一体的综合实验-《网络学习平台》，帮助学生固化理论知识，提升实践动手能力。

关键词： 软件工程   教项驱动   实践教学  

摘要： 目前很多高校在软件工程教学多以理论教学为主,导致学生缺乏学习兴趣,缺乏动手实践能力,鉴于近多年的软件工程教学实践活动,以及与同学之间的沟通交流,在多年的课堂教学已经初步尝试,以理论教学+项目实例剖析+小组项目实践+阶段评审形式进行教学,在近年教学中,已经取得了明显的实效。