导读:本文包含了增量实现方法论文开题报告文献综述及选题提纲参考文献，主要关键词:Android,状态图,自动化测试,算法
增量实现方法论文文献综述
王敏[1]（2018）在《基于状态图的Android应用增量测试方法的设计与实现》一文中研究指出近年来,随着移动互联的高速发展,Android系统已经得到了及其迅速的普及,对Android应用开发也产生了巨大的需求。在相对成熟阶段,对Android应用的科研与工程项目而言,在保证成熟模块的健壮性的基础上,拓展和补充新的模块,是Android应用在成熟期的主要迭代方式。在这种趋势之下,如何快速高效地对Android应用进行测试,已经成为了当前的研究热点。针对这个问题,本文对处于迭代开发中的Android应用进行研究和理论分析,提出了优化测试效率的方法,以及实现了一套自动化测试的框架。论文主要工作如下:Android应用测试需求研究:Android应用的测试工作不光与应用本身,还需要结合Android应用开发不同阶段的实际需要和阶段性特征,把研发公司规模、测试人员的水平、研发时间成本等因素充分考虑和调研,才能得到企业对Android应用测试的真实需求。增量式Android应用测试方法研究与实现:Android应用测试方法是本研究的主要内容。目前大多数的测试技术不能够实现有目标的侧重点测试。对更新后的Android应用而言,如果能够重点测试更新的部分,那么就能大大的缩短测试所需要的时间,从而提高效率。由于本研究是基于状态图的,因此采用了形式化方法对模型进行了科学建模。测试框架实现与评估:测试工具从设计到实现,是本研究需要进行的另一个重要环节。该环节不光要将算法进行代码实现,还会结合一些测试框架进行联合开发。基于本研究的具体情况具体分析,并研究了一套有效的评估模型,对所提出的叁种方法的性能进行了评估和验证。(本文来源于《北京邮电大学》期刊2018-06-07）
陈强,朱娜[2]（2016）在《基于可编程逻辑器件的增量式编码器信号去抖方法的实现》一文中研究指出在伺服系统中,实时、准确地获得编码器反馈信号对伺服闭环控制至关重要。从增量式编码器的结构原理出发,分析引起其输出信号抖动的可能原因。根据D触发器逻辑功能,设计了一种基于可编程逻辑器件的增量式编码器信号去抖方法。实验结果表明,该方法能有效滤除信号的边沿抖动和干扰毛刺。(本文来源于《导航与控制》期刊2016年05期）
李学斯,王虹,吴飞,林济南[3]（2014）在《基于物化视图的Oracle增量备份方法的实现》一文中研究指出为缓解HIS主服务器压力,提高数据安全性和保密性,本文研究使用Oracle物化视图实现数据库的实时增量备份,同时对敏感数据进行过滤。该系统功能完整,实用性强,辅以图形界面以简化系统操作和维护。系统实施后,通过访问备份数据库,有效缓解了主服务器的负载压力,扩大了数据使用范围,达到了预期的设计要求。(本文来源于《计算机与现代化》期刊2014年01期）
张鑫[4]（2013）在《动态复杂网络中增量式社团发现方法的研究与实现》一文中研究指出复杂网络作为描述真实世界的一种建模工具，已广泛应用于物理学、生物学、社会学等各领域。社团结构是复杂网络的一个重要特征。传统的社团发现方法大多只关注静态网络，然而真实网络是海量且动态变化的。因此，在大规模动态复杂网络中有效地抽取社团结构，是一项亟待解决的重要问题。本文针对复杂网络的动态性，提出了两种增量式的社团发现方法；针对复杂网络的海量性，实现了一种在Hadoop平台上的社团发现方法。第一种增量式方法首先通过分析连接密度的变化检测所影响的区域，再利用局部社团扩张的策略快速更新社团结构；第二种增量式方法设计了一种两阶段社团发现的方案，在线阶段维护网络的核连通聚类连，离线阶段在该链上自动选取最优密度参数，以更准确地发现社团结构；在Hadoop平台上的社团发现方法利用MapReduce编程模型实现了算法的并行化，进一步提高了算法可扩展性。在真实网络和生成网络上的实验表明：本文提出的两种增量式方法可以高效、准确地发现动态复杂网络中任意形状的社团结构；在Hadoop平台上实现的社团发现方法在大规模数据上具有良好的可扩展性和可靠性。(本文来源于《西安电子科技大学》期刊2013-01-01）
卓建咏[5]（2012）在《离散事件系统基于窗口更新增量诊断方法的研究与实现》一文中研究指出离散事件系统的诊断目的是根据系统模型以及可观察事件，求解出系统中发生的故障事件。高效而准确地获得系统发生的故障事件具有重要的意义，能够及时发现并定位故障，帮助维护系统的安全。在离散事件系统的诊断中，随着系统状态的增多，诊断空间增长很快，导致计算复杂度增加，诊断效率较低。为了解决上述问题，增量诊断的方法被提出，它的诊断过程由多次迭代组成，每一次迭代中，仅考虑当前窗口内的观察值，获得部分诊断结果，诊断空间被约束在较小的范围内，效率得到提高；同时，由于每次迭代只需要部分观察值，因此适用于观察值不充分的系统。非穷举诊断引擎的方法（NEDE）是一种比较有效的增量诊断方法，它将诊断转化为可满足性问题，通过控制诊断窗口的大小，根据观察值对路径进行扩展，获得一个偏好的诊断。但是NEDE着眼于提高计算的效率，每一次的诊断过程中只保留一条候选路径，抛弃了其他所有路径的信息，导致某些可能的更优解被忽略，因此诊断的准确程度受到一定限制。本文分析了现有增量诊断方法的局限性，根据人工智能中更新（Update）的理论，讨论了更新在增量诊断中的应用方法，对现有的增量诊断算法进行了改进，提出了基于窗口更新的增量诊断方法。改进后的算法在求一次诊断的过程中，根据观察值求解当前诊断窗口内的部分诊断，并利用部分诊断去更新已有的结果，目的在于使更新前后的诊断模型最接近，从而获得一组接近最优解的近似解。根据Update的语义定义，算法在迭代求解的过程中，没有丢失候选诊断的关键信息，提高了最终结果的准确程度。本文还实现了改进后的增量诊断算法，通过实验结果的比较，证明改进后的增量诊断算法的准确程度相对于原算法确实得到了提高。本文的研究工作还存在以下一些待解决的问题：诊断窗口的大小对于增量诊断的准确性和效率有较大影响，对于具体的系统，如何寻找一个合理的诊断窗口并给出定量的证明，是一个值得深入研究的问题；此外，从实际的系统抽象成离散事件系统是一个复杂的问题，需要依靠系统控制的实际经验，如何有效地对系统进行建模，也是在应用增量诊断的过程中所要解决的问题。(本文来源于《中山大学》期刊2012-05-30）
王景辉[6]（2012）在《增量式编码器与Atmega128单片机接口及程序实现方法》一文中研究指出以NEMICON1000P/R增量式编码器与Atmega128接口为例,介绍增量式编码器的一种接口方式,以程序实例介绍程序实现方法,把对应角位置数值显示到YM0802液晶上面。(本文来源于《自动化应用》期刊2012年04期）
申俊瑛[7]（2011）在《学科标准成绩增量评估方法及其用Visual FoxPro的实现》一文中研究指出该文针对如何科学准确地评价学科教学效果增量的问题,提出学科标准成绩增量评价方法以及使用Visual FoxPro实现这一方法的步骤,并对其中存在的问题提出自己的思考。(本文来源于《电脑知识与技术》期刊2011年36期）
毛微[8]（2011）在《闽叁大运营商争相圈地高校市场》一文中研究指出高校市场一直以来都是叁大运营商关注与角逐的重点领域。更多是通过展开校企合作，依据高校群体需求动向，提供多元化和差异化的服务，同时参与高校文化建设，来增强大学生用户的“粘性”，培养忠实用户。 高校数字化需求成就商机 无论是2G/2.5G(本文来源于《福建工商时报》期刊2011-07-07）
许娇阳[9]（2011）在《面向信息集成的实化视图增量计算方法与实现》一文中研究指出实化视图的在线维护通常采用增量维护的方法,因此实化视图的增量计算成为了实现实化视图维护及其它相关实化视图应用问题求解的关键环节。本文主要是在信息集成环境中,实现视图增量计算方法,以达到正确并有效地计算出查询视图增量的目的。本文主要的工作内容有以下两个方面：1针对视图增量计算过程中,因为视图定义所涉及的各个基表独立变化,而引起的视图增量计算结果出现偏差的现象,提出了新的视图增量计算方法。该方法通过保存基表副本和与之对应的增量表,补偿视图增量计算过程中各基表独立变化后造成的增量计算结果差异,得到正确的视图增量。2利用基表之间存在的主键和引用完整性约束来简化增量计算表达式,从而减少了访问基表的次数,降低了计算量并缩短了增量计算时间。其主要思想是：当视图定义所涉及的基表间存在主键和引用完整性约束时,可以省略掉一些对视图增量没有影响的增量元组,从而减少了参与计算的增量元组数。(本文来源于《暨南大学》期刊2011-04-01）
吴元凯,彭鑫,赵文耘[10]（2010）在《应用面向特征编程方法FOP实现软件产品线增量开发》一文中研究指出面向对象编程OOP(Object Oriented Programming)技术在实现软件产品线时存在不足,一个重要原因是OOP对产品线可变性的支持有限.在OOP的基础上,相关研究者提出面向特征编程FOP(Feature Oriented Programming),研究特征的模块性,以及支持特征模块性的编程模型.本文对FOP的相关技术和模型进行了研究,提出基于FOP进行软件产品线的增量开发,可以实现产品线更高层次的模块化和特征的灵活配置,同时避免了维护困难.在此基础上对一个网上缴费产品线实例进行研究,实现和验证了相关方法和结论.最后基于实验对FOP的优缺点进行了讨论.(本文来源于《小型微型计算机系统》期刊2010年08期）
增量实现方法论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在伺服系统中,实时、准确地获得编码器反馈信号对伺服闭环控制至关重要。从增量式编码器的结构原理出发,分析引起其输出信号抖动的可能原因。根据D触发器逻辑功能,设计了一种基于可编程逻辑器件的增量式编码器信号去抖方法。实验结果表明,该方法能有效滤除信号的边沿抖动和干扰毛刺。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
增量实现方法论文参考文献
[1].王敏.基于状态图的Android应用增量测试方法的设计与实现[D].北京邮电大学.2018
[2].陈强,朱娜.基于可编程逻辑器件的增量式编码器信号去抖方法的实现[J].导航与控制.2016
[3].李学斯,王虹,吴飞,林济南.基于物化视图的Oracle增量备份方法的实现[J].计算机与现代化.2014
[4].张鑫.动态复杂网络中增量式社团发现方法的研究与实现[D].西安电子科技大学.2013
[5].卓建咏.离散事件系统基于窗口更新增量诊断方法的研究与实现[D].中山大学.2012
[6].王景辉.增量式编码器与Atmega128单片机接口及程序实现方法[J].自动化应用.2012
[7].申俊瑛.学科标准成绩增量评估方法及其用VisualFoxPro的实现[J].电脑知识与技术.2011
[8].毛微.闽叁大运营商争相圈地高校市场[N].福建工商时报.2011
[9].许娇阳.面向信息集成的实化视图增量计算方法与实现[D].暨南大学.2011
[10].吴元凯,彭鑫,赵文耘.应用面向特征编程方法FOP实现软件产品线增量开发[J].小型微型计算机系统.2010