摘要：随着新兴技术的迅速发展,领域软件对开发效率提出了新的要求.Datalog语言作为一门具有简洁语法和良好语义的声明式编程语言,能帮助开发人员快速开发和解决问题,近年来越来越受到重视与欢迎.但解决真实场景问题时,现有的单机Datalog引擎计算规模往往受限于内存容量大小,不具有可扩展性.为解决上述问题,设计并实现基于核外计算的Datalog引擎.方法首先设计一系列计算Datalog程序所需的支持核外计算的操作算子,然后将Datalog程序转换合成带核外计算算子的C++程序,接着方法设计基于Hash的分区策略和基于搜索树剪枝的最少置换调度策略,将相应的分区文件调度执行计算并得到最终结果.基于该方法,实现原型工具DDL(disk-based Datalog engine),并选取广泛应用的真实Datalog程序,在合成数据集以及真实数据集上进行实验,实验结果体现了DDL良好性能以及高可扩展性.

摘要：以电浆电弧作为加热源来蒸发钨靶材,由气凝合成机制以及吹气装置制备W5O14纳米棒,并探讨了W5O14纳米棒的气体感测特性.实验过程中,使用氩气添加10%的氢气作为电浆气体,并在电流90A以及腔体压力53.3kPa下蒸发钨靶材.研究结果表明,在电浆气中加入10%氢气可成功地制备具有单晶结构的W5O14纳米棒,晶格间距为0.38nm,且W5O14纳米棒会沿着[010]方向成长,而W5O14纳米棒长宽比为12.7.透过参数作佳化的设计,发现W5O14纳米棒于48h,300℃下具有良好的热稳定性;气体感测研究结果表明,W5O14纳米棒在感测温度为200℃下对低浓度(1×10-6~4×10-6)的NO2气体具有良好的感测性质,随着气体浓度的增加其感测的灵敏度也会呈线性成长.