云存储中支持失效文件快速查询的批量审计方法

云存储服务中,批量审计是高效验证云端数据完整性的关键技术.批量审计容易遭受"失效文件"攻击,并且查询失效文件代价高、速度慢,严重影响着批量审计方案的可用性和效率.针对该问题,提出一种支持失效文件快速查询的批量审计方法,该方法通过建立批量审计过程的关联性,改变了二分查询树中右孩子节点的计算方式,减少了整个查找过程的批量审计次数;并在批量审计过程中执行幂指测试,通过一次审计就可完成含有单个失效文件的子树查找过程,有效缩短了子树的查找长度;采用混合型查询方法,根据历史查询信息设置幂指测试的深度,降低了"失效文件聚集处"的查询开销.安全分析和性能表明,该方法能够快速完成失效文件定位,有效抵抗"失效文件"攻击,保证了批量审计方案的可用性和效率.在少量文件失效的情景下,相较于简单二分查找方法,文中方法耗费的批量审计次数减少了30%.

单道批处理系统的建模与验证

单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型——批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率。

基于FPGA的数据记录器关键技术优化

针对存储系统中的指令误判和单片FLASH读写速率慢的问题,设计了一种基于FPGA的高可靠、高速数据记录器。该记录器采用4线指令组合校验机制,配合双计数器消抖的防指令误判技术,最大限度保证指令的可靠识别;采用批次检测的方法管理坏块,有效缩短校验时间,同时应用交替双平面交叉写入和流水线编程模式,FLASH写入速度达到29.92 MB/s;应用双FIFO交叉缓存,握手读数的机制,有效保证读取速度。经实践验证,该记录器指令判断准确,读写速率快,具有一定的推广价值。

原油顺序输送的现状与展望

通过对国内外现有油品顺序输送管道的发展情况的了解,以及对国内外油品顺序输送中的混油机理、界面检测、界面隔离、减少混油措施等现有技术进行总结,对国产原油-进口原油顺序输送所应解决的问题进行了阐述,最后提出对顺序输送技术的展望,并提出应该急需研究的油品顺序输送所应注意的相关技术问题。

基于ilasII20系统的采访批量查重

探讨了在ilasII2 0系统下通过数据转换,利用VisualFoxpro为平台,在采访工作中实现批量查重的具体做法。

参数化设计软件中板的局部稳定性校核

介绍一种批量校核板的局部稳定性的方法。通过该方法在抓斗卸船机参数化设计软件中的应用以及与国外成功算例对比,验证了该计算方法的正确性与实用性。

湖南省食品质量安全抽样分析报告

本文以2011年湖南省质量技术监督局对地州市各食品生产加工企业定期抽检公布的数据为例,进行抽样不合格批次数量与总抽样批次总量统计分析;统计结果表明:2011年全年全省食品平均抽检合格率为94.01%;地州市食品抽检合格率差异较大,质量安全不均衡;湖南传统食品,如熟食、豆制品、槟榔等,存在菌落总数超标、超量和违规使用食品添加剂等安全隐患。

基于SULCMISⅢ系统的采访批量查重程序的算法分析

主要介绍了惠州学院图书馆于2004年自行开发的基于SULCMISⅢ系统的采访批量查重程序,在采访工作中实现批量查重的算法分析及原理,并提供部分程序代码.该程序促进了我馆采访工作的自动化、科学化.

自动化管理模式下图书清点综述

图书清点是图书馆的一项基础性工作,也是图书馆馆藏基础建设的重要组成部分,是维护馆藏书目数据的重要手段,是图书馆提高管理水平和服务质量的一项重要工作。本文对自动化管理模式下图书馆的图书清点做一个较为全面深入的综述,介绍图书清点的目的、方法和流程,清点前应考虑的问题和准备工作,不同清点方法的过程和应注意的问题,清点结果的统计、分析和处理。

国内外气瓶阀制造试验和检验问题的探讨

对EN ISO 14246与中国标准中有关气瓶阀制造试验和检验的问题进行了比较研究,提出了完善中国标准的建议。

数字地图质量批量检查功能的设计与实现

常用的数字地图检查软件，主要针对单幅图的质量检查进行设计，批量检查的功能普遍较弱，难干全面、准确、高效地进行质量检查与验收。本文分析了生产应用需求，结合生产作业的实际情况，针对批量数据检查的特点，从元数据的批量检查、图幅数据的批量检查、批量接边检查、检查结果批量处理等方面，详细探讨了数字地图批量检查的策略、设计过程与实现方法。

二维码防伪查询系统的设计与实现

以往的防伪查询基本是采取刮开图层发送手机短信的方式来区分真伪,本系统以互联网为基础进行技术创新,采用ASP.NET MVC进行开发,利用Microsoft SQL Server进行数据库管理,选用Windows Server 2012服务器操作系统,以"二维码+验证码"实现Web平台的线上验证方式,操作简单且免费,既能实现产品的真伪查询,又方便了消费者与企业之间的沟通。

图书馆图书采访批量查重程序的算法分析

主要介绍了惠州学院图书馆于2004年自行开发的批量查重程序,在采访工作中实现批量查重的算法分析及原理,并提供部分程序代码。该程序促进了该馆采访工作的自动化、科学化。

公民身份号码批量升级程序的分析与实现

公民身份号码批量升级程序的分析采用校验码算法,包括对17位数字码加权求和、计算模、通过模得到对应的校验码C等。在此基础上采用VB6.0实现公民身份号码批量升级程序。其主程序包括文件的读写操作。升级过程将读取的社会保障号码进行升级操作,即首先添加世纪码,再计算其校验码,最后得到公民身份号码。

事件日志的批量迹与过程模型的多视角对齐方法

在业务过程发现的一致性检测中,现有事件日志与过程模型的多视角对齐方法一次只能获得一条迹与过程模型的最优对齐;并且最优对齐求解中的启发函数计算复杂,以致最优对齐的计算效率较低。为此,提出一种基于迹最小编辑距离的、事件日志的批量迹与过程模型的多视角对齐方法。首先选取事件日志中的多条迹组成批量迹,使用过程挖掘算法得到批量迹的日志模型;进而获取日志模型与过程模型的乘积模型及其变迁系统,即为批量迹的搜索空间;然后设计基于Petri网变迁序列集合与剩余迹的最小编辑距离的启发函数来加快A^(*)算法;最后设计可调节数据和资源视角所占权重的多视角代价函数,在乘积模型的变迁系统上提出批量迹中每条迹与过程模型的多视角最优对齐方法。仿真实验结果表明,相比已有工作,在计算批量迹与过程模型间的多视角对齐时,所提方法占用更少的内存空间和使用更少的运行时间。该方法提高了最优对齐的启发函数计算速度,可以一次获得批量迹的所有最优对齐,进而提高了事件日志与过程模型的多视角对齐效率。

图书批量订购的实现技术

针对MELINETS采访系统的缺陷,并结合多年的工作实践,开发出一种实用的图书馆采访系统。重点介绍如何量化采访原则,如何根据采访原则的约束条件自动批量生成订单,如何在系统中直接发送邮件,如何应用本系统进行现采的实现技术。

浅析图书入库批次号的规范设置

图书馆当前都采用集成管理系统对各项业务进行管理,其中编目子系统负责图书的编目、验收和典藏业务。图书在验收典藏时需要人工设置一个批次号,据此可以打印出各种入库报表。该文探讨了批次号可以反映哪些信息,是随意设置还是要遵循哪些规范的问题。

实现财政统发工资数据批处理更新的方法和实践

结合实际工作 ,利用VisualFoxpro 6.0软件建立视图 ,访问和更新基表的方法实现财政统发工资的批处理更新及有效核对 ,降低了工作量 。

混凝土强度检验评定中的两个问题

通过实际工程实践 ,提出混凝土强度检验评定中易被忽略的局部混凝土强度质量和标准差过大影响整体混凝土评定结果的两个问题 ,并进行了分析 ,给出了相应措施 ,可供工程实验人员参考。

输电线路巡检图像智能诊断系统

随着电网系统对安全性的要求不断提高,机器人等自动化设备越来越多地应用到电力巡检中,人工手段对设备采集的图像进行缺陷检测存在效率低、检测结果不稳定的缺点。为此提出并开发了一种输电线路巡检图像智能诊断系统。在系统中构建了分层软件结构,基于Visual Studio 2010开发环境,开发了图像导入、数据库访问、文本输出等功能模块,使用了多种检测算法,且利用ADO技术以实现对数据库的访问和修改。软件测试的结果表明该系统具有工作效率高、错误率低、界面友好等优点,适用于输电线路巡检图像的检测工作。