抽象性

摘要： 意象图式是外在事体在认知主体心理的表征,具有重要的认知功能。新词热语的不断出现增加了认知负担,以“暖男”为例,从意象图式的经验性、抽象性、动态性三个角度探究“暖男”语义的形成与人们对这一词汇的认知理解,以期对此类热语新词的认识和解释产生一定的借鉴意义和推广价值。

摘要： 高等数学是理工科专业的必修课程之一,其能够使学生的思维逻辑能力得到锻炼和培养,并为学生有效学习其他学科知识打下良好的基础。但是从实际教学中可知,高等数学课堂教学效果并不理想,甚至教学效果和预期之间存在较大差距。为了使这样的现象得到有效改善,教师要在高等数学教学中对现代教学技术全面应用,使现代教学技术的优势得到充分发挥,并使知识的难度系数得到一定程度的降低,以此来使学生能够对知识有效掌握。因此,如何在高等数学教学中应用现代教学技术成为研究的重点内容之一,本文对此开展详细的研讨。

摘要： 化学是一门以实验为基础的研究微观粒子运动的自然学科,具有抽象性特点。笔者认为,在教学中,根据化学教学的特点和初中生的接受能力,巧妙运用模型展示、多媒体和实验等手段,可将课堂教学直观化,达到化学教学以“简”提“能”的效果。

摘要： 抽象性是数学的一个重要特性,其贯穿于数学知识的产生、发展和应用的全过程。挖掘数学本质、领会数学思想方法是培养以及提升学生数学抽象能力的重要方式。本文以如何提升数学抽象能力为主线,首先分析数学抽象能力的相关概念及教育价值,然后从概念、命题、数学思想方法和数学结构四个方面挖掘数学本质,最后结合教学实例提出若干提升数学抽象能力的方法,希望能为培养学生的数学抽象能力提供有用的建议。

摘要： 数学学科具有高度的抽象性,这也是影响小学生数学学习效率的重要因素。随着科学技术与数学教学的深度融合,小学数学教师顺应教育发展趋势,按照新课改要求将科学技术与课堂教学活动进行了融合,在降低数学教学抽象性、改善学生数学学习难度与情感的同时,提升了"教"与"学"效率,为促进学生数学素养的形成提供保障。但个别教师在利用科学技术降低数学知识抽象性的同时,却出现了滥用、低效应用等问题,直接影响到数学"教"与"学"效率,甚至还影响了学生数学素养的形成与发展。鉴于此,本文就应用科学技术降低小学数学知识抽象性的策略进行阐述。

摘要： Python程序设计课程是高校很多专业的一门基础必修课程,该课程抽象性强,算法枯燥,学生不易学习和掌握。传统的Python程序设计课程,按照概念、示例、上机练习等步骤组织教学,学生普遍反映上课听懂了,看老师的演示操作很简单,但自己上机实验时仍有很多问题,书上的程序能看懂,但自己编写程序却无从下手,学生学习的兴趣的逐渐减弱。

摘要： 利用数形结合的思想解决数与形的问题,可以培养学生的思维能力和判断能力。文章从“近似数”的教学分析与改进入手,通过对于四舍五入和几何直观的深入研究,结合教材,探讨数学思想在解决现实问题中的意义和作用。

摘要： 回望东西方艺术史,都是从具象到抽象的过程。今天,抽象化艺术成为国际的时尚标志,但也产生了问题。当艺术缺乏文化精神的支撑时,艺术的抽象便成了干瘪的涂抹。当代艺术中抽象艺术的泛滥,使人产生了“历史的终结”“艺术的终结”的怀疑。

摘要： 色彩在印象派中是空间位置的表达,这一时期色彩表达某种具体的物;新印象主义的绘画实践开始将色彩从具象视觉走向光学物理与视觉生理和心理的关系中,自此色彩在后印象表现主义和立体主义绘画中不断地从宏观事物的表现模拟中脱离出来,转向色彩在主、客观视觉中的独立意义上,色彩因此而具有独立于事物表象之外的语言价值,从高更、马蒂斯开始色彩完全实现抽象,这一过程与形的几何化过程相似。本文旨在探讨色彩从现代艺术到当代艺术发展过程当中逐步实现抽象的过程及独立的语言价值,启迪今后艺术创作和思考。

摘要： 初中生还没有完成真正意义上的思维和认知发育,对外界信息的认知和理解尚未形成真正成熟的能力,不善于也不乐于学习一些抽象性较强的知识;然而,虽然在整体上并不具有很大的难度,但是由于课程属性的影响,初中数学和同阶段的其他课程相比仍具有抽象性成分比重偏大的特点——这一特征在二次函数这一模块中体现得尤为明显,这无疑给学生的学习带来了一定的困难。

摘要： 欲解决票据行为的抽象性问题,应首先解决票据意思表示的结构问题,即先确定票据意思表示具有何种结构,再确定结构中的相应意思表示抽象与否,日本法上的二阶段说区分了票据权利的创设与移转,具有合理因素,应予借鉴.票据行为的抽象性问题应从一般讨论进入具体讨论,出票、背书、承兑等行为中的意思表示不同,信赖原则和诚信原则发生作用的路径也有所区别,应具体地基于各个票据行为的特点设计其抽象性.具有抽象性的票据行为区别于物权行为,虽为给付行为,但并不能现实地导致对方得利,因而并无基于不当得利的请求权与抗辩权的适用可能.现行票据法第10条及第21条并不会影响票据行为的抽象性,并无废除的必要,但应当基于票据行为抽象性的特点结合票据法解释第14条予以准确理解.

摘要： 系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法.通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据.给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例.应用Euler公式给出了文氏图方法对命题变元个数的适用范围.

摘要： 系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法.通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据.给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例.应用Euler公式给出了文氏图方法对命题变元个数的适用范围.

摘要： 系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法.通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据.给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例.应用Euler公式给出了文氏图方法对命题变元个数的适用范围.

摘要： 系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法.通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据.给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例.应用Euler公式给出了文氏图方法对命题变元个数的适用范围.

摘要： 描述了用于经由语义抽象的对铰链式设备的导航性辅助的技术。通常而言，在本文中所描述的技术改进了用户当在内容(例如，电子文档中的用户生成的内容)上进行导航时的用户体验。例如，在本文中所描述的技术从语义上抽象出电子文档中的所创作的内容，以提供经抽象的内容。在实现中，经抽象内容包括经抽象的页面，所述经抽象的页面中的每个页面表示所创作的内容的不同区段。当用户浏览电子文档而不是逐页浏览时，在本文中所描述的技术替代地在对经抽象的页面的显示上进行导航。另外，不同的显示器之间的铰链可以用作用于控制在经抽象的页面上进行导航的速度的输入机制，从而允许用户更加容易地定位所创作的内容的具体区段。

摘要： 本发明公开了一种基于上下文相关性的抽象概念实例化方法，在上下文语境约束下将一个抽象概念映射为一个具体实例集合，包括：输入数据集、抽象概念及上下文语境描述；从数据集中抽取实例的并列关系集合，根据百科分类结构构建分类关系树；依据给定抽象概念获取高可信度的种子实例；以种子实例为核心，依据候选实例之间的类别相似性和关联相似性构建候选实例的相似网络；基于实例相似网络，利用带有偏好的随机游走算法计算候选实例属于抽象概念的概率；基于新闻语料库，利用文档模型计算约束语境与实例的相关性；输出实例化结果集。该发明可自动地计算在不同约束语境下抽象概念指代的实例集合，为实例搜索、推理等提供准确的概念指代集合。

摘要： 本发明涉及一种基于抽象语法树的程序代码相似性快速比较方法，涉及代码复用技术领域。本发明的基于抽象语法树的程序代码相似性快速比较方法，该方法通过构造程序抽象语法树，然后基于抽象语法树提取程序代码特征，并将代码特征哈希化，最后通过计算代码特征哈希值的汉明距离进行代码相似性的判定。该方法以程序代码抽象语法树为比较对象，同时结合Simhash与倒排索引技术，将程序代码的相似性比较转化成代码特征哈希值的比较。在保证高准确率和召回率的前提下，这种方法不仅能够实现程序代码的快速相似性比较，而且还能够满足针对海量代码进行快速相似性比较的需要。该方法具有较好的时间和空间复杂度，能够适应针对海量代码的相似性比较应用场景，从而为软件代码复用及溯源提供支持手段。

摘要： 系统、装置和方法可以识别在包括多个物联网(IOT)设备的物理环境中配置第一IOT应用的请求中的能力抽象，并且基于能力抽象从多个资源抽象中选择资源抽象。所选资源抽象可以对应于多个IOT设备中的第一IOT设备。另外，第一IOT应用可以与第一IOT设备绑定。在一个示例中，接收源自第一IOT设备的第一数据，从多个运行时间抽象中选择第一运行时间抽象，其中第一运行时间抽象对应于第一IOT应用，并且第一数据经由第一运行时间抽象被发送到第一IOT应用。

摘要： 公开了一种用于构建语义分析模型的计算机实现的方法。在一个实施例中，计算机实现的方法包括创建包括一组表面形式变体的代理标签。该计算机实现的方法创建包括终端令牌和至少一个所述代理标签的组合的训练示例。计算机实现的方法使用训练示例来构建语义分析模型。

摘要： 用于支持高性能计算环境中跨虚拟路由器的SMP连接性检查的系统和方法。根据实施例，SMA模型增强允许发送寻址到本地路由器端口的分组(即，SMP)的可能性。分组被寻址的SMA可以接收分组，并且然后应用定义所请求的信息在(例如，通过物理链路跨子网连接的)远程节点上的新属性。根据实施例，SMA可以作为代理操作(接收SMP并发送另一个请求)，或者SMA可以修改原始分组并将其作为子网间分组继续发送。

摘要： 本发明公开了一种基于化学抽象机的脆弱性模型构建方法，属于可信计算领域。包括：1、基于数据控制流图，设计一种脆弱性内因表征方法；2、通过分析公共脆弱性库中的脆弱性实例，提取脆弱性属性，实现对脆弱性模型类型和成因的表示和描述；3、基于脆弱性属性，构建脆弱性的化学抽象机语义；4、基于脆弱性的化学抽象机语义，构建基于内因和外因的化学抽象机脆弱性模型。此外，本发明还实现了初步的原型系统——脆弱性模型分析系统，并和其他漏洞挖掘工具进行了比较，验证了方法的有效性。本发明能够帮助更加深入的了解脆弱性的本质，有助于提高对脆弱性的认识，从而帮助减少软件脆弱性给国家安全、经济稳定及社会发展带来的损失。

摘要： 描述了用于经由语义抽象的对铰链式设备的导航性辅助的技术。通常而言，在本文中所描述的技术改进了用户当在内容(例如，电子文档中的用户生成的内容)上进行导航时的用户体验。例如，在本文中所描述的技术从语义上抽象出电子文档中的所创作的内容，以提供经抽象的内容。在实现中，经抽象内容包括经抽象的页面，所述经抽象的页面中的每个页面表示所创作的内容的不同区段。当用户浏览电子文档而不是逐页浏览时，在本文中所描述的技术替代地在对经抽象的页面的显示上进行导航。另外，不同的显示器之间的铰链可以用作用于控制在经抽象的页面上进行导航的速度的输入机制，从而允许用户更加容易地定位所创作的内容的具体区段。

摘要： 本发明公开了一种基于抽象语法树通路上下文的代码相似性度量方法，所述方法具体包括以下步骤：对程序代码片段进行解析，得到相应的抽象语法树；对上述获得的抽象语法树进行遍历，提取抽象语法树终端节点之间的通路上下文的编码：对上述获得的抽象语法树终端节点之间的通路进行编码，实现向量化代码片段的相似性度量：将上述获得的代码向量，用余弦相似性进行代码的相似性比较。本发明方法可面向Python、Java等语言，基于抽象语法树通路上下文的代码相似性度量方法，解决了目前存在的缺乏兼顾程序代码的结构与语义两方面的程序表示技术的问题。

摘要： 公开了一种用于构建语义分析模型的计算机实现的方法。在一个实施例中，计算机实现的方法包括创建包括一组表面形式变体的代理标签。该计算机实现的方法创建包括终端令牌和至少一个所述代理标签的组合的训练示例。计算机实现的方法使用训练示例来构建语义分析模型。