IoT设备程序同源性智能检测技术综述

IoT设备与各行业的深度融合方兴日盛,使得IoT程序快速开发的需求不断增长。开发者习惯于集成第三方库或常用代码。不幸的是,若这些代码中隐藏着潜在的漏洞,那他们也会被扩散到不同的程序中,为其大规模扩散创造了条件。这也是造成近年来IoT设备群体性安全事件频发的重要原因之一。为了降低危害,发现具备相似漏洞的程序并进行相关的处置是一个有效的方法。同源性分析作为挖掘程序间关联关系的重要手段之一,可高效地实现程序漏洞的智能溯源取证。结合机器学习和深度学习技术,它表现出解决大规模程序安全性检测的巨大潜力。然而,IoT设备的软硬件特点仍使得该技术的使用面临挑战。当前已有诸多方案在IoT设备程序的同源性智能检测方面取得了进展。因此,本文将系统性回顾近年来相关技术研究的成果,将他们分为相似性分析和创作者归属技术。首先,我们介绍了两种方式的数据来源。接着,检测过程中涉及的特征选择、特征表示以及相对应的检测方法也被依次介绍。进一步的,本文不仅比较和总结了方案的特点和局限性,还对他们在不同类型IoT设备程序的适配性进行了对比分析。最后,文章针对IoT程序分析提出了一些研究建议。作者希望本综述可为研究者阐明这些工作的核心技术点,并为他们在IoT设备上的进一步应用提供启发。     

机械结构相似度评价及可靠性预计研究

在用传统的相似产品法进行可靠性预计时,所选取的相似产品与评价对象之间差异较大,会造成预计结果的偏差较大。为解决这一问题,提出了一种基于"功能—运动—动作"结构化分解的可靠性预计新方法。通过明确产品的各大运动功能建立功能层,分析完成各功能的机械部件运动建立运动层,确定实现各机械部件运动的元动作运动单元建立元动作层,建立了可靠性预计的"功能—运动—元动作运动单元"层次模型。引入区间层次分析法,确定了"功能—运动—元动作运动单元"层次模型中各子代运动单元对父代运动单元的可靠性影响权重,并构建了由子代运动单元预计父代运动单元可靠性的数学模型。确定影响评价机械结构相似度的因素,构建了区间数综合评判云模型并选取与元动作运动单元相似的参考结构,以区间数综合评价云模型得出的相似度值修正参考结构的可靠性数据来预计元动作运动单元的可靠性。将元动作运动单元的可靠性预计值代入数学模型,层层预计父代运动单元的可靠性,从而得出整个产品的可靠性水平。最后以数控转台为例进行了分析,得出了可靠性预计值,并将该方法与传统方法进行了比较。结果表明,新的可靠性预计方法具有较好的可行性和较高的准确性。     

Cellular manufacturing system design considering machines reliability and parts alternative process routings

Cell formation is an important problem in the design of cellular manufacturing systems (CMS). Most cell formation methods appeared in the literature assume that each part has one process plan, and all machines are 100% reliable with unlimited capacity. However, this is not realistic in manufacturing systems. Considering machines reliability in addition to machines capacity and machine duplicates during the part route selection process help to obtain better machine grouping and minimum total cost for CMS. Considering these factors in addition to operations sequence and production volumes makes the problem more complex but more realistic. Most of the methods appeared in the literature to solve such problems use mathematical programming procedures that take large amount of computational efforts. Procedures using similarity coefficient method are more flexible in incorporating various important production data and lend easily to computer applications. A new similarity coefficient equation that incorporates all these production factors is developed. Also, a procedure that captures the similarity between machine groups and minimises the total CMS cost is developed. The procedure utilises functional cells to eliminate intercellular moves and achieve ‘one-piece flow’ practise. The methodology is compared with other methods in the literature and found to be more effective.     

坑道内爆炸冲击波相似律问题探讨

为研究坑道内爆炸冲击波相似律问题,进行了不同药量坑道堵口爆炸实验,并利用ANSYS/LSDYNA软件对原型坑道与模型坑道爆炸冲击波进行数值计算。结果表明:与自由大气中不同,同一坑道内不同药量爆炸产生的冲击波不符合爆炸相似律;若原型坑道与模型坑道几何相似,装药量之比为几何相似比的三次方,则原型坑道与模型坑道内爆炸冲击波符合爆炸相似律;坑道内爆炸冲击波数值模拟时,若原型坑道与模型坑道网格尺寸符合相应的几何相似比,则冲击波计算结果满足相似律,当坑道截面网格密度为1675~2977时可以达到计算精度要求。     

基于相似性的邮政信息网业务需求

邮政业务已基本实现信息化、网络化,但邮政业务种类繁多对网络的通信质量提出了新的要求。因此,文中提出基于相似性的邮政业务需求。邮政业务采用相似信息连接,即邮政节点有相似信息即建立连接。业务节点之间通过强连接形成具有相似性的网络团,弱连接形成整个邮政网络的信息交换。通过邮政业务相似建立的邮政网络改善了网络流量,优化了网络带宽。对邮政业务的仿真表明了理论的正确性。     

Parallelization of a dynamic SVD clustering algorithm and its application in information retrieval

We describe an implementation of a parallel document clustering scheme based on latent semantic indexing, which uses singular value decomposition. Given a set of documents, the clustering algorithm is dynamic in the sense that it automatically infers the number of clusters to be output. The parallel version has been implemented on a LAN and on a dual‐core system. Experimental evaluation of the algorithm shows an average speed‐up of 6.22 for the LAN implementation and an average speed‐up of 3.71 for the dual‐core implementation, while still maintaining a precision and recall in the range [0.85, 1]. To put these implementations in the context of information retrieval, we use the parallel clustering algorithm and develop a document similarity search system. The similarity search system shows good performance in terms of precision and recall. Copyright © 2010 John Wiley & Sons, Ltd.     

InfoSigs:一种面向Web对象的细粒度聚类算法

面向Web对象的细粒度聚类已经成为学术界研究的热点.然而现有大多数聚类模型只关注如何对文本内容或文章主题进行聚类,聚类结果粒度较粗,无法满足大规模网络信息检索的质量要求.针对上述挑战,充分挖掘Web文档中词汇间的树状概率层次关系,提出一种以词汇信息分布作为特征标志的聚类算法InfoSigs,实现对Web对象的细粒度聚类.算法构建一个信息传递有向无环图,根据词汇在图中信息分布的集中度赋予其合理的权重,产生更具代表性的特征向量;同时算法提出了一个自适应的记录合并模型,有效提高记录簇中记录间的相似度,减少噪音对合并过程的影响.实验结果表明,InfoSigs算法比传统聚类算法—I-Match和Shingling—在F-Measure值上平均约有21.3%的提高,可以有效地运用到多领域Web对象的聚类问题.     

基于概念图的中文FAQ问答系统

提出一种利用概念图计算问句相似度的方法,并在此基础上实现基于概念图的中文FAQ问答系统,在该系统中采用概念图的形式表示用户问句及在FAQ库中找到的候选问句集中的问句,通过改进的概念图语义相似度计算问句相似度,在候选问句集中找到相似的问句并将答案返回给用户。该系统能够自动更新和维护FAQ库。实验结果表明,与基于关键词的句子相似度相比,基于语义的句子相似度提高了问题匹配的准确率。     

基于多媒体特征的抗扰动P2P搜索算法

基于多媒体特征的分布式文件搜索算法应用在扰动的P2P环境时,因节点频繁加入、退出,导致拓扑破坏和搜索效果大幅下降。针对上述问题,提出能够克服网络扰动、适用于P2P环境的搜索算法,该算法将分布式多媒体搜索算法与P2P动态更新机制集成。实验结果表明,该算法在高强度的扰动环境下能保持稳定和高效的性能。