检索结果-南通市图书馆

计算机工程与科学 2022年第6期44卷 1063-1071页

作者：左正康梁赞杨苏崴黄箐王渊王昌晶江西师范大学计算机信息工程学院江西南昌330022 江西师范大学软件学院江西南昌330022

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列... 详细信息

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。

关键词：折半划分形式化推导分划递推程序求精

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于逻辑运算的折半划分测试数据压缩方法

引用

系统仿真学报 2015年第6期27卷 1324-1328页

作者：吴琼黄丽安庆师范学院科技处安徽安庆246011 安庆师范学院安徽安庆246011

提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变换成全"0"序列,对于不能转化的序列,需对它们... 详细信息

提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变换成全"0"序列,对于不能转化的序列,需对它们不断进行折半划分,当达到预先规定的最小长度时停止划分,直接用代码字编码。代码字的长度可以通过折半的次数来换算,而且通过逻辑运算化为全0序列,更加易于编码,与传统的编码方法比,解压结构简单,降低了解压和压缩成本。

关键词：数据压缩逻辑运算折半划分交替序列

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于折半划分的测试数据压缩方法

引用

计算机应用 2007年第12期27卷 3129-3131,3135页

作者：张念梁华国易茂祥合肥工业大学计算机与信息学院合肥230009 合肥工业大学理学院合肥230009

提出了一种新的测试数据压缩方法,它能有效地压缩测试数据。首先将整个测试集划分成若干定长块,对非全0/1块,使用折半的方法划分;对全0/1块,使用标记位来表示划分的次数。与传统的编码压缩方法相比,它只需要记住数据块被折半划分的次数... 详细信息

提出了一种新的测试数据压缩方法,它能有效地压缩测试数据。首先将整个测试集划分成若干定长块,对非全0/1块,使用折半的方法划分;对全0/1块,使用标记位来表示划分的次数。与传统的编码压缩方法相比,它只需要记住数据块被折半划分的次数就可表示其长度,同时还具有硬件解压结构和通信协议简单的优势。

关键词：测试数据压缩折半划分全0/1块

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于折半划分和分组共享的SoC测试压缩方法

基于折半划分和分组共享的SoC测试压缩方法

引用

作者：张念合肥工业大学

学位级别：硕士

由于超大规模集成电路VLSI复杂性的飞速增长,VLSI电路的测试变得越来越重要。随着片上系统SoC中IP核集成度的提高,测试数据量迅速增加。由于有限的测试通道宽度和大量的测试数据量,那么必须寻求更加昂贵的自动测试设备ATE,这就导致了测... 详细信息

由于超大规模集成电路VLSI复杂性的飞速增长,VLSI电路的测试变得越来越重要。随着片上系统SoC中IP核集成度的提高,测试数据量迅速增加。由于有限的测试通道宽度和大量的测试数据量,那么必须寻求更加昂贵的自动测试设备ATE,这就导致了测试成本的增加。如何压缩迅猛增加的测试数据量成为目前巨大的挑战之一。因此,本论文围绕片上系统SoC测试数据的压缩问题展开了研究。测试数据压缩是解决SoC测试问题的一种行之有效的方法,它可以用于减少所需存储的测试数据量。测试时,压缩后的数据经过解码电路被还原为原始的测试向量,施加到被测电路完成测试。编码压缩技术是测试数据压缩方法的一个重要分支,目前得到广泛的研究。本文介绍了SoC测试的相关概念和一些典型的测试数据压缩技术,并作了相关分析。本文提出了一种基于折半划分的测试数据编码压缩方法,它将整个测试集划分成若干定长块,对非全0/1块,使用折半的方法划分;对全0/1块,使用标记位来表示划分的次数。与传统的编码压缩方法相比,它只需要记录数据块被折半划分的次数就可表示其长度,同时还具有硬件解压结构和通信协议简单的优势。此外,本文还在LFSR的基础上作一些编码压缩的工作,提出了一种分类共享种子和位翻转的测试数据压缩方法。它根据测试集分布的特点,将确定位处于相同位置的测试向量分为一类,每类中向量共享一个种子,以此提高种子的利用率,达到压缩测试集的目的。解压缩时,通过地址信息和翻转信号来翻转与LFSR重播种展开序列即可获得原测试集。该方法在压缩效率上具有明显的优势。

关键词：片上系统测试数据压缩 LFSR重新播种折半划分分组共享

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种基于异或运算折半划分的测试数据压缩方案

引用

安庆师范学院学报（自然科学版） 2014年第3期20卷 45-48页

作者：黄丽吴琼安庆师范学院数学与计算科学学院安徽安庆246133

将测试集按单位长度M分成若干块,通过异或逻辑运算将块内数据为"01"和"10"的交替序列变换成全"0"和"1"序列,对于不能转换的序列,不断进行折半划分。这种基于异或逻辑运算折半划分的压缩方法,代码字的长度可以直接用折半的次数来表示,一... 详细信息

将测试集按单位长度M分成若干块,通过异或逻辑运算将块内数据为"01"和"10"的交替序列变换成全"0"和"1"序列,对于不能转换的序列,不断进行折半划分。这种基于异或逻辑运算折半划分的压缩方法,代码字的长度可以直接用折半的次数来表示,一方面减少了代码字的长度,另一方面解压时可以直接将计数器移位,降低了解压成本,仿真实验结果证实压缩效果良好。

关键词：数据压缩折半划分异或逻辑运算交替序列 Golomb

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：