数学的眼光:指向“三会”素养目标的数学抽象思想

“数学的眼光”是人类理性认识手段的必然选择,是科学思维的最实用的一般方法,是数学教育价值的核心体现.“数学的眼光”不仅可引导人们如何看待世界、认识世界,更重要的是能形成主体的认识取向或价值观念.中小学教学中,教师首先要深刻认识“数学抽象”的本质,并要能准确把握“数学抽象”的一般特征,还要精准掌握数学抽象的基本方法,从而有的放矢地开展思维能力的提升、抽象思想的培育,并逐步使学生形成“数学的眼光”.

基于ONOS的支持多域SDN的层次架构实现方案

软件定义网络(SDN)通过将控制平面与数据平面分离,实现了网络的可编程性,改变了网络管理的模式。然而,随着SDN网络规模的不断扩大,其可扩展性问题逐渐显现。针对这一问题,多控制器架构成为提升SDN可扩展性的主流策略。在多控制器架构中,数据流的跨域路由问题对网络的可扩展性产生了影响。随着网络规模的增大,跨域路由计算的时间复杂度呈非线性增长,导致跨域路由计算的收敛时间也随着增加,带来可扩展性问题。为了应对大规模SDN网络的挑战,基于ONOS控制器,完成了层次式SDN多控制器方案的设计与开发。在此基础上,提出一种层次式网络抽象方法,复用OpenFlow南向协议实现层次控制器间的消息同步与业务协作。该方法对多域网络中的每个域网络拓扑进行抽象,以降低跨域路由计算的复杂度,进一步降低跨域路由计算的收敛时间,以提升可扩展性。在实验验证阶段,我们从2个维度创建不同规模的SDN数据面仿真网络,并对比测试了集中式路由与使用网络抽象方法的层次式路由的跨域路由计算时长。实验结果表明,随着多域网络规模的扩大,与集中式跨域路由相比,层次式跨域路由的效率显著提升。当网络规模为20×20时,使用本文提出的网络抽象方法使跨域路由计算效率提升约40倍。这一结果为大规模SDN网络的有效管理提供了新的策略和方法。

重释《资本论》语境中的抽象方法

马克思在《1857—1858年经济学手稿》中所标识的“抽象上升到具体”是“科学上正确的方法”,其中的关键问题是如何理解“抽象上升到具体”中的“抽象”方法。从马克思政治经济学研究的视角来看,作为把握“经济形式”的纯粹本质的思维方法,抽象方法不是体现在《资本论》的商品分析中,而是典型地体现在《资本论》关于商品价值的分析中。基于对商品价值的分析,马克思对源自古典经济学的“具体上升到抽象”进行了改造和推进,才真正实现了科学意义上的抽象方法。这一方法的“正确性”,还在于马克思对黑格尔哲学方法的批判性继承。这一批判性继承表明,“具体上升到抽象”有待于提升和深化为“抽象上升到具体”的方法。探讨《资本论》抽象方法的内涵及意蕴,对于从方法论视角来深化《资本论》研究,夯实中国特色哲学社会科学学术体系的方法支撑,为科学认识作为重要生产要素的资本提供理论借鉴,具有重要的意义。

化解高等代数抽象性的教学方法探索

本文从还原概念提炼过程、类比、对比和概念辨析、从特殊到一般、数形结合、知识转化和建模应用、案例教学、反例教学等方面阐述了化解抽象性的教学方法.这对于提升高等代数课堂教学质量,提高学生抽象思维能力和创新能力都具有积极意义.

基于意象图式理论的中医隐喻翻译及教学启示

中医取象比类的认知方式与概念隐喻的意象图式均依赖人类认知经验。《黄帝内经》等中医典籍中存在大量取象比类的隐喻性语言。文章选取其中具有代表性的隐喻表达,重点分析了应对中医隐喻中容器图式、路径图式、上-下图式等常见意象图式的翻译思路及方法,提出将意象图式应用于指导中医隐喻翻译的实践与教学,以期为中医隐喻翻译实践和教学提供更多思考视角。

马克思文本的张力:抽象方法“审视”下的抽象劳动

在《资本论》中,关于抽象劳动的文本叙述颇具张力,这造成了学界对抽象劳动的构成实体和社会关系两方面规定理解的长期争议。以实体直观的知性方式理解马克思历史辩证的抽象方法,是造成该争议的认识论根源。知性方式无法揭示马克思文本叙述方法的抽象与社会历史现实的抽象二者间真实的“颠倒”关系,不能理解抽象方法和抽象劳动的历史存在论内涵。马克思抽象方法是以社会历史关系结构的现实抽象为基础的历史哲学批判,“从后思索”和“从抽象到具体”是其抽象方法的具体形式。马克思抽象方法对抽象劳动有三重“审视”:用抽象方法发现不同于古典政治经济学“劳动一般”的抽象劳动;基于“现实的抽象”揭示抽象劳动的历史存在论内涵;剖析抽象劳动的构成实体和社会关系这两种规定的辩证关系。

抽取-生成式自动文本摘要技术研究综述

自动文本摘要技术是一项利用计算机按照某类应用自动地将文本或文本集合转换成简短摘要的信息压缩技术。在当前互联网的快速发展背景下,涌现出大量复杂的信息,导致人工无法精准捕捉有效的信息。为此,在本着更准确、更便捷、更高效地收集信息为目的的前提下,利用自然语言处理中自动文本摘要技术处理复杂文本的优势将显得格外突出。随着抽取式摘要技术和生成式摘要技术的发展成熟,抽取-生成式摘要技术逐渐兴起。以技术分析为干线,对抽取-生成式摘要技术进行综述。首先,介绍了抽取-生成式摘要技术中的评价方法以及常用中英文数据集;其次,通过实例分析六类主流技术方法并对比其优缺点:基于强化学习的方法、基于信息论的方法、基于指针网络的方法、基于序列标注的方法、基于预训练的方法、基于联合注意力的方法;最后,总结了抽取-生成式摘要技术面临的挑战并展望了抽取-生成式摘要技术未来的发展方向。

由反证到解释:抽象危险反证理论的省思与匡正

抽象危险反证理论是一种旨在构成要件符合性阶层限缩抽象危险犯成立范围的理论。围绕该理论的争议必须在厘清相关学理知识的基础上方能得以澄清。抽象危险犯的不法内容是对于前置性集体法益与核心层个人法益的侵犯;抽象危险不具备独立的构成要件要素的体系地位,不能被剥离出行为要素之外,因而其本身并不能直接构成反证方法的证否对象。反证方法的直接作用对象应由抽象危险转移到实行行为,即专注于对客观构成要件中实行行为的各具体要素进行实质意义上的目的性限缩解释。作为目的性限缩这一解释目标的实现方法,不仅依赖于克制型实质解释方法,而且在特殊情况下可以贯彻形式解释的方法。对于抽象危险犯的克制型实质解释,需要在构成要件符合性阶层对其抽象危险进行存在性判断,在违法性阶层根据《刑法》第13条但书,对其不法属性进行程度性判断。

破坏性设计在箱包设计上的应用实践

以箱包的破坏性设计为研究对象,介绍了破坏性设计的起源、演变与发展,分析了破坏性设计在箱包面料设计、装饰设计和品牌个性化发展上的表现形式,并通过实例将破坏性设计运用到箱包设计中,以期为设计师在箱包设计中运用破坏性设计提供参考案例。

马克思“抽象上升到具体”的政治经济学方法——以《〈政治经济学批判〉导言》为据

“抽象上升到具体”的方法是马克思建构政治经济学方法论的一个新层级,在马克思整个政治经济学方法论的建构中具有重要地位。马克思在《<政治经济学批判>导言》中批判继承黑格尔和古典经济学家的“抽象上升到具体”思想,在唯物史观基点上重新构造了“抽象上升到具体”的方法,使之在政治经济学研究中上升为“科学上正确的方法”。对这一方法的深入认识,有必要从文本入手对马克思构造这一方法的理论基点、理论实质以及科学依据三个层面做深入探析。

一种基于变量隐藏抽象的IC3硬件验证算法

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

UML到Event-B的系统化转换方法

在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难以理解和应用。因此,如何结合UML图和Event-B方法的优点是研究的重点,以往的方法都是基于UML零散图到Event-B的转换,缺乏系统的转换方法。系统性的转换方法可以实现UML中的元素与Event-B中的元素相对应统一。一般的软件系统是中型系统,中型系统采用用例图、类图、状态图和顺序图这四种图就可以很好地表达清楚,有了上述的四种图,软件生命周期的需求获取、分析、设计、详细设计就可以完全表达清楚。文章中分别给出了这四种图到Event-B的转换方法,并将该系统的转换方法应用到对安全性和可靠性要求较高的电梯控制系统中。基于该实例的研究,验证了UML到Event-B系统性转换方法的可行性和有效性。UML到Event-B的系统转换方法不仅有利于UML的精确化和软件从业人员的使用,而且增强了形式化方法的可理解性,有利于形式化方法的推广和应用。

基于感性工学和抽象形态的电动SUV前脸造型设计

将感性工学与抽象形态造型方法相结合应用于汽车造型设计中,设计出一款电动SUV来满足年轻消费者对于出行工具的感性需求。依据感性工学理论分析得出消费者与感性语义的相关性,再将提炼的感性词汇通过抽象形态造型方法转化为造型元素应用于汽车造型设计中,通过电动SUV的前脸造型设计作为实际案例进行探讨。得到电动SUV造型设计方案。将感性工学与抽象形态造型方法融入汽车设计阶段中,能够帮助设计团队把控设计方向,并且创造出高质量的设计方案。

实用的基于知识的强人工智能的构建方法

所谓的弱人工智能体现的是一种相关性的智能。首先相关性也包括了人类已有思想的抽象性的模拟,其次这种相关性是比人类个体认识的相关性更加广泛的相关性,但是也仅此而已。那么如何学习人类的抽象性以表达智能呢?就是学习人类的抽象性思维的方法,而不单单是结果。完成了对人类相关性思维的学习及对人类的抽象性思维的学习,就相当于完成了对人类思维的学习,这时的机器智能的表达是完整的,也就是所谓的强人工智能的出现。而所谓的学习人的思维,其实无非学习人的知识。

苜蓿中叶蛋白提取方法的研究

为了有效地从富含蛋白的牧草中提取叶蛋白，对苜蓿采用６种不同的方法进行提取试验，从中选出了最佳提取方法。并对蛋白、纤维、糖浆产品中有关元素、各种氨基酸等进行了详细分析研究。结果表明，蛋白产品中其蛋白质含量在５０％以上，纤维产品中蛋白质含量在２０％以上。值得注意的是蛋白产品中有关元素含量很高，各种氨基酸含量不但高，而且比例协调。因此。

有机磷农残检测用植物酯酶的研究

本文研究了多种植物种子中植物酯酶的提取方法和总酯酶活力,得出了最佳提取条件。并且研究了不同来源的植物酯酶对有机磷农药的敏感性,确定了黄豆来源酯酶对敌敌畏等五种农药的最低检测限。结果表明,以黄豆来源的植物酯酶的总酯酶活力和敏感性为最好。

人参总皂苷超声提取工艺的研究

目的优选人参总皂苷的超声波提取工艺。方法采用正交设计通过比色法对不同超声处理条件下的人参总皂苷含量进行测定。结果超声-比色法测人参总皂苷的最佳工艺为:水饱和正丁醇提取、超声时间60分钟、超声2次、不萃取。结论该方法简便、准确,可用于人参总皂苷含量评价。

离散数学教学中的计算思维培养

作为一项重要的教育理念,计算思维得到了国内外科学界和教育界的广泛关注,相应地对计算机专业的人才培养提出了新的要求。本文分析了计算思维培养与离散数学教学之间的内在关系,在此基础上分别从课程引入和课程教学两个阶段探讨如何将离散数学教学与计算思维培养有机地结合起来。通过案例,着重论述了如何将抽象和自动化这两个核心思想贯穿于整个教学过程,以及如何根据所讲授的知识点适时地引入计算思维中其他基本概念和思维方法。

基于设计模式构建数据访问中间件

设计了一种两层的数据访问结构,第一层是介于数据访问层和用户之间的中间层,主要是组织数据和调用数据访问中间件;第二层是数据访问中间件,主要是同数据库交互。在设计数据访问中间件时,根据设计模式的概念,对访问数据层模式进行了比较,指出了各个类的作用、相互的关系以及如何对这个类进行扩展,最后构建出中间件。