首页 > 最新文献

2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)最新文献

英文 中文
Knowledge management system for failure analysis in hard disk using case-based reasoning 基于案例推理的硬盘故障分析知识管理系统
Parinya Wichawong, P. Chongstitvatana
Hard disk failure is a serious problem in term of product quality and credibility to customers. All hard disk drive companies need to be aware and address how to get rid of failure and prevent the repeat of the problem in their products. The quality of failure analysis process depends on the person who has most experience. It would not be so efficient if the company has no experienced person to perform the analysis. A knowledge management system can store the knowledge of experienced engineers. It can help new engineers to learn the craft. It would reduce a knowledge gap issues and bring up efficiency for failure solving process. This paper presents a design and implementation of knowledge management system for failure analysis in hard disk with case-based reasoning. The existing cases are stored and a new case can be compared to the existing one in order to retrieve the relevant existing knowledge to help the analysis. Once the new case is solved, it can be stored to aid the future cases. A prototype of the system has been implemented and the assessment of user satisfaction shows that it can improve the failure analysis process effectively.
硬盘故障是影响产品质量和客户信誉的严重问题。所有硬盘驱动器公司都需要意识到并解决如何摆脱故障并防止问题在其产品中重复出现。故障分析过程的质量取决于最有经验的人。如果公司没有经验丰富的人来进行分析,效率就会降低。知识管理系统可以存储经验丰富的工程师的知识。它可以帮助新工程师学习这门手艺。这将减少知识差距问题,提高故障解决过程的效率。提出了一种基于案例推理的硬盘故障分析知识管理系统的设计与实现。存储现有案例,并将新案例与现有案例进行比较,以便检索相关的现有知识以帮助分析。一旦解决了新的案件,它可以被存储起来,以帮助未来的案件。系统的原型实现和用户满意度评估表明,该系统可以有效地改进故障分析过程。
{"title":"Knowledge management system for failure analysis in hard disk using case-based reasoning","authors":"Parinya Wichawong, P. Chongstitvatana","doi":"10.1109/SNPD.2017.8332383","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8332383","url":null,"abstract":"Hard disk failure is a serious problem in term of product quality and credibility to customers. All hard disk drive companies need to be aware and address how to get rid of failure and prevent the repeat of the problem in their products. The quality of failure analysis process depends on the person who has most experience. It would not be so efficient if the company has no experienced person to perform the analysis. A knowledge management system can store the knowledge of experienced engineers. It can help new engineers to learn the craft. It would reduce a knowledge gap issues and bring up efficiency for failure solving process. This paper presents a design and implementation of knowledge management system for failure analysis in hard disk with case-based reasoning. The existing cases are stored and a new case can be compared to the existing one in order to retrieve the relevant existing knowledge to help the analysis. Once the new case is solved, it can be stored to aid the future cases. A prototype of the system has been implemented and the assessment of user satisfaction shows that it can improve the failure analysis process effectively.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126476017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Automatic manga colorization with color style by generative adversarial nets 生成对抗网自动漫画着色与色彩风格
Yuusuke Kataoka, Takashi Matsubara, K. Uehara
Many comic books are now published as digital books, which easily provide color contents compared to the physical books. The motivation of automatic colorization of comic books now arises. Previous studies colorize sketches without other clues or with spatial color annotations. They are expected to reduce workloads of comic artists but still require spatial color annotations for desirable colorizations. This study introduces a color style information and combines it with conditional adversarially learned inference. The experimental results demonstrate that the objects are painted with colors depending on the color style information and that the color style information extracted from a color image supports to painting an object with a desirable color.
现在,许多漫画书都以电子图书的形式出版,与实体书相比,电子图书更容易提供彩色内容。漫画书自动上色的动机现在出现了。以前的研究在没有其他线索或空间颜色注释的情况下对草图进行着色。它们有望减少漫画家的工作量,但仍然需要空间颜色注释来实现理想的着色。本研究引入颜色风格信息,并将其与条件对抗学习推理相结合。实验结果表明,根据颜色样式信息对物体进行颜色绘制,从彩色图像中提取的颜色样式信息支持对物体进行理想颜色的绘制。
{"title":"Automatic manga colorization with color style by generative adversarial nets","authors":"Yuusuke Kataoka, Takashi Matsubara, K. Uehara","doi":"10.1109/SNPD.2017.8022768","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022768","url":null,"abstract":"Many comic books are now published as digital books, which easily provide color contents compared to the physical books. The motivation of automatic colorization of comic books now arises. Previous studies colorize sketches without other clues or with spatial color annotations. They are expected to reduce workloads of comic artists but still require spatial color annotations for desirable colorizations. This study introduces a color style information and combines it with conditional adversarially learned inference. The experimental results demonstrate that the objects are painted with colors depending on the color style information and that the color style information extracted from a color image supports to painting an object with a desirable color.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125375260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Price evaluation model in second-hand car system based on BP neural network theory 基于BP神经网络理论的二手车系统价格评估模型
Ning Sun, H. Bai, Yuxia Geng, Huizhu Shi
With the rapid growth of the number of private cars and the development of the second-hand car market, second-hand cars have become the main choice when people buy cars. The online second-hand car platform provides both buyers and sellers the chance of online P2P trade. In such systems, the accuracy of second-hand car price evaluation largely determines whether the seller and the buyer can get more efficient trading experience. In this paper, the price evaluation model based on big data analysis is proposed, which takes advantage of widely circulated vehicle data and a large number of vehicle transaction data to analyze the price data for each type of vehicles by using the optimized BP neural network algorithm. It aims to establish a second-hand car price evaluation model to get the price that best matches the car. In this paper, the optimized BP neural network algorithm is used to select the optimal number of hidden neurons in BP neural network, which improves the convergence speed of the network topology and the accuracy of the prediction model. Through the sampling simulation experiments, the fitting curve of the prediction price is compared with the real transaction price derived from the optimized model. As a result, the fitting of the optimized model is better as well as the accuracy is higher.
随着私家车数量的快速增长和二手车市场的发展,二手车已经成为人们买车时的主要选择。在线二手车平台为买卖双方提供了在线P2P交易的机会。在这样的系统中,二手车价格评估的准确性很大程度上决定了买卖双方能否获得更高效的交易体验。本文提出了基于大数据分析的价格评估模型,该模型利用广泛流传的车辆数据和大量的车辆交易数据,利用优化后的BP神经网络算法对各车型的价格数据进行分析。旨在建立二手车价格评估模型,以获得最匹配汽车的价格。本文采用优化后的BP神经网络算法对BP神经网络中隐藏神经元的最优数量进行选择,提高了网络拓扑的收敛速度和预测模型的准确性。通过抽样模拟实验,将优化模型得到的预测价格拟合曲线与实际交易价格进行了比较。结果表明,优化后的模型拟合效果较好,精度较高。
{"title":"Price evaluation model in second-hand car system based on BP neural network theory","authors":"Ning Sun, H. Bai, Yuxia Geng, Huizhu Shi","doi":"10.1109/SNPD.2017.8022758","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022758","url":null,"abstract":"With the rapid growth of the number of private cars and the development of the second-hand car market, second-hand cars have become the main choice when people buy cars. The online second-hand car platform provides both buyers and sellers the chance of online P2P trade. In such systems, the accuracy of second-hand car price evaluation largely determines whether the seller and the buyer can get more efficient trading experience. In this paper, the price evaluation model based on big data analysis is proposed, which takes advantage of widely circulated vehicle data and a large number of vehicle transaction data to analyze the price data for each type of vehicles by using the optimized BP neural network algorithm. It aims to establish a second-hand car price evaluation model to get the price that best matches the car. In this paper, the optimized BP neural network algorithm is used to select the optimal number of hidden neurons in BP neural network, which improves the convergence speed of the network topology and the accuracy of the prediction model. Through the sampling simulation experiments, the fitting curve of the prediction price is compared with the real transaction price derived from the optimized model. As a result, the fitting of the optimized model is better as well as the accuracy is higher.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132081834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Primate swarm algorithm for continuous optimization problems 连续优化问题的灵长类群算法
Amarita Ritthipakdee, A. Thammano
In primate life, there are a number of various social behavior, such as communication among members in a group, and food sharing, which are vital to maintain their survival. Similar to those of Swarm Intelligence, such as ant colony optimization, the behavior of primates motivates us to develop an algorithm with the aim of solving continuous problems. Our algorithm is inspired by the behavior of the primate. The communication among them is studied and is also a key part in their food finding strategy. Our proposed algorithm developed upon the behavior is tested with twelve standard benchmark functions and most of which converged to the optimal value.
在灵长类动物中,有许多不同的社会行为,如群体成员之间的交流和食物分享,这对维持它们的生存至关重要。与蚁群优化等群体智能类似,灵长类动物的行为激励我们开发一种算法,目的是解决连续问题。我们的算法受到灵长类动物行为的启发。研究了它们之间的交流,这也是它们寻找食物策略的关键部分。在此基础上提出的算法用12个标准基准函数进行了测试,其中大部分收敛于最优值。
{"title":"Primate swarm algorithm for continuous optimization problems","authors":"Amarita Ritthipakdee, A. Thammano","doi":"10.1109/SNPD.2017.8022653","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022653","url":null,"abstract":"In primate life, there are a number of various social behavior, such as communication among members in a group, and food sharing, which are vital to maintain their survival. Similar to those of Swarm Intelligence, such as ant colony optimization, the behavior of primates motivates us to develop an algorithm with the aim of solving continuous problems. Our algorithm is inspired by the behavior of the primate. The communication among them is studied and is also a key part in their food finding strategy. Our proposed algorithm developed upon the behavior is tested with twelve standard benchmark functions and most of which converged to the optimal value.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"405 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126681217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Intrusion detection using clustering of network traffic flows 入侵检测利用网络流量的聚类
Matthew J. Bailey, Connor Collins, Matthew Sinda, Gongzhu Hu
This paper investigates the continued need for intrusion detection systems (IDS) in computer networks. It explores some of the ways that data mining techniques can be used to improve IDS, and looks at how others have implemented those techniques. It then highlights a method for developing an intrusion detection model using DBSCAN clustering and presents the results of the clustering algorithm as applied to a real-world data set. Finally, the paper concludes that clustering as an intrusion detection technique produces accurate results, but that special considerations must be made both with regard to outliers and the type of traffic flowing across the network.
本文探讨了计算机网络对入侵检测系统(IDS)的持续需求。本文探讨了数据挖掘技术用于改进IDS的一些方法,并介绍了其他人是如何实现这些技术的。然后重点介绍了一种使用DBSCAN聚类开发入侵检测模型的方法,并介绍了应用于实际数据集的聚类算法的结果。最后,本文得出结论,聚类作为一种入侵检测技术可以产生准确的结果,但必须对异常值和网络流量类型进行特殊考虑。
{"title":"Intrusion detection using clustering of network traffic flows","authors":"Matthew J. Bailey, Connor Collins, Matthew Sinda, Gongzhu Hu","doi":"10.1109/SNPD.2017.8022786","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022786","url":null,"abstract":"This paper investigates the continued need for intrusion detection systems (IDS) in computer networks. It explores some of the ways that data mining techniques can be used to improve IDS, and looks at how others have implemented those techniques. It then highlights a method for developing an intrusion detection model using DBSCAN clustering and presents the results of the clustering algorithm as applied to a real-world data set. Finally, the paper concludes that clustering as an intrusion detection technique produces accurate results, but that special considerations must be made both with regard to outliers and the type of traffic flowing across the network.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115847330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A new hybrid model of PSO and DE algorithm for data classification 一种新的PSO和DE混合模型的数据分类算法
Wannaporn Teekeng, Pornkid Unkaw
This paper presents a new hybrid HPSO-DE classification algorithm that combines the advantages of particle swarm optimization algorithm and differential evolution algorithm. Major improvements achieved by this combination are 1) flight improvement — flight behaviors are more and better diversified because each of the top 3 particles gets put into 3 different groups of the rest and then each group is mutated with a different operator and 2) particle improvement — members of a succeeding generation are composed of more of better particles than those of the current generation because better particles are allowed to produce more offspring. HPSO-DE and several other classification models were performance tested with 8 benchmarking datasets, and HPSO-DE was found to outperform them on 6 out of the 8.
结合粒子群优化算法和差分进化算法的优点,提出了一种新的混合HPSO-DE分类算法。通过这种组合实现的主要改进是1)飞行改进-飞行行为越来越多样化,因为前3个粒子中的每一个都被放入其余的3个不同的组中,然后每组都有不同的操作符突变2)粒子改进-下一代的成员比当前一代的成员由更多更好的粒子组成,因为更好的粒子可以产生更多的后代。用8个基准数据集对HPSO-DE和其他几个分类模型进行了性能测试,发现HPSO-DE在8个基准数据集中的6个上优于它们。
{"title":"A new hybrid model of PSO and DE algorithm for data classification","authors":"Wannaporn Teekeng, Pornkid Unkaw","doi":"10.1109/SNPD.2017.8022699","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022699","url":null,"abstract":"This paper presents a new hybrid HPSO-DE classification algorithm that combines the advantages of particle swarm optimization algorithm and differential evolution algorithm. Major improvements achieved by this combination are 1) flight improvement — flight behaviors are more and better diversified because each of the top 3 particles gets put into 3 different groups of the rest and then each group is mutated with a different operator and 2) particle improvement — members of a succeeding generation are composed of more of better particles than those of the current generation because better particles are allowed to produce more offspring. HPSO-DE and several other classification models were performance tested with 8 benchmarking datasets, and HPSO-DE was found to outperform them on 6 out of the 8.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132459695","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Based on the analysis of mobile terminal application software performance test 基于对移动终端应用软件性能测试的分析
Du Chunye, Song Wei, Wu Jianhua
With the rapid development of mobile terminal, mobile applications are gradually penetrated into all aspects of people's life and work. Mobile games, mobile streaming media, location services, mobile Internet news, instant messaging, mobile music and other rich and colorful information era are changing the social life. In view of this, we propose the application software performance test based on the mobile terminal, and analyze the performance test technology and method of the mobile application. Experimental results show that the performance test of the application system can predict the pressure in real environment, the system will be applied in the problems exposed, through the analysis of the data of the test, it will provide help for performance optimization of application system.
随着移动终端的快速发展,移动应用逐渐渗透到人们生活和工作的方方面面。移动游戏、移动流媒体、位置服务、移动互联网新闻、即时通讯、移动音乐等丰富多彩的信息时代正在改变着社会生活。鉴于此,我们提出了基于移动终端的应用软件性能测试,并分析了移动应用的性能测试技术和方法。实验结果表明,应用系统的性能测试可以预测实际环境中的压力,系统将在应用中暴露出的问题,通过对测试数据的分析,将为应用系统的性能优化提供帮助。
{"title":"Based on the analysis of mobile terminal application software performance test","authors":"Du Chunye, Song Wei, Wu Jianhua","doi":"10.1109/SNPD.2017.8022751","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022751","url":null,"abstract":"With the rapid development of mobile terminal, mobile applications are gradually penetrated into all aspects of people's life and work. Mobile games, mobile streaming media, location services, mobile Internet news, instant messaging, mobile music and other rich and colorful information era are changing the social life. In view of this, we propose the application software performance test based on the mobile terminal, and analyze the performance test technology and method of the mobile application. Experimental results show that the performance test of the application system can predict the pressure in real environment, the system will be applied in the problems exposed, through the analysis of the data of the test, it will provide help for performance optimization of application system.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114976095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Issues with conducting controlled on-line experiments for E-Commerce 进行电子商务控制在线实验的问题
Dapeng Liu, Shaochun Xu, Brian Zhang, Chunlin Wang, Chunqing Li, Feng Zhou
More and more on-line experiments have been done in E-Commerce in order to understand the behavior of users or customers and then apply the data analysis technique to provide business guidance. One of the techniques is A/B testing. However, there is not clear guidance on the sample size in order for us to have valuable, trustable discovery. The purpose of this work is to find out a way to group customers in the data sample in order to achieve an optimal difference between the buckets. Based on the analysis result of real data collected during joining an industry project, we think the problem is complex and the meaningful conclusions have to be drawn with caution from business experiments such as A/B testing, due to the vast variation in the data. Moreover, if we don't allocate enough samples in the treatment group, the experiment could be inconclusive even if the testing lasts for a longer enough time, such as one month.
在电子商务中,越来越多的在线实验是为了了解用户或顾客的行为,然后应用数据分析技术来提供商业指导。其中一种技术是A/B测试。然而,为了让我们有价值的、可信的发现,在样本大小上没有明确的指导。这项工作的目的是找出一种在数据样本中对客户进行分组的方法,以实现桶之间的最佳差异。根据加入一个行业项目时收集的真实数据的分析结果,我们认为问题很复杂,由于数据的差异很大,需要谨慎地从A/B测试等商业实验中得出有意义的结论。此外,如果我们没有在实验组中分配足够的样本,即使测试持续的时间足够长,比如一个月,实验也可能是不确定的。
{"title":"Issues with conducting controlled on-line experiments for E-Commerce","authors":"Dapeng Liu, Shaochun Xu, Brian Zhang, Chunlin Wang, Chunqing Li, Feng Zhou","doi":"10.1109/SNPD.2017.8022721","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022721","url":null,"abstract":"More and more on-line experiments have been done in E-Commerce in order to understand the behavior of users or customers and then apply the data analysis technique to provide business guidance. One of the techniques is A/B testing. However, there is not clear guidance on the sample size in order for us to have valuable, trustable discovery. The purpose of this work is to find out a way to group customers in the data sample in order to achieve an optimal difference between the buckets. Based on the analysis result of real data collected during joining an industry project, we think the problem is complex and the meaningful conclusions have to be drawn with caution from business experiments such as A/B testing, due to the vast variation in the data. Moreover, if we don't allocate enough samples in the treatment group, the experiment could be inconclusive even if the testing lasts for a longer enough time, such as one month.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121054468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree 提高静态分析的精度:基于GCC抽象语法树的符号执行
Hongliang Liang, Shirun Liu, Yini Zhang, Meilin Wang
To improve the accuracy of analysis results is one of the hard challenges for static analysis. Especially, static analyzers generally analyze all paths of a program, including infeasible paths, which undoubtedly decreases the analysis accuracy. To mitigate the issue, we design and implement a static analyzer, called ABAZER-SE, which is based on the meta-compilation and the GCC abstract syntax tree. ABAZER-SE combines symbolic execution and static analysis techniques to detect bugs in the source code. In addition, it allows users to write a custom checker for a specific bug.
提高分析结果的准确性是静态分析面临的难题之一。特别是,静态分析器通常分析程序的所有路径,包括不可行的路径,这无疑降低了分析的准确性。为了缓解这个问题,我们设计并实现了一个静态分析器,称为ABAZER-SE,它基于元编译和GCC抽象语法树。ABAZER-SE结合了符号执行和静态分析技术来检测源代码中的错误。此外,它允许用户为特定的错误编写自定义的检查器。
{"title":"Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree","authors":"Hongliang Liang, Shirun Liu, Yini Zhang, Meilin Wang","doi":"10.1109/SNPD.2017.8022752","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022752","url":null,"abstract":"To improve the accuracy of analysis results is one of the hard challenges for static analysis. Especially, static analyzers generally analyze all paths of a program, including infeasible paths, which undoubtedly decreases the analysis accuracy. To mitigate the issue, we design and implement a static analyzer, called ABAZER-SE, which is based on the meta-compilation and the GCC abstract syntax tree. ABAZER-SE combines symbolic execution and static analysis techniques to detect bugs in the source code. In addition, it allows users to write a custom checker for a specific bug.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121910780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Weighted distance grey wolf optimization with immigration operation for global optimization problems 带迁移操作的加权距离灰狼优化全局优化问题
Duangjai Jitkongchuen, Warattha Sukpongthai, A. Thammano
The proposed algorithm presents a solution to improve the grey wolf optimizer performance using weighted distance and immigration operation. The weight distance is used for the omega wolves movement is defined from fitness value of each leader (alpha, beta and delta). The traditional grey wolf algorithm has only one pack and has opportunity to trap in local optimum so the wolves in our proposed algorithm have more pack and have migrated between them. When the amount of pack has more than to predefine some pack will be eliminated. The experimental results are evaluated by a comparative with the traditional grey wolf optimizer (GWO) algorithm, particle swarm optimization (PSO) and differential evolution (DE) algorithm on 9 well-known benchmark functions. The experimental results showed that the proposed algorithm is capable of efficiently to solving complex optimization problems.
提出了一种利用加权距离和迁移操作来提高灰狼优化器性能的方法。权重距离用于狼群的运动,由每个leader的适应度值(alpha, beta和delta)定义。传统的灰狼算法只有一个狼群,有可能陷入局部最优,因此我们提出的算法中的狼有更多的狼群并在狼群之间迁移。当包的数量超过预定义的一些包将被淘汰。实验结果与传统的灰狼优化算法(GWO)、粒子群优化算法(PSO)和差分进化算法(DE)在9个知名的基准函数上进行了比较。实验结果表明,该算法能够有效地解决复杂的优化问题。
{"title":"Weighted distance grey wolf optimization with immigration operation for global optimization problems","authors":"Duangjai Jitkongchuen, Warattha Sukpongthai, A. Thammano","doi":"10.1109/SNPD.2017.8022652","DOIUrl":"https://doi.org/10.1109/SNPD.2017.8022652","url":null,"abstract":"The proposed algorithm presents a solution to improve the grey wolf optimizer performance using weighted distance and immigration operation. The weight distance is used for the omega wolves movement is defined from fitness value of each leader (alpha, beta and delta). The traditional grey wolf algorithm has only one pack and has opportunity to trap in local optimum so the wolves in our proposed algorithm have more pack and have migrated between them. When the amount of pack has more than to predefine some pack will be eliminated. The experimental results are evaluated by a comparative with the traditional grey wolf optimizer (GWO) algorithm, particle swarm optimization (PSO) and differential evolution (DE) algorithm on 9 well-known benchmark functions. The experimental results showed that the proposed algorithm is capable of efficiently to solving complex optimization problems.","PeriodicalId":186094,"journal":{"name":"2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128497679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
期刊
2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1