导读:本文包含了并发实时系统论文开题报告文献综述及选题提纲参考文献，主要关键词:嵌入式数据库,并发控制策略,探讨,理论依据
并发实时系统论文文献综述
杨贻宏[1]（2019）在《面向嵌入式实时数据库系统的并发控制策略的探讨》一文中研究指出近年来,嵌入式数据库(RTDBS)被广泛应用在各种嵌入式产品之中。作为一种重要的计算机信息处理手段,嵌入式数据库系统能够实现数据的最佳性能的储存和恢复功能。同时,嵌入式实时数据库系统在进行运作时,系统能够依据环境实时反应,为用户分析提供最新最佳的数据。由此可见,实时性嵌入系统对电子信息市场进行了有效地改革。本文对嵌入式实时数据库系统的并发控制策略进行了探讨,希望能为嵌入式系统更好服务信息领域提供理论依据。(本文来源于《网络安全技术与应用》期刊2019年02期）
郭婧,徐中伟,李丽梅[2]（2015）在《基于TCSP的实时并发系统测试方法》一文中研究指出基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程。在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系。(本文来源于《高技术通讯》期刊2015年04期）
梁昊,艾云峰[3]（2014）在《实时嵌入式系统并发程序检测方法研究》一文中研究指出近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但目前在基于实时嵌入式系统应用程序开发以及测试的过程中,由于中断和线程的相互交迭,始终缺乏有效的针对实时嵌入式系统的并发程序测试方法。本文设计了面向实时嵌入式系统并发程序动态测试的算法,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。(本文来源于《装备学院学报》期刊2014年04期）
安思成,吴克河,毕天姝,张彤,李艺[4]（2014）在《适用于广域测量系统的实时数据并发访问同步算法》一文中研究指出由于广域测量系统(wide area measurement system,WAMS)海量实时数据的大规模、高负荷并发访问,其采用的同步机制在很大程度上约束了系统的效率。针对于目前普遍使用的整体锁定机制带来的由于访问串行化导致的效率低下问题,提出了粒度可控并发访问同步算法(controllablegranularity concurrency synchronization,CGCS),该方法使用控制标志位建立基于子集超集依赖的锁定条件和先进先出等待队列,并可控锁定级别,实现对实时数据访问的互斥粒度粗细的任意控制,同时作用于整体文件、表、元组,进而任务可以最大化地并发执行。通过实验,给出了系统的并发处理能力和IO响应能力的测试过程和结果,证明了CGCS算法在并发高、访问散的情况下能充分发挥CPU的并行处理能力,使WAMS系统的效率得到大幅提升。(本文来源于《中国电机工程学报》期刊2014年19期）
宋羽,王琨,张宝[5]（2012）在《并发实时系统的串行非实时仿真框架》一文中研究指出为了解决并发实时系统在通用计算机上的仿真问题,文中分析了并发实时系统的一般特性,归纳了仿真验证的硬件架构选择,通过分离并发进程计算与运行顺序,按照时标调度进程,提出了一种将并发问题串行化的通用仿真框架,该框架适用于一般性的并发实时系统仿真,可以有效加快仿真程序开发,提高程序质量。(本文来源于《弹箭与制导学报》期刊2012年03期）
秦宜州[6]（2012）在《实时监控系统中基于多核并发的并行技术应用研究》一文中研究指出物品检测系统是实时监控与数据采集系统典型应用之一。它实时并发地完成物品的外形影像、内部影像(如X光影像)以及挥发、放射性等物理参数的采集与处理,具有实时性要求高、并发多任务的特点。在硬件配置满足需求的条件下,如何改良应用程序使其高性能、高稳定性地实现所要求的功能又有很高的执行效率成为该类系统开发的关键。本文的研究目的是基于微型计算机多核平台,并结合.NET4.0中任务并行和数据并行的最新并行开发技术成果,建立起基于多核平台并能够充分利用并行技术优势的物品检测系统通用构架。首先,针对一个实际物品检测软件系统进行功能需求建模,并利用UML技术建立系统静态模型和动态模型,后者是针对系统多个数据采集、检测与控制任务同时执行的特点,具体描述了系统中实时性与并发多任务的需求。而后,据此进行面向对象的系统设计,根据系统硬件设备种类多,型号的变化情况而设计的设备类隔离了实际硬件与系统的耦合。然后,利用Visual Studio2010中的并发可视化分析工具进行多任务并行与单任务、数据串行与数据并行的分析与比较,验证了基于多核任务并行和数据并行模式构架对提升系统的性能的可行性,对未来该类系统的改善提供经验和技术支持。根据以上设计和研究分析,应用.NET4.0下全新的任务并行库(TPL)技术,采用任务并行和数据并行编制的程序通过测试,并在实验室模型试验台上实际运行验证了研究成果的正确性。(本文来源于《东北大学》期刊2012-06-01）
林东升,刘志成,彭勇[7]（2011）在《嵌入式实时数据库系统并发控制协议AC-Based OCC-FV研究》一文中研究指出替代和补偿是实时事务的两个基本特点,也是并发控制的主体,同时给并发控制带来了新的问题。AC-Based OCC-FV协议把替代和补偿综合到乐观并发控制协议OCC-FV中来,对于处于接纳队列中的每个事务,尽可能地选择无冲突替代进入就绪队列,但这只是一个理想情况。如果冲突不可避免,不仅要选择一个合适替代参与并发控制,即使冲突发生时,也要确保系统始终处于一个安全状态。在冲突消解时,结合补偿的特点,对乐观并发控制协议OCC-FV进行了扩展,当事务失败后,立即调度相应补偿事务,以防止系统灾难的发生。(本文来源于《科技广场》期刊2011年07期）
李绪梁[8]（2011）在《实时监控系统中基于多核并发多任务技术应用研究》一文中研究指出实时监控与数据采集(SCADA)系统是将先进的计算机技术、工业控制技术、显示技术、通信技术、测量技术等结合在一起,从而完成数据采集与监视控制功能的计算机系统。而物品检测是SCADA的典型应用之一。它实时并发地完成物品包括外形影像、内部影像(如X光影像)和挥发、放射性等物理参数的采集与处理,具有实时、并发多任务的特点。因此如何高性能、高稳定性地实现所要求的功能又有很高的开发效率成为该类系统开发的关键。本文旨在利用计算机多核(多CPU)化的最新技术成果,将一个实际物品检测系统移植到多核平台,充分利用多核平台的并行性与并发性优势建立起基于多核平台的物品检测系统通用构架。首先,针对一个实际物品检测软件系统进行功能需求建模,然后使用UML技术建立系统静态模型,特别是针对系统多个数据采集、检测与控制任务同时执行的特点建立系统的动态模型,描述了系统中实时性与并发多任务的需求。据此进行面向对象的系统设计,根据系统硬件设备种类多,型号的变化情况而设计的设备类隔离了实际硬件与系统的耦合。接下来也是本文所研究的核心技术就是应用.NET4.0下全新的任务并行库(TPL)支持的并行任务取代原有的多线程技术实现物品检测系统中的基于多核环境下的并发任务算法；加之应用生产者-消费者模式实现不同平行任务之间的通信、数据交换与任务同步。根据以上设计所编制的若干程序已经应用到实际系统中。最后,探讨了应用Visual Studio2010中的并发可视化分析器进行复杂多线程多任务程序调试和可视化的可能性,并且进行大量数值实验和分析与比较,验证了基于多核并行任务模式构架的新系统比较原有多线程模式的系统性能的显着提高,对未来该类系统的改善提供经验和技术支持。(本文来源于《东北大学》期刊2011-06-01）
付立军[9]（2011）在《医院实时多并发系统的研究》一文中研究指出本文分析了医院实时多并发系统的设计与开发,研究了为其具体实现而需要的各项支撑技术和关键技术。(本文来源于《价值工程》期刊2011年09期）
刘敬勇,张立臣,钟勇[10]（2010）在《实时系统面向方面的并发控制框架》一文中研究指出实时系统有一些属性,如并发控制,横切整个系统,仅采用面向对象的方法会导致代码缠结和分散,降低系统的可重用性和可维护性。提出了一种在实时系统中实现并发控制的框架,该框架使用面向方面的概念,它由一组可重用的并发控制方面和接口组成,可用于模块化并发控制。这种方法通过提高实时系统的模块化程度降低了系统的复杂性,最后给出了应用实例。(本文来源于《微计算机信息》期刊2010年16期）
并发实时系统论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程。在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
并发实时系统论文参考文献
[1].杨贻宏.面向嵌入式实时数据库系统的并发控制策略的探讨[J].网络安全技术与应用.2019
[2].郭婧,徐中伟,李丽梅.基于TCSP的实时并发系统测试方法[J].高技术通讯.2015
[3].梁昊,艾云峰.实时嵌入式系统并发程序检测方法研究[J].装备学院学报.2014
[4].安思成,吴克河,毕天姝,张彤,李艺.适用于广域测量系统的实时数据并发访问同步算法[J].中国电机工程学报.2014
[5].宋羽,王琨,张宝.并发实时系统的串行非实时仿真框架[J].弹箭与制导学报.2012
[6].秦宜州.实时监控系统中基于多核并发的并行技术应用研究[D].东北大学.2012
[7].林东升,刘志成,彭勇.嵌入式实时数据库系统并发控制协议AC-BasedOCC-FV研究[J].科技广场.2011
[8].李绪梁.实时监控系统中基于多核并发多任务技术应用研究[D].东北大学.2011
[9].付立军.医院实时多并发系统的研究[J].价值工程.2011
[10].刘敬勇,张立臣,钟勇.实时系统面向方面的并发控制框架[J].微计算机信息.2010