抽象思想

摘要： 数学学科在培养人的思维能力和创新能力方面承担着“不可替代的作用”。“双减”政策下,如何提高小学数学课堂教学质量?笔者围绕抽象、推理、模型三种数学基本思想在课堂教学中的落实,做了一些探索。一、从儿童立场出发,在积累活动经验中培养抽象能力抽象思想是将现实问题转化为数学问题的基础,而直观、有趣的事物能促进学生学习行为的发生。这两者在客观上要求教师设计教学时,要符合学生的认知规律,把知识与技能的学习融入游戏、活动中,使学生通过实践积累基本数学活动经验,培养抽象思维能力。

摘要： 数学具有抽象性、逻辑性,这就要求学生拥有抽象思想。在小学数学教学中,教师要善于把握一切有利的时机,科学的设计教学,渗透抽象思想,稳步提升学生的抽象能力。本文就如何在小学数学教学中渗透抽象思想进行探析。

摘要： 文章以人教版《数学》三年级(下)“小数的初步认识”几个片段为例,探讨在“星动课堂下”如何用“三个转化”去落实目标、发展学生数学学科素养。

摘要： 数学基本思想是“四基”的重要内容,发展学生核心素养是《义务教育数学课程标准(2022年版)》的基本导向,感悟数学基本思想是发展学生核心素养的重要途径。教学中,应引导学生通过感悟抽象思想,学会用数学的眼光观察现实世界;通过感悟推理思想,学会用数学的思维思考现实世界;通过感悟建模思想,学会用数学的语言表达现实世界。

摘要： 抽象思想是数学知识产生和发展所依赖的基本思想。以“三角形的分类”为例,在教学中引导学生采取“慧眼辨异同、另眼析本质、放眼观万象”的具体策略,通过由表及里、由浅入深、由繁到简,逐步经历“分离—提纯—简略”的抽象过程,促进学生对抽象思想的感悟,发展学生的数学眼光。

摘要： 从小学进入初中后,部分学生的数学学习会产生不适应,此问题值得研究解决,但当前关于小初数学衔接问题的研究多是对初中教师的教学给出建议。以《义务教育数学课程标准(2022年版)》中指出的数学学科核心素养为出发点,对比小学阶段与初中阶段数学核心素养表现的相同点与不同点,小学数学教师在小初数学学科素养连续性和进阶性培养中应重视运算能力、渗透抽象思想、关注推理过程、增强应用意识。

摘要： 数学作为一门重要的学科,培养学生形成抽象思想是其重要的教学任务.为推动素质教育的深入发展,在小学数学教学中,教师要注重抽象思想的渗透教育,从多个层面入手,做好抽象思想的教育,引导学生体验不同的数学知识,实现学生抽象思维素养的培养.在具体教学中,教师应结合具象到抽象、简单到复杂、理解到应用等环节,做好课堂教学设计,有效渗透抽象思想.

摘要： 随着小学生年龄不断地增长,思维方式也慢慢由形象思维向抽象思维转变,他们的计算能力、推理能力与概括能力也有明显提升.抽象思想是数学思想的关键内容,教师在平常教学中需注重渗透抽象思想,发展学生的抽象思维能力,提高他们的数学学习效率.本文主要对小学数学教学中如何渗透抽象思想进行研究,同时分享一些恰当路径.

摘要： 人类社会正在快速进入智能时代,将有越来越多的关键技术创新发生在算法层面.算法的专利权保护对激励智能科技领域创新、实现核心关键技术自主可控具有重大意义.在法律实践中,专利局和法院面对算法的专利保护诉求不断提炼出若干回应型判断方法,逐渐释放出对算法相关发明专利权保护的制度空间.然而算法专利适格性在理论上迄今尚未形成共识,仍然存在"层次限制""领域限制"等争议.而"智力活动方法除外原则""基础理论与实际应用界分原则""技术领域限制原则"等专利适格性判断原则由于实践基础局限和推理逻辑错位而严重妨碍算法专利权保护的制度构建和司法能动.立足人工智能产业的现实情况和促进"新基建"的时代背景,应当从"算法专利适格性的问题思维"转向"算法专利权保护的法理思维",破解算法创新与应用实现的绝对二元论及对算法专利权保护过度的犹疑,肯定算法的专利适格性,激励基础算法与核心技术创新.同时,应从法理上确认算法"公开换保护"的价值意涵,以推动智能时代专利制度的理论创新、功能发展、机制优化,促进知识产权领域的良法善治.

摘要： 数学学科最为显著的特征即抽象,深刻理解抽象思想有助于学生认识数学学科的本质特征.小学生从入学开始便接触、学习数学知识,在理解数学概念、规律时,难免会感到困难.合理渗透抽象思想能让学生深度学习,提高数学分析能力,发展数学思维能力.

摘要： 一种为智能设备提供统一抽象表示的设备对象，它包括统一的设备抽象界面、硬件配置文件和应用配置文件，应用配置文件包括相关的服务清单和每个服务的状态。在为智能设备提供统一抽象表示时，先将设备硬件的各种接口转换成统一的设备得应用配置文件。每个设备的所有硬件细节可以包含在通用设备应用程序配置文件中，以实现从框架外部看到的设备的统一描述。目前，通用设备应用程序配置文件以JSON格式实现，并且可以由客户端从框架的RPC接口获取。客户端应用程序可以通过框架的统一界面与标准Web技术来访问和控制设备。该设计和通用设备应用配置文件可应用于计算机网络中的任何智能设备，特别是物联网和智能家居应用。

摘要： 一种根据本发明的网络抽象网关（NAG），包括：-至少一个抽象网络接口（AN-I），用于与至少一个抽象网络（AN）相连接，其中一个用户具有一个抽象端点（AE），该端点在该抽象网络（AN）中具有一个第一身份；-至少一个通信系统接口（CS-I）,用于与至少一个用户的通信系统（CS）相连接，该通信系统接口（CS-I）在该用户的通信系统（CS）中经由一个第二身份暴露抽象端点行为；-装置（REG），被适配成用于在该第一身份和该第二身份之间注册一种一对一关系；-用于提取该抽象端点（AE）的行为的装置，包括该抽象端点（AE）的多种通信特征和/或状态；以及-端点抽象装置（AM），被适配成用于在该用户的通信系统（CS）中、经由一个端点抽象（EA）、使用该第二身份对该抽象端点（AE）进行抽象，该端点抽象（EA）响应于该抽象端点（AE）的行为，被适配成用于实现该用户的通信系统（CS）的至少一种特征和/或状态，并且经由一个由该用户的通信系统（CS）支持的协议被适配成用于双向地将该抽象端点（AE）的行为与该用户的通信系统（CS）的特征和/或状态进行映射。

摘要： 一种包括存储器的电路设计的计算机实现的表示通过以下步骤被抽象成较小的网表：使用表示存储器中的所选槽的替代节点取代存储器，将网表中包括一个或多个替代节点的字级节点分割成分段节点，为分段节点寻找减小的安全尺寸，使用分段节点的减小的安全尺寸生成表示电路设计的更新数据结构。这种系统的正确性可能需要对比电路设计中存在的更少数量的存储器条目进行推理并且使用具有更小位宽的节点。作为结果，大大降低了验证问题的计算复杂性。

摘要： 本发明公开了一种将包括存储器的电路设计的计算机实现的表示抽象为更小的网表，其可用标准验证工具和操作网表的其它工具进行分析。这些系统的正确性需要推理比电路设计中存在的存储器条目的数量少得多的数量，并且通过将这些存储器抽象为小得多的数量的条目，大大减小了验证问题的计算复杂度。

摘要： 一种对视频序列进行解码的方法和装置包括：对固定长度二进制编码的网络抽象层单元NALU类类型进行解码，所述NALU类类型包括在NALU头中。对NALU头中的NALU类型进行解码。重建图片，并且所述图片的类型通过NALU类类型和NALU类型的组合来进行识别。

摘要： 本发明提出了一种基于上下文的抽象样本信息检索系统。该系统中抽象样本特征化表示方法利用Word2vector提取词义特征，获得抽象词的词向量；而后，对抽象词的词向量进行“最优适应度划分”的聚类，并根据聚类结果将抽象词替代表示为聚类质心；最后，根据质心及其所代表的抽象词的词频，构成词向量聚类质心频率模型(ST‑IDF)，用于特征化表示抽象样本。本发明降低了聚类及适应度计算的执行次数，提高了抽象样本相似性分析的性能，提升了样本分类准确率。

摘要： 一种根据本发明的网络抽象网关（NAG），包括：至少一个抽象网络接口（AN-I），用于与至少一个抽象网络（AN）相连接，其中一个用户具有一个抽象端点（AE），该端点在该抽象网络（AN）中具有一个第一身份；至少一个通信系统接口（CS-I），用于与至少一个用户的通信系统（CS）相连接，该通信系统接口（CS-I）在该用户的通信系统（CS）中经由一个第二身份暴露抽象端点行为；装置（REG），被适配成用于在该第一身份和该第二身份之间注册一种一对一关系；用于提取该抽象端点（AE）的行为的装置，包括该抽象端点（AE）的多种通信特征和/或状态；以及端点抽象装置（AM），被适配成用于在该用户的通信系统（CS）中、经由一个端点抽象（EA）、使用该第二身份对该抽象端点（AE）进行抽象，该端点抽象（EA）响应于该抽象端点（AE）的行为，被适配成用于实现该用户的通信系统（CS）的至少一种特征和/或状态，并且经由一个由该用户的通信系统（CS）支持的协议被适配成用于双向地将该抽象端点（AE）的行为与该用户的通信系统（CS）的特征和/或状态进行映射。

摘要： 本发明公开了一种将包括存储器的电路设计的计算机实现的表示抽象为更小的网表，其可用标准验证工具和操作网表的其它工具进行分析。这些系统的正确性需要推理比电路设计中存在的存储器条目的数量少得多的数量，并且通过将这些存储器抽象为小得多的数量的条目，大大减小了验证问题的计算复杂度。

摘要： 一种包括存储器的电路设计的计算机实现的表示通过以下步骤被抽象成较小的网表：使用表示存储器中的所选槽的替代节点取代存储器，将网表中包括一个或多个替代节点的字级节点分割成分段节点，为分段节点寻找减小的安全尺寸，使用分段节点的减小的安全尺寸生成表示电路设计的更新数据结构。这种系统的正确性可能需要对比电路设计中存在的更少数量的存储器条目进行推理并且使用具有更小位宽的节点。作为结果，大大降低了验证问题的计算复杂性。

摘要： 一种方法、系统和制造产品，用于处理对数据库(156)执行的查询，并且更具体地说，用于在对数据库(156)执行查询时，将数据库(156)中的可查询数据限制为该数据库中的所有可用数据的子集。一个实施例包括：提供所有可用数据的逻辑表示(148)，该逻辑表示定义抽象地描述所有可用数据的相关物理实体的多个逻辑字段(208)；接收包括所述多个逻辑字段的至少一个逻辑字段的抽象查询(202)；检索定义可查询数据的多个物理实体所共有的至少一个性质的至少一个条件(722)；将所述至少一个条件(722)与抽象查询(202)相关联；以及在执行该抽象查询(202)时，根据所述至少一个条件(722)，将可查询数据(732)限制为所有可用数据(730)的子集。