基于动态布隆过滤器的云存储数据持有性验证方法

针对现有云存储数据持有性验证方法验证效率低的问题,提出一种基于动态布隆过滤器的云存储数据持有性验证方法.首先使用同态哈希函数对云存储数据进行处理,简化客户端计算量;然后第三方验证平台使用数据块标签构造动态布隆过滤器,支持云存储数据的全动态操作;最后通过随机验证路径生成持有证据,增强云存储数据持有性验证的安全性.实验结果表明该方法可有效减少证明计算开销,提高了验证安全性和验证效率.     

关于有效实施省级环境监测实验室能力验证的思考

本文就省级环境监测系统实施能力验证的现状及实施过程中存在的问题做一定阐述,并对未来工作方向进行展望,为省级环境监测站对下级环境监测站开展能力考核提供依据。     

软件在环仿真技术的整车控制器功能验证

在采用Simulink软件搭建控制对象模型的基础上,基于VEOS系统制定测试方案,搭建某款纯电动汽车整车控制器测试平台,实现软件在环仿真;利用仿真结果对功能错误的代码进行调试改正,并将调试好的C代码下载到硬件环境中进行实车测试,完成电动汽车整车控制器的功能验证。研究表明,整车控制器能够根据测试人员的故障输入快速准确地识别故障等级,并作出响应;应用软件在环仿真技术能及时发现整车控制器在早期研发阶段存在的功能代码错误,可有效缩短整车控制器的开发周期。     

烤烟修订标准农业转化验证效果初探

2010-2013年在湖北省恩施州开展了烤烟修订标准农业转化验证效果的研究,结果表明,修订标准中增加组别,同时减少级别,对部位的划分更为准确具体,组别和等级设置科学.取消了在实际生产中无商品量的无效等级,有效地满足工业需求和更加适应现代烟草农业的发展.     

轻型无人机在水利带状地形图中的应用

本文通过大疆Phantom4 RTK无人机在水利工程中的应用,论证了其航测解算所得成果DOM、DEM的精度可以满足1∶1 000比例尺的DLG精度要求,为测绘外业工作节省了大量的时间。今后,无人机也必将在水利行业中得到广泛的应用。     

基于时间着色Petri网的OpenFlow协议建模研究

介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.     

自动化集装箱码头数字孪生数据建模及评价方法研究

为充分利用自动化集装箱码头海量作业数据，实现数字孪生驱动的码头数字化、智能化转型，提出一种自动化集装箱码头数字孪生数据建模及效果验证评价的方法。研究了基于数字孪生的自动化集装箱码头的应用框架及其运行机制；结合数字孪生框架的数据处理逻辑，提出了基于数字孪生的码头作业过程演化及动态数据建模方法；为验证数字孪生数据能否满足码头数字孪生的有效运行，给出了码头数字孪生数据验证评价的量化计算方法。为实现基于数字孪生的自动化集装箱码头的智能作业管控和作业数据管理提供方法支撑。     

卷首语

正21世纪是城市的世纪,随着城市化水平的不断提高,人类社会面临着日益严峻的城市问题,包括环境问题、人口增加导致的资源加速消耗、更加复杂的社会管理等。建设可持续发展的智慧城市将是应对上述挑战、解决上述问题的良策。2013年,我国建立了一批智慧城市试点,将对我国智慧城市建设起到重要的推动作用。我国的智慧城市建设处于起步阶段,还需要进行多方面的探索与实践验证,这是建立智慧城市试点的初衷。来自中国电子科技集团公司第三十三研究所张     

民用飞机反推力装置对发动机短舱排液性能影响试验研究

为考察民用飞机反推力装置对发动机短舱排液性能的影响,在某型民用飞机涡扇发动机开展试验研究,具体研究了反推力装置收起方式、开始收起反推力装置时的飞机滑行速度以及短舱排液结构对发动机短舱排液性能的影响。研究结果表明：加快反推力装置收起过程和提高开始收反推力装置时的飞机滑行速度均可以改善发动机短舱的排液性能;排液结构是发动机短舱排液性能决定因素;反推力装置收起方式和开始收反推力装置时的飞机滑行速度是短舱排液适航验证试验需选取的两个关键参数。该文结论对民用飞机发动机短舱排液系统设计优化和适航验证试验具有一定参考价值和指导意义。     

区域性防治煤与瓦斯突出研究

在煤矿生产中,随着开采深度的增加,煤层的瓦斯含量、瓦斯压力都呈上升趋势,发生煤与瓦斯突出的危险性加大,给煤矿安全生产带来很大威胁.论文以中平能化集团天安五矿地质条件为例,通过瓦斯敏感指标临界值跟踪考察及结果分析,得出瓦斯敏感指标临界值,为区域验证及局部防突提供了理论基础,并应用于工程实践,实现了快速安全掘进.