{"title":"A Model Based Safety Analysis Framework for SysML and A Case Study","authors":"Jun Hu, Hongying Tang, Jiexiang Kang, Hongya Wang","doi":"10.1109/EITCE47263.2019.9094927","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094927","url":null,"abstract":"Model Based Safety Analysis (MBSA) techniques can improve our modeling and analysis capabilities for today's complex safety-critical system designs. SysML is a kind of informal system functional modeling language widely used in industry and AltaRica is a formal modeling language for system safety analysis. This paper provides a MBSA framework and a prototype tool for SysML oriented system design and safety ananlysis, which including: we firstly extend SysML model elements to describe system fault events and behaviors by using profile definition mechanism, then some mapping rules between SysML design models and AltaRica analysis models are established based on the consideration of model semantics. Therefore, we can design a framework and algorithms to implement an automatic conversion of those two modeling languages Finally, a case study shows how to modeling and analyze a typical wheel brake system which included in the SAE-AIR6110 standard by using a prototype tool.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"223 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124433740","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}
{"title":"Suppressed MT static effect by two wavelet threshold criteria","authors":"Yurong Gong, Yunqiu Yang, Yulong Gong","doi":"10.1109/EITCE47263.2019.9094860","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094860","url":null,"abstract":"In the Magnetotelluric sounding (MT), due to the electrical in-homogeneities of the small near-station conductor on surface, static effect are usually caused. In order to suppress this effect, the wavelet threshold is adopted. First, we decomposed the MT data with wavelet coefficients and then used threshold method to reconstruct. The reconstructed signal can effectively suppress the static effect of the MT data. The selection of threshold criterion is the key to suppress the static effect by wavelet. In this paper, two threshold criteria (DT and ST) of the wavelet processing the MT data are compared. The results show that the two threshold methods have certain effects on suppressing static effect.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121111911","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}
Weiming Tong, Bingbing Liu, Zhongwei Li, Xianji Jin
{"title":"Intrusion Detection Method of Industrial Control System Based on RIPCA-OCSVM","authors":"Weiming Tong, Bingbing Liu, Zhongwei Li, Xianji Jin","doi":"10.1109/EITCE47263.2019.9095099","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9095099","url":null,"abstract":"In view of the problem that the intrusion detection method based on One-Class Support Vector Machine (OCSVM) could not detect the outliers within the industrial data, which results in the decision function deviating from the training sample, an anomaly intrusion detection algorithm based on Robust Incremental Principal Component Analysis (RIPCA) -OCSVM is proposed in this paper. The method uses RIPCA algorithm to remove outliers in industrial data sets and realize dimensionality reduction. In combination with the advantages of OCSVM on the single classification problem, an anomaly detection model is established, and the Improved Particle Swarm Optimization (IPSO) is used for model parameter optimization. The simulation results show that the method can efficiently and accurately identify attacks or abnormal behaviors while meeting the real-time requirements of the industrial control system (ICS).","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127106205","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}
{"title":"Space Target Association Based on Epipolar Geometry Constraints under Multi-Star Sensors","authors":"Qiushi Huang, Yasheng Zhang","doi":"10.1109/EITCE47263.2019.9094972","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094972","url":null,"abstract":"The star sensor can be used as a monitoring platform for space targets. The star target in the star map is a small target with no texture, color and other features. With the epipolar geometry constraint, the threshold value can be set first. The objects in the star maps taken by the star sensors overlapping the field of view are roughly associated. When multiple candidate targets are present, the associated target is the nearest one to the epipolar line. Finally, the relevant results are summarized and the observation information of each target under different platforms is obtained. The algorithm achieves the multi-objective synchronization association under multi-sensors and has good robustness to the jitter and deviation generated by the star sensor. When there are a large number of space targets in the star maps, the correlation accuracy can reach more than 90%.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"185 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124918111","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}
{"title":"An Image Encryption Schema Based on Hybrid Optimized Chaotic System","authors":"Honghe Xu, H. Jiang","doi":"10.1109/EITCE47263.2019.9095007","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9095007","url":null,"abstract":"The purpose of this paper is to improve the safety of chaotic image encryption algorithm. Firstly, to achieve this goal, it put forward two improved chaotic system logistic and henon, which covered an promoted henon chaotic system with better probability density, and an 2-dimension logistic chaotic system with high Lyapunov exponents. Secondly, the chaotic key stream was generated by the new 2D logistic chaotic system and optimized henon mapping, which mixed in dynamic proportions. The conducted sequence has better randomness and higher safety for image cryptosystem. Thirdly, we proposed algorithm takes advantage of the compounded chaotic system Simulation experiment results and security analysis showed that the proposed scheme was more effective and secure. It can resist various typical attacks, has high security, satisfies the requirements of image encryption theoretical.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115518918","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}
{"title":"A Feedforward Control Strategy aiming at Withdrawal Disturbance of Load Side Resources","authors":"Ziling Zou, Zhetong Ding, Ying Wang, Kun Yuan, Kaifeng Zhang, Xin Shan","doi":"10.1109/EITCE47263.2019.9094900","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094900","url":null,"abstract":"In recent years, load side resources have been gradually applied to the frequency control of power systems. However, the characteristics of the load side resources are quite different from the generation side resources, especially the load side resources must secede the frequency control to ensure sufficient user tolerance. This characteristic causes withdrawal disturbance to the power systems, which does harm to the recovery of system frequency. In this paper, a feedforward control strategy is designed to reduce the negative impact of withdrawal disturbance of load side resources on the power systems, so as to improve the performance of the frequency recovery process. By informing the generator in advance about the withdrawal disturbance of load side resources, this method ensures that there are enough generation side resources to compensate when the load resources are withdrawn. The feedforward control strategy is simulated on the standard 10- machine 39-node system, and the experimental results show that the feedforward control can effectively reduce the impact of withdrawal disturbance by load side resources.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122677197","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}
Ran Zhao, Chao Li, Xiao-Wei Guo, Sijiang Fan, Yi Wang, Yi Liu, Canqun Yang
{"title":"A parallel iteration algorithm for greedy selection based IDW mesh deformation in OpenFOAM","authors":"Ran Zhao, Chao Li, Xiao-Wei Guo, Sijiang Fan, Yi Wang, Yi Liu, Canqun Yang","doi":"10.1109/EITCE47263.2019.9094931","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094931","url":null,"abstract":"Inverse Distance Weighting (IDW) interpolation based mesh deformation is an explicit technique adopted by large-scale mesh computation for Computational Fluid Dynamic (CFD). To obtain the optimum interpolating points set, greedy algorithm is utilized widely in the interpolation process. However, greedy algorithm will bring additional time cost because of its recycling point selection. This paper proposes a parallel iteration algorithm for greedy selection based IDW mesh deformation in OpenFOAM (a widely used software of CFD).The iteration method is proposed based on that some computing values are recycling in greedy loop and it make the computational complexity reduce from O(n3) to O(n2). The parallel algorithm is based on the re-decompositon method which can greatly keep the load balancing. The experiments are operated on a three-dimensional undulating fish model with 3.7 × 105 mesh cells. Results show that our parallel iteration method could obtain a more than 18.2 times performance increase, compared with the conventional greedy algorithm applied in IDW interpolation.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122608809","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}
{"title":"A Anti-collision Algorithm Based On Checking Group And Collision Tree","authors":"Pengfei Xu, X. Lei, Puzhou Tan","doi":"10.1109/EITCE47263.2019.9094846","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094846","url":null,"abstract":"Aiming at the information Collision generated by multiple tags simultaneously responding to the reader under the condition of tag density in RFID, it is proposed that an anticollision algorithm bases on checking group and collision tree(CGCT) in this paper. The parity check is used to take the eigenvalues of tag ID, and the tags are grouped according to the eigenvalues, and the collision bit information is determined by using the feature information, so as to reduce the number of reader queries and shorten recognition time. Through theoretical analysis and simulation, it is concluded that the total slots and communication traffic used by the CGCT algorithm are obviously superior to other deterministic algorithms in the case of tag density, with relatively high recognition efficiency.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122918214","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}
{"title":"The mean-variance-skewness cardinality constrained portfolio optimization problem using a customized multi-objective evolutionary algorithm","authors":"Lan Li, Wenlan Huang, Yu Zhang","doi":"10.1109/EITCE47263.2019.9094951","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9094951","url":null,"abstract":"MVSCCPO is a mean-variance-skewness portfolio optimization problem with cardinality constraint. It increases the skewness as the third objective, and introduces cardinality constraint to reduce the difficulty of asset management. A customized NSGA-III(c-NSGA-III) algorithm is proposed for the problem. It introduces an effective solution representation mechanism, customized crossover and mutation operators, a tournament selection based on membership is introduced in the mating selection phase instead of the original random selection method. Finally, an empirical analysis is carried out to verify the effectiveness of the proposed algorithm by comparing with NSGA-II and MOEA/D. The results show that c-NSGA-III performs better than other algorithms on solving MVSCCPO problem.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122207937","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}
Wei Cui, Wei Zhang, Juli Green, Xu Zhang, Xiang Yao
{"title":"YOLOv3-darknet with Adaptive Clustering Anchor Box for Garbage Detection in Intelligent Sanitation","authors":"Wei Cui, Wei Zhang, Juli Green, Xu Zhang, Xiang Yao","doi":"10.1109/EITCE47263.2019.9095167","DOIUrl":"https://doi.org/10.1109/EITCE47263.2019.9095167","url":null,"abstract":"In recent years, as people’s requirements for living environment are getting higher and higher, many countries have written environmental protection into relevant laws. How to find and clean up garbage in a timely manner is particularly important. Manually searching garbage is not only time consuming, but also requires a lot of manpower. Deep learning has achieved good results in the fields of object detection and semantic segmentation with a good ability to identify these uncertain features just like garbage. In this paper, we capture the garbage image on the road in real time by sanitation vehicle. The YOLOv3-darknet model which is based on adaptive clustering anchor box are used for garbage detection. Multi-category confrontation training is performed on objects that are frequently misdetected. Combined with other auxiliary ranging devices, the latitude and longitude information of the garbage is determined, so that the garbage can be cleaned with a target. Experiments show that our model has achieved good results in garbage detection. The detection time of a single image on the GTX1080ti is 60ms.","PeriodicalId":296709,"journal":{"name":"2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117029423","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}