一、成功一定有方法(一)(论文文献综述)
马恒钊[1](2021)在《若干近邻问题的亚线性算法设计与分析》文中研究说明自大数据概念被提出已经过去了将近10年时间,随着时代的发展和社会的进步,计算机应用界所面对的数据量已经逐渐增长到TB、PB甚至EB级。对于如此级别的数据量,线性时间复杂度算法的执行时间也变得不可接受。因此,理论界提出了亚线性算法的概念,从复杂性的角度在根本上解决了大数据计算时间开销过大的问题。本论文挑选了若干比较重要的近邻问题,对其设计了亚线性算法,并以严密的分析证明了这些算法的亚线性时间复杂度。本论文所研究的问题有全k-最近邻问题、近似最近邻的图灵归约问题及双近似标准下的近似k-最近邻问题。针对这些问题,本论文的研究成果如下。第一,本文研究了全k-最近邻问题。我们在相关研究领域中发现了一篇高引用的重要文献,基于其中提出的算法,人们一直以为全k-最近邻问题存在O(n logn)时间算法。在经过仔细分析之后,我们发现该文献中的算法实际上无法达到所声明的复杂度。我们证明了该文献中提出的算法实际上具有Ω(n2)时间复杂度下界,并提出了新的算法,修正了该算法中超过O(n2)时间复杂度上界的部分,使得最终的算法真正达到了 O(n log n)时间复杂度。第二,本文研究了近似最近邻的图灵归约问题。在近似最近邻问题的许多算法中,基于图灵归约的算法是最近的也是能够实现亚线性时间复杂度的一类算法。该类算法定义了一个简记为(c,r)-NN的问题,并通过将近似最近邻问题归约到(c,r)-NN问题来解决之。已知(c,r)-NN问题具有伪亚线性算法,如果能够设计出亚线性或伪亚线性时间的图灵归约,则近似最近邻问题也可以在亚线性时间内解决。在现存研究工作中,有三个工作提出了从近似最近邻问题到(c,r)-NN问题的归约算法,它们的复杂度各有不同,但是它们的查询时间复杂度,也即调用(c,r)-NN问题的算法次数,都高于O(log n)。在本论文中,我们提出了新的从近似最近邻问题到(c,r)-NN的归约算法,实现了 O(log n)查询时间复杂度,低于所有现存算法。第三,本文研究了两种特殊情况下近似最近邻图灵归约问题的高效算法,两种特殊情况分别指输入适用于Assouad维度的情况和输入服从泊松点过程的情况。本文中提出的近似最近邻的图灵归约算法的预处理时间复杂度和空间复杂度上都有O((d2/∈)d)的因子,该因子在维度数d较高时是无法接受的。因此,我们针对两种特殊情况,提出了具有更低时空复杂度的新算法。首先,针对输入适用于Assouad维度的情况提出了新的算法,其预处理时间复杂度和空间复杂度中的因子从O((d2/∈)d)降低到O((d/∈)d)。然后针对输入服从泊松点过程的情况,提出了新算法并分析其期望时空复杂度,使得预处理时间复杂度和空间复杂度都降为O(n log n)。第四,本文研究了双近似标准下的近似k-最近邻问题。在近似k-最近邻问题的研究领域中有两种不同的近似标准,分别称为距离标准和召回率标准。通过分析现有的研究工作,我们发现召回率标准只用于衡量实验结果的好坏而没有理论保证,距离标准只有寥寥数个工作有部分的理论保证。在这样的情况下,我们提出了双近似标准下的近似k-最近邻问题,并提出了相应的算法,使得算法输出在任何情况下都至少可以满足距离标准和召回率标准之一,并且有一定概率同时满足两个近似标准。
周文博[2](2021)在《云计算系统的形式化建模与验证方法研究》文中指出随着科学技术和服务模式的不断发展,云计算作为一种创新的计算范式,在资源管理、市场运作和社会服务中得到了广泛的应用。基于互联网和虚拟化技术,云计算能够按需地为用户提供可度量的基础设施、平台和软件等服务。云计算系统是一类典型的复杂系统,具有规模大、层次多、架构复杂等特点,其可靠性和安全性往往难以保障。如何对云计算系统进行合理的抽象与建模,并进一步进行形式化验证,以增强系统的可信性和可靠性,是亟待解决的重要问题。本文利用形式化方法对构建安全可靠的云计算系统问题进行研究,在一种云计算系统框架下,结合形式语义、时间自动机和着色Petri网对其重要组成部分进行了形式化建模、分析与验证。本文关注的云计算系统主要包括数据处理框架、数据存储系统和资源服务系统。其中,数据处理框架定义了数据的处理逻辑,数据存储系统提供了数据的读、写和备份功能,资源服务系统保障了相关资源的供给。本文分别对这3个部分的建模与验证方法进行了研究,并在云存储案例的支持下,提出了一种攻击容错框架以进一步增强系统的安全性。本文的主要研究贡献包括以下几点:(1)针对云计算系统中的数据处理框架语义问题,提出了一种用于分析云中数据处理框架的执行语义模型SDAC。鉴于形式语义能够对计算过程进行严格、规范地描述,有助于程序或系统的正确性证明与分析,本文结合形式语义学基本理论定义了分布式抽象格局和执行语义,与典型的Aeolus模型进行了格局比较,并通过Map Reduce实例描述、容错与性能优化分析说明了模型的合理性与有效性。(2)针对云计算系统中数据存储系统的建模与验证问题,提出了一种用于分析具有备份流水线的主从式云数据存储系统的模型MSCDSS-RP。由于着色Petri网(Coloured Petri Net,CPN)适用于并发系统的建模与验证,能够通过类型化的令牌及其转移对并发读写和消息传递进行准确地刻画,本文基于着色Petri网对客户端、元服务器和集群之间的读写过程进行建模,并利用CPN Tools工具分析了状态空间,验证了备份一致性等重要性质。(3)针对云计算系统中资源供给服务的建模与验证问题,提出了一种资源供给即服务的建模与验证方法。鉴于时间自动机在状态和时间描述方面具有良好的表达能力,适用于刻画服务流程相关的状态同步和时间控制,本文基于时间自动机给出了资源供给即服务的框架及参与者行为,构建了客户端、服务管理中心(包括分配器、终止监控器和时间监控器)和资源服务模型,并利用时间自动机工具UPPAAL在相关服务场景下对一致性性质进行了验证。(4)针对云计算系统的攻击容错问题,提出了一种基于着色Petri网的攻击容错框架。鉴于着色Petri网在表达方式上既具有严格的数学基础,又具有直观的可视化图形表示,适合于异步、并发过程的诊断与分析,本文基于着色Petri网的形式化构造对攻击-网络交互行为的基本模式、攻击检测器和容错方案进行抽象与建模,根据攻击检测器识别的信息,对基本容错方案进行组合,通过基于云的医疗信息存储系统的案例分析,说明方法的可用性和有效性。综上所述,本文对云计算系统中的数据处理框架、数据存储系统、资源服务系统和攻击容错机制等进行了较为系统地研究,结合形式语义、时间自动机和着色Petri网等多种形式化理论和工具探讨了系统语义、过程建模和性质验证方法。本文工作可以为将形式化方法应用于云计算系统提供一定的参考,促进利用形式化手段增强复杂系统的可信性、可靠性和安全性的相关研究。
石迎春[3](2021)在《小学数学“有过程的归纳教学”模式建构》文中研究指明当前教育教学中存在两个突出的问题,一是缺乏“过程”的教育,具有极强的“结果导向”;二是对“归纳教学”重视不够,忽视从个别到一般的归纳学习。小学数学学科,学习内容具有“先验性、抽象性”,儿童掌握这种先于经验、脱离具体情境、经过多次抽象之后的知识存在一定的难度,儿童学习的心理机制要求儿童在数学的学习过程中应浓缩再现人类数学发展的过程,要经历动手操作、实践探索,要亲历知识的再创造、再发现的过程。“有过程的归纳教学”作为一种教学理念和方式,旨在回应上述的诉求,变革儿童的学习方式、促进儿童知识的理解与智慧的生成。“有过程的归纳教学”已对当前教育教学改革产生了重大的影响,而如何更好地在教学中进行实践成为了教育界关注的重点问题。本研究立足实际,以小学数学学科为例,以归纳性教学理论的生成路径为指引,从“宏观的理论阐释——中观的模式建构——微观的教学实践”三个层面对“有过程的归纳教学”做纵深的探查与研究。以“设计本位”研究为研究范式,构建小学数学“有过程的归纳教学”的教学模式,探寻教学的设计与实施策略。本研究围绕三个研究问题:1.什么是“有过程的归纳教学”?2.小学数学“有过程的归纳教学”的模式原型是什么?3.如何修订和完善小学数学“有过程的归纳教学”的模式原型?具体展开了三个方面的工作。首先,本研究从理论和现实两个维度,对“有过程的归纳教学”的立论基础进行分析,并基于对国内外关于“过程及过程教学”“归纳及归纳教学”文献的分析,在结合专家访谈的基础上对“有过程的归纳教学”的内涵、典型特征及其条件系统进行了阐述。之后以设计本位研究为研究范式,通过三轮的教学迭代对“有过程的归纳教学”的理论进行了回应,并对典型特征及其实现条件进行了完善。其次,本研究以“有过程的归纳教学”的理论为指引,利用视频图像分析法对小学数学10节典型的“关注过程、注重归纳”的教学课例的典型特征进行了分析,并得到了“注重过程的归纳式教学”课堂样态是怎样的,之后确定了“有过程的归纳教学”模式原型建构的五个核心要素:“类特征”的学习主题、“挑战性”的问题情境、“探究性”的操作活动、“贯穿性”的归纳建构、“嵌入式”的学习评价,并以上述研究为基础初步构建了小学数学“有过程的归纳教学”的教学模式(Mode of Procedural Inductive Teaching,以下简称“P-I”教学模式)原型,并从指导思想、功能目标、操作流程和实现条件四个方面对该教学模式进行了详细的阐述。初步构建的“P-I”教学模式具体的操作流程主要有:确立学习目标——设置问题情境——探索新知、建构意义——归纳新知——应用巩固这五个环节。最后,将“P-I”教学模式的原型与小学数学学科的典型案例结合进行具象化,展开了三轮的教学迭代。一方面是将教学理念转化成了实践,另一方面是对教学模式进行检验和修正,同时也对“有过程的归纳教学”的意义、价值、内涵等进行回应。第一轮教学研究是尝试和探索阶段,按照之前构建的教学模式进行教学设计和实施,主要是从宏观的角度对有过程的归纳教学的各个要素进行整体的考察。通过第一轮的教学实践,本研究对“P-I”教学模式原型的操作流程进行了优化,并结合具体的教学内容设计了“P-I”教学模式的变式。第二轮是调整和改进的阶段,在第一轮的行动研究的基础上,对“P-I”教学模式进行中观的调整。进一步将教学模式的原型及其变式的操作流程进行优化,并增加了“P-I”教学模式的师生行为指南。第三轮是提升和应用的阶段,主要是从微观的角度,对教学模式的细节进行打造,最终将教学模式的操作流程优化为:“确立学习目标”、“创设问题情境”、“探索新知、建构意义”、“回顾反思”、“应用巩固,拓展延伸”五个环节,并将学生的学习评价嵌入到整个模式之中。至此,经过三轮的教学迭代,本研究构建了与“有过程的归纳教学”相互匹配的适合小学数学教学的“P-I”教学模式原型、变式及其师生行为指南。本研究最终构建了小学数学“有过程的归纳教学”的教学模式(“P-I”教学模式)。该教学模式的创新性主要体现在:1.立足我国当前教育教学存在的问题,以设计本位研究为研究范式,尝试给出来自实践的探索;2.“P-I”教学模式很好地将“过程教育”与“归纳教学”思想结合起来;3.将“P-I”教学模式做变式的处理,以此来增加模式的灵活性;4.将学生的学习评价嵌入到整个模式之中。另外,本研究在教学实践研究中,对“有过程的归纳教学”的设计与实施策略进行了提炼。“有过程的归纳教学”的设计策略主要有:“聚焦‘核心内容’,确定类特征学习主题”“整体分析学习内容、把握知识本质”“剖析学生前概念、定位学习起点”“形成以‘单元’为单位的教学设计”。“有过程的归纳教学”的实施策略主要有:“创建课堂学习共同体,实现多种形式的对话”“经历多种思维的沉思,实现新知的归纳”“对归纳的结论进行辨思,处理好‘或然与必然’的关系”“介入真实情境和任务,实行多元性教育评价”。
梁新怡[4](2021)在《定向自组网邻居发现与资源分配技术的研究》文中指出网络在近年来已经成为各个领域不可或缺的部分,其中无线自组织网络拥有无需架设基础通信设施、可灵活移动快速组网、无中心等特性,因此在现代化军事、应急通信等场景中被大规模使用。天线作为网络节点信息发送与接收的载体是无线自组织网络的重要组成部分,与全向天线不同,定向天线在提升网络容量、提高信道带宽利用率的同时,拥有抵御干扰和监听的能力,因此在对安全性和网络容量等有更高要求的场景中采用定向自组网是必要的。定向自组网的目的是通过邻居发现、拓扑控制、路由算法等技术实现包括时隙和信道等资源在内的资源分配,从而使得网络中的各个节点之间能够实现快速组网并及时通信。其中邻居发现技术是整个定向自组网流程的前提条件和必要条件,利用资源分配技术获得节点的资源是定向自组网的根本目的。现有的邻居发现算法大多基于二维平面的全盲情况,且与资源分配等后续技术的研究互为割裂状态,本文研究了单波束模式下的三维窄波束定向天线的邻居发现技术和资源分配技术,并将邻居发现与资源分配两种技术相结合,形成适用于三维空间下的辅助邻居发现的资源分配机制,主要工作包括两点:第一,本文设计了一种适用于三维窄波束天线模型的半盲情况下的基于中国剩余定理(Chinese Remainder Theorem,CRT)的半盲定向邻居发现算法,并在该算法中对节点通过特定的编码方法生成收发状态序列,设计了一种确定性和随机性混合的扇区扫描序列,保证网络中任意两个节点的任意两个可能扇区能在最大发现时间间隔MTTD(Maximum time-to-discovery,MTTD)内至少达到一次对准,且其平均发现时间间隔(Average time-to-discovery,ATTD)低于MTTD。本文基于MATLAB平台在同样场景下对比了CRT半盲算法与SBA-D(Scan Based Algorithm)定向邻居发现算法和CRA(Completed Randomized Algorithm)半盲定向邻居发现算法的性能,仿真结果说明基于CRT的半盲定向邻居发现算法,解决了因为扇区数剧增而造成的定向邻居发现算法性能下降的问题,整体性能优于CRA半盲算法,且在网络中邻居节点数较少的情况下性能优于SBA-D算法。第二,本文设计了一种辅助邻居发现的资源分配机制。该机制利用窄波束定向天线的强大的抗干扰能力和可空间复用的特性,结合完全图的一因子分解理论,设计了一种在半盲情况下公平且在每个时隙可充分空间复用的资源预分配算法,对网络中节点的时隙和链路资源进行合理分配。在该机制中,邻居发现过程与资源分配过程按照一定比例交替进行,任意两个节点会在互相发现的时隙中交换其邻居位置信息,若两个节点已经间接的获知了对方的位置信息,就能在资源分配预先分配好的时隙中将扇区对准,在进行通信的同时也完成了彼此的邻居发现。通过这种节点间协作的方式,将机会式的邻居发现与确定式的资源分配联系起来,从而使得节点间能够及时通信,并在保证节点公平性和网络吞吐量的同时,又减少了邻居发现所需的时间。本文基于MATLAB平台对辅助邻居发现的资源分配机制进行了仿真分析,首先将本文设计的资源分配机制分别与基于CRT的半盲定向邻居发现算法、SBA-D定向邻居算法和CRA半盲定向邻居发现算法相结合,通过与原算法的性能对比,验证资源分配机制对于各邻居发现算法在网络最大发现时间方面的性能增益,并由仿真结果发现,三种结合算法中,CRT半盲算法与资源分配机制结合具有最优的性能。
裴艳婷[5](2020)在《低质图像的复原与分类问题研究》文中研究说明图像分类是计算机视觉领域中非常经典的任务,在图像检索、医疗诊断、智能安防、自动驾驶等领域具有重要的理论意义和实用价值。近年来,由于深度卷积神经网络的应用,图像分类的性能取得了质的提升。但是,目前良好的分类性能大都是在清晰图像上获得的。然而,在许多实际应用中,比如自动驾驶、视频监控、可穿戴相机和医疗成像,获得的图像并不总是清晰的,相反,它们往往包含各种各样的退化。因此,对低质图像的研究是亟待解决并且具有实际意义的问题。目前,图像复原和图像分类任务基本上是单独进行研究,现有的低质图像复原方法一般只考虑视觉效果,很少考虑该如何服务于图像分类任务。目前的图像分类方法大都是针对清晰图像,很少针对现实生活中更加常见的低质图像。本文以低质图像的复原与分类为主要研究对象,把图像复原与图像分类任务联系起来,使得两者之间相互促进,即图像复原任务能更好地服务于图像分类任务,图像分类任务能引导图像复原任务,对低质图像复原与分类具有非常重要的启发意义,有助于促进图像复原和图像分类领域的发展。总之,该研究不仅具有非常重要的理论意义,而且具有非常广泛的实用价值。本文的创新工作主要包括:(1)针对清晰图像上获得的好的分类性能在低质图像上是否能保持这一问题,本文分析了图像质量下降对基于卷积神经网络的图像分类性能的影响。具体来说,首先,研究了九种不同类型的合成低质图像以及从网上收集的真实雾霾图像对基于卷积神经网络的图像分类性能的影响,实验结果表明,随着图像质量的下降,图像分类性能急剧下降。然后,提出了提高低质图像分类性能的方法,一是通过在相同低质类型相同低质水平的低质图像上进行训练和测试,二是混合相同低质类型不同低质水平的低质图像,组成混合的训练集进行训练。虽然分类性能有所提高,但是和清晰图像的分类性能相比还存在一定的差距。最后,从特征层面分析了低质图像分类性能比较低的原因可能是图像质量的下降,导致图像模糊、颜色扭曲等。(2)针对应用图像复原预处理,图像分类性能是否能显着提高这一问题,本文研究了图像复原对基于卷积神经网络的图像分类的影响。具体来说,以图像去雾霾和图像去运动模糊为例,首先,利用现有的不同图像复原方法,来复原对应类型的低质图像;然后,分析图像复原对基于卷积神经网络的图像分类的影响;最后,分析了图像复原和图像分类的相关性。研究结果表明图像复原对提高后续图像分类任务性能的帮助不大。原因是现有的大多数图像复原方法只是处理输入的图像,而没有为图像引入新的信息,并且图像复原过程中可能导致图像的部分信息丢失、图像的结构被破坏等,因此对分类性能帮助不大。(3)现有的低质图像复原方法往往只考虑视觉效果,而忽略了后续的高层视觉任务,例如图像分类,并且人工标注大量的带类别标签的数据既昂贵又不切实际。为此,本文提出了一种自监督图像分类任务驱动下的图像复原方法。具体来说,首先,利用像素级的均方误差损失函数训练图像复原网络。其次,利用对图像旋转角度进行分类来学习有利于识别图像的特征,来进一步帮助图像复原,进而使得复原后的图像能够有助于图像分类。为此,引入图像旋转损失函数,即复原后图像和清晰图像的旋转角度特征之间的距离,来约束图像复原网络。最后,同时利用上述两种损失函数对图像复原网络进行训练,来进一步提高图像复原的性能。在雾霾图像、低分辨率图像和运动模糊图像上的实验结果表明了该方法的有效性,有效地解决了现有图像复原方法的不足。(4)基于清晰图像训练的分类模型通常包含丰富的有用信息,但是现有的低质图像分类方法忽略了这些有用信息,导致低质图像与清晰图像之间的分类性能差距比较大,进而使得基于低质图像的类别分布、特征分布和视觉注意通常与清晰图像的相关特性不一致。为此,本文提出了一种端到端的一致性引导网络用于低质图像分类。具体来说,首先,提出了类别一致性损失来指导模型学习更加符合清晰图像的类别分布。其次,提出了语义一致性损失来指导模型学习更加健壮的特征表示,使其与清晰图像的语义信息更加一致。最后,提出了视觉注意对齐损失,可以对清晰图像和低质图像的语义信息区域进行对齐,从而提高低质图像的分类性能。该方法具有通用性,适用于各种类型的低质图像,在六种低质图像上的实验结果表明了该方法的有效性。
王波羽[6](2020)在《小学古典小说教学研究》文中进行了进一步梳理古典小说是我国文学史上的瑰宝,小学教材也非常重视古典小说的编选,阅读古典小说,有利于学生感受中华语言文化的魅力,汲取优秀的中华民族传统的精神力量,体会到阅读带给他们的乐趣。然而目前的小学古典小说教学却有僵化趋势,且偏离选文的阅读目标,整体而言,未免浪费了古典小说的教学价值。宜综合运用文献法、统计分析法、案例分析法、比较法等研究方法,才能对小学古典小说教材呈现情况、教学情况有详细的统计和分析,考察现有的教学要求,结合最新的小说教学研究成果,提出适合小学的古典小说教学策略,力求为一线教师提供教学思路,提高教学效果。具体包括以下三个部分:第一部分为小学古典小说选文统计分析。现存13个版本的教材资料有助于对教材中古典小说选文的概况、单元类别编排以及内容改编实施具体详细的统计分析。各版本都选入了可观数量的古典小说选文,且重视选文来源的经典性,整体上倾向于将古典小说置于小学高年段进行学习。教材中的古典小说选文以丰富多样的单元类别进行组合,常见的有中外名着主题、人物品质主题、技能训练专题、选读课文专题。在内容的改编上各版本相差较大,但都遵循简化原文的原则。第二部分为小学古典小说教学内容及问题的探究。文本内容和学生固有印象两个方面是小学古典小说教学难度所在,课程标准和教材各处对古典小说选文教学提出了要求。对课程标准进行分解、归纳后,可发现其在阅读上对学生的要求在于阅读方法、字词句理解、文章内容、文章表达方法和阅读量这几方面。而教材对课程标准的要求进行具体化后,古典小说选文教学要求更加清晰明了、丰富多样,适合不同水平的学生学习,也很好地体现了古典小说教学价值。近年的25个小学古典小说选文教学设计案例有助于考察目前教学状况,提取其中的教学内容,结合最新的语文教学内容、小说教学内容研究成果之后,可以发现案例教学内容的以下几点不足:教学内容过于分散且浮于表面、教学内容不够恰当、教学内容未紧密联系单元目标、个别教师的教学内容不符合学生需要。这样的教学内容很难发挥古典小说的教学价值。第三部分为小学古典小说教学策略及教学设计的示例。首先鉴于当前教学内容不够深入的情况对小学古典小说整本书阅读进行了探索,指出教师在小学阶段进行整本书阅读教学要更加谨慎细致,小学古典小说的整本书阅读应该让原着本和改编本之间相辅相成;其次在进行选文教学时,也可以适时地引入原文来弥补简化选文的缺憾,让学生感受到古典小说的丰富内涵;最后要回归古典小说本身,关注古典小说体裁特征,落实“定篇”类型选文的教学目标。在上述研究基础上,以《草船借箭》为例完成较有新意的小学古典小说选文教学设计,该教学设计紧扣单元教学目标,教学内容适宜且集中,专注于作品本身的学习,能让学生从中体会到阅读的乐趣。
黄金枝[7](2020)在《关于大规模矩阵的SVD和GSVD计算的研究》文中提出矩阵的奇异值分解(SVD)和矩阵对的广义奇异值分解(GSVD)是数值线性代数和科学计算领域的两种标准分解,在数值计算和工程技术领域有着非常广泛的应用背景,其有效可靠的计算具有高度的挑战性.对于SVD的计算,我们提出了计算大规模矩阵的一个或多个内部奇异三元组的调和提取和精化调和提取的Jacobi-Davidson(JD)型SVD(JDSVD)方法.这两种方法在每一步外迭代中都需要使用迭代法近似地求解一个内部线性系统,即校正方程.内部方程组的求解精度严重影响JDSVD方法的收敛性态和整体效率.本论文对这两种类型的JDSVD方法进行了严格的收敛性分析,证明所有的校正方程只要解到中等精度甚至低精度,每一种JDSVD方法的外迭代就会如同精确求解了所有校正方程一样收敛.基于理论结果,我们为这些方法的内迭代设计了实用有效的停机准则.数值实验证实了理论结果和非精确算法的有效性.对于和均为列满秩的矩阵对(,)的GSVD的计算,长期以来常用的方法之一是将GSVD转化为两个数学上等价的广义特征值问题并设计算法求解,然后从计算的近似广义特征对恢复所需的GSVD元素.在本文中,我们考虑的问题是:在有限精度算法下,从精确计算所需的广义奇异值和广义奇异向量的意义上讲,两种转化为广义特征值问题的格式中哪一个格式数值上更好?我们对这两种格式进行详细的扰动分析,表明在实际计算中,应当如何从中选取合适的格式来设计和开发算法.数值实验证明了我们的理论和选择策略.对于大规模正则矩阵对的部分GSVD的计算,我们提出了一种计算GSVD的免叉积的Jacobi-Davidson型方法,称为CPF-JDGSVD方法.该方法数学上等价于求解某个叉积矩阵对的广义特征值问题,然而,通过计算两个特定矩阵的紧致的QR分解,方法避免显式地形成叉积矩阵,从而避免丢失计算的广义奇异值和广义奇异向量的精度.在每一步,方法使用迭代法近似地求解一个校正方程组,并利用得到的近似解来扩充搜索子空间,该过程称为内迭代.从给定的搜索子空间提取近似的GSVD元素的过程称为外迭代.我们对CPF-JDGSVD方法的内迭代和外迭代进行了收敛性分析.根据结果,为内迭代设计了实用的停机准则.大量的数值实验表明了CPF-JDGSVD算法的有效性.
李昊天[8](2019)在《后方法理论视域下对外汉语教师实践性知识研究》文中认为教师实践性知识是与理论性知识相对的一种重要知识类别,是在主客观因素共同影响下,教师在反思性教学实践过程中实际使用以指导教学决策的动态知识体系。如若说理论性知识用于武装教师的头脑,教师的实践性知识则对教师在具体或特定情境中的行动起指引作用。教学的实践属性要求教师在具备一定的理论性知识的同时,还拥有相应的实践性知识。由于理论性知识无法直接复制到实际教学情境中,相关研究也证明职前教师所学教学理论与资深教师实际教学经验之间存在巨大差异,且新手教师将所学理论运用于教学实践中常出现“现实冲击”现象。因此,支撑教师教学实践的实际上是融合了其个人价值观、教学信念、过往教学及生活经验的实践性知识。该知识影响教师对理论性知识的理解与运用的同时,还支配着教师的课堂教学行为,有助于教师在具体教学情境中进行专业判断后解决实际教学问题,是教师从事教学工作的重要保障。正是意识到教师实践性知识在教学实践中的重要作用,20世纪70年代以来教师知识相关研究从行为主义的“刺激—反应”外部传授过程转为教师个体内部认知结构研究,并从显性的学科理论性知识转向隐性的实践性知识研究上。目前,实践性知识在教师教学工作中发挥着不可替代的作用,被公认为教师专业发展的重要知识基础以及教学行为背后真正的主宰,也是教师进行行为决策的重要依据,它对教育实践的改进和整体教育学的繁荣产生至关重要的影响。本文以后方法教育理论为理论基础,综合运用刺激回忆、绘制概念图、深度访谈、叙事研究等质性研究方法,探寻对外汉语教师实践性知识内容构成共性特征,探究对外汉语教师实践性知识的阶段性特征,探讨对外汉语教师实践性知识的个人来源及外在来源,进而提出对外汉语教师实践性知识的动态生成机制。本文试图解答以下问题:各职业发展阶段对外汉语教师在实践性知识内容构成上有何共性特征及阶段性特征?在知识结构上有何异同?对外汉语教师实践性知识从何而来?生成机制如何?全文共分七章,具体内容如下:第一章为绪论。主要论述选题的背景及意义,在对研究核心概念进行严格界定的基础上,综述国内外相关研究现状并阐释本文理论基础。第二章为研究设计。首先展示本研究的主要研究内容及技术路线,随后对本文所实施的刺激回忆、绘制概念图、深度访谈、教育叙事等研究设计的过程及方法进行如实、详尽的介绍与描述。第三章为对外汉语教师实践性知识的共性考察。本章按照阿卜杜拉哈菲兹(Abdelhafez)于2014年提出的教师实践性知识分类标准,选取八位处于不同职业发展阶段、具有典型性的教师作为样本开展研究。在一轮完整的教学周期(一学期)内,进行课堂观察共计48课时、刺激回忆24次(时长为45小时41分56秒)。经过科学转写与修改,获得对外汉语教师实践性知识原始数据约17万字。在运用专家指导、第三方检测、成员检测等方式保证研究效度的情况下,对上述原始数据进行切分、归类与编码,共获得知识单位1943个,提炼出对外汉语教师实践性知识本土概念共计51个,其中样本教师共性高级编码29个,非共性高级编码22个。随后,以阿卜杜拉哈菲兹(Abdelhafez)类属分析结论为分析框架,将共性高级编码划入关于教师自我、学生、课程、教学策略、教学媒介、教学环境等六类教师实践性知识中,并结合样本教师刺激回忆的内容,运用后方法教育理论作为理论支撑,对对外汉语教师实践性知识的共性内容构成进行详细解读与深入分析。第四章为对外汉语教师实践性知识阶段性特征。本章以教师职业发展阶段为线,以教师刺激回忆内容为依据,结合八位样本教师分别绘制的实践性知识概念图,从知识内容及知识结构两个角度分析不同职业发展阶段对外教师实践性知识的群体特征。第五章为对外汉语教师实践性知识来源。本章以“对外汉语教师实践性知识来源”为主题,运用半结构性访谈的形式对八位样本教师分别进行深度访谈,访谈总时长达5小时31分4秒,获得采访录音转写文本约5.1万字。在此基础上,从个人来源及外在来源两个角度对对外汉语教师9种实践性知识来源进行分析,并对两类知识来源间的相互关系进行分析与讨论。第六章为对外汉语教师实践性知识生成机制。本章选取1名样本教师进行个案叙事研究,以职业发展阶段为纲,通过将其撰写的时间跨度长达10年的18篇教育叙事进行词云分析,对其实践性知识的生成过程进行动态描述,尝试揭示对外汉语教师实践性知识的生成机制。第七章为结论,总结了主要研究发现,提出了研究的创新点与启示,并对当前研究的局限性及未来研究方向进行了探讨。本文的结论主要包括:第一,对外汉语教师实践性知识在内容构成上具有共性特征。在关于教师自我的知识上,对外汉语教师拥有较强的职业动机与责任感;个性心理及过往经历对其当下的教学有重要影响;丰富的生活及语言知识储备、一定的跨文化能力是对外汉语教师必备的职业素养。在关于学生的知识上,对外汉语教师尊重各国学生带入汉语课堂的身份特征,重视对学生学习特点、学习状态的观察,并努力构建和谐的师生关系。在关于课程的知识上,对外汉语教师可较为准确地把握各级各类汉语教学的目标及重点,关注课程间的关联,在课程呈现明显课型特征的同时,兼顾训练学生语言综合能力。在关于教学策略的知识上,对外汉语教师对词汇、语法的讲解重视句法、语义及语用“三个平面”的展示,并兼顾语音、汉字等其他语言要素教学;对教学内容分类处理,注重其实用性、渐进性与复现性;教学环节完整且稳定,讲求教学节奏,重视全员参与课堂活动,在积极实践启发式教学的同时给予学生一定的自主空间。在关于教学媒介的知识上,对外汉语教师重视对教材的使用及对教学素材的补充,运用较为严格的标准选择教学资源,并综合运用板书与多媒体设备对语言知识进行合理呈现。在关于教学环境的知识上,对外汉语教师认为客观环境影响教学体验,并具备一定的非预期教学情境应对能力;他们将汉语课堂与中国社会生活建立密切联系,并将中国文化元素教学蕴于语言教学中。第二,使用“合理弹性空间”的概念概括各职业发展阶段对外汉语教师群体在实践性知识内容上的差异,指出:教师群体间知识的差别主要体现在教学要素体察力与对学生的忽略空间、教学行为目标力与对标准的让步空间、教学过程贯通力与对资源的延展空间、教学示范呈现力与对自我的内控空间四个方面;知识结构方面,随着职业发展阶段的推进,不仅教师所绘概念节点数量、节点表述的专业化与精炼度有着明显提升,单一知识类别内部组织结构、层级划分亦更为复杂与优化,且各知识类别间逐渐打破独立封闭的状态,存在明显互动关系。第三,个人来源与外在来源均是对外汉语教师实践性知识重要生成渠道,两大来源虽相互作用,但个人来源起决定性作用。在个人来源方面,过往经历是实践性知识的最稳定的来源,日常生活体验则实现了教师教学素材的积累;教师的个性心理为课堂打上了明显的个人“烙印”,自发性反思则是实践性知识更新与发展的推动力。在外在来源方面,合作共同体、教学观摩与培训对教师各类实践性知识的更新与发展有重要的促进作用。而对外汉语教师对科(教)学研究活动、教学资源、行业与国家政策等三种来源的利用程度及范围较为有限。第四,实践性知识的生成是一个包括观察与体会、外化与接收、实践与反思、生成与强化等四个阶段的循环发展、动态开放的过程。实践性知识经过感知与初构后并未停止,而是进入新一轮知识生成的循环与扩散。本文的创新之处包括:第一,以多名教授各级各类汉语课程样本教师通过刺激回忆呈现的大量一手实践性知识为依据,按照科学的知识类别划分标准,对对外汉语教师实践性知识内容构成的共性特征进行了系统描述,形成了对对外汉语教师实践性知识较为全面的认识;第二,以“合理弹性空间”概括并分析各职业发展阶段对外汉语教师实践性知识的内容特征,创造性地运用样本教师所绘概念图,从结构上对教师实践性知识进行了立体化分析;第三,对对外汉语教师具有独特性的实践性知识个人来源与外在来源进行了全面展示,以动态的眼光看待知识生成过程,构建起教师实践性知识生成机制,为教师知识建构相关研究提供了参考。本文的研究价值在于:在理论上,拓宽了教师实践性知识的研究范围,深化了对外汉语教师知识领域学术研究,作为将后方法教育理论与对外汉语教师实践性知识结合的首次尝试,有效扩展了后方法教育理论的适用范围,也为更好地理解与解释对外汉语教师实践性知识提供了理论支撑。现实上,实现了教师实践性知识的凝练与分享,有利于促进教师队伍专业化发展及社会对对外汉语教师的了解。此外,本研究所用研究方法可为对外汉语教师师资培养模式的提升提供一定的借鉴思路。
高筱卉[9](2019)在《美国“以学生为中心”的大学教学设计模式和教学方法研究》文中认为本研究是关于美国大学在“以学生为中心”的本科教学改革(student-centered undergraduate education reform,以下简称SC改革)过程中所创造的新的教学设计模式和教学方法的系统梳理和研究。SC改革把学生放在首位,从促进学生发展、强化学生学习、关注学习效果三个角度去改善本科教学。和“教材为中心、教师为中心、教室为中心”的传统教学模式相比,SC改革强调“以学生发展为中心、以学生学习为中心、以学习效果为中心”,故又称“新三中心”改革。美国大学的SC改革始于1990年左右,并在此后30年席卷了美国所有高校,至今仍在继续。在这场改革中,美国大学的教师和研究人员创造出了很多新的教学理念、教学设计模式和教学方法。这些都大大提高了学生的学习水平,促进了学生的发展,改善了美国的本科教育,为美国社会发展做出了贡献,并使美国本科教育成为世界许多国家学习的榜样。美国大学的SC改革之所以能取得今日成就,与过去近百年来,尤其是过去30年来国际学术界在脑科学、发展科学、认知科学、学习科学等领域所取得的巨大进步有关。正是这些学术进步表明,传统的老三中心模式是过时的,而新三中心模式是更加符合科学的。因此在研究SC改革教学设计模式和教学方法时,必须关注它的科学基础。只有这样,我们才能真正把SC改革放在科学基础之上。只有明白了科学基础,才能提高SC改革的自觉性,才能提高改革的效果和效益。目前中国也开始了类似的本科教学改革。2018年教育部高教司在全国发起了全面振兴本科教育的攻坚战,开启了中国本科教育新时代。改革的方向是推动以学生为中心的本科教学改革,重点是改革本科课程教学,以打造“金课”、杜绝“水课”为标准。这场振兴中国本科教育质量的攻坚战已经在全国高校中引起巨大反响。然而在改革中,很多老师心有余而力不足,不知道如何打造“金课”,如何杜绝“水课”。美国大学在SC改革中创造的教学设计模式和教学方法显然非常值得我们参考。然而不幸的是,中英文文献中都没有关于这些教学设计模式和教学方法的系统梳理和介绍。为了推动中国本科教学改革,帮助老师全面了解和掌握美国大学创造的教学设计模式和教学方法,本研究把系统梳理和介绍美国大学在SC改革中创造的教学设计模式和教学方法作为研究主题。本研究做了四个方面的努力。一是全面收集和梳理美国大学在SC改革中创造的被证明行之有效的教学设计模式和教学方法,并对它们的成就、经验和影响做出适当分析和评价;二是简要介绍国际学术界在脑科学、发展心理学、认知科学、学习科学四个领域的学术进步,并说明它们对本科教学的价值和意义;三是在梳理这些教学设计模式和教学方法基础上,尝试性地提出统一的概念框架和分类模型,以便更好地理解这些模型和方法之间的逻辑关系;四是在梳理和研究时,发现其中的断裂和空白,并尝试性地提出新的教学设计模式和教学方法。最终目的是希望这个研究能为我国大学教师学习美国大学的教学设计模式和教学方法提供参考,为全面振兴中国本科教育做贡献。本文共有五章。第一章是问题的提出,包括介绍研究主题和研究意义、研究方法和研究思路、文献综述等。第二章是理论基础,包括定义基本术语、介绍分类研究方法、综述国际学术界在脑科学、发展科学、认知科学、学习科学方面的进步,为深刻理解SC改革本质及其教学设计模式和教学方法奠定基础。第三章是系统梳理美国在SC改革中创造的教学设计模式,并在此基础上提出了一个四分类系统。这一章批评了美国大学教学设计模式研究中的通用化趋势,同时提出被美国学术界忽略的课程专门化设计模式是提高大学教学学术研究的基本模式,也是彻底根治美国大学教学咨询中针对性不足问题的重要方法。第四章是系统梳理美国大学在SC改革中提出的各种教学法,并根据方法功能分类法把它们整理成一个六分类体系。这个分类法的优点是明确提出教学问题的性质决定教学法选择。因此,教师们要根据教学拟解决问题的性质来选择适当的教学方法。第五章是一个简要总结。因此,本研究有三个创新点:1)首次对美国SC改革中创造的不同教学设计模式和教学方法做一个系统梳理的研究,同时介绍了它们的科学基础;2)首次提出了大学教学设计模式的四分类系统,同时指出课程专门化的教学设计模式是应该努力发展的大学教学设计模式;3)首次梳理了美国在SC改革中创造的各种教学方法,同时提出了教学方法的功能分类法,即根据教学问题的性质选择适当教学方法的原则。但是需要指出,所有这些创新都还是尝试性的,需要在未来的研究中进一步改进和完善。本研究也有三点局限性:1)研究范围仅涉及了教师教学问题,没有涉及教学支持系统问题;2)研究主要依赖文献,缺少现场观察和讨论;3)研究主要关注教学设计模式和教学方法,没有涉及教学环境、教学技术、学习效果评价评估问题。这些方面显然也是大学教学的重要方面。希望今后能对这些问题做进一步研究。
李云鹏[10](2019)在《社会选举中的资源分配机制研究》文中研究表明资源分配是计算科学领域研究的热点问题之一,其应用场景包括计算资源共享、工业生产、边界争端处理等等。在已有的资源分配研究中,研究者通常会根据应用场景的不同而设定不同的资源分配目标,并设计针对性的资源分配方法。例如,在计算资源分配中,研究者会关注如何分配计算资源以高效的完成待处理的计算任务;在边界争端处理中,研究者通常关注如何分配资源以保证分配的公平性。随着民主政治的发展,社会选举已成为现代社会的重要组成部分。与此同时,社会选举也逐渐成为多Agent系统研究领域关注的重要应用场景之一,其中Agent通常用来建模参与选举的选民或候选人。在社会选举中,选举组织者(例如国家政府)通常需要建立多个投票站来方便不同选区的选民进行选举投票。而且,选举组织者还需要部署保护资源(如安保资源),提供选民服务资源(例如用于电子投票服务的计算资源与用于选民服务的工人资源)来保证选举过程的高效有序进行。因为社会选举过程与选举结果具有广泛的关注性与影响性,这使得社会选举中的资源分配拥有更多元化的要求,并为资源分配研究提出了新的挑战。第一,选举组织者需要考虑如何分配保护资源来保证选举过程的安全进行,保证选举结果不被操控。然而,已有的选举保护资源分配研究只关注如何分配给定的有限保护资源。当保护资源不充分时,即使采取最优分配策略也无法保证选举结果不被操控。第二,选举组织者通常需要考虑如何在各个投票站之间公平的分配已有的选民服务资源。这些服务资源往往同时包含不可分割资源与可分割资源,例如在电子投票服务系统中,既有不可分割的CPU资源又有可分割的存储资源。本文主要关注最大化最小公平分配准则,即最大化收益最小Agent(例如投票站)获得的效用。然而,在已有的无货币补偿的最大化最小公平分配问题研究中,研究者往往只关注不可分割的资源的分配。第三,由于不同投票站附近选民数量通常具有多样性,各个投票站应该被赋予不同的资源分配权重,所以选举组织通常需要考虑如何在分配权重存在多样性的Agent之间进行资源的公平分配。但是,已有的无货币补偿的最大化最小公平分配问题通常假设每个Agent拥有相同的分配权重。第四,选举组织者通常还需要考虑如何在分配到每个投票站的服务工人之间进行合理的服务房间(例如投票统计房间)分配,即服务房间岗位资源分配。其中,每个服务房间岗位容量往往具有多样性,而且一个工人只能被分配到房间岗位能力要求不超过其自身能力的房间中去。然而,已有的房间资源分配研究通常假设每个房间具有相同的容量而且每个Agent可以被分配到任意房间。为了更好地实现社会选举中的资源分配,针对上述问题,本文分别提出了相应的资源分配算法,其主要工作与贡献归纳如下:1)针对选举保护资源分配,本文研究如何以最少的保护资源消耗来确保选举结果不被操控。首先证明了寻找资源消耗最少且能够保证选举结果不被操纵的资源分配策略是NP难的。其次,提出了一个整数线性规划表达式来计算最优的分配策略。再次,提出了一个(|C|-1)因子近似算法,其中|C|是选举候选人的数目。实验结果表明该近似算法能够制定出接近最优的分配策略。2)针对选民服务资源分配,本文研究如何对具有分割异质性的资源集合进行最大化最小公平分配。首先提出了一个混合整数线性规划表达式来计算最优的分配策略。由于该问题是NP难的,本文基于增广流思想进一步提出了一个多项式时间的近似算法。实验结果表明该近似算法的平均性能达到最优算法性能的80%以上。3)针对选民服务资源分配,本文在上一部分工作基础上进一步研究如何在分配权重存在多样性的Agent群体中基于最大化最小公平分配准则进行合理的资源分配。本文考虑采用一般化的最大化最小公平分配准则,即最大化最小的分配效用与分配权重比。但是,该分配准则可能导致Agent所获效用之间的严重贫富差距,并使得部分Agent由于缺少资源无法高效完成交付给它的任务。基于上述考虑,本文提出了一种新的分配策略评价指标。该指标正比于Agent群体中最小的分配效用与分配权重比,同时反比于Agent群体的贫富差距。首先,本文提出了一个分支界定算法来计算能够最大化该评价指标的最优分配。其次,由于计算最优分配是NP难的,本文基于爬山搜索思想提出了一个多项式时间的启发式方法。实验结果表明该方法能够制定出接近最优的分配策略。4)针对投票站服务房间(岗位)资源分配,本文研究如何在满足预算约束的情况下将多个Agent合理的分配到容量具有多样性的房间中去。主要关注如何寻找社会福利最大的房间分配。首先证明了寻找社会福利最大的房间分配是NP难的。其次,针对每个房间的容量不超过常数c*>0的情况,提出了一个(c*+2)/2+ε(ε>0)因子的多项式时间近似算法。再次,证明了最大化社会福利问题不存在多项式时间的c*/2因子近似算法除非P=NP。最后,针对单个房间容量不受限制的一般情况,基于局部搜索思想提出了一个启发式方法。实验结果表明该启发式方法能够制定出接近最优的分配策略。综上所述,本文针对社会选举中的资源分配问题,分别从选举保护资源分配、选民服务资源分配与投票站服务房间(岗位)资源分配三个角度进行了系统的研究,并提出了有针对性的资源分配方法,有效的满足了实际应用中的资源分配策略制定需求。
二、成功一定有方法(一)(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、成功一定有方法(一)(论文提纲范文)
(1)若干近邻问题的亚线性算法设计与分析(论文提纲范文)
摘要 |
ABSTRACT |
第1章 绪论 |
1.1 研究背景和意义 |
1.2 研究现状及分析 |
1.2.1 全k-最近邻问题算法概述 |
1.2.2 近似最近邻问题算法概述 |
1.2.3 近似k-最近邻问题算法概述 |
1.3 本文的主要研究工作 |
1.3.1 本文主要研究问题 |
1.3.2 本文主要研究成果 |
1.3.3 研究内容之间的关系 |
1.4 本文章节安排 |
第2章 全k-最近邻问题的O(n log n)时间算法 |
2.1 引言 |
2.2 问题定义和预备知识 |
2.3 一篇高引用文献中算法的再分析 |
2.4 算法 |
2.4.1 构造矩形分裂树 |
2.4.2 计算近似MEB |
2.4.3 计算All-kNN |
2.5 分析 |
2.5.1 正确性 |
2.5.2 复杂度 |
2.6 本章小结 |
第3章 近似最近邻问题的O(log n)查询时间图灵归约算法 |
3.1 引言 |
3.2 问题定义及数学准备 |
3.2.1 问题定义 |
3.2.2 数学准备 |
3.3 算法 |
3.3.1 预处理 |
3.3.2 查询算法 |
3.4 分析 |
3.4.1 正确性 |
3.4.2 复杂度 |
3.5 本章小结 |
第4章 两种特殊情况下近似最近邻图灵归约问题的高效算法 |
4.1 引言 |
4.2 输入适用Assouad维度情况 |
4.2.1 预备知识 |
4.2.2 分析 |
4.3 输入服从泊松点过程的情况 |
4.3.1 预备知识 |
4.3.2 算法 |
4.3.3 分析 |
4.4 本章小结 |
第5章 双近似标准近似k-最近邻问题的亚线性算法 |
5.1 引言 |
5.2 预备知识 |
5.2.1 问题定义 |
5.2.2 最小包围球 |
5.2.3 Delaunay三角剖分 |
5.2.4 Delaunay三角剖分上的游走(Walking) |
5.2.5 (c,r)-kNN |
5.3 算法 |
5.3.1 预处理 |
5.3.2 查询算法 |
5.4 分析 |
5.4.1 正确性 |
5.4.2 复杂度 |
5.4.3 进一步的讨论 |
5.5 本章小结 |
结论 |
参考文献 |
攻读博士学位期间发表的论文及其他成果 |
致谢 |
个人简历 |
(2)云计算系统的形式化建模与验证方法研究(论文提纲范文)
摘要 |
abstract |
第1章 绪论 |
1.1 研究背景与意义 |
1.2 研究现状及相关工作 |
1.3 研究内容 |
1.4 论文组织结构 |
第2章 形式化方法的基本理论与相关工具 |
2.1 基本理论 |
2.1.1 形式语义 |
2.1.2 时间自动机 |
2.1.3 着色Petri网 |
2.2 相关工具 |
2.2.1 UPPAAL工具 |
2.2.2 CPN Tools工具 |
2.3 形式化方法与本文工作的关联 |
第3章 云计算系统中数据处理框架的执行语义模型 |
3.1 引言 |
3.2 分布式抽象格局 |
3.3 执行语义 |
3.3.1 事件转换步 |
3.3.2 SDAC模型 |
3.4 SDAC模型与Aeolus模型的对比分析 |
3.5 SDAC模型评估 |
3.5.1 Map Reduce实例研究 |
3.5.2 SDAC模型的扩展应用 |
3.6 本章小结 |
第4章 云计算系统中主从式数据存储系统建模与验证 |
4.1 引言 |
4.2 具有备份流水线的主从式云数据存储系统框架MSCDSS-RP |
4.3 MSCDSS-RP的 CPN建模 |
4.3.1 客户端模型 |
4.3.2 元服务器模型 |
4.3.3 集群模型 |
4.4 MSCDSS-RP的形式化评估 |
4.4.1 状态空间分析 |
4.4.2 性质验证 |
4.5 本章小结 |
第5章 云计算系统中资源供给服务的建模与验证 |
5.1 引言 |
5.2 资源供给服务框架RPaaS |
5.3 RPAAS的 UPPAAL建模 |
5.3.1 RPaaS的相关定义 |
5.3.2 客户端模型 |
5.3.3 服务管理中心模型 |
5.3.4 资源服务模型 |
5.4 RPaaS的一致性验证 |
5.4.1 形式规约说明 |
5.4.2 形式化验证 |
5.5 本章小结 |
第6章 云计算系统下基于着色PETRI网的攻击容错框架 |
6.1 引言 |
6.2 攻击容错框架 |
6.2.1 基本攻击-网络交互模式 |
6.2.2 攻击检测器 |
6.2.3 基本容错方案 |
6.3 案例分析:基于云的医疗信息存储系统 |
6.4 阻塞模式及自动化容错的进一步讨论 |
6.5 本章小结 |
第7章 总结与展望 |
7.1 总结 |
7.2 展望 |
参考文献 |
作者简介及在学期间科研成果 |
致谢 |
(3)小学数学“有过程的归纳教学”模式建构(论文提纲范文)
摘要 |
Abstract |
第一章 绪论 |
一、研究背景 |
(一)时代发展、创新人才的培养召唤“过程的、归纳的”教学 |
(二)教育改革诉求“注重过程,处理好‘过程与结果的关系’” |
(三)知识的“先验性”和儿童学习心理机制呼唤“有过程的归纳教学” |
(四)对“有过程的归纳教学”的模式进行研究具有必要性和迫切性 |
二、研究问题 |
(一)“有过程的归纳教学”的理论阐释 |
(二)小学数学“有过程的归纳教学”的模式构建 |
(三)小学数学“有过程的归纳教学”的模式修正 |
三、研究意义 |
(一)理论意义 |
(二)实践价值 |
四、论文结构 |
第二章 文献综述 |
一、关于“过程”及“过程教学”的研究 |
(一)“过程教育”涵义及价值 |
(二)课程中的“过程目标” |
(三)关于“过程教学”研究的回顾与反思 |
二、关于“归纳”及“归纳教学”的研究 |
(一)“归纳推理”涵义及价值 |
(二)数学课程中的“推理能力” |
(三)关于“归纳式教学”研究的回顾与反思 |
三、关于教学模式的研究 |
(一)教学模式的涵义 |
(二)几种典型的教学模式 |
(三)教学模式研究的回顾与反思 |
四、研究的启示 |
第三章 研究设计与方法 |
一、研究思路与框架 |
(一)研究思路 |
(二)研究阶段 |
(三)研究框架 |
二、研究对象的选取 |
(一)研究的学校 |
(二)研究的学科 |
(三)典型课例的选取 |
(四)实践研究的教师和学生 |
三、研究方法的确定 |
(一)文献分析 |
(二)视频图像分析 |
(三)课堂观察 |
(四)访谈 |
(五)作品分析 |
四、资料的整理与分析 |
(一)教学模式理论阐释阶段资料的整理与分析 |
(二)教学模式原型构建阶段资料的整理与分析 |
(三)教学模式实践修订阶段资料的整理与分析 |
五、研究的真实性与可靠性 |
第四章 “有过程的归纳教学”理论阐释 |
一、“有过程的归纳教学”的立论基础 |
(一)“有过程的归纳教学”的理论基础 |
(二)“有过程的归纳教学”的现实基础 |
二、“有过程的归纳教学”的基本内涵 |
(一)归纳式教学 |
(二)过程性教学 |
(三)有过程的归纳教学 |
三、“有过程的归纳教学”的典型特征 |
(一)情境性 |
(二)过程性 |
(三)建构性 |
四、“有过程的归纳教学”的条件系统 |
(一)教学的情境性条件 |
(二)教学的过程性条件 |
(三)教学的建构性条件 |
五、小结 |
第五章 小学数学“有过程的归纳教学”模式原型构建 |
一、小学数学“有过程的归纳教学”典型案例的分析 |
(一)教学内容 |
(二)教学结构 |
(三)教学方式 |
二、小学数学“有过程的归纳教学”模式原型的核心要素 |
(一)“类特征”的学习主题 |
(二)“挑战性”的问题情境 |
(三)“探究性”的操作活动 |
(四)“贯穿性”的归纳建构 |
(五)“嵌入式”的学习评价 |
三、小学数学“有过程的归纳教学”模式原型的设计 |
(一)指导思想 |
(二)功能目标 |
(三)操作流程 |
(四)实现条件 |
四、小结 |
第六章 小学数学“有过程的归纳教学”的教学迭代 |
一、模式的第一轮运用:宏观的尝试和探索 |
(一)第一轮实践研究的问题 |
(二)第一轮教学模式具身化的过程 |
(三)第一轮教学效果的微观分析 |
(四)第一轮教学模式的反思与调整 |
二、模式的第二轮运用:中观的调整与改进 |
(一)第二轮实践研究的问题 |
(二)第二轮教学模式具身化的过程 |
(三)第二轮教学效果的微观分析 |
(四)第二轮教学模式的反思与调整 |
三、模式的第三轮运用:微观的提升与应用 |
(一)第三轮实践研究的问题 |
(二)第三轮教学模式具身化的过程 |
(三)第三轮教学效果的微观分析 |
(四)第三轮教学模式的反思与调整 |
四、三轮教学研究的总结与反思 |
(一)三轮迭代教学研究概述 |
(二)对三轮迭代教学研究的评鉴 |
(三)对“P-I”教学模式的讨论 |
第七章 研究结论与展望 |
一、对研究问题的回应 |
(一)什么是“有过程的归纳教学” |
(二)小学数学“有过程的归纳教学”的模式原型 |
(三)小学数学“有过程的归纳教学”模式的修订与完善 |
二、研究结论 |
(一)“P-I”教学模式阐释 |
(二)“P-I”教学模式的特色与创新 |
(三)小学数学“有过程的归纳教学”的设计策略 |
(四)小学数学“有过程的归纳教学”的实施策略 |
三、研究反思与展望 |
(一)研究反思 |
(二)后续研究展望 |
参考文献 |
附录 |
后记 |
在学期间公开发表论文及着作情况 |
(4)定向自组网邻居发现与资源分配技术的研究(论文提纲范文)
摘要 |
abstract |
缩略词表 |
第一章 绪论 |
1.1 论文研究背景 |
1.1.1 无线自组织网络概述 |
1.1.2 定向天线概述 |
1.2 研究内容和意义 |
1.2.1 邻居发现技术研究内容和研究意义 |
1.2.2 资源分配技术研究内容和研究意义 |
1.3 论文结构和安排 |
第二章 定向自组网邻居发现技术 |
2.1 定向自组织网络 |
2.1.1 定向天线的分类 |
2.1.2 定向天线的优缺点 |
2.2 定向自组网邻居发现技术概述 |
2.2.1 定向邻居发现的模型与难点 |
2.2.2 定向邻居发现技术的性能指标 |
2.2.3 定向邻居发现算法分类 |
2.3 现有的定向邻居发现技术 |
2.3.1 二维定向天线模型 |
2.3.2 CRA定向邻居发现算法 |
2.3.3 SBA-D定向邻居发现算法 |
2.4 本章小结 |
第三章 半盲情况下的窄波束定向邻居发现算法 |
3.1 引言 |
3.2 天线模型与算法模型 |
3.2.1 三维定向天线模型 |
3.2.2 半盲算法模型 |
3.3 基于CRT的半盲定向邻居发现算法 |
3.3.1 节点收发状态序列设计 |
3.3.2 扇区扫描序列设计 |
3.3.3 算法流程 |
3.4 算法仿真与分析 |
3.4.1 理论性能分析 |
3.4.2 仿真参数分析 |
3.4.3 网络平均发现时间性能分析 |
3.4.4 网络首次发现时间性能分析 |
3.4.5 总结 |
3.5 本章小结 |
第四章 辅助定向邻居发现的资源分配算法 |
4.1 引言 |
4.1.1 概述 |
4.1.2 概念 |
4.2 辅助邻居发现的资源分配算法 |
4.2.1 业务链路资源预分配 |
4.2.2 控制时隙与业务时隙分配 |
4.2.3 节点协作与资源分配辅助机制 |
4.2.4 算法流程 |
4.3 算法仿真与分析 |
4.3.1 资源分配算法对邻居发现算法的增益 |
4.3.2 资源分配算法吞吐量 |
4.4 本章小结 |
第五章 全文总结与展望 |
5.1 全文总结 |
5.2 后续工作展望 |
致谢 |
参考文献 |
个人简历 |
(5)低质图像的复原与分类问题研究(论文提纲范文)
致谢 |
摘要 |
ABSTRACT |
1 绪论 |
1.1 研究背景 |
1.2 研究意义 |
1.3 国内外研究现状 |
1.3.1 图像分类国内外研究现状 |
1.3.2 图像复原国内外研究现状 |
1.4 主要研究内容和创新点 |
1.5 本文的章节安排 |
2 相关理论基础与方法 |
2.1 图像分类 |
2.1.1 基于手工设计特征的图像分类 |
2.1.2 基于卷积神经网络的图像分类 |
2.2 图像复原 |
2.2.1 基于手工设计特征的图像复原 |
2.2.2 基于卷积神经网络的图像复原 |
2.3 低质图像分类 |
2.4 本章小结 |
3 图像质量下降对基于卷积神经网络的图像分类的影响 |
3.1 引言 |
3.2 相关工作 |
3.3 图像质量下降对基于卷积神经网络的图像分类的影响 |
3.3.1 低质图像的合成 |
3.3.2 真实的雾霾图像 |
3.3.3 训练和测试策略 |
3.4 实验结果与分析 |
3.4.1 实验数据集 |
3.4.2 实验结果评价指标 |
3.4.3 单一水平合成低质图像上的实验结果 |
3.4.4 混合水平合成低质图像上的实验结果 |
3.4.5 真实雾霾图像上的实验结果 |
3.4.6 特征可视化 |
3.5 本章小结 |
4 图像复原对基于卷积神经网络的图像分类的影响 |
4.1 引言 |
4.2 相关工作 |
4.3 图像复原对基于卷积神经网络的图像分类的影响 |
4.3.1 低质图像的合成 |
4.3.2 低质图像复原方法 |
4.3.3 训练和测试策略 |
4.4 实验结果与分析 |
4.4.1 实验数据集 |
4.4.2 实验结果评价指标 |
4.4.3 单一水平低质图像上的实验结果 |
4.4.4 混合水平低质图像上的实验结果 |
4.4.5 图像复原与图像分类的相关性 |
4.4.6 特征重建 |
4.4.7 模糊不变方法的比较 |
4.5 本章小结 |
5 自监督图像分类驱动下的图像复原方法 |
5.1 引言 |
5.2 相关工作 |
5.3 自监督图像分类驱动下的图像复原方法 |
5.3.1 网络架构概述 |
5.3.2 图像旋转角度分类 |
5.3.3 图像复原 |
5.4 实验结果与分析 |
5.4.1 实验数据集及参数设置 |
5.4.2 实验结果评价指标 |
5.4.3 定量比较 |
5.4.4 定性比较 |
5.4.5 多尺度特征比较 |
5.4.6 超参的影响 |
5.5 本章小结 |
6 基于一致性引导的低质图像分类方法 |
6.1 引言 |
6.2 相关工作 |
6.3 基于一致性引导的低质图像分类方法 |
6.3.1 网络架构概述 |
6.3.2 图像分类损失函数 |
6.3.3 类别一致性损失函数 |
6.3.4 语义一致性损失函数 |
6.3.5 视觉注意对齐损失函数 |
6.3.6 整体损失函数 |
6.4 实验结果与分析 |
6.4.1 实验数据集及参数设置 |
6.4.2 实验结果评价指标 |
6.4.3 单一水平合成低质图像上的实验结果 |
6.4.4 混合水平合成低质图像上的实验结果 |
6.4.5 真实低质图像上的实验结果 |
6.4.6 不同损失函数对低质图像分类性能的影响 |
6.4.7 使用不同距离的类别一致性损失的分析 |
6.4.8 特征融合分析 |
6.4.9 超参的影响 |
6.4.10 视觉注意热图可视化 |
6.5 本章小结 |
7 总结与展望 |
7.1 总结 |
7.2 展望 |
参考文献 |
作者简历及攻读博士学位期间取得的研究成果 |
学位论文数据集 |
(6)小学古典小说教学研究(论文提纲范文)
摘要 |
Abstract |
绪论 |
一、研究缘起 |
二、研究目的和意义 |
三、研究现状 |
四、研究方法及创新之处 |
第一章 小学古典小说选文统计分析 |
第一节 小学语文各版本教材古典小说选文概况统计分析 |
一、选文数量情况分析 |
二、选文来源情况分析 |
三、选文分布情况分析 |
第二节 小学语文各版本教材古典小说单元类别编排情况 |
一、中外名着主题 |
二、人物品质主题 |
三、技能训练专题 |
四、选读课文专题 |
第三节 小学语文各版本教材古典小说改编情况 |
一、题目的改编 |
二、正文的改编 |
第二章 小学古典小说教学内容及问题探究 |
第一节 小学古典小说教学难度高 |
一、文本内容 |
二、学生固有印象 |
第二节 小学古典小说教学要求 |
一、课程标准的概述 |
二、教材中的具体要求 |
第三节 小学古典小说教学内容概述与现状分析 |
一、小学古典小说教学内容概述 |
二、人教版古典小说选文代表性课例教学内容统计分析 |
第四节 人教版古典小说选文教学内容评析 |
一、人教版古典小说选文教学内容合理性分析 |
二、人教版古典小说选文教学内容不足之评议 |
第三章 小学古典小说教学策略及教学设计示例 |
第一节 整本书阅读理念在小学古典小说教学中贯彻的可能性 |
一、整本书阅读的内涵及其在小学阶段的特性研究 |
二、小学古典小说整本书阅读理论支撑 |
三、小学古典小说整本书阅读教学策略参考 |
第二节 与原着进行有机链接 |
一、回目阅读 |
二、原文阅读 |
第三节 感受古典小说体裁特征 |
一、作品背景 |
二、表达特征 |
三、文学常识 |
第四节 小学古典小说选文教学设计 |
一、教材分析 |
二、学情分析 |
三、《草船借箭》教学设计 |
四、《草船借箭》教学设计经验总结与反思 |
结语 |
参考文献 |
致谢 |
攻读学位期间承担的科研任务和主要成果 |
(7)关于大规模矩阵的SVD和GSVD计算的研究(论文提纲范文)
摘要 |
abstract |
主要符号对照表 |
第1章 绪论 |
1.1 SVD数值方法的发展及现状 |
1.2 GSVD数值方法的发展及现状 |
1.3 本文研究内容和结构安排 |
第2章 SVD和GSVD的基本理论知识和现有算法 |
2.1 SVD的基础知识 |
2.2 计算大规模矩阵的SVD的现有方法 |
2.2.1 Lanczos双对角化型方法 |
2.2.2 Jacobi-Davidson型SVD方法 |
2.3 GSVD的基础知识 |
2.4 计算大规模矩阵对的GSVD的现有算法 |
2.4.1 Lanczos联合双对角化方法 |
2.4.2 Jacobi-Davidson型GSVD方法 |
第3章 关于Jacobi-Davidson型SVD方法内迭代的研究 |
3.1 引言 |
3.2 调和和精化调和的JDSVD方法 |
3.2.1 调和的Jacobi-Davidson SVD方法 |
3.2.2 精化调和的Jacobi-Davidson SVD方法 |
3.3 收敛性分析 |
3.4 带收缩的JDSVD型方法 |
3.4.1 收缩技术 |
3.4.2 理论推广 |
3.5 实用的内迭代停机准则 |
3.6 数值实验 |
3.7 本章小结 |
第4 章 关于计算大规模矩阵对的GSVD的格式选择研究 |
4.1 引言 |
4.2 广义特征值问题的扰动分析和广义奇异值的精度 |
4.2.1 广义奇异值的精度 |
4.2.2 广义特征向量的精度 |
4.3 广义奇异向量的精度 |
4.4 (4-4)和 (4-5)的实用选择策略 |
4.5 数值实验 |
4.6 本章小结 |
第5章 免叉积的Jacobi-Davidson型大规模GSVD方法 |
5.1 引言 |
5.2 CPF-JDGSVD算法 |
5.2.1 提取方法 |
5.2.2 子空间扩充 |
5.3 校正方程的性质 |
5.3.1 条件数 |
5.3.2 子空间扩充精度 |
5.3.3 内迭代停机准则 |
5.4 带重启和收缩的CPF-JDGSVD算法 |
5.4.1 重启方法 |
5.4.2 收缩方法 |
5.4.3 CPF-JDGSVD算法:伪代码 |
5.5 数值实验 |
5.6 本章小结 |
第6章 总结与展望 |
6.1 全文总结 |
6.2 本文的创新点 |
6.3 对未来工作的展望 |
参考文献 |
致谢 |
个人简历、在学期间发表的学术论文与研究成果 |
(8)后方法理论视域下对外汉语教师实践性知识研究(论文提纲范文)
中文摘要 |
Abstract |
第一章 导论 |
1.1 选题背景 |
1.1.1 理论背景 |
1.1.2 现实背景 |
1.2 研究意义 |
1.2.1 理论意义 |
1.2.2 现实意义 |
1.3 核心概念的界定 |
1.4 研究综述与理论基础 |
1.4.1 研究综述 |
1.4.2 理论基础 |
第二章 研究设计 |
2.1 总体安排 |
2.1.1 研究问题 |
2.1.2 研究思路 |
2.2 研究方法 |
2.2.1 刺激回忆法 |
2.2.2 概念图法 |
2.2.3 深度访谈法 |
2.2.4 叙事研究法 |
第三章 对外汉语教师实践性知识共性考察 |
3.1 关于教师自我的知识 |
3.1.1 职业动机与责任感 |
3.1.2 知识储备与跨文化能力 |
3.1.3 个性心理与课堂教学 |
3.1.4 过往经历与课堂教学 |
3.2 关于学生的知识 |
3.2.1 学生身份及学习背景 |
3.2.2 学习特点及学习状态 |
3.2.3 学生性格及师生关系 |
3.3 关于课程的知识 |
3.3.1 教学目标及安排重点 |
3.3.2 课型特征与语言综合能力 |
3.3.3 课程与课程间的关联 |
3.4 关于教学策略的知识 |
3.4.1 语言要素与句法、语义及语用 |
3.4.2 教学内容的实用性、渐进性及复现性 |
3.4.3 教学环节、教学节奏与学生参与度 |
3.5 关于教学媒介的知识 |
3.5.1 教材的使用与素材的补充 |
3.5.2 板书的运用与多媒体设备 |
3.5.3 教学资源的选择及其标准 |
3.6 关于教学环境的知识 |
3.6.1 教学内容联系中国社会 |
3.6.2 文化教学蕴于语言教学 |
3.6.3 物理环境影响教学体验 |
3.6.4 非预期情境及其应对 |
第四章 对外汉语教师实践性知识阶段性特征 |
4.1 职业发展阶段内容特征:合理弹性空间 |
4.1.1 教学要素体察力与对学生的忽略空间 |
4.1.2 教学行为目标力与对标准的让步空间 |
4.1.3 教学过程贯通力与对资源的延展空间 |
4.1.4 教学示范呈现力与对自我的内控空间 |
4.2 职业发展阶段结构特征:概念图的视角 |
4.2.1 概念节点特征与分析 |
4.2.2 层级结构特征与分析 |
4.2.3 交叉链接特征与分析 |
第五章 对外汉语教师实践性知识来源 |
5.1 个人来源 |
5.1.1 过往经历与日常体验 |
5.1.2 个性心理 |
5.1.3 个人反思 |
5.1.4 科(教)学研究活动 |
5.2 外在来源 |
5.2.1 合作共同体 |
5.2.2 教学观摩与职业培训 |
5.2.3 教材与教学资源 |
5.2.4 行业与国家政策 |
5.3 个人来源与外在来源的关系 |
第六章 对外汉语教师实践性知识生成机制 |
6.1 基于个案的实践性知识生成分析 |
6.1.1 职前教师阶段 |
6.1.2 新手教师阶段 |
6.1.3 胜任教师阶段 |
6.1.4 成熟教师阶段 |
6.1.5 走向专家教师阶段 |
6.2 基于个案的实践性知识生成机制 |
6.2.1 生成机制模型 |
6.2.2 实践性知识的感知与初构 |
6.2.3 实践性知识的循环与扩散 |
第七章 结语 |
7.1 回顾与总结 |
7.2 创新与贡献 |
7.3 不足与展望 |
参考文献 |
附录1-1 课堂观察记录表 |
附录1-2 课堂观察记录实例 |
附录2- 刺激回忆实例 |
附录3- 访谈提纲 |
附录4- 访谈实例 |
附录5- F老师教育叙事 |
致谢 |
攻读学位期间科研成果 |
学位论文评阅及答辩情况表 |
(9)美国“以学生为中心”的大学教学设计模式和教学方法研究(论文提纲范文)
摘要 |
ABSTRACT |
1 引言 |
1.1 问题和主题 |
1.2 现状和不足 |
1.3 范围和角度 |
1.4 设想和框架 |
1.5 研究方法 |
1.6 结果和意义 |
2 术语、分类法和理论基础 |
2.1 术语 |
2.2 分类法及其意义 |
2.3 理论基础 |
3 SC教学设计模式 |
3.1 大学教学设计:概念与历史 |
3.2 通用模式 |
3.3 方法专门化模式 |
3.4 专业专门化模式 |
3.5 课程专门化模式 |
3.6 总结 |
4 SC大学教学方法 |
4.1 问题与方法 |
4.2 以真实世界为基础的学习方法 |
4.3 积极学习与主动学习方法 |
4.4 合作学习方法 |
4.5 通识学习方法 |
4.6 专业学习方法——以医学教育为例 |
4.7 积极讲座法 |
5 简要总结 |
5.1 背景与目标 |
5.2 理论与方法 |
5.3 基本内容 |
5.4 主要创新 |
5.5 局限性 |
致谢 |
参考文献 |
附录1 攻读学位期间发表论文和书籍目录 |
(10)社会选举中的资源分配机制研究(论文提纲范文)
摘要 |
abstract |
第一章 绪论 |
1.1 研究背景 |
1.2 研究综述 |
1.2.1 选举控制与保护 |
1.2.2 资源公平分配 |
1.2.3 房间资源分配 |
1.2.4 现有研究的不足 |
1.3 研究内容与研究思路 |
第二章 基于最少资源消耗的选举保护 |
2.1 引言 |
2.2 问题描述 |
2.3 计算复杂性分析 |
2.4 精确求解 |
2.5 近似算法 |
2.5.1 基本近似算法 |
2.5.2 分配策略优化 |
2.6 实验 |
2.7 讨论 |
2.8 本章小结 |
第三章 面向具有分割异质性的资源集合的最大化最小公平分配 |
3.1 引言 |
3.2 问题描述 |
3.3 受限制情况 |
3.3.1 可分割资源数目有界 |
3.3.2 可分割资源之最大估值与最小非零估值比有界 |
3.4 一般情况 |
3.4.1 分配不可分割资源与虚拟资源 |
3.4.2 优化不可分割资源的分配 |
3.4.3 优化可分割资源的分配 |
3.5 实验 |
3.6 本章小结 |
第四章 考虑分配权重多样性的资源公平分配 |
4.1 引言 |
4.2 问题描述 |
4.3 精确求解 |
4.4 启发式算法 |
4.4.1 基于一般化最大化最小公平的分配 |
4.4.2 最小化贫富差距 |
4.4.3 分配策略优化 |
4.5 理论分析 |
4.6 实验 |
4.7 本章小结 |
第五章 考虑容量多样性与预算约束的房间资源分配 |
5.1 引言 |
5.2 问题描述 |
5.3 社会福利最大化 |
5.3.1 计算复杂性分析 |
5.3.2 精确求解 |
5.3.3 近似算法 |
5.3.4 社会福利最大化的对偶问题 |
5.4 伴有最大交易量约束的社会福利最大化 |
5.5 舍友稳定性与房间无嫉妒性 |
5.6 实验 |
5.7 本章小结 |
第六章 总结与展望 |
6.1 论文研究成果 |
6.2 进一步研究工作 |
致谢 |
参考文献 |
附录 |
作者简介 |
四、成功一定有方法(一)(论文参考文献)
- [1]若干近邻问题的亚线性算法设计与分析[D]. 马恒钊. 哈尔滨工业大学, 2021(02)
- [2]云计算系统的形式化建模与验证方法研究[D]. 周文博. 吉林大学, 2021(01)
- [3]小学数学“有过程的归纳教学”模式建构[D]. 石迎春. 东北师范大学, 2021(09)
- [4]定向自组网邻居发现与资源分配技术的研究[D]. 梁新怡. 电子科技大学, 2021(01)
- [5]低质图像的复原与分类问题研究[D]. 裴艳婷. 北京交通大学, 2020(02)
- [6]小学古典小说教学研究[D]. 王波羽. 闽南师范大学, 2020(01)
- [7]关于大规模矩阵的SVD和GSVD计算的研究[D]. 黄金枝. 清华大学, 2020(01)
- [8]后方法理论视域下对外汉语教师实践性知识研究[D]. 李昊天. 山东大学, 2019(02)
- [9]美国“以学生为中心”的大学教学设计模式和教学方法研究[D]. 高筱卉. 华中科技大学, 2019(01)
- [10]社会选举中的资源分配机制研究[D]. 李云鹏. 东南大学, 2019(05)