循环程序的终止性分析是程序验证的重要组成部分。确保循环程序的终止是循环程序完全正确的必要条件。目前,用来证明程序终止性的......

当今时代,计算机已经成为人们工作生活必不可少的工具。计算机及其软件使用已经渗透到人类活动的各个领域,软件作为计算机功能实现......

对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定,......

单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终......

程序的终止性分析作为程序验证中重要的一环，在软件正确性验证中极为重要。对于一个线性循环程序，若该程序没有传统定义的线性秩函数......

为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用......

分析了如下类型程序的终止性：Whilex∈Ωdo{x=f（x）}end．其中一是程序变量，Ω是一个区间,f是一个连续函数．这类程序被称为区间上非线性程......

对多分支单变量循环程序的终止性问题进行了研究．证明了在适定的条件下，该类循环程序不可终止性的充分必要条件是迭代映射在循环条件......

运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.......

对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单......

主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在......

ECA规则终止性问题是主动数据库中一个关键问题，首先分析触发边、活化边、惰化边三种边的触发时序关系；然后构造条件断言函数来描述......

利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序......

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础；对精化触发图进行扩......

为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x：=f（x）}end当Ω为有限个互不相交的闭区间之并时的终......

基于主动模糊规则的访问控制模型，可以实现普适计算环境下资源的安全主动模糊自适应访问控制，而构造的访问控制规则集的终止性是决定......

程序验证是计算机程序设计领域的前沿研究课题,如何保证程序正确性是计算机科学的一个重大挑战.近年来,随着符号计算理论的不断完......

为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN,extended Petri net)模型,在此基础上研究......

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petr......