教学课程资源库 更多>>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

关键词： 结构化面试   实用性研究   公务员招考   编制质量   领导干部   结构化设计   效度   答题情况   素质测评   干部标  

摘要： 结构化面试是指对面试题本内容、测评要素、评分方法、分数计算等内容进行系统的结构化设计的面试方式。它是目前各种招录考试中的一个重要环节,在公开选拔领导干部、竞争上岗、公务员招考等各类考试中被广泛运用。面试题本是考官评价考生答题情况的重要依据,招考录用考试面试的信度与效度,在很大程度上取决于面试题本的内容、试题的设计和编制质量。因此,加强结构化面试题本设计的科学研究与实用性研究十分重要。

关键词： 精益造船   精益生产计划   UML建模   系统分析与设计  

摘要： 精益船舶生产计划是船厂组织精益生产活动的直接依据,其系统开发与应用有迫切需求。由于精益船舶生产计划管理流程复杂,传统的结构化设计方法难以完成系统的分析与设计。应用UML技术对复杂的船舶生产计划系统进行分析与设计。首先,分析精益船舶生产计划的特征,提炼系统的功能需求;然后,结合精益船舶生产计划管理的业务流程,划分系统功能模块并理清系统工作流;最后,对系统进行静态建模和动态建模,完成整个系统的设计。