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