终止性相关论文
“万物互联”概念的提出,推动着智慧城市与智能家居等各个智能场景下科技的发展,多场景应用无缝体验成为智慧生活的基石。智能设备......
该文研究主动数据库系统中规则的分析和优化问题.规则分析主要考查规则的两个特性;可终止性和一致性的问题.规则优化主要考虑对规......
对程序进行分析和验证是当今计算机程序设计研究领域的前沿课题,如何保证程序按照人的预先设定严格执行而不出错是当今信息科学和可......
主要分析了差分代换矩阵的基本性质,证明了存在有限个差分代换矩阵的乘积可以将单位点(1,0,…,0)变换到指定的非负(本原)整点.利用这一结果......
当前越来越多的实时系统被应用在我们的日常生活中,如红绿灯、电梯和飞机上的软件系统。这些系统的异常行为会对社会造成巨大的经......
现代复杂武器装备系统以软件密集为显著特征之一,软件保障活动在现代装备保障理论中占有重要地位。将博弈理论引入武器装备软件保障......
本文对有限状态自动机的移动进程演算模拟进行了研究.文章从一个有趣的角度,间接地研究了这一问题.主要通过演算和其子集的讨论,借......
快照计算是分布式系统和应用的一个基本问题.一般地,快照不仅要记录各进程的状态,还必须记录通道状态,形成全局状态,这样就需要大......
【中图分类号】G710 Ⅰ.表示先于谓语动词的动作。 1.V—ing用作时间状语、原因状语方式状语、让步状语时,常用一般体代替完......
中学物理教学不是终止性的阶段式的教育,而是接续式的、以学生终身学习和终身发展奠定基础为宗旨的教育,那么,在教学中怎样培养学生的......
英语中的终止性动词和持续性动词在用法上各有不同之处,尤其是用在某些场合中有不同的情况,现分析这两类动词用法的其中五种情况:1......
本文引入了模式化简序的概念,并给出了基于模式化简序的重写系统终止性判别方法。本文还着重研究了模式递归路径序,同时定义了重写......
D.P.O′Leary在一定条件下证明了Broyden方法在求解n维线性方程线对至多2n步终止,又指出当该条件不成立时终止将提前发生,本文中的后者证明了既存在的提前......
提出一类非线性循环程序的终止性是可以判定的。该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关。然后提出了一种新......
Active ctiveXML(简记为AXML)文档在XML文档中引入嵌入式Web服务,通过调用这些服务,来获取相应的内涵信息,为AXML文档物化过程。研究......
笔者在临床咨询中有一刘女士,已更年期多年,近年来由于阴道干燥、性交不适疼痛,对丈夫的性要求经常拒绝;因为丈夫是经理,又怕他在......
对于并行赋值的线性循环程序,已有文献通过矩阵特征值方法来判定其终止性,但该方法并不适用于常见的串行赋值程序。该文通过把串行......
指出基于触发图和活化图主动规则终止性分析算法的,错误,提出触发可达和触发可达集,并在此基础上对原算法进行修正。......
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确......
终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表......
面向对象方法描述的对象是被动的,与主动机制存在矛盾,不能很好地定义分布式主动数据库中对象的功能和特性.分布式主动数据库中的......
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项......
作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最......
【正】 一、问题的提出英语动词按照动作发生过程的长短可分为终止动词(Terminative Verb)和延续动词(Durative Verb)。终止动词表......
研究并发展逐次差分代换方法,得到R n+上正半定型差分代换次数的一个上界。由此获得判定R n+上正半定型的充要条件。根据此充要条件......
主动数据库扩展了传统数据库的被动功能,引用形如“事件-条件-动作”的主动规则(称为ECA规则)来表达主动行为。事件部分指定事件序......
主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数......
在性交时,新娘突然出现头晕目眩、面色苍白、身出虚汗,接着发生昏厥,这在医学上称为“房事昏厥”。这种情况多发生于有贫血、身体......
提出一种判定这类线性循环程序是否终止的新方法,该方法通过分析循环变量每次迭代后的状态.最后得到循环条件的满足与否只是与变量的......
终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供......
【正】一般语法著作认为,“了”只说明完成,而不管时间,“过”则表示“曾经有某种经历”,只能用于过去。我们认为,这只指出了“了......
他叫阳成林,今年28岁。结婚2个月,小俩口就吵着要离婚。他闷闷不乐,整天愁眉苦硷,上班打不起精神。同事看到他好象有什么病似的,就......
夫妻过性生活时,大多情意绵绵,风情万种,如果在此时身体的某一部位出现了疼痛,无疑是一件非常扫兴的事。遗憾的是,房事疼痛却作为......
程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完......
介绍了基于TG和AG的主动数据库规则分析方法,提出了基于Petri网用EG(execute graph)分析规则的方法.......
针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序......
针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法主要分析事务信息和结构如何影响主动规......
终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方......
有关专家指出,性生活是婚姻生活中最敏感的话题。性生活的好坏对夫妻关系有着举足轻重的作用。保持正常、和谐的性生活,即使有些小......
主动规则不仅可以提供传统的数据完整性维护功能,而且还支持版本管理、工作流控制、Web服务聚合等新型的数据库应用。空间信息技术......
形式化方法是开发高可信软件和安全攸关系统的有效途径,是高可信计算的研究重点之一。高可信计算追求软件和系统提供可信赖的计算......
通过给出触发器的形式描述,对级联触发器的终止性进行详细探讨,并分析了大型商用数据库系统终止级联触发器的方法,提出了一种避免级......
本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用......