聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于线性时序逻辑的对象文件系统形式化描述
出处:第14届全国信息存储技术学术会议
摘要:基于线性时序逻辑,给出了对象文件系统特性的形式化描述.对象文件系统时序逻辑(OFSTL)是线性时序逻辑在描述... 显示全部
关键词: 对象文件系统 线性时序逻辑 智能存储 性质验证
会议论文 流处理器中支持非规格化浮点数的硬件实现
出处:第14届全国信息存储技术学术会议
摘要:IEEE754标准规定了浮点非规格化数的处理,但这种数据类型计算非常复杂以至于很多设计采用软件而不是硬件的... 显示全部
关键词: 标准 非规格化数 浮点硬件 融合乘加
会议论文 基于数字水印和数字签名的图像篡改认证算法
出处:第14届全国信息存储技术学术会议
摘要:提出了一种用于图像认证的半脆弱水印算法, 能够区分出恶意攻击和一般的图像处理.实验表明该算法能准确确定... 显示全部
关键词: 图像认证 半脆弱水印 篡改检测 颜色量化 小波变换
找到3条结果
`