导读:本文包含了时序一致性论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:时序,实时,存贮器,模型,存储器,数据,服务质量。
时序一致性论文文献综述
刘书新,刘群,杜凡[1]（2019）在《基于模体演化与社区一致性的时序链路预测方法》一文中研究指出针对动态有向网络中的时序链路预测问题,充分分析动态有向网络中微观结构叁元组模体的演化规律,使用指数平滑法季节加法(Holter-Winter-Additive)时序分析方法预测叁元组模体的转换概率,引入牛顿法寻求时序分析方法中的最优参数;同时考虑到节点的社区属性对链路预测产生的影响,定义模体内节点的社区结构一致性重要指标,对叁元组模体的影响力进行评估。基于此,首先使用时间序列分析方法对模体的转换概率进行预测,进而结合模体社区结构一致性的指标提出一种新的链路预测方法。使用不同的方法在叁个真实的有向网络中进行验证,实验结果显示该方法能够达到更好的链路预测效果。(本文来源于《计算机应用研究》期刊2019年12期）
吴瑾[2]（2018）在《基于DMD的光测设备时序一致性高精度测量系统》一文中研究指出基于现阶段主流光测成像设备的各传感器分系统、设备内部信息链路、设备与设备之间组网、多设备组网均以统一时间基准时序建立作业流程。为了保证最终成像结果满足交汇测量、多源图像融合等精度要求,需要在产品检验过程中进行同步时间精度测试,以便确认全部各类信息相对于时间同步获取与装配,保证最终信息处理结果的正确性和可靠性。传感器的时间同步精度是影响光电跟踪设备测量精度的重要指标,为了精确测量该(本文来源于《第十七届全国光学测试学术交流会摘要集》期刊2018-08-20）
齐婵,刘建伟,毛剑,王蒙蒙,程昊苏[3]（2018）在《基于分类和时序的SDN流表更新一致性方案》一文中研究指出确保SDN流表更新的一致性,对保障网络配置更新过程的正确性与SDN的有效、安全运行,具有重要的意义。针对SDN配置更新所引起的数据包处理不一致问题,提出一种基于分类和时序的SDN流表更新一致性方案。通过设计交换机分类方案及优化更新顺序,实现了SDN流表更新的一致性和新、旧路径的数据并行传输,在保证方案良好通用性和隔离性的基础上,有效控制了更新时间和交换机存储空间的占用率,并降低了控制器的上传负载。(本文来源于《计算机应用研究》期刊2018年11期）
于鸽,冯山[4]（2016）在《基于可延迟调度提升实时数据对象时序一致性服务质量算法》一文中研究指出针对保证实时数据对象时序一致性调度算法在软实时数据库系统环境下的应用问题,提出了一种基于概率统计的可延迟优化(SDS-OPT)算法。首先,分析和比较了现有算法在可调度性、服务质量(Qo S)以及工作负载方面的特征与不足,指出优化现有算法的必要性;然后,利用最速下降法提升作业的执行时间筛选基准值,进而增加实时更新事务可调度的作业数量,以确保实时数据对象的时序一致性服务质量(Qo S)最大化;最后,从工作负载和服务质量两个方面对所提算法和现有算法的性能进行对比分析。仿真实验结果表明,相对于已有的针对固定优先级可延迟调度算法(DS-FP)和统计性的非确定性可延迟调度算法(DS-PS),所提算法能够保证实时数据对象的时序一致性,同时降低工作负载,服务质量提升明显。(本文来源于《计算机应用》期刊2016年06期）
于鸽[5]（2016）在《实时数据库系统中时序一致性服务质量的算法研究》一文中研究指出实时数据库系统深度集成了实时技术和数据库技术,其复杂性体现在理论、功能、应用、特性等多个方面。它不单能够支持实时环境对管理大量数据的需求,还提供了确保数据及时更新的服务。近年来,随着互联网技术的迅速发展,实时数据库技术已被拓展到视频传输、多媒体管理等服务类应用中。在实时数据库系统的研究中,保证全部实时数据对象的时序一致性是其理想情境。硬实时数据库系统的性能要求就是严格地满足这种理想情境,但在同一时刻释放的更新事务作业数目过多时,硬实时数据库系统会很难持续地维持这种状态。相对而言,软实时数据库系统不强制要求满足这种理想情境,通常,系统在调度更新事务时会通过选择放弃一些影响其他事务正常执行的作业,以便接收和调度更多作业,维持用户要求的时序一致性服务质量。所以,它可以很好地适应这种工作场景。在软实时环境中,研究并优化实时数据对象时序一致性服务质量的问题具有一定理论与应用意义。本文首先在管理模块和运行方面讨论了实时数据库系统的基本特征,对软实时数据库系统的时序一致性服务质量问题进行了阐述。其次,分析了硬实时数据库中保证实时数据对象时序一致性的四种传统算法。重点研究了软实时数据库中的SML衍生算法和DS-PS算法。最后,结合可延迟调度算法DS-PS和SML-OPT算法的提升筛选时间基准值思想提出了一种优化时序一致性服务质量的SDS-OPT算法,并对DS-PS算法的可调度性条件进行了改进。算法分析和实验结果表明,本文提出的SDS-OPT算法能够有效提升实时数据对象的时序一致性服务质量。(本文来源于《四川师范大学》期刊2016-03-20）
胡良文,马金晶,孙博[6]（2015）在《基于Spin的SysML时序图与活动图一致性检测》一文中研究指出系统建模语言(Systems Modeling Language,SysML)对复杂系统多视角建模时,容易造成多视图描述语义冲突、矛盾等不一致问题,可以通过形式化验证方法,来提高模型的一致性。然而,受制于传统的形式化检测方法不能做到完全自动化,并且需要繁杂的公式推理,导致多数验证方法仅限少数专家使用并且非常耗时。为了解决SysML时序图与活动图模型之间存在的一致性问题,提出一种自动转换验证框架。首先基于已构建的模型和转换规则,将时序图进行分解转换为活动图,然后分别映射为Spin的输入模型,并对模型的交互一致性执行自动化验证。实验结果表明,该方法可以有效识别和转换时序图,并能准确地向Promela实施映射和验证,为一致性验证的演化提供支持。(本文来源于《计算机技术与发展》期刊2015年09期）
[7]（2015）在《是德科技推出业界首款存储器一致性测试解决方案 软件可以帮助工程师使用逻辑分析仪调试协议与时序违规》一文中研究指出是德科技公司日前宣布推出B4661A存储器分析软件,一款全新的软件包,可与是德科技逻辑分析仪搭配使用。在DDR4、LPDDR4总线速度发生变化时,Keysight B4661A存储器分析软件提供业内独有的功能及一致性违规测试能力。这款B4661A存储器分析软件具有一个性能分析选件,提供了功能强大的波形预览和导航特(本文来源于《电子测量与仪器学报》期刊2015年08期）
[8]（2015）在《是德科技推出存储器一致性测试解决方案 软件可以帮助工程师使用逻辑分析仪调试协议与时序违规》一文中研究指出2015年8月20日,是德科技公司(NYSE:KEYS)宣布推出B4661A存储器分析软件,一款全新的软件包,可与是德科技逻辑分析仪搭配使用。在DDR4、LPDDR4总线速度发生变化时,Keysight B4661A存储器分析软件提供业内独有的功能及一致性违规测试能力。这款B4661A存储器分析软件具有一个性能分析选件,提供了功能强大的波形预览和导航特性。除此之外还提供(本文来源于《国外电子测量技术》期刊2015年08期）
葛徐骏[9]（2015）在《基于时序逻辑的双向一致性检测》一文中研究指出软件形式化是当前构建安全可信软件系统的重要方法之一。由形式化模型驱动软件开发过程中,开发人员需要首先建立一个形式化的模型并验证其正确性,然后基于该模型开发系统的代码实现。由于技术所限,目前模型自动转换技术还不足以帮助技术人员完全自动化地完成代码转换工作,转换过程仍然需要涉及大量的人为工作。因此,保证模型与代码的一致性的任务必须贯穿整个开发流程。在理想的情况下,模型是经过验证被认为相对正确的,故只需要使用基于模型的测试方法检测软件代码针对软件模型的一致性。然而,随着当今软件系统规模的不断增大,需求变动越来越频繁,对应的软件开发流程也变得越来越灵活,代码有时会先于模型被修改。例如,反向工程或项目重构的需要；在需求的临时变更导致代码亟需修改；对关键代码反向抽取模型进行形式化验证的情况等。传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了模型修改效率并增加了系统的潜在隐患。为此,本文对传统基于模型的测试方法的一致性检测进行了扩展,提出了一个可以双向检测模型与代码一致性的框架。该框架通过基于模型的测试从测试结果中抽取表达模型与代码的不一致的系统性质,并将其转换为可直接用于模型检测的时序逻辑公式。通过这些时序逻辑公式,可利用模型检测技术对软件模型进行自动化验证,从而检测并指导模型的修改过程,最终确保模型与代码的一致性。同时,本文也给出了一个上述双向一致性检测框架的实现ProMiner。ProMiner接受Event-B作为其建模语言,并构建于Event-B的开源集成开发环境Rodin之上,作为Rodin的一个插件发布。同时,借助模型检测工具ProB以及线性时序逻辑(LTL)作为自动化检测工具并提供了测试用例生成,测试执行监控,LTL生成与优化等功能。实验结果表明,ProMiner能有效查找软件模型和代码间的不一致并生成可直接检测模型的系统属性性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性而且大大减少了人力开销。(本文来源于《华东师范大学》期刊2015-03-20）
李明明[10]（2015）在《实时数据库系统中保证数据时序一致性的调度算法研究》一文中研究指出实时数据库系统是数据库理论与实时技术有机结合的现代数据库系统,作为现代信息系统的核心,已经在工业的生产和控制过程、电网系统、空中交通管制、移动通信等时间关键性的领域被广泛地使用。实时数据库中的数据对象的值存在一个有效期,其值在有效期内的数据对象能如实地反映真实世界的当前状态,否则该数据对象不能如实地反应真实世界的当前状态。数据对象中的值应及时地进行更新以保证其值的有效性,而过于频繁的更新会导致系统负载过高。因此,采取怎样的调度算法来保证数据对象的有效性,同时又要尽可能减小系统负载是实时数据库系统研究的核心问题之一。本文分析研究了实时系统中的常用调度算法RM、DM、EDF、LST,在此其基础上分析并研究了实时数据更新事务的几个经典调度算法HH、ML、DSFP,在借鉴DSFP算法中的可延迟的调度思想,并结合ML算法中的周期计算方式提出了基于EDF算法的周期性可延迟的动态调度算法FPDS-EDF,并将其与算法ML、DSFP在不同数据集上的相对性能进行了分析与对比。实验结果表明,FPDS-EDF算法在系统资源利用率上优于ML算法,在调度的时间开销上优于DSFP算法。(本文来源于《四川师范大学》期刊2015-03-18）
时序一致性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
基于现阶段主流光测成像设备的各传感器分系统、设备内部信息链路、设备与设备之间组网、多设备组网均以统一时间基准时序建立作业流程。为了保证最终成像结果满足交汇测量、多源图像融合等精度要求,需要在产品检验过程中进行同步时间精度测试,以便确认全部各类信息相对于时间同步获取与装配,保证最终信息处理结果的正确性和可靠性。传感器的时间同步精度是影响光电跟踪设备测量精度的重要指标,为了精确测量该
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
时序一致性论文参考文献
[1].刘书新,刘群,杜凡.基于模体演化与社区一致性的时序链路预测方法[J].计算机应用研究.2019
[2].吴瑾.基于DMD的光测设备时序一致性高精度测量系统[C].第十七届全国光学测试学术交流会摘要集.2018
[3].齐婵,刘建伟,毛剑,王蒙蒙,程昊苏.基于分类和时序的SDN流表更新一致性方案[J].计算机应用研究.2018
[4].于鸽,冯山.基于可延迟调度提升实时数据对象时序一致性服务质量算法[J].计算机应用.2016
[5].于鸽.实时数据库系统中时序一致性服务质量的算法研究[D].四川师范大学.2016
[6].胡良文,马金晶,孙博.基于Spin的SysML时序图与活动图一致性检测[J].计算机技术与发展.2015
[7]..是德科技推出业界首款存储器一致性测试解决方案软件可以帮助工程师使用逻辑分析仪调试协议与时序违规[J].电子测量与仪器学报.2015
[8]..是德科技推出存储器一致性测试解决方案软件可以帮助工程师使用逻辑分析仪调试协议与时序违规[J].国外电子测量技术.2015
[9].葛徐骏.基于时序逻辑的双向一致性检测[D].华东师范大学.2015
[10].李明明.实时数据库系统中保证数据时序一致性的调度算法研究[D].四川师范大学.2015
论文知识图
