基于线性带权值的广义表的模型检验方法

摘要

提出了一个线性带权值的广义表(Linear Weighted Generalized List,LWGL)模型,同时给出了LWGL加法和乘法、析取和合取运算规则,实现了基于LWGL的高层次模型检验方法.实验结果表明LWGL模型对高层次模型检验是有效的.