确保时态一致性的实时并发控制协议

实时控制系统通常需要维护大量的时态数据对象,这些时态数据对象是现实世界不断变化的物理环境的逻辑表示.应用事务通过对时态数据对象的访问来产生最终的控制活动.在实际应用中,实时控制系统不仅需要确保事务能在规定的期限内完成,也需要保证事务存取的是时态一致性的数据对象.传统的实时并发控制协议强调事务截止期的满足,而忽略了事务对其所存取数据对象有时态一致性需求.本文首先给出了数据和事务时态一致性的形式化定义,在此基础上,提出了一种新的能确保时态一致性的实时并发控制协议:时态一致性高优先级两段锁协议(TCHP-2PL).为了实现更好的实时性能,我们对TCHP-2PL进行了改进,通过引入相似性概念,提出了TCHP-2PL的改进版本:STCHP-2PL.性能测试结果显示,STCHP-2PL在确保时态一致性的同时仍能保证很好的实时性能.

实时数据库系统中时态一致性的维护

实时数据库系统(RTDBS)的一个重要问题是维护实时事务和时态数据时态一致性。讨论了实时数据库中事务和数据的时间特性,给出了事务的绝对时态一致性和相对时态一致性的定义;探讨了时态数据给实时事务调度策略带来的影响;提出了一种既保证事务的时态一致性,又减少更新事务执行数量的方法。

多处理器平台上考虑实例丢弃的数据时态一致性维护

维护实时数据的时态一致性对于信息物理融合系统来说非常重要。已有的研究工作大多针对单处理器平台来进行。基于(m,k)约束模型定义了多处理器平台上考虑实例丢弃的时态一致性维护问题,提出了一种解决该问题的方法SC-AD。SC-AD利用推导出的传感器事务集可调度的充分条件来确定各传感器事务参数m的初始值,然后据此进行多处理器事务分派。SC-AD合理地增加各处理器上已分派事务参数m的值以进一步降低实时数据的平均相对无效时间。实验结果表明,在不同的系统负载下,SC-AD在平均相对无效时间和平均有效率等性能指标上都要优于基线算法。

宾语从句与主句的时态一致

宾语从句充当主句谓语动词的宾语,主句的谓语动词对从句的谓语动词有制约作用,也就是说宾语从句的谓语动词在时态上要与主句的谓语动词保持一致。

主从句时态一致的确定方法

中英语学习了两种类型的主从复合句：含状语从句的主从复合句和含宾语从句的主从复合句。中考英语对此两种从句的考查往往涉及对主从句时态一致性的考查，因而同学们应掌握确定主从句时态一致的方法。

主从复合句时态一致性问题面面观

主从复合句是英语语法的重难点学习内容之一,不少同学对于复合句中主句和从句的谓语动词时态的一致性总是感到不好理解,经常在使用时出现这样那样的错误。实际上,主从复合句中谓语动词时态的一致性主要有下面七种情况。

重铸式纠错与EFL学习者口语准确性发展——一项针对时态一致性的实验研究

＂重铸＂即不指明错误而对错误言语做出部分或全部的重新表述,这种隐性纠错方式是二语习得课堂研究的关注焦点之一。本研究旨在通过一项实验考察其对EFL学习者口语准确性发展的影响。针对时态一致性这一目的语特征,我们对一组中国高校EFL学习者进行重铸式纠错的实验干预。经过对实验对象在前测、后测和延时测试中的语言产出进行分析比较,发现重铸纠错在改进学习者口语时态一致性上具有明显效果。另外,对八次干预活动录音文本的数据分析显示学习者对重铸的有效接纳达到76%。

关于“时态一致现象”假设的对比研究

本文旨在通过对比考察关于控制-依赖型小句复合体中"时态一致现象"的几种假设,指出系统功能语法时态扩展理论的优势所在。文章首先探讨"时态形式一致论"、"绝对指示论"、"相对时间论"和"相对或绝对时间论"等4种假设的适用性,以及它们在解释语言现象时均存在的不同程度的局限性;然后,阐述并扩展系统功能语法的时态观。通过实例分析,指出系统功能语法中"依赖型或自主型假设"具有适用范围广,解释力强的特点。

基于语料库的中国英语专业学习者时态使用一致性研究

使用英语专业学习者语料库研究了中国学习者一般现在时和一般过去时两种时态使用的一致性问题。研究结果发现,在语境相对透明的情况下,学习者对这两种时态总体把握较好,但是仍然存在过度使用或使用不足的情况,即时态使用的一致性不理想。不同的时间表达类型对于时态的选择会有一定影响,时间状语的出现无法确保学习者对于相关动词的正确时态选择和应用。中国学习者倾向于在句子层面处理时态的选择,缺乏对于时态语篇功能的考虑,更是忽视了其作为衔接和连贯手段的重要作用。

汉译英新闻中间接引语时态不一致研究

鉴于新闻语篇时态不一致现象在信息传播中的重要性,本研究以汉译英翻译体新闻语篇中过去时报道动词与意图绝对现在时搭配现象为研究对象,对其时态特征和语义特征分布情况及导致时态不一致现象的句法、语义、语用层的翻译动因进行系统描写和分析。研究发现,过去时报道动词与意图绝对现在时搭配在数量、类型及语义特征上显著多于CNN本族语英语,存在过度使用的情况,而这是由于汉语原文在句法层、语义层和语用层“渗透”导致的,即“源语渗透效应”。

汉译英新闻语篇时态不一致搭配的介入资源研究

本研究以汉译英翻译体新闻语篇中间接引语的时态为研究对象,聚焦时态不一致现象的介入资源,应用评价理论中的介入系统对报道者和被报道者的立场进行分析。结果发现,时态不一致搭配的介入资源搭配中,汉译英语主要依靠过去时报道动词与意图绝对时态来表明[对话扩展][对话扩展]的立场,而英语母语主要依靠现在时、现在完成时报道动词与意图相对时态搭配来表明[对话扩展][对话扩展]的立场。汉译英语更频繁地持有中性及消极报道立场,拒绝为表征说话人消极或积极立场承担责任。而英语母语报道者则倾向于采用中性报道立场,承认表征说话人的消极立场是可能的声音之一,并且不反对其他声音介入。汉译英语报道者更善于运用时态不一致搭配这一语言策略采取对话收缩立场,挑战、限制其他声音和立场,进而压缩对话空间,将报道者的态度引入对话空间。汉译英语报道者对于表征说话人明确表明立场、压缩对话空间的策略会利用外部声音采取公开支持的态度和立场,而本族语者则会引用权威声音否定先前引入的肯定命题,同时彰显自身鲜明的消极立场。

支持有效时间的时态RDF数据的不一致性分析

资源描述框架(RDF)是一个元数据模型,是由W3C建立的基础设施,使得Web上的数据机器可读。近年来,语义网的快速发展和RDF的普遍应用,产生了大量的含有时态信息的RDF数据,并涉及到各个方面领域的关键数据。时态RDF数据的一致性能提高时态RDF数据的准确性,时态数据的一致性检测和恢复也有助于提高数据库系统的可靠性和高效性,对于时态信息处理也能提供可靠的保证,也能提高时态信息处理的效率。研究了对传统RDF引入时间信息的建模方式,通过添加有效时间的时间标签的方式构建了支持有效时间的时态RDF模型,在此基础上对时态RDF数据存在的不一致性情况进行了分析和研究,并提出了相关的检测和修复的算法。

时态RDF数据的不一致性修复和预处理

资源描述框架(RDF)是由W3C提出的开放型数据模型,对语义Web中信息资源的语义表达和描述标准化。语义网的快速发展和RDF的普遍应用,产生大量的时态RDF数据。时态RDF数据的一致性能提高时态RDF数据的准确性,也有助于提高数据库系统的可靠性和高效性,对于时态信息处理也能提供可靠的保证。针对支持有效时间的时态RDF数据存在的不一致性情况,提出了相关的修复算法,对于时态RDF数据实时更新,分析变化操作产生的不一致性并进行了预处理,实验验证了可行性。

实时数据库中具有时态限制的事务调度算法

在实时数据库中,事务对时态数据对象的访问在很多领域的应用日益广泛.目前实时数据库中的事务调度算法大多仅考虑数据的逻辑一致性,而忽略了满足时态的一致性.本文提出了临时数据截止期的概念,以定理的形式证明了低成本的预测算法的可行性,尽可能早地终止或推迟无法满足时态一致性要求的事务的执行,节省了计算资源以供其它事务执行.在此基础上提出了新的实时数据库中具有时态限制的事务调度算法TDDBPA(TemporaryDataDeadline-BasedPredictiveAlgo-rithm).通过与目前所知的有效算法比较,本算法在性能指标上(事务失败率、浪费的CPU时间)明显优于这些算法.

实时数据库中时态性与安全性保障的服务质量管理方法

本文提出了使用服务质量管理的确保时态与安全的时态、安全实时反馈控制体系结构。探讨了在无确定工作量和数据访问模式下为事务提供截止时间丢失比例和时态一致性保障的QM F方法,并通过动态调整基于反馈控制环中测量性能差错上的系统行为,采纳反馈控制器要求的自适应修改策略动态调整工作量以达到用户期望的时态、安全保障的实时数据服务。

基于挖掘具有时态限制数据语义的实时事务调度算法

在实时数据库中,事务对时态数据对象的访问在很多领域的应用日益广泛。目前实时数据库中的事务调度算法大多仅考虑数据的逻辑一致性,而忽略了满足时态的一致性。论文提出了新的实时数据库中具有时态限制的事务调度算法PSBA(PredictionandSimilarity-BasedAlgorithm)。首先提出了临时数据截止期的概念,以定理的形式证明了低成本地预测算法的可行性,尽可能早地终止或推迟无法满足时态一致性要求的事务的执行,节省了计算资源以供其它事务执行。继而通过挖掘数据语义,利用数据相似性,结合预测算法,进一步提高了调度性能。与目前所知的有效算法比较,该算法在性能指标上(事务失败率、浪费的CPU时间)明显优于这些算法。

主动时态数据库中事件的时态语义研究

在事件时态一致性的前提下详细讨论了主动时态数据库中事件的时态问题,给出了复合时态事件的时态关系以及任意两个事件之间的Allen关系.

中考“一致性”考题选练

中考试题中往往有不少是采用一致关系来命题的。这些一致关系主要有主谓一致，时态一致、指代一致，比较对象一致，逻辑关系一致、句型结构搭配一致、语序一致、词序一致，不定代词数量一致、不定代词肯否定一致等类型。下面是2000-2001年各地中考试卷中考查“一致性”的试题，供同学复习参考。

时态规划中基于CSP技术的时态约束方法

在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率.