小型病险水库除险加固方案比选

小型水库承担着防洪、灌溉、发电、养殖等多种重要作用,其中防洪关系人民财产安全、社会安定和生态安全。在长年运行之后,小型水库年久失修,坝体渗漏、坡面损坏、配件老化、设备落后等问题严重影响了大坝的安全运行和管理水平。文章以江西省某水库除险加固工程设计为研究对象,通过对技术角度及造价方面的综合比选,提出相应的设计方案,对类似工程设计、施工及建后管理工作均具有一定意义。     

一个高性能Key/Value数据库XDB的设计与实现

传统SQL数据库在管理大数据、性能和扩展性等方面的不足使得其不能胜任如大规模数据挖掘、商务智能及社交网络等应用场景,而NoSQL数据库由于其在上述应用领域优良的特性近年来得到很快发展。本文在分析现有开源NoSQL数据库产品Kyoto Cabinet和Tair的不足基础上,设计并实现了一个高性能的Key/Value数据库XDB。XDB分段流水并发处理Key/Value请求,并采用一致性算法保证在并发环境中对Key/Value记录读写的相关性,在随机写入和顺序写入实验中,相比于Kyoto Cabinet,XDB的性能分别提高6倍和15倍。     

堆存温度对半水磷石膏胶凝性能影响

半水磷石膏（HPG）长时间堆存状态下会出现固结现象,其胶凝性能也相应下降。以室内HPG结晶水检测和单轴压缩试验为基础,通过设定4种不同堆存温度,分别为20,40,60和80 ℃,探究不同堆存温度作用下HPG试样结晶水质量分数变化和堆存后制备的充填胶凝材料（HCM）抗压强度发展规律,并采用扫描电镜等微观分析手段研究堆存温度对其强度影响机制。结果表明,堆存温度对HPG胶凝性能影响显著,高的堆存温度会加快HPG试样中的自由水转变为结晶水速率,而且会抑制堆存后制备的HCM强度发展。采用数据标准化对不同堆存温度作用后的试样抗压强度作出预测,被证实与实测值较吻合。微观分析发现,堆存温度主要影响体系的过饱和度,而使不同堆存温度作用后制备的HCM微观形态表现差异。      

高稳定性的SiO2/HKUST-1复合膜的制备及氢气分离性能

以多孔二氧化硅片为基底,通过接枝硅烷偶联剂制备高稳定性能的SiO2与HKUST-1复合无机膜.具体做法是将3-氨丙基甲基二甲氧基硅烷拌接枝在SiO2片上,在SiO2片表面上接枝的氨基可以参与生长HKUST-1膜,从而制备出大面积连续致密的HKUST-1无机膜.通过X-射线衍射(XRD)、扫描电子显微镜(SEM)、热重分析(TGA)、单组份及混合组分的渗透流量测试装置对得到的复合无机膜的化学结构、表面形貌、热稳定性和气体分离性能进行了表征.结果表明:制备的复合无机膜具有与其晶体一致的晶相,且连续致密,无缺陷;同时具有很好的热稳定性和机械稳定性.气体渗透流量测试结果显示该复合无机膜对氢气具有很好的选择性,可以用来分离和提纯氢气.     

软件定义的内容中心网络的多域分段路由机制*

为提高软件定义的内容中心网络(SD-CCN)分域多控制器架构中的路由传输效率,减轻控制器的负载压力,设计了软件定义的内容中心网络的多域分段路由机制(MDSR)。将基于内容名称的路由查找在控制平面执行,数据平面转化为基于节点标签的路由查找,上行链路经过的每个域的控制器选取最优路径并下发分段标签序列引导各自的域内路由,通过跨域节点对域标签的识别实现域间路由中继,从而以少量控制信息实现对上行链路的整体控制。仿真结果表明,本路由机制相比于随机转发等传统路由机制提高了缓存命中率,降低了平均请求时延及平均路由跳数。     

船用电缆剩余寿命快速检测方法研究

为快速检测船用电缆的剩余使用寿命,尝试应用硬度这一可以快速检测的特征量来建立一种船舶电缆绝缘老化寿命快速检测方法。对船用丁苯橡胶电缆开展了加速老化实验,并对老化后的试样进行了硬度测试,并对所得数据进行处理,提出基于硬度的船用电缆剩余寿命快速检测方法,最后通过标准的基于断裂伸长保留率的寿命检测方法对所提出的快速检测方法进行检验。结果表明,2种方法具有高度的一致性,从而为船用电缆剩余寿命快速评估提供一种新的思路。     

基于思维进化的机器学习的遮挡人脸识别

针对遮挡人脸的识别问题,提出了基于思维进化的机器学习(MEBML)与局部特征结合的方法。首先提出了LBP偏移特征组的提取方法,定义一种新的特征对比规则,根据遮挡人脸图像与无遮挡人脸图像的局部特征进行对比,记录对比相似度作为局部区域的得分。然后对所有局部区域进行趋同过程和异化过程的演化,得到无遮挡区域及遮挡物体区域。当无遮挡区域满足一定比例且分布集中时,应用该区域特征完成遮挡人脸条件下的人脸识别。实验结果表明:新方法的遮挡人脸识别准确率在92%以上,并具有较低的误识率。     

辽宁省中小河流治理综合整治新理念

在中国江河防洪体系中,与大江大河相比,中小河流有着数量多、分布广的特点,目前普遍存在的问题就是因没有经过系统有效的治理,河道萎缩严重、河道内垃圾淤积、河道功能衰退等,常遇洪水下就有可能发生洪涝灾害,所以对中小河流治理是十分必要和紧迫的。文章以辽宁省的中小河流治理工程为对象,探讨建立中小河流长效保护机制以及对中小河流进行治理的措施,为辽宁省中小河流以后的治理工作提供一些参考。     

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术

动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。     

一种安全高效的Java操作系统IPC机制的设计与实现

安全高效的进程间通信机制是操作系统中实现进程间协同工作的关键.针对现有Java操作系统普遍使用的共享堆和Java远程过程调用(RMI)等进程间通信机制在安全性、高效性等方面的缺陷,面向Java操作系统的结构特点和进程间通信需求,设计和实现了一种新的安全、高效的进程间通信机制MSP.MSP机制通过区分小尺寸和大尺寸消息,...