抽象技术相关论文
面向服务的体系结构的出现和发展使得Web服务成为当今服务及软件开发的发展趋势。由于功能有限的单一的Web服务在多数情况下不能满......
模型检测是一种很重要的有限状态系统的自动验证技术,已经应用到了通信协议、硬件检测、控制系统等领域的验证中并受到了广泛的关......
学位
基于agent的系统开发是近年来出现的一种分析设计复杂,分布式软件系统的技术.由于对agent的定义不同,目前存在多种方法,本文分析这......
针对大型系统多故障诊断的复杂性,提出利用抽象技术建立的简化层次模型进行诊断。把抽象技术分为结构抽象和行为抽象,结构抽象建立......
为了加速容错处理器阵列的降阶重构过程,提出一种基于抽象技术的可重构处理器阵列抽象模型。通过抽象算法从处理器阵列中提取部分......
抽象技术不是具体的技术实体，但是它有助于从哲学层面深入探讨技术问题。抽象技术主体虽然不是社会生活中存在的具体的人，但是它是技......
从类的源代码中抽象出类的所有状态来减少系统状态及其行为，根据抽象后的类状态，设置JPF搜索环境，裁剪类方法测试序列生成时的搜索分......
模型检测技术是一种自动化的检测技术,该技术广泛应用于时序电路设计和通信协议设计,并取得了很大的成绩。真正将模型检测技术引入......
规范编纂技术是指一部法律或者法典在其语言风格、条文表达以及体系安排等表现形式方面所采用的方法。规范编纂技术在我国法中的应......
抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可......
