微处理器指令译码功能测试的连环验证法

提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。     

32位微处理器功能测试状态集的研究

基于微处理器指令译码功能故障模型，给出了各类指令所需的测试状态集应该具有的性质及其构造方法。     

基于小波系数带间预测的图象累进传输

提出了一种基于小波变换的图象累进编码传输方案,利用图象内在自相似性对幅值较小的小波系数进行带间预测,对幅值较大的系数进行分层估值量化,辅以高效的自适应算术编码,形成按重要性顺序排列的图象编码,在很低的比特率下,重构图象仍可辨认;而在相同的比特率下,重构图象的质量一致优于ＪＰＥＧ标准。