教学课程资源库 更多>>

关键词： 大单元   布鲁姆   UbD理论   教研论文  

摘要： 大单元教学设计更注重教师根据学生心理认知的特征,从提高学生对知识点的系统性把握和对核心知识的角度入手,更加宏观地掌握知识点.对二元一次方程组单元教学设计的研究,利用布鲁姆教育目标分类学对目标进行叙写,根据UbD理论对本章进行单元教学设计,通过学历案落实目标,充分发挥大单元教学的实效.

关键词： 结构化设计   核心问题   初中几何   圆的有关性质  

摘要： 以圆的有关性质(第1课时)为例,提出从立意建构、整体协调、逻辑关联、知识生长四个方面对初中几何的核心问题进行结构化的设计策略,核心问题结构化设计着力于建构一个系统结构,促进学生走向知识整体关联的建构,灵活迁移应用、形成系统方法和思维,有利于学生在解决问题中学会灵活迁移应用知识,科学合理表达知识,发展数学语言.

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

摘要： 随着社会经济的高速发展以及城市化建设的持续深入,社会已经进入到了全新的发展阶段中,这也为建筑领域的发展起到了良好的促进作用,特别是在道路桥梁工程项目的实际阶段中,为了在根本上提高整体道路桥梁的承载力,优化道路桥梁的安全性以及适用性,就必须要针对道路桥梁设计过程中结构化设计模式展开深入研究,进一步明确结构化设计在道路桥梁设计所起到的重要作用,确保整体设计质量能够稳步提高。因此,文章首先对道路桥梁结构化设计应用原则与要求加以明确;其次,对道路桥梁结构化设计的重要性与特征展开深入分析;在此基础上,提出道路桥梁设计中结构化设计的应用措施。

关键词： 标准   结构化   数据库   标签  

摘要： 随着汽车标准体系不断完善和企业对标准符合性重视程度越来越高,传统的汽车标准查询系统越来越难以满足从业人员的查询需求,一种汽车标准结构化数据库应运而生。为了适应结构化数据库的使用特点,兼顾数据库对行业上各企业的普适性,同时便于数据库的原始数据加工和使用时的查询需求,本文研究了一种基于结构化数据库的汽车标准分类标签规则,并经过多批次标准数据处理过程试运行,取得了积极效果。

关键词： 安全关键软件   安全认证   形式化方法   嵌入式多核操作系统   时间确定性   功能正确性   形式化建模和验证  

摘要： 在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。

关键词： 高中数学   单元整体设计   结构化教学   教学策略  

摘要： “数学是一门‘关系学’”,作为数学教师自然要从数学内容、数学思想和数学方法的角度,寻找、判断和梳理数学中存在着怎样的关系,并在此基础上建立起关于结构化教学的大致思路.只有在单元整体设计的视角下,结构化教学才能真正演绎为实践策略;基于单元整体设计视角进行结构化教学,可以让学生在结构化学习的过程中建立起关于数学的整体认识.结构化教学策略可以阐述为:基于单元整体设计的结构化教学,首先应当通过教材的研究来确定结构化的表征;其次结合学生的认知特点和认知基础去预设学生的学习过程,尤其是学生认知结构完善的过程;最后通过数学知识的运用判断学生结构化学习的结果.

关键词： 单元习题   结构化   设计能力  

摘要： 近几年来,我们基于单元大概念及学生学情对教材编排结构进行整合重构、系统思考,关注了单元内容的结构化,却极少关注对教学习题评价研究。为更好探明单元习题设计中存在的真实问题,探寻单元习题设计问题背后的原因,本文从“问题的提出”“调研的方法”“调研的结果及分析”“对策与建议”四个方面来浅谈对结构化视角下实施单元习题设计研究的调查与思考。

关键词： T样条   非均匀有理B样条   计算机辅助设计   计算机辅助分析   计算机辅助制造  

摘要： 几何造型主要研究在计算机环境下几何模型的表示与设计,其是计算机辅助设计、工程和制造领域中重要的基础研究方向。当前工业制造中几何模型表示的标准是非均匀有理B样条(NURBS)。然而,由于张量积拓扑结构,NURBS在表示复杂几何模型时具有难以克服的局限性。T样条是一种新型兼容NURBS的自由曲面造型表示技术。由于克服了NURBS的多个重要的局限,T样条自提出后引起了学术界和工业界的极大关注。为了使国内外同行对T样条的发展历程和研究现状有一个较为全面的了解,对其进行系统综述。在广泛文献调研的基础上,对T样条的定义、基础算法,以及在计算机辅助设计、工程和制造中的应用进行归纳总结和详细分析,重点分析了这些算法的基本思想和原理,比较了其优点和不足。由于工业界对几何表示的精度和效率的要求越来越高,导致T样条的研究仍然不完善,还存在大量亟待解决的问题和可能的发展方向。

关键词： 高速公路   车载自组织网络   交通拓扑结构  

摘要： 智能交通系统(ITS)是基于电子信息与计算机技术、通信技术、物联网、移动互联网、控制技术、云计算、大数据、人工智能和先进的软件系统等,以提升交通运输的效率及服务能力和水平,提高交通系统的可靠性和安全性,减少能源消耗和对环境的污染,充分发挥出行者和决策者的主观能动性为目的而构建的交通系统。通过车辆间的通信技术,不需借助大量基础设施,即可改善行车环境和保障道路交通安全。本文提出了HAVIN架构的网络结构,阐述了其应用通信场景,解释了HAVIN分址和路由给予的形式,提出了各类车辆节点协议栈、基本的组件以及寻址及路由机制,旨在为智慧高速公路仿真实验提供理论依据。

关键词： 预警情报   智能推荐   UML   着色Petri网   CPN-Tools  

摘要： 针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、UML、Petri网等多种军事复杂系统建模方法,提出了采用UML和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过UML工具对智能推荐系统及其情报流进行了用例图、类图以及活动图等方面的概念建模,建立了规范化、统一化、可视化的模型,再凭借Petri网严谨数学分析以及其对复杂网络的强大建模能力,将UML模型映射为着色Petri网模型,实现了从内向外,从静态到动态,从模块化到系统化的循序渐进的建模过程。以X海方向XX联指,应对敌舰载机突袭任务为情况想定,利用CPN-Tools进行仿真,验证了预警情报智能推荐的着色Petri网模型具有可达性、有界性、公平性、安全性以及活性。上述验证结果,说明该模型是合理的,也说明使用UML和着色Petri网混合建模方法对预警情报智能推荐在联合作战中应用进行建模与验证是可行的,为下一步基于智能推荐系统的设计、构建和优化研究提供了科学性和可行性的支撑。