摘要：通过可信硬件能够弥补单纯软件安全的不足,从整体上提高云系统的安全性。但是,面对云环境运行时的安全,传统可信硬件技术无法提供足够的保障。为此,提出了一种基于UEFI的虚拟机动态安全框架——VirtinSpector。该框架能够将UEFI固件作为可信基础,对云系统的基础设施层进行实时、动态的安全度量,提供传统可信技术无法达到的动态保护。在此框架基础上,以某国产服务器为实验平台,构建云环境,实现了一个面向Xen环境的UEFI虚拟机动态安全度量原型系统。实验与分析表明,该框架能够有效检测针对虚拟域、管理域和虚拟化软件的攻击,为云系统提供来自基础设施层的安全支撑。并且对原有系统的性能损耗在允许范围之内,不影响用户的正常使用。

摘要：近似查询是图数据库资源管理的操作之一.已有工作主要基于距离来度量查询语句与图的近似值,忽略了两者之间的语义近似性.对于语义图的近似查询,忽略图与查询的语义近似将难以有效完成查询.针对该问题,本文在考虑语义近似的基础上为RDF(Resource Description Framework,资源描述框架)图的近似查询提出基于语义距离的度量方法.同时,为提高查询效率,本文提出语义结构剪枝策略.最后,我们构造查询框架以实现查询的响应过程,并在该框架下设计实验以评价本文方法.实验表明,本文方法可高效执行RDF近似查询并有效返回top-k结果集.

摘要：已有的虚假评论识别方法主要采用启发式策略或简单特征建模。针对这些方法的不足,提出使用机器学习方法识别虚假评论。首先整合计算语言学与心理语言学的知识对评论文本进行建模,使用全监督学习算法来评价不同特征建模的性能,选出最好的特征组合。为了提高识别性能,设计2种半监督学习算法充分利用大量的未标注文本。实验结果证实所提算法超过当前的基准。

摘要：针对传统卫星调度方法难以满足应急观测强时效性的问题,提出一种针对敏捷成像卫星的调度方法。首先动态计算敏捷卫星观测摆角、幅宽和持续时间,再以平行条带分割区域目标,获得最小姿态调整时间;在此基础上,设计等步长搜索算法求解对区域目标的最佳观测点。构建了包含4颗敏捷成像卫星的STK仿真场景,仿真结果说明该方法在提高观测目标覆盖率的同时减少了获取影像的时间。

摘要：针对FANET中的实时路由、速率分配和功率控制问题,提出异步的分布式跨层优化(ADCO)方法。为了解决所提问题,首先设计时延约束的跨层优化框架,然后利用拉格朗日松弛和对偶分解方法把联合优化问题分解为几个复杂度较低的子问题。ADCO允许每一个中继节点仅通过局部信息来完成对不同子问题的优化,同时,中继节点利用异步更新机制实现对偶变量的更新。仿真结果表明,所提方法有效地增加了吞吐量,减少了数据分组的超时率和功率消耗。

摘要：针对云存储的特点,设计并实现了基于网络编码的远程数据验证方法.应用网络编码对原始数据编码,将编码后的数据上传到云端,提供了数据修复功能,减少了数据修复的计算开销,保护了数据的可用性和隐私安全;基于椭圆曲线上的Boneh-Lynn-Shacham(BLS)算法构建验证协议,用户可自身或委托一个第三方验证者(TPA)验证数据的完整性.理论分析和实验结果表明本方案安全可行.

摘要：[目的/意义]研究基于多源数据融合的单点预警机制及基于关联性分析的扩散预警机制,完善食品安全风险预警体系,推进食品安全监管工作创新。[研究设计/方法]利用多层感知机和词向量模型对多源数据进行学习和融合,实现对被抽检经营主体的单点预警决策。同时,利用关联性分析,根据经营主体之间的结构化关系,实现对其他相关经营主体的实时预警决策。[结论/发现]采用单点预警和扩散预警决策机制,可精准定位风险预警级别,并对预警进行扩散,从而为建立实时预警监管机制和预警处置闭环管理机制创造基础条件。[创新/价值]单点预警机制能够对多种不同来源的信息进行高效融合,实现精确的单点预警;扩散预警机制能够基于关联性分析对单点预警进行自动化扩散,实现了从点到面的高效预警。整体上,本文提出的预警机制能够提高食品安全监管工作效率与质量。

摘要：随着物联网和移动互联网的发展,网络设备呈指数级增加,网络规模越来越大,给网络管理带来新的挑战.SNMP能够实现对大规模网络的有效管理,然而,由于被管网元数量众多,SNMP报文流量会增大主干网中的流量开销.为了降低SNMP Agent产生的Trap报文给主干网带来的通信开销,本文提出一种基于SDN的Trap报文聚合方法.该方法利用控制器下发流表规则,将Trap报文转发至聚合服务器中进行报文聚合,然后发送至管理站,从而有效减少主干网中的SNMP Trap流量.同时,为了优化传统网络结构下进行网络管理面临的额外开销大、灵活性差、管理站负载高等问题,本文设计了一种基于SDN的网络管理架构.该架构提高了网络管理灵活性,减轻了管理站负载高的问题.实验结果表明,与传统网络管理中被管网元直接将Trap报文发送给管理站的方法相比,基于SDN的Trap报文聚合方法在主干网的Trap流量减少了41.328%,大幅降低了主干网中管理流量的开销.

摘要：将最优线性映射的定义推广到一般域K上,由定义证明了域K上的方阵是最优的当且仅当它的所有子方阵可逆;发现了高级加密标准AES扩散层的一个新的性质:用同规模的任意循环最优线性映射取代AES的Mixcol umn变换,系统依然呈现出相同的抗差分攻击能力;因为AES的Mixcolumn变换是最优的线性映射,且其对应矩阵选取合理、便于软硬件的快速实现,所以其设计的确很好.

摘要：车用自组织网络——VANET(vehicle ad-hoc network)作为移动自组织网络和传感器网络在道路交通领域的应用,不具备完整协议体系结构,没有专门的传输控制协议.为提供VANET传输协议设计参考,研究了VANET传输协议设计应具备的目标和要素.首先介绍了VANET的特点、研究内容及其传输控制所面临的挑战.然后提出了无线传输协议的分类方法,使用分析和比较的方式讨论了各类无线传输协议用于VANET的利弊,并针对VANET应用及特性提出了VANET传输控制协议设计目标和设计要素.最后展望了VANET传输控制未来的研究方向.