【摘 要】
：
针对目前多种证据格式兼容性差、证据转换效率低、缺乏对证据文件转换过程进行科学判定及理论说明等不足,提出证据库转换模型。该模型对现有转换方法进行分析,利用证据文件是在RAW映像文件的基础上增加了元数据及专属格式信息的重要特征,引入多层签名以确保原始信息及证据文件的准确性,不改变证据文件的相关特征,完成证据格式高效转换。同时针对现有新型证据格式(AFF)转换效率慢问题,改进现有转换算法,完成与RAW文
【机 构】
：
信息工程大学,数学工程与先进计算国家重点实验室
论文部分内容阅读
针对目前多种证据格式兼容性差、证据转换效率低、缺乏对证据文件转换过程进行科学判定及理论说明等不足,提出证据库转换模型。该模型对现有转换方法进行分析,利用证据文件是在RAW映像文件的基础上增加了元数据及专属格式信息的重要特征,引入多层签名以确保原始信息及证据文件的准确性,不改变证据文件的相关特征,完成证据格式高效转换。同时针对现有新型证据格式(AFF)转换效率慢问题,改进现有转换算法,完成与RAW文件格式的快速转换。实验结果表明,该模型能够重建证据转换流程,能够优化算法结构,提高证据文件格式转换速度。
其他文献
针对传统GSP算法需要多次扫描数据库、I/O开销巨大的缺点,提出了一种基于MapReduce编程框架的序列模式挖掘算法MR-GSP(GSP algorithm based on MapReduce)。MR-GSP算法将原序列数据库划分为多个子序列数据库并分发到多个Map节点,Map函数扫描存放在Map节点内存中的子序列数据库,产生局部序列模式,Reduce函数对所有局部序列模式合并,扫描原序列数据
为提高分布仿真应用的互操作性、可重用性、数据传输时效和系统开发效率,以满足不同粒度的仿真应用需求,借鉴对象管理组织的数据分布式服务(data distributed service,DDS)规范中以数据为中心的公布/订购思想和SOA中服务设计理念,提出基于SOA架构的服务化仿真中间件(service-oriented simulation middleware,SSM),研究其全服务化方法和采用的
针对当前图像隐写方案存在阶梯效应,使其不可感知能力差,且其信息隐藏容量小(≤50%)等不足,设计了最优像素调整耦合基因算法的高容量图像隐写术。基于HDWT(Hara discerte wavelet transform)机制,构造隐藏信息长度计算模型,找出图像分块的频域表示,以改善隐写鲁棒性;根据载体图像与隐写图像之间的绝对误差,设计适应度函数,借助基因算法,获取最优映射函数,将秘密信息嵌入到HD
针对推荐算法未考虑大数据量计算导致系统性能差及基于历史评分的相似性不能反映用户兴趣动态变化的问题,提出了满足用户兴趣漂移的计算自适应快速推荐算法。该算法依据CPU等计算资源使用率动态调整待推荐用户窗口,并按项目类别及其访问热度动态分配计算时间,计算自适应项目与目标用户的优先级和相似性计算难易度,提高计算效率与响应速度;建立访问次数随时间变化的兴趣度量函数自适应用户兴趣漂移,提高推荐质量。实验结果表
针对环Fp+u Fp+v Fp+uv Fp上的二次剩余码进行了研究,其中u2=u,v2=v,uv=vu,p是一个奇素数。首先引入了环Fp+u Fp+v Fp+uv Fp上长为n的循环码的相关知识,用幂等元的形式定义了环Fp+u Fp+v Fp+uv Fp上的二次剩余码,给出了其定义和性质,并讨论了它们与其扩展码之间的关系和对偶性质。最后,给出了环F3+u F3+v F3+uv F3上长为11的二次
为了解决基本蝙蝠算法(BA)局部深度搜索能力弱、寻优精度低及易陷入局部最优的问题,提出一种带有高斯变异的混合蛙跳蝙蝠算法(SFLBAWGM)用于求解复杂函数问题。利用混合蛙跳算法(SFLA)的更新方式对蝙蝠个体进行局部深度搜索,使得SFLBAWGM既保持了BA本就具有的较强的全局搜索能力及快速收敛能力,又增强了算法的局部深度搜索性能;且当算法满足变异条件时,对当前全局最优个体执行高斯变异操作,以增
针对在许多类El Gamal公钥密码体制中计算AXmod n与AXBXmod n复杂度高等问题,提出了稀松形式下的区块式快速指数运算算法来改善其模指数运算。使用转换状态图来分析其效能,同时将其概念加以延伸,加强其实用性。分析表明,此算法在预先计算量小的时候有较好的效能,因此也特别适用于像智能卡这类存储空间受限的装置。
诸如交通网络、供水网络、电信网络、燃气网络等在人们的生活中极其重要,但是这些网络容易受到自然和人为等因素的影响导致失效,进而降低其连通性。为研究其连通性问题,改进SCM(sequential compounding method)实现了考虑点和线可靠性的有向无环网络连通性的计算方法。该算法是一种快速可靠性评价算法,其结果是近似的,适用于分析可分解为点—线—点结构的网络,特别适用于有一定统计规律的网
为解决由于网络阻塞而造成的分组丢弃和时延,基于优化理论框架,建立了原始—对偶模型,可用于描述一类拥塞控制算法。对该模型平衡点存在的条件和系统的稳定性进行了分析,与传统的网络控制算法相比,该算法考虑到边界条件的限制,得出了系统存在唯一平衡点的条件。通过TCP/E-RED网络对该理论进行了验证,结果表明,对于一般网络结构,该模型不具有往返时延,系统具有极高的稳定性,提高了网络性能。该方法用于避免由于网
在只有少量智能体具有领导者信息的蜂拥算法模型中,传统算法通过使用势能函数来保持智能体之间的一致性,而实际应用中势能函数的有界性则会导致部分智能体从群体中的分离,影响最终的蜂拥群形成效果。针对此问题,在不改变势能函数的情况下引入使智能体趋向质心的内聚项,并在此基础上提出了一种改进的少数引导智能体蜂拥算法。通过理论分析证明了算法的稳定性和速度的一致性。最后,通过仿真验证了算法的有效性和定理中的结论。实