安全管理平台中基于云计算的日志分析系统设计

安全管理平台(SMP)是实现安全管理工作常态化运行的技术支撑平台,在实际应用中需要实时处理来自安全设备所产生的海量日志信息。为解决现有SMP中海量日志查询效率低下的问题,设计基于云计算的SMP日志存储分析系统。基于Hive的任务转化模式,利用Hadoop架构的分布式文件系统和MapReduce并行编程模型,实现海量SMP日志的有效存储与查询。实验结果表明,与基于关系数据的多表关联查询方法相比,该系统使得SMP日志的平均查询效率提高约90%,并能加快SMP集中管控的整体响应速度。     

核电厂用3级海水介质用不锈钢承压铸件标准对比研究

文章对比分析了NB/T 20007. 28-2014与RCC-M M3402 (2007版)、ASME SA-995 (2015版)海水介质中不锈钢承压铸件材料标准,研究了3个标准的异同,讨论了我国核电标准与国际主要标准之间的等效关系,以期为核电工程中选用我国核电标准提供支撑,促进我国核电标准的使用以及海外工程的应用。     

工程机械气动元件试验台的研制

本文分析了工程机械气压式和气压，液压综合式制动传动机构组成，结构特点及工作方式，阐述了工程机械气动元件试验台的功能，结构原理和设计特点以及典型元件的测试方法，并对应用范围提出了具体建议。     

近红外光谱技术在食品品质鉴别中的应用研究

应用近红外光谱技术对蜂蜜、养麦、食用油等样品进行品质鉴别分析。通过对上述食品近红外光谱的主成分分析（PCR），可快速判别蜂蜜、苦养，芝麻油样品掺杂。     

利用HPLC测定蜂胶中阿魏酸含量

对三种不同的蜂胶制品用反相高效液相色谱法测定了其中阿魏酸的含量 ,色谱柱为Nova -PakC18柱 ,3.9×15 0mm ;流速为 0 .8mL/min ;检测器为UV340nm× 0 .0 1AUFS。该实验希望对蜂胶制品的质量标准的制定有所帮助     

空间数据访问控制模型研究

在空间数据应用环境中,将空间对象作为一种新的客体类型实施访问控制的需求日益增强.其访问控制模型的研究大多在传统数据访问控制模型的基础上进行空间扩展,添加主、客体的空间属性,提供对空间操作的支持,对空间客体进行细粒度授权控制.在对空间数据访问控制模型进行深入研究的基础上,总结现存模型的技术渊源、相互关系、发展脉络,并重点从3种经典访问控制模型的空间扩展出发,以几种典型空间数据访问模型控制为例进行详细剖析,分析各种空间数据访问控制模型的技术特点及优、缺点,从而提出空间数据访问控制模型的独特需求,为进一步研究提供依据.     

桥梁动态挠度测量与实测曲线分析

桥梁动态挠度是评价桥梁综合性能的重要参数。《桥梁动态位移测量系统》直接测出军用桥梁的竖向,横向动态挠度,从而能够对整桥梁的质量进行评价。     

基于SVM的多项式循环程序秩函数生成

程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机（SVM）算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数.     

基于IFCM加权的SVDD硬件木马检测方法

针对硬件木马（HT）种类繁多难以获取未知木马特征及采集的旁路信号含噪声问题,提出了一种基于IFCM加权的SVDD（IFCMW-SVDD）硬件木马检测方法。传统支持向量数据描述（SVDD）在解决单分类问题时存在相同条件下训练全部样本的不足,需要根据相应问题对样本有主次之分进行训练。通过一种改进的模糊C均值方法（IFCM）计算金片旁路信号的隶属度,将其作为样本特征的权重（◢W◣）系数,使得针对硬件木马检测问题构建SVDD模型的支持向量能够描述金片信号的同时尽可能减小描述范围。实验表明,所提方法实现单分类硬件木马检测的同时较传统SVDD算法在检测精度和稳定性上都有所提高。