嵌入式设备固件仿真器综述

随着物联网(IoT)技术的发展,嵌入式设备面临更加严峻的安全威胁,特别是嵌入式设备漏洞严重影响物联网产业的安全发展.但受限于嵌入式设备自身硬件资源的限制,通用计算机系统常用的动态漏洞检测技术,例如模糊测试难以直接应用到嵌入式设备上.因此,近年来嵌入式设备固件仿真技术成为学术界的研究热点,通过对嵌入式设备硬件依赖的仿真或替换,可以将模糊测试、符号执行等通用高效漏洞检测技术应用于嵌入式设备.围绕最新嵌入式设备仿真技术,搜集整理近年来国际顶级学术论文,对相关研究成果进行归纳、总结.基于采用的仿真技术和衍生关系进行分类介绍,然后对这些固件仿真器进行评估和细化比较,为使用者选择固件仿真器提供技术参考.最后,根据当前嵌入式设备固件仿真器的现状,提出固件仿真器的挑战和机遇,对固件仿真器的研究进行了展望.     

对文本分类评测方法稳定性的研究

文本分类算法一般采用宏平均精度、宏平均召回率以及宏平均F1值作为评价指标,然而同一个分类器在不同数据集上所得的评测数值往往存在很大差异,使得评测数值只在特定的数据集上有价值,而在其他数据集上没有意义.为了解决这个问题,本文提出3个因素来刻画数据集对分类结果的影响,并利用这3个因素构造一种评测指标newmacro-F1.这一评测指标将数据集的因素从评测过程中独立出来,使得newmacro-F1表示的仅仅是分类算法本身.实验结果表明使用该评测指标同一分类器在不同的数据集上波动较小.通过分类器在1个数据集上的表现,可以近似计算得到该分类器在另一个数据集卜的分类质量.     

一种基于消息中间件的多服务器文件存贮系统

定义了存贮服务的基本操作模型，然后介绍了一个在校园网上提供文件存贮服务的系统设计与实现。该系统具有如下特点：①多服务器联合，多台经过增强改造的FTP服务器形成一个对用户透明的整体；②FTP服务器之间按照一定的规则自动进行备份和复制，从而提高了系统的可靠性和在故障情况下的可用性；③FTP服务器之间的协调通信由消息中间件完成，使得系统实现简捷、运行可靠；④通过对特定DNS服务器的改造，系统能够自动为用户选择一个当时性能较好的FTP服务器连接，从而不仅提高了性能，还由于负载的分散，提高了系统在非故障情况下的可用性。     

一种基于Web的大规模人物社会关系提取方法

Web上的人物社会关系是一类重要的Web信息.本文提出一种轻量级的大规模人物社会关系提取方法,并引入模拟退火方法,迭代发掘网页中蕴涵的表述人物社会关系的最小描述模式集合.利用Web信息冗余性,高效准确地从Web上提取人物关系信息.为验证本文方法的有效性,定义6种人物社会关系,基于1张大规模Web人名列表,对这6种关系进行提取.实验结果表明本文方法的平均准确率为84.79%,平均召回率为81.69%.     

一种无线网络路径容量分析模型

旨在为移动计算中多跳网络链路的研究建立一个计算复杂度较低的通用分析模型,奠定一定的数学研究基础.在已有成果的基础上,将研究的粒度从节点扩展到由若干节点组成的路径,并提出了基于流水排队策略的无线多跳路径容量分析模型.这个模型可以有助于在无线多跳网络中规整地探索网络传输的吞吐能力的状况,可以为研究MANET和Sensor network的传输链路的通信能力的工作提供一种比较高效的计算和分析模式.所得到的多跳环境下的网络容量表达式,计算比较简单,可以用于动态调整系统参数的设计中,在设计QoS路由算法时也是很有裨益的.     

网页变化与增量搜集技术

互联网络中信息量的快速增长使得增量搜集技术成为网上信息获取的一种有效手段,它可以避免因重复搜集未曾变化的网页而带来的时间和资源上的浪费.网页变化规律的发现和利用是增量搜集技术的一个关键.它用来预测网页的下次变化时间甚至变化程度;在此基础上,增量搜集系统还需要考虑网页的变化频率、变化程度和重要性,选择一种最优的任务调度算法来决定不同网页的搜集频率和相对搜集次序.针对网页变化和增量搜集技术这一主题,对最近几年的研究成果作总结,并介绍最新的研究进展.首先论述对网页变化规律的建模、模型参数估计和估计效率等问题;然后介绍几个著名的增量搜集系统,着重分析它们的任务调度算法;最后,从理论上分析和总结增量搜集系统的最佳任务调度算法及其一个基于启发式策略的近似解,并预测其将来的研究趋势.该工作对增量搜集系统的设计和Web演化规律的研究具有参考意义.     

基于流媒体文件字节有用性的代理服务器缓存替代策略

将流媒体文件缓存到离用户最近的代理服务器上，能够减少广域网络带宽的消耗，减轻服务器的负载压力以及降低用户的始播延迟，文章关注代理服务器的缓存替代问题．通过对问题建立模型并分析后得到替代算法模型，提出了流媒体文件字节有用性的概念并反映到替代算法的设计之中，并提出了BB，BBLRU-K和BBLCB-K缓存替代算法，在与LRU-2，LFU，LCB-2和LRU等算法的性能模拟实验比较中，BBLCB-2算法性能最优，但BB算法简单有效。     

基于斥力-张力模型的网络拓扑图布局算法

针对网络管理系统中网络拓扑图的自动布局问题，提出了一种新的算法。赋予拓扑图的顶点和边不同的物理性质(质量、张力、斥力等)，各个顶点在力的相互作用下不断运动，直至最终达到力的平衡，同时完成了拓扑图的自动布局。     

搜索引擎的混合索引技术

倒排文件是搜索引擎检索系统普遍采用的索引技术。针对中文搜索引擎中采用自动分词的全文检索因分词词典规模小导致的检索效率下降与词典规模扩大导致检索效果下降的矛盾,论文在天网搜索引擎的实践基础上,提出了一种基于倒排文件实现的混合索引的方法,它可以有效提高搜索引擎下短语查询的检索效率,同时不影响系统检索效果。     

搜索引擎检索系统质量评估

搜索引擎检索系统的质量评估对传统信息检索系统评估带来了新的研究问题．利用Tiangwang搜索引擎查询日志,按类别构造评估查询集,用人工判别相关性的方法对3个搜索引擎进行了检索质量评估．实验用InfoMall系统提供的历史网页服务消除不同搜索引擎搜集系统收集网页集合的差异,得到如下结论：①评测员之间的差异很大,但评估实验结果保持稳定;②使用连续型的相关度评分以及对应的评估指标比二元相关度评分及指标具有更好的区分能力;③使用50左右规模的查询集合和DCG这样的连续型评估指标可以有效进行评估实验．