终止性相关论文
“万物互联”概念的提出,推动着智慧城市与智能家居等各个智能场景下科技的发展,多场景应用无缝体验成为智慧生活的基石。智能设备......
当前越来越多的实时系统被应用在我们的日常生活中,如红绿灯、电梯和飞机上的软件系统。这些系统的异常行为会对社会造成巨大的经......
【中图分类号】G710 Ⅰ.表示先于谓语动词的动作。 1.V—ing用作时间状语、原因状语方式状语、让步状语时，常用一般体代替完......
英语中的终止性动词和持续性动词在用法上各有不同之处,尤其是用在某些场合中有不同的情况,现分析这两类动词用法的其中五种情况:1......
提出一类非线性循环程序的终止性是可以判定的。该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关。然后提出了一种新......
Active ctiveXML（简记为AXML）文档在XML文档中引入嵌入式Web服务,通过调用这些服务,来获取相应的内涵信息,为AXML文档物化过程。研究......
笔者在临床咨询中有一刘女士,已更年期多年,近年来由于阴道干燥、性交不适疼痛,对丈夫的性要求经常拒绝;因为丈夫是经理,又怕他在......
对于并行赋值的线性循环程序,已有文献通过矩阵特征值方法来判定其终止性,但该方法并不适用于常见的串行赋值程序。该文通过把串行......
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确......
终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表......
面向对象方法描述的对象是被动的,与主动机制存在矛盾,不能很好地定义分布式主动数据库中对象的功能和特性.分布式主动数据库中的......
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项......
作为软件完全正确性的重要组成部分，程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法，调研该领域的最......
主动数据库扩展了传统数据库的被动功能,引用形如“事件-条件-动作”的主动规则(称为ECA规则)来表达主动行为。事件部分指定事件序......
主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去，即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数......
提出一种判定这类线性循环程序是否终止的新方法，该方法通过分析循环变量每次迭代后的状态．最后得到循环条件的满足与否只是与变量的......
摘 要： 动词是语言学习和研究关注的焦点，有多种分类标准。实意动词具有实在意义，英语里实意动词可以分为动态动词（dynamic verbs）和静......
程序的完全正确性包括程序的部分正确性和终止性，为了提高程序验证的正确性，介绍了程序正确性的验证方法，包括基于公理化验证程序的完......
介绍了基于TG和AG的主动数据库规则分析方法,提出了基于Petri网用EG(execute graph)分析规则的方法.......
针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法主要分析事务信息和结构如何影响主动规......
主动规则不仅可以提供传统的数据完整性维护功能，而且还支持版本管理、工作流控制、Web服务聚合等新型的数据库应用。空间信息技术......
本文从三个方面研究了如何验证一个程序的完全正确性:不变量生成、不变量检测、终止性分析.在不变量生成方面本文首先证明了由抽象......
通过给出触发器的形式描述，对级联触发器的终止性进行详细探讨，并分析了大型商用数据库系统终止级联触发器的方法,提出了一种避免级......
本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用......
<正>Gillian Ramchand.2011.Verb Meaning and the Lexicon:A First-phase Syntax.Cambridge:Cambridge University Press.X+217pp......
本文探索非多项式型实函数的实根分离问题，实现了分离三角函数多项式实根的“完备算法”，即可以找出一个互不相交的区间列，每一个区间......
<正>应答是教师提出问题后针对幼儿的回答做出的的反馈,是活动过程中师幼沟通的主要桥梁。研究表明幼儿园科学教学活动中教师倾向......
