Amazon技术架构的可信性分析

文章以Amazon电子商务系统为对象,通过对其技术架构的分析,论证了系统的可信性。     

煤楼运输自动化控制系统的应用

根据某煤矿的现状,提出了利用自动化控制系统对煤楼运输系统进行改造的方案;介绍了煤楼运输自动化控制系统的选型原则,给出了系统的组成、主要配置及其在某矿煤楼运输系统中的应用。实际应用表明,该煤楼运输自动化控制系统实时性好、可靠性高、故障率低,提高了生产效率,保障了安全生产。     

结合语句执行补集的程序错误定位

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句.针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法.实验结果表明,与其他方法相比,所...     

一种基于图像的非均匀单散射参与介质建模方法

针对非均匀单散射参与介质建模问题,提出一种能够保持密度场空间变化细节的建模方法.使用体数据、吸收和散射系数之比分别描述参与介质空间变化的密度分布及光线在其内部的传输特性,通过构建采集图像像素值与它们之间的表达式,将建模问题转化为非线性数值优化问题,求最优解.为了解决高分辨率体数据下大量体素密度值同时求解带来的时间开销大及数值不稳定问题,提出一种符合采集图像像素值明暗分布规律的密度场体数据初始化算法和一种多分辨率体数据逐步求精优化算法;为了快速计算大量体素密度值梯度,提出一种基于GPU的多体素并行梯度计算算法.实验结果表明,提出的方法能够根据采集图像重构烟模型,并保持其细节信息.     

巨型多不确定串匹配完全自动机及其快速生成算法

在串匹配搜索中,字符串常常采用U-不确定串、V-不确定串及其结合的U-V-不确定串.如何识别巨量U-不确定字符串、V-不确定字符串和U-V-不确定字符串,以及两个和两个以上U-V-不确定字符串的交错情况的串匹配,是没有遗漏地检测有害信息的关键问题.本文提出一个快速检测巨量U-不确定字符串、巨量V-不确定字符串和巨量U-V-不确定字符串的多串匹配完全自动机及其快速生成方法,包括两个和两个以上不确定字符串相互交错的情况;并且给出V-不确定字符串的完全自动机的最大并行台数,指出通常正则表达式匹配可能出现相似连接和交错情况的两种遗漏,指出如果没有从整体的角度对U-不确定串中的字符子串集进行两两不相交化及无同源后续奇点化的处理,结果就可能出现错误或者增加状态数目.     

负荷功率因数对配电变电站电压稳定性的影响

对配电变电站的电压稳定性原理进行仿真,分析表明,在负荷有功一定的情况下,负荷功率因数的下降对电压稳定性将会产生两个方面的影响:负荷无功-电压特性曲线上升,与之相对应的电网无功-电压特性曲线下降,从而使配电变电站的电压稳定性显著下降。     

Zero-knowledge proofs of retrievability

Proof of retrievability (POR) is a technique for ensuring the integrity of data in outsourced storage services.In this paper,we address the construction of POR protocol on the standard model of interactive proof systems.We propose the first interactive POR scheme to prevent the fraudulence of prover and the leakage of verified data.We also give full proofs of soundness and zero-knowledge properties by constructing a polynomial-time rewindable knowledge extractor under the computational Diffie-Hellman assump...     

井下三维导航的无线数据传输技术研究

针对矿山行业的迅速发展,它对井下三维定位导航技术的需求也越来越迫切,本文就现有的无线数据传输技术,探讨并研究了三种无线数据传输技术在井下定位导航系统中的应用,其中基于无线以太网的导航系统是一种应用于井下的全新的导航系统。井下导航系统可以用于井下工人在日常生产中的行走导航辅助,也还可以在灾害发生时为矿工提供安全撤退路线。     

武术视频检索技术应用研究

文章通过分析武术视频的特点,提出了一种关于提取武术分段视频的关键帧的算法:图像颜色特征计算法与Ⅰ帧提取法相结合的方法,经仿真实验证明此算法对于武术分段视频的关键帧提取准确率高。在此算法的基础上,对关键帧的运动人体进行特征向量的概括。然后,对支持向量机进行了分析并利用得出的特征向量作为样本对分类器进行构造和训练。基于以上步骤设计的系统,可有效的实现对武术视频的分类检索。     

基于加权LS-SVM的飞行事故率预测模型

飞行事故率是表征飞行安全水平的重要指标,其预测是典型的小样本问题。针对飞行事故率预测建模难的问题,采用加权LS-SVM方法,建立了飞行事故率的时间序列预测模型。仿真实验表明,加权LS-SVM具有很高的建模精度和较强的泛化能力,从而验证了该方法的有效性和先进性。