课程文献中心 更多>>

关键词： 加法   减法   算法  

摘要： 加法和减法是小学数学中基础的内容之一,它是学生学习运算的起点,学生对这部分内容掌握得如何将直接影响以后的计算学习。因此加法和减法教学一直是老师极其关注的课题。

关键词： 小学数学   数的运算   数学思想   数学方法  

摘要： 数学是学习的基础,是学生成功的基础。小学数学教学中,"数的运算"是关键。数学学习,需要掌握数学思想、数学方法。因此,"数的运算"中应渗透数学思想、数学方法,提高学生的运算能力。文章就"数的运算"中渗透数学思想方法的实践进行研究,以期共享。

关键词： 整体代换   简化运算  

摘要： 指数幂的运算虽在初中数学中已经出现,但教材中没有对它"深究".而在高中数学中,指数幂的运算是不可回避的问题,因为它是研究指数函数的前提.掌握有理指数幂的运算方法和技巧,可以为进一步学习指数函数打好基础.具体说来,有以下几种方法:一、活用完全平方公式指数运算与根式运算,从本质上看都是实数运算,因此离不开对实数运算公式尤其是完全平方公式的灵活运用.

关键词： 西部农村   小学三年级   运算能力  

摘要： 运算能力主要就是指小学生能够掌握运算规律和计算法则进行正确运算的能力,其对于小学数学学习来说非常的重要。基于此,本文主要针对西部农村小学三年级学生运算能力的提升方法进行了详细的分析。

关键词： 自然语言生成   四则运算   应用题   概念图   内在评估  

摘要： 随着人工智能技术的高速发展,人们对自然语言理解、解析和生成的要求也越来越多。而对于四则运算应用题自然语言描述的方法或模型这方面的研究却是少之又少。基于这样的背景条件下,通过研究四则运算应用题文本的特征属性,从中归纳总结出从数字关系到应用题文本自然语言描述的方法或模型,这为本次研究提供了意义。对四则运算应用题文本自动生成方法的研究,主要先从对四则运算表达式开始的,总结出其表达式均由最小单元复合而成。之后研究应用题文本,发现其由一个个单句构成,分析每个单句构成词性,提取出施主、动词、受主、数字、量词。使用概念图表示法表示,同时利用其词性组成成份确定了语料库的构建内容。接着研究最小单元与单句的关系,可见每个最小单元对应两个单句和一个关系模型。有了这样的关系之后,便可通过分解表达式至最小单元,针对每个最小单元生成单句,最后再生成应用题。本次研究中,主要归纳总结了针对四则运算应用题的语料库、关系模型和以概念图表示法表示的模型。另外本次研究最大的创新点便是创建了在自动生成应用题的过程中必需遵循的算法规则。在应用题生成基础上,实现了一个算术表达式可生成多个应用题文本,为自动化生成应用题带来了极大的便利。自然语言自动生成的评估方法,主要包括内在评估和外在评估。本词研究选用内在评估方法,从客观评估角度,选用了ROUGE评估模型;再从主观评估角度,对生成的测试案例进行了人工打分。从评估结果看,此方法生成的应用题灵活性、正确性、可读性和连贯性都已达到人工应用题设计层次。总的来说,通过本次研究创立了从数字关系到应用题文本自然语言描述的方法或模型,为之后对四则运算应用题文本自动生成方法的进一步研究提供了方向。

关键词： 小学数学   简便运算   数学思想  

摘要： 在小学数学教学中，简便运算属于重要内容，小学阶段各项数值的运算，四则运算，均有简便运算思想的渗透。教师应以简便运算数学思想来启发学生主动思考，指导其掌握简便运算的方法，提高学生的运算能力。

关键词： 拓扑地图模型   图论   拓扑关系运算   空间几何运算   实体   几何   符号  

摘要： 空间数据模型是地理信息表达的重要方式,用于描述地理空间中实体及实体间相互关系,也是信息处理与管理技术平台的重要理论基础。空间运算是对信息本身及信息与信息之间按一定的规则进行的相应操作,它是地理信息系统中空间分析和数据处理的基础,在地理信息系统中提供基本的空间运算功能,将很大程度上提升其适用性和可扩展性。抽象的空间运算是一种数学规定,具体的运算规则及实现方法与空间数据模型有关,因此本文在拓扑地图模型基础上,对其空间运算中最基本的运算:拓扑关系运算和空间几何运算展开相关研究,主要工作如下:1、引入图论有关概念描述空间实体对应的几何对象间的关系。拓扑地图模型中的几何对象是空间运算的基础,通过将几何对象的点抽象成图中顶点集的顶点,点之间的关系抽象成图中边集的边,并用邻接矩阵表示顶点与边之间关联关系,实现矩阵对几何对象间关系的表达。2、提出计算几何与结点分析相结合计算拓扑关系的方法。几何计算会产生点结点或线结点,通过对每个结点度和连通数的计算,来分析结点的结构,从而得到具体的拓扑关系,并以此为基础,提供了基于维度扩展的九交模型中点、线、面间各种拓扑关系在拓扑地图模型中的具体判断方法。3、研究了数据从一般数据模型向拓扑地图模型转换的方法,并利用转换后的顶点集、边集、关联关系及几何图形重构完成空间几何运算。针对不同的数据情况,分析了相应的模型转换方法,在完成模型转换的操作后,对不同的空间几何运算,设计了不同的运算过程,并得到相应的运算结果。通过实验验证,论文所提出的计算几何与结点分析相结合计算拓扑关系的方法正确有效,使用该方法不仅能够准确判断出多种拓扑关系的类型,而且可以明确其拓扑关系中的几何特性,如两对象相邻时,是以点相邻还是以线相邻等情况。空间几何运算方法合理,依据文中方法进行空间几何运算操作,可以得到预期的结果。

关键词： HXD3C   机车网络控制系统   主控制单元   QNX  

摘要： 随着我国铁路发展进入新纪元,电力机车已经基本实现国产化,对HXD3C型电力机车的车体以及各电气设备的制造技术已相对成熟,但是作为关键性部件的主控制单元MCC(Main Control Center),只能进行生产制造和故障检修,并不具备研发、创新的能力。机车网络控制系统是HXD3C型电力机车的重要组成部分,运行状态关系着行车的安全与稳定。主控制单元MCC作为机车网络控制系统的控制核心,具有控制、监测等功能,对机车网络控制系统的性能起到了决定性作用。因此,研制具有自主知识产权的主控制单元MCC是全面实现HXD3C型电力机车全面国产化进程中的关键。本课题主要工作内容如下:(1)简要分析机车网络控制系统中常用的几种现场总线基础之上,对HXD3C型电力机车网络控制系统的系统结构及特点、组成及功能进行了探讨,并深入研究了 CAN、I2C和CPCI总线的构成及原理,为后续主控制单元MCC的硬件设计奠定了基础。(2)通过对主控制单元MCC的功能、对外接口和硬件分析,将其划分为五个功能模块,完成硬件平台设计;分析STPC Atlas作为主处理器的原因,并对其控制子板的参数进行配置;完成数字输入子板、模拟频率输入子板的信号输入电路及其微处理器外围电路的设计。(3)分析嵌入式实时操作系统QNX作为主控制单元MCC软件平台的优势,完成主控制单元软件平台的镜像文件封装与移植;完成QNX下主控制单元MCC硬件驱动设计并举例USB驱动设计。(4)依据主控制单元MCC所需实现功能,完成软件编写工作,并对其主任务流程进行分析;对HXD3C型机车网络控制系统测试平台的人机界面进行设计,并在Qt下进行实现;在搭建的HXD3C型机车网络控制系统测试平台上,通过人机界面对主控制单元MCC进行功能性测试,结果表明本设计符合HXD3C型电力机车车载主控制单元MCC的基本要求,实现了主控制单元MCC的功能,为实现HXD3C型电力机车全面国产化打下了一定的基础。

关键词： UVM   DSP   HDL   FPGA   功能验证   全定制  

摘要： 近年来随着人工智能、物联网、大数据加速、科学计算等应用场景的飞速发展,使得业界对于数据实时处理能力的需求日趋增加。现场可编程逻辑门阵列（FPGA）以低成本、可编程及并行运算等突出优势,在新领域中得到了广泛的应用,这主要依赖于FPGA芯片中嵌入式的可编程DSP运算单元实现了大量的数据运算。DSP作为FPGA芯片中的高性能运算单元,为了获得更好的性能、更紧凑的版图面积、更低的功耗,业界常采用传统的全定制方式对其进行设计。而全定制设计中的功能验证在验证效率、激励完备性、评估验证进度等方面存在诸多不足,导致全定制DSP模块功能验证已经成为了制约FPGA芯片能否如期上市的关键因素。然而目前对于全定制的功能验证,业界并没有统一的解决方案。本课题基于实习公司的FPGA芯片项目,为了应对传统全定制设计时功能验证带来的困难和挑战,以提升仿真验证效率和验证质量、准确评估验证进度为目标,提出了一套针对全定制DSP运算单元完整的功能验证方案。本文首先通过深入研究FPGA芯片中的全定制DSP模块的架构和验证技术,提出了一套完整的全定制DSP功能验证方案和与验证方案配套的用来定量评估验证方案优劣的评价指标。接着本文对全定制DSP模块进行了行为级建模,并提出了针对全定制电路的行为级模型和SPICE网表之间的等价性检查方案,基于该方案对DSP运算单元进行了行为级的等价性检查,从而为后续的DSP运算单元的验证提供了基础支持。然后基于本文提出的全定制功能验证方案,结合当前主流的半定制功能验证策略和UVM验证方法学,完成了DSP运算单元的验证组件的开发和平台的搭建,并编写测试用例为DSP运算单元的功能点构建了验证场景。最终对功能覆盖率和设计缺陷数量增长曲线进行分析来衡量验证的完备性,确保最终功能覆盖率达到100%且设计缺陷数量增长曲线趋于收敛。该DSP运算单元已经被多次集成在实习公司的FPGA芯片中,截止目前,其中一款已经成功流片,在流片后测试中未发现明显的功能缺陷。经过分析比较两种不同验证方案下各个指标的数据结果,最终可以得出:与传统全定制功能验证方案相比,采用本文的全定制功能验证方案可以将激励产生时间缩短66%,验证效率提升33.3%,并且可以通过使用功能覆盖率和设计缺陷收敛曲线来对验证进度进行量化评估。该全定制功能验证方案对于目前业界解决全定制设计中功能验证中的困难和挑战具有一定的指导意义。

关键词： 核心素养   初中数学   运算能力  

摘要： 随着教学改革的不断发展,现在的教学模式越来越重视培养学生的核心素养和整体的综合能力.本文就围绕核心素养的教学要求的前提下,进行详细介绍,如何能够培养学生在初中数学学习的过程中具备良好的运算技巧和运算应用能力.