教学课程资源库 更多>>

关键词： 软件工程   应用型人才   项目案例   实践教学  

摘要： 结合国家对软件人才的需求,针对软件工程专业实践教学现状,分析了三本院校软件工程实践教学的问题,针对应用型人才培养的目标,该文从课程教学计划的制订、实例教学、实验教学、社会实践教学几个环节进行了研究,提出了相关的实践教学理论及改革措施。

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

摘要： 在我国现阶段的社会发展中,面对交通问题最大的关键应该是道路桥梁建设与设计,道路桥梁对于交通运输的影响是至关重要的。在进行道路桥梁的结构化设计当中,我们要考虑一个问题,那就是如何更好的将道路桥梁自身的特点更好的结合实际,然后设计初步方案,这样是可以保障设计方案的安全性、适用性、经济性,同时还可以确保实现道路桥梁工程的使用价值,确保促进经济效益。本文将对道路桥梁设计中结构化设计的应用进行探析。

关键词： 优秀教育工作者   教坛新秀   小学教育   中学高级教师   结构化设计   学科带头人   副校长   课堂教学   教学进程  

摘要： 孙敏,中学高级教师,常州市第二实验小学教育集团副校长,常州市王冬娟小学数学名师工作室首届成员,第二、三届工作室导师,江苏省教科研先进个人、常州市优秀教育工作者、常州市数学学科带头人。她悉心研读数学课程标准,整体梳理教材内容,长程策划教学进程,结构化设计教与学的互动过程,使课堂教学逐步呈现出灵动、简约和融通。

关键词： 信息安全专业   软件工程实践   教学改革  

摘要： 软件工程实践是信息安全专业的一门重要课程，是培养合格信息安全工程师的一个基础保障。但针对它的教学研究一直较少。对此该文以安徽大学为例，在分析现有软件工程实践教学不足的基础上，提出从设计面向信息安全专业的实践教学内容；导人具有信息安全特点的实践教学方法；采用突出能力化的实践考核方式和建立基于信息安全专业的创新型实践教学团队等多个方面进行改革。后续试点表明：新的实践教学体系确能有效提高学生工程实践能力和创新能力，为培养高素质的信息安全人才奠定了坚实的基础。

关键词： 建筑地下室   顶板腋大板   体系结构   设计方法  

摘要： 地下建筑主要用作车库、购物中心、机房设备、人防工程等。为满足使用要求,一般会使用梁板式作为主要的建筑结构。论文结合工程实例,通过分析加腋大板的结构原理和优势,对建筑地下室顶板加腋大板体系结构设计的方法进行探讨。

关键词： 软件自适应   自适应软件   软件建模   形式化验证  

摘要： 软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.

关键词： ASK协议   形式化方法   验证   通信顺序进程  

摘要： 安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种复杂的无线移动安全协议-ASK协议进行建模和验证,针对ASK协议所存在的缺陷,我们提出了改进之后的协议,并对改进后的协议进行了验证,结果表明,新的协议是安全的,是能够抵御重放攻击的。

关键词： 电子商务   面向对象   网上支付   UML  

摘要： 将面向对象建模语言UML引入网上支付系统的设计和实现过程中,以用例图表达系统需求,以设计类图、顺序图表达系统的结构逻辑及行为逻辑,利用UML用例分析技术,构建UML的静态模型和动态模型,实现需求分析、数据抽象、设计,实现支付系统的安全及高效性。

关键词： 多机器人   混合体系结构   多DSP  

摘要： 本文结合机器人发展的不同时期所采用的不同体系结构,提出了一种基于多DSP并行处理的多机器人混合体系结构。该结构应用DSP硬件来支撑多机器人混合体系结构,以减少该体系结构的设计时间,保证其通用性、实时性和可靠性。通过对已有的几种不同体系结构的实验数据对比,说明了该体系结构的优越性,也为多机器人协作与控制系统的设计提供了理论基础。

关键词： 3D-MeteoGIS   体系结构设计   功能设计   数据访问设计   气象数据组织   气象标绘   气象数据绘制  

摘要： 针对三维GIS的发展应用以及气象服务对于高效决策和直观可视性的要求,开发了具有自主知识产权的三维气象GIS平台。本文从体系结构、功能、数据访问及组件方面介绍了系统的设计方法,并详细论述了平台的关键实现技术,包括气象数据组织、气象标绘、二维图层和三维体绘制技术。该系统能够高效加载海量的二三维气象数据,并支持气象标绘和分析等功能。该系统运行稳定,可视化效果突出,为气象数据处理、数值预报、气象模拟仿真等气象服务搭建了一个坚实的三维基础平台,具有重要的应用价值。