课程文献中心 更多>>

关键词： 计算教学   小学   数学课堂   计算能力   口算速度   运算方法   课改   正确率  

摘要： 新课改以来．我们在看到了数学课堂内发生喜人变化的同时也看到了另外一种现象：由于课改后对计算教学的目标进行了适当调整，降低了计算教学的要求．因此，学生进行计算练习的量少了．学生的计算能力下降了．具体表现为计算的正确率下降、口算速度变慢、简便运算方法不够灵活等等。针对这种情况．我们应清醒地认识课改目标的定位、不断反思自己的教学。避免计算教学偏离“课标”要求。

摘要： This thesis describes an efficient method for speeding up functional verification of arithmetic circuits namely linear network such as wallace trees, counters using linear algebra techniques. The circuit is represented as a network of half adders, full adders and inverters, and modeled as a system of linear equations. The proof of functional correctness of the design is obtained by computing its algebraic signature using stan- dard linear programming (LP) solver and comparing it with the reference signature provided by the designer. Initial experimental results and comparison with Satisfia- bility Modulo Theorem (SMT) solvers show that the method is efficient, scalable and applicable to complex arithmetic designs, including large multipliers. It is intended to provide a new front end theory/engine to enhance SMT solvers.

关键词： 小学生   运算方法   培养学生  

摘要： 《全日制义务教育数学课程标准(实验稿)》(以下简称《标准》)把小学1-3年级划分为第一学段,在'前言'部分强调把培养学生六个方面的'数感'作为数学学习的重要内容和要求。那么,什么是数感?简单地讲,数感是人们对数的感觉,是对数的直接感知能力。具体是指对数的含义、计数技能、数的顺序大小、数的多种表达方法、模式、数运算及结果的准确感知和理解等等。本文根据这个学段的教材要求和学生认知规律,谈谈在'数的认识和运算'教学中如何培养学生的数感。一、在数概念认识中感知学生的数感数概念的切实体验和理解与数感密切相关。数概念本身是抽象的,单独一个数字存在的意义和价值并不大,关键在于它和

关键词： 快捷方法  

摘要： 三角函数的求值化简运算是高考中常见的题型,但只要"瞻前顾后",细心观察,总可找到快捷方法。现举例如下:例题化简cosπ/(17)·cos(2π)/(17)·cos(4π)/(17)·cos(8π)/(17)。一、看角度不难发现其中的倍数关系,可引入催化剂"sinπ/(17)",

关键词： 三维布尔运算   网格模型   OBB碰撞检测  

摘要： 三维布尔运算技术是计算机三维造型技术中构造复杂实体最为重要和复杂的问题之一,并在三维地理信息系统、虚拟现实、交互式可视化等领域有着重要的应用。因此,对三维布尔运算技术的研究,具有重要的学术意义和应用价值。本文在分析了三维布尔运算技术的基础上,主要围绕以下两大问题来展开研究：（1）基于方向包围盒（Oriented Bounding Box:OBB）碰撞检测算法过程中如何进行快速碰撞检测的效率问题;（2）基于三维网格模型布尔运算算法过程中如何进行精确求交的准确度问题。 针对问题（1）,本文研究了传统的OBB碰撞检测算法,提出了一种改进的基于OBB层次包围盒树的快速碰撞检测算法。算法在继承碰撞检测算法优点的同时,突破了它的局限性,能够处理任意形状多面体之间的碰撞检测问题,节省了一半的存储空间,并且能快速检测出相交三角形对,因此,有效地提高了布尔运算效率。算法预先对矿体表面网格模型进行拓扑化,并在该拓扑结构基础上合理地组织成OBB层次二叉树结构,通过自顶向下原则构建去除叶子包围盒的OBB包围盒树,来实现快速碰撞检测。 针对问题（2）,本文提出了一种基于三维网格模型的布尔运算方法。该算法首先通过基于OBB层次包围盒树的碰撞检测算法,得到实体的相交三角形对。求出两相交三角形之间的交线,建立与三角形的交线拓扑关系。然后通过分类处理三种交线类型来对相交三角形进行区域划分,得到一系列多边形,并对多边形进行三角剖分形成结果区域。最后根据体的包含关系构建关系邻接表,判断多边形区域的相对于其他实体的内外关系并通过网格模型的拓扑关系,定位表面三角网格区域。同时根据交、并、差等布尔操作,对结果区域进行取舍,得到最终结果。实验结果表明该算法能取得很好效果。

关键词： 电路网络   指令系统   通信   通信系统   数据传送   定义(术语)   分配网   电力系统   电气工程   电气保护设备   电子设备   供电   信息处理   网络控制系统   项目管理   信号传输   变电所   系统管理   电信  

标准号: IEC 61850-4-2011

摘要： IEC 61850-4:2011 applies to projects associated with process near automation systems of power utilities (UAS, utility automation system), like e.g. substation automation systems (SAS). It defines the system and project management for UAS systems with communication between intelligent electronic devices (IEDs) in the substation respective plant and the related system requirements. This second edition constitutes a technical revision to align the document more closely with the other parts of the IEC 61850 series, in addition to enlarging the scope from substation automation systems to all utility automation systems. This publication is of core relevance for Smart Grid.

关键词： 单片机   指令系统   接口技术   单片微型计算机   汇编语言   程序语言   单片机应用系统  

摘要： 目前在生产、生活中,单片机被广泛的应用。在就业市场上,单片机应用系统设计、调试和维修岗位需要大量的人才。单片机课程是自动化、电子、计算机、机电等专业的一门重要专业课程。这门课程具有很强的理论性和实践性,与电路、数字电子、模拟电子、传感器技术等课

关键词： 加法器   乘法器   全定制   电路优化   版图设计  

摘要： YHFT-DX DSP采用65nm工艺设计,要求在SS条件下达到600MHz的设计目标,内核性能的高低是全芯片达到设计要求的关键。论文以YHFT-DX DSP的CPU内核性能优化为背景,对半定制与全定制相结合的设计方法、全定制运算器设计与实现、全定制与自动化相结合的设计方法等关键技术进行了研究,主要完成了以下工作: 1)在内核性能优化的过程中,本文首先对RTL级代码设计进行了充分的优化,然后根据综合结果,对一些处在数据通路上的关键路径采用了全定制模块来提高性能;2)深入研究了加法器算法,改进了带进位输入的加法器和带结果选择的加法器,并结合内核中移位与分支部件需求,采用全定制设计方法实现了一款带饱和判断的32位加法器,版图后模拟表明,在SS条件下该加法器Sum延时330ps,饱和信号Sat延时279ps,物理综合时序分析结果表明,关键路径延时大大减小;3)在研究了SIMD乘法器算法的基础上,定制设计了一款16×8乘法器,并由四个该结构的乘法器实现了4个8×8 SIMD乘法、2个16×16乘法和一个32×16乘法,通过对定制的16×8乘法器版图后模拟,第一栈延时仅470ps,完全消除了时序违反;4)对全定制设计与自动化相结合的设计方法进行了探索,在电路优化方面,提出了一种电路自动优化的方案,该方案可省去设计者手工优化晶体管尺寸的过程,提高设计效率。在版图设计方面,提出了一种定制单元与自动布线相结合的版图设计方法。实验结果表明,该方法在面积增加约20%的情况下节省了23.8%的设计时间,在迭代过程中节省时间达50%以上。 在YHFT-DX的内核优化过程中,广泛采用了上述的设计技术和方法,很好地提高了设计性能,缩短了设计周期,达到了设计目标。

关键词： 电路网络   指令系统   通信   通信系统   通信技术   数据交换   数据网络   数据传送   定义(术语)   分配网   电力系统   电气工程   电气保护设备   电子设备   供电   信息交流   信息处理   接口   接口(数据处理)   链环   局域网   绘制地图   文电   网络控制系统   服务设施   信号传输   规范   变电所   系统管理   电信   实用程序  

标准号: IEC 61850-8-1-2011

摘要： IEC 61850-8-1:2011 specifies a method of exchanging time-critical and non-time-critical data through local-area networks by mapping ACSI to MMS and ISO/IEC 8802-3 frames. Defines a standardized method of using the ISO 9506 services to implement the exchange of data. For those ACSI services defined in IEC 61850-7-2 that are not mapped to MMS, this part defines additional protocols. It describes real utility devices with respect to their external visible data and behaviour using an object oriented approach. The objects are abstract in nature and may be used to a wide variety of applications. The use of this mapping goes far beyond the application in the utility communications. The main changes with respect to the previous edition are listed below: - the support of gigabit Ethernet, - the link layer redundancy, - the extension of the length of the object reference, - the extension of the reason for inclusion type for comprehensive logging, - the mapping of the tracking services, - a second mapping of the objectReference when used in the tracking services, or as linking, - the extension of the AdditionalCause enumeration, - the simulation of GOOSE telegram, - the so-called fixed-length encoded GOOSE, - the removal of the SCL Control Block.

关键词： 计算器   微程序控制   指令系统   算法  

摘要： 计算器芯片是一种典型的大规模数字集成电路,现代计算器通常使用一块集成电路芯片来完成各种运算、显示驱动和键盘接口等完整功能,依赖的是高度集成的动态CMOS逻辑和微程序设计技术。 本文首先对计算器电路的基本构建思想及控制系统原理进行详细的阐述和介绍,然后根据电路的控制思想完成了包括电源模块、时钟模块、自动断电模块、ROM存储器、寄存器模块、算术逻辑单元以及LCD显示电路在内的各模块电路设计及验证。通过搭建基于Verilog-XL的数字仿真平台对电路进行仿真,同步输出仿真过程中来自ROM中的微程序指令,通过对指令系统进行研究,总结出计算器微程序系统的指令格式、指令类型、以及寻址方式,并且完成对运算仿真微程序的逐条分析成功提取出计算器的四则运算及开方运算的算法。 本论文电路控制采用微程序控制思想实现,使MPU实现结构化设计,系统通过调用ROM存储的微程序指令进行对电路的控制,与传统的组合逻辑控制相比节约了大量的器件。计算器的升级换代必然牵涉到算法系统升级,指令大量增加,那么要实现计算器的可编程化、多元化的发展必须要掌握计算器的微程序系统的构架以及关键技术,对指令系统及算法进行升级。