科学抽象

摘要： 本书站在温和社会建构论的立场上,对科学的客观性和合理性进行了辩护。作者首先指出,反科学思潮在当前西方社会大行其道,在某些领域--譬如疫苗接种、因应气候变化等,业已给人们带来了严重困扰。(作者写作本书时新冠疫情尚未爆发,否则它将会是一个最鲜活的例子。)之所以出现这种局面,既有理智方面的根由,也有复杂的社会因素在起作用。其中,前者主要指,历经一个多世纪,哲学家和史学家们试图将科学还原为一件纯粹理性的事业,结果遭受了彻底失败;后者则包括个体经历、利益冲突、历史传统、意识形态、宗教信仰和价值观等。进而,作者指出,要为科学辩护,一味强调科学是关于自然的真理,一味将科学抽象为脱离主体和价值观的超然知识体系,无异于担雪填井劳而无功,甚至南辕北辙越描越黑。因为科学最显著的基本特质就是它的社会属性。

摘要： 当代世界著名数学家、菲尔兹奖的获得者M·F·阿蒂亚曾经提出:要处理复杂性骤增的数学问题,就必须建立和发展相应的抽象数学概念.而任何概念的形成都要经历抽象到科学抽象再到数学抽象三个过程,那么从抽象到数学抽象如何在教学中落实到位呢?笔者以《函数的单调性》第一课为例,谈谈如何在概念课教学中落实“数学抽象”这一核心素养的实践与思考.

摘要： 物理学科是一门探究自然规律的学科,物理知识既科学客观又丰富多彩,强调科学抽象又与实际生活紧密结合。学习物理的过程既有知识的传承,也包括学生身心发展在内的综合素质的提升。因此,物理课堂教学要立足于学生的发展需求,营造乐学学习氛围,引领学生领会物理学科的真谛,领悟科学探究的方法,感受学习物理的乐趣。一、构建舒润的物理学习情感环境物理学是研究客观事物的学科,实验与物理知识是密切相关的。

摘要： 本文阐述了“科学抽象”思维方式的含义及过程,例析了高中生物学“光合作用”概念的科学抽象过程.

摘要： 2009年第7届国际地貌学大会上,由大会主席提议,国际地貌学家协会批准设立"IAG丹霞地貌工作组".2010年第34届世界遗产大会"中国丹霞"成功申遗.这两大事件标志着中国土生土长的丹霞地貌走向了世界,登上了国际学术舞台.但是,丹霞地貌提出的原定义缺乏专业规范的科学表述,产生了不应有的认知误区,引起了后期丹霞地貌研究的诸多争议与国际地貌学界无法进行全球对比交流等弊端.文章梳理了丹霞地貌定义的专业缺陷、容易产生误解的术语及误区,运用科学抽象方法与认知路线图,对原定义去伪存真,遵循"分离—提纯—简化"的程序提取了丹霞地貌的本质特征和规律,提出了适用于全球对比的丹霞地貌科学定义:以流水侵蚀为主,并在重力崩塌、风化、溶蚀等外营力综合作用下,形成的以陡崖坡为坡面特征的红层地貌.

摘要： 随着新课程改革的全面实施,传统的教育理念与教学方式已不适用于现代教育,更无法满足学生日益增长的学习需求与快速发展的经济社会对高质量人才的需求,因而势必要对各个学科进行改革.数学作为一门抽象性和逻辑性较强的学科,学生在理解知识和解决问题时不可避免会出现各种困难.再加上教师采取的教学方式过于单一,忽略培养学生的综合能力,所以需要在现有的基础上进行创新.建模思想是课堂教学常见的工具,它体现人类思维的理论概括与科学抽象能力,将它应用于数学教学有利于引导学生深入理解知识的同时使其思维由感性过渡至理性,提高学习效率和教学质量.

摘要： 数学抽象是六大数学核心素养之一,指抽取出同类数学对象的共同的、本质的属性或特征,舍弃其他非本质的属性或特征的思维过程.数学概念是现实世界中空间形式和数量关系及其本质属性在思维中的反映,是科学抽象的结果,正确理解数学概念是学好数学知识的前提.

摘要： 作为马克思生活哲学基本范畴的生活观,不是单纯的理性思考与文化设计,而是对生活世界本质的科学抽象。就本体论而言,马克思生活观是对人类生活物质必然性的理论把握。

摘要： 一、理论基础及产生背景美国档案学者菲利普·布鲁克斯最早提出了"文件生命周期"概念,是对文件运动过程的客观描述和科学抽象,它标志着现代档案学的成熟并成为文件中心的理论依据。文件从其形成到销毁或永久保存是一个完整的运动过程,而在这一过程中,由于文件价值形态的变化,会呈现不同的特点,可划分为若干阶段,并且每一阶段的价值形态与服务对象、保存场所和管理形式之间存在一种内在的对应关系。

摘要： 从感性认识到理性认识需要经过科学抽象.本文从抽象与归纳、抽象与假设、性质抽象、关系抽象五方面对科学抽象在岩土力学研究中的应用进行了论述.

摘要： 一种为智能设备提供统一抽象表示的设备对象，它包括统一的设备抽象界面、硬件配置文件和应用配置文件，应用配置文件包括相关的服务清单和每个服务的状态。在为智能设备提供统一抽象表示时，先将设备硬件的各种接口转换成统一的设备得应用配置文件。每个设备的所有硬件细节可以包含在通用设备应用程序配置文件中，以实现从框架外部看到的设备的统一描述。目前，通用设备应用程序配置文件以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)的子集。