发布求助
文献互助 智能选刊 最新文献

2020 6th International Symposium on System and Software Reliability (ISSSR)最新文献

筛选
英文 中文
Reliability on Deep Learning Models: A Comprehensive Observation 深度学习模型的可靠性:综合观察
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00034
Yuhong Zhang, Chunjing Xiao
{"title":"Reliability on Deep Learning Models: A Comprehensive Observation","authors":"Yuhong Zhang, Chunjing Xiao","doi":"10.1109/ISSSR51244.2020.00034","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00034","url":null,"abstract":"This paper provides a comprehensive observation to examine the reliability of deep learning (DL) models. First, we will briefly introduce the essential background and kernel techniques in deep learning, such as downsampling and nonlinear discontinuity. Each of them may have some relation to the reliability of DL models. Then we discuss the inherent structural flaws of deep learning and the risk of unreliability that can result from it. Subsequently, we discuss various ways of generating adversarial samples that affect the DL model’s reliability and corresponding preventive measures. Finally, we complete this observation by identifying current challenges and future trends for research.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126388128","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}
引用次数: 1
DADF: A Dynamic Adaptive Method for Generating Adversarial Examples DADF:一种生成对抗示例的动态自适应方法
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00012
Zhiwen Jiang, Zhanqi Cui, Yiting Zheng, J. Deng, Xiulei Liu
{"title":"DADF: A Dynamic Adaptive Method for Generating Adversarial Examples","authors":"Zhiwen Jiang, Zhanqi Cui, Yiting Zheng, J. Deng, Xiulei Liu","doi":"10.1109/ISSSR51244.2020.00012","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00012","url":null,"abstract":"Deep neural networks (DNNs) have made remarkable achievements in several areas, such as image classification. However, extensive researches show that DNNs are vulnerable to adversarial examples which are generated by adding some small perturbations on original images. DeepFool is an effective algorithm for generating adversarial examples with higher success rate and smaller perturbations. However, DeepFool computes the distance of all classification boundaries of the dataset, which causes the speed of DeepFool to be very slow. To address this problem, this paper proposes DADF, a dynamic adaptive method for generating adversarial examples. Based on tracing the information of the attacking process, DADF dynamically selects the subset of target labels. The subset of target labels is dynamically updated once successful adversarial examples are generated. Experimental results on MNIST and CIFAR10 datasets show that, comparing with DeepFool, DADF reduce the time greatly while generating 10000 adversarial examples on the MNIST and CIFAR10 dataset.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132220933","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}
引用次数: 0
RTI-Grain: A Method for Detecting the Foreign Body of Granary Based on RSS RTI-Grain:一种基于RSS的粮仓异物检测方法
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00018
Chunhua Zhu, Jiake Tian, Zhen Shi, Jing Yang
{"title":"RTI-Grain: A Method for Detecting the Foreign Body of Granary Based on RSS","authors":"Chunhua Zhu, Jiake Tian, Zhen Shi, Jing Yang","doi":"10.1109/ISSSR51244.2020.00018","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00018","url":null,"abstract":"This paper proposes a non-destructive, fast, low-cost, non-contact method for detecting stored grain foreign body based on received signal strength (RSS) information , RTI- Grain. The feasibility of stored grain foreign body detection was verified by using RSS data. On this basis, the RTI-Grain detection method was designed. Firstly, the RSSI data is subjected to data normalization, noise elimination and averaging preprocessing, and then ellipse weight model was used to compute the attenuation coefficients in each pixel, finally the Tikhonov regularization was adopted to reconstruct the image of the abnormal area. The experimental verification shows that the foreign body of empty hole, metal and water in granary can be detected, and the detection accuracy is 98.1% at maximum.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130209183","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}
引用次数: 0
Convolutional Neural Network Algorithm based on Improved Support Vector Machine 基于改进支持向量机的卷积神经网络算法
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00010
Zhang Suzhi, Wu Yuhong
{"title":"Convolutional Neural Network Algorithm based on Improved Support Vector Machine","authors":"Zhang Suzhi, Wu Yuhong","doi":"10.1109/ISSSR51244.2020.00010","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00010","url":null,"abstract":"This electronic Aiming at the problem that the traditional Convolutional Neural Network algorithm uses the Softmax function to classify tires with poor accuracy, a convolutional neural network image classification and recognition algorithm based on improved support vector machine is proposed. This algorithm uses the support vector machine instead of the Softmax function to complete the image classification problem in the convolutional neural network algorithm. At the same time, a relaxation variable and a penalty factor are introduced into the traditional support vector machine, thereby changing the support vector machine to be used for classifier for multiple classification problems. This improved algorithm is applied to tire damage image recognition. Through a series of comparison experiments between the improved algorithm and the traditional convolutional neural network algorithm, the classification and recognition effects of the improved algorithm on the classification and recognition of damaged tire images are analyzed. The effectiveness of the proposed improved algorithm is proved.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"10 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131714543","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}
引用次数: 0
Research on MES System Based on Production Management of Railway Vehicle Reducer 基于铁道车辆减速器生产管理的MES系统研究
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00026
Li Fuqiang, Li Jiaze, Zhang Jun, Zhang Xiang-ru
{"title":"Research on MES System Based on Production Management of Railway Vehicle Reducer","authors":"Li Fuqiang, Li Jiaze, Zhang Jun, Zhang Xiang-ru","doi":"10.1109/ISSSR51244.2020.00026","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00026","url":null,"abstract":"In recent years, the rapid development of rail transportation represented by high-speed railways and urban rail transportation has caused tremendous pressure on related discrete equipment manufacturing enterprises that are upstream of the locomotive and vehicle supply chain. The surge in orders has led to the company’s \"planning\" and \"production\" It is difficult to achieve a consistent pace, production data cannot be uploaded and released, production and management are disconnected, and production efficiency cannot be improved. In the final analysis, there is a split between the underlying execution system and the enterprise management system in the workshop. In this regard, this topic studies and discusses the application of Manufacturing Execution System (MES) in discrete equipment manufacturing enterprises. In fact, it is aimed at the production and manufacturing enterprises of rolling stock reduction gears for rolling stock. The solution focuses on the process preparation subsystem based on the typical process library, and integrates it based on the MES platform. In the end, for enterprises to achieve the goals of reducing production preparation cycles, reducing inventory, and improving efficiency, help enterprises seize opportunities and meet challenges in the fierce market competition.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"04 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127362283","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}
引用次数: 0
Research on a controllable hybrid encryption algorithm for privacy image 隐私图像的可控混合加密算法研究
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00014
Yifeng Yin, Chaofei Hu, Kunpeng Liu, Yong Gan
{"title":"Research on a controllable hybrid encryption algorithm for privacy image","authors":"Yifeng Yin, Chaofei Hu, Kunpeng Liu, Yong Gan","doi":"10.1109/ISSSR51244.2020.00014","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00014","url":null,"abstract":"According to the security performance of image encryption, a hybrid image encryption algorithm is proposed. The algorithm can use different chaotic systems and pseudorandom generators to scramble and spread according to the needs of human control. The security of the algorithm is improved by dividing the plaintext into equal length sequence segments and encrypting them into inverse operations. Through the analysis of the sensitivity of the algorithm, the ability to resist differential attack and the encryption rate of the algorithm, it shows that the algorithm is safe and reliable.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128010412","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}
引用次数: 0
Application of NB-IoT Technology in City Open Water Monitoring NB-IoT技术在城市开放水域监测中的应用
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00023
He Sui, Guangming Zheng, Jingxian Zhou, Hui Li, Zhaojun Gu
{"title":"Application of NB-IoT Technology in City Open Water Monitoring","authors":"He Sui, Guangming Zheng, Jingxian Zhou, Hui Li, Zhaojun Gu","doi":"10.1109/ISSSR51244.2020.00023","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00023","url":null,"abstract":"Water quality monitoring is an important way to monitor the environment, control pollution and protect water resources, and its research has great practical significance for environmental protection. Aiming at the disadvantages of existing water quality monitoring methods such as high node power consumption and small coverage, this paper proposes an online water quality monitoring system scheme using NB-IOT protocol communication. The prototype system shows that the system can meet the water quality monitoring needs of Bolong Lake.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132305626","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
IP Geolocation Method Based on Neighbor IP Sequences 基于邻居IP序列的IP地理定位方法
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00016
Yong Gan, Helin Zhang, Yuanbo Liu, Lei He
{"title":"IP Geolocation Method Based on Neighbor IP Sequences","authors":"Yong Gan, Helin Zhang, Yuanbo Liu, Lei He","doi":"10.1109/ISSSR51244.2020.00016","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00016","url":null,"abstract":"IP geolocation aims at determining the geographic location of an Internet host, which can improve the performance and security of the Internet application, and bring about novel services. Existing methods usually use measurement-based technology or data analysis-based technology, and less consider the relationship between IP addresses, this paper proposed an IP geolocation approach based on neighbor sequences. Considering the aggregation characteristics of IP addresses, the IP address location library and mobile traffic data are taken as the original data. The neighbor sequences of IP addresses are first calculated, then converted into corresponding latitude and longitude sequences, and then the model is built and solved. The experimental results based on IP addresses in Henan Province, China show that the geographic location of IP addresses can be determined by neighbor IP sequences with the mean error is between 20 kilometers and 30 kilometers. This method can also be combined with other methods to obtain better results.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"151 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117350311","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}
引用次数: 0
Predicate Testing Generation for Safety-critical Systems 安全关键系统的谓词测试生成
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00032
Wan Zhou, Yong Wang, Xiangyu Cheng, Xue Wang
{"title":"Predicate Testing Generation for Safety-critical Systems","authors":"Wan Zhou, Yong Wang, Xiangyu Cheng, Xue Wang","doi":"10.1109/ISSSR51244.2020.00032","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00032","url":null,"abstract":"Safety-critical systems are those systems whose failure would cause significant property loss or crisis. These systems possibly contain complex predicates, which represent the conditions of system state transformation. Predicate testing is critical to ensuring system safety. However, it is difficult to generate appropriate test cases for complex predicates. To resolve the issue, predicate testing criteria based on major clause are proposed. Major clause of predicate is a clause that directly determines the value of predicate, and the preponderances of testing criteria based on major clause is that not only guarantee the rigor of testing, but also reduce the testing cost. This paper presents an approach that using different test criteria based on major clause to automatically generate corresponding test case constraint set for predicates in safety-critical systems. Firstly, the complex predicate is modeled as an abstract syntax tree (AST). Secondly, truth table for predicates is generated by extracting AST and further filtered based on predicate testing criteria (such as PC, RACC and CACC). Finally, testing case constraints set is generated by a random algorithm to satisfy certain test criteria. Our experimental results show that the constraint set generated by our method is reasonable and our approach is correct. By introducing variants into the empirical system, our approach shows the validity of different test criteria.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127850034","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}
引用次数: 1
Automatic Test Case Generation from Formal Requirement Model for Avionics Software 基于形式化需求模型的航空电子软件测试用例自动生成
2020 6th International Symposium on System and Software Reliability (ISSSR) Pub Date : 2020-10-01 DOI: 10.1109/ISSSR51244.2020.00011
Wenxuan Wang, Jun Hu, Jiancheng Hu, Jiexiang Kang, Hongya Wang, Zhongjie Gao
{"title":"Automatic Test Case Generation from Formal Requirement Model for Avionics Software","authors":"Wenxuan Wang, Jun Hu, Jiancheng Hu, Jiexiang Kang, Hongya Wang, Zhongjie Gao","doi":"10.1109/ISSSR51244.2020.00011","DOIUrl":"https://doi.org/10.1109/ISSSR51244.2020.00011","url":null,"abstract":"The scale and complexity of software in modern avionics systems are growing fast. It becomes a challenge to develop such kind of software systems satisfying both high safety and reliability requirements. This paper presents a framework of automatic test case generation for avionics software form formal requirement models. We introduced a specific formal model of VRM (Variable Relation Model), which is used for modeling the requirements of avionics software, from which control tree structures are established. Different model test coverage criteria are defined according to the DO-178C standard to simplified the control tree structure, and test path constraint selection methods are proposed based on those criteria. Through performing domain error test case selection, test cases are generated for each path constraint selected, which makes up a test case set for the requirement. At last, to demonstrate how we generate test cases form a requirement model, a case study is given.","PeriodicalId":210543,"journal":{"name":"2020 6th International Symposium on System and Software Reliability (ISSSR)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117075491","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书