-
题名基于逻辑运算的折半划分测试数据压缩方法
被引量:5
- 1
-
-
作者
吴琼
黄丽
-
机构
安庆师范学院科技处
安庆师范学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2015年第6期1324-1328,共5页
-
基金
国家自然科学基金(61306046)
-
文摘
提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变换成全"0"序列,对于不能转化的序列,需对它们不断进行折半划分,当达到预先规定的最小长度时停止划分,直接用代码字编码。代码字的长度可以通过折半的次数来换算,而且通过逻辑运算化为全0序列,更加易于编码,与传统的编码方法比,解压结构简单,降低了解压和压缩成本。
-
关键词
数据压缩
逻辑运算
折半划分
交替序列
-
Keywords
test data compression
logical operation
dimidiate partition
alternating bits
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
-
题名基于折半划分的测试数据压缩方法
被引量:3
- 2
-
-
作者
张念
梁华国
易茂祥
-
机构
合肥工业大学计算机与信息学院
合肥工业大学理学院
-
出处
《计算机应用》
CSCD
北大核心
2007年第12期3129-3131,3135,共4页
-
基金
国家自然科学基金资助项目(90407008
60633060)
安徽省自然科学基金资助项目(050420103)
-
文摘
提出了一种新的测试数据压缩方法,它能有效地压缩测试数据。首先将整个测试集划分成若干定长块,对非全0/1块,使用折半的方法划分;对全0/1块,使用标记位来表示划分的次数。与传统的编码压缩方法相比,它只需要记住数据块被折半划分的次数就可表示其长度,同时还具有硬件解压结构和通信协议简单的优势。
-
关键词
测试数据压缩
折半划分
全0/1块
-
Keywords
test data compression
dimidiate partition
0/1 data block
-
分类号
TP206.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名序列折半划分问题的形式化推导
- 3
-
-
作者
左正康
梁赞杨
苏崴
黄箐
王渊
王昌晶
-
机构
江西师范大学计算机信息工程学院
江西师范大学软件学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2022年第6期1063-1071,共9页
-
基金
国家自然科学基金(61862033,61902162)
江西省自然科学基金(20202BABL202026,20202BABL202025,20202BAB202015)
江西省教育厅科学技术重点研究项目(GJJ210307)。
-
文摘
形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。
-
关键词
折半划分
形式化推导
分划递推
程序求精
-
Keywords
dimidiate partition
formal derivation
partition and recursion
program refinement
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于异或运算折半划分的测试数据压缩方案
- 4
-
-
作者
黄丽
吴琼
-
机构
安庆师范学院数学与计算科学学院
-
出处
《安庆师范学院学报(自然科学版)》
2014年第3期45-48,共4页
-
基金
国家自然基金(61306046)资助
-
文摘
将测试集按单位长度M分成若干块,通过异或逻辑运算将块内数据为"01"和"10"的交替序列变换成全"0"和"1"序列,对于不能转换的序列,不断进行折半划分。这种基于异或逻辑运算折半划分的压缩方法,代码字的长度可以直接用折半的次数来表示,一方面减少了代码字的长度,另一方面解压时可以直接将计数器移位,降低了解压成本,仿真实验结果证实压缩效果良好。
-
关键词
数据压缩
折半划分
异或逻辑运算
交替序列
Golomb
-
Keywords
test data compression, dimidiate partition, exclusive or logical operation, golomb codes
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-