Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690506
Yue Li, J. Lv, Shilong Ma, Qianchen Xia, Qiqige Wuniri
According to authoritative statistics, more than 70% of errors found in software testing are caused by requirements or architectural design [1]. Therefore, the modeling and verification of the application front-end design can help improve the development quality of the front-end system and reduce the cost of rework which caused by the design not meeting the requirements. This paper takes the application software front-end system as the research object, aims to verify whether the design of the application software front-end system meets the requirements, use the Interface Window Tree Model to model the user interface composition and behavior, and use the State Transition Graph to specify the composition and behavior correctness of the user interface, and proposes corresponding verification rules and automatic verification algorithms based on the State Transition Graph. Based on the above method, a large-scale web application front-end modeling and verification is completed through an actual case, which shows the effectiveness of the proposed method.
{"title":"Application software front-end modeling, verification and case based on the Interface Window Tree","authors":"Yue Li, J. Lv, Shilong Ma, Qianchen Xia, Qiqige Wuniri","doi":"10.1109/IICSPI.2018.8690506","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690506","url":null,"abstract":"According to authoritative statistics, more than 70% of errors found in software testing are caused by requirements or architectural design [1]. Therefore, the modeling and verification of the application front-end design can help improve the development quality of the front-end system and reduce the cost of rework which caused by the design not meeting the requirements. This paper takes the application software front-end system as the research object, aims to verify whether the design of the application software front-end system meets the requirements, use the Interface Window Tree Model to model the user interface composition and behavior, and use the State Transition Graph to specify the composition and behavior correctness of the user interface, and proposes corresponding verification rules and automatic verification algorithms based on the State Transition Graph. Based on the above method, a large-scale web application front-end modeling and verification is completed through an actual case, which shows the effectiveness of the proposed method.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89879152","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690432
Zhang Xiaoyun, Li Wencui, Wang Lei, Li Xiong, Ren Yinlin
Based on the analysis of the characteristics of new communication technologies, the paper mainly analyzes the adaptability of OTN technology, PTN technology and softswitch technology in power system communication network. According to the demand for the construction of the communication system in the intelligent substation, an application scheme for new intelligent substation communication technologies is proposed, then the technical and economic level of each scheme is compared to optimize equipment allocation, improve reliability, reduce maintenance investment, and reduce investment and energy saving.
{"title":"Application and Research of New Technology in Intelligent Substation Communication","authors":"Zhang Xiaoyun, Li Wencui, Wang Lei, Li Xiong, Ren Yinlin","doi":"10.1109/IICSPI.2018.8690432","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690432","url":null,"abstract":"Based on the analysis of the characteristics of new communication technologies, the paper mainly analyzes the adaptability of OTN technology, PTN technology and softswitch technology in power system communication network. According to the demand for the construction of the communication system in the intelligent substation, an application scheme for new intelligent substation communication technologies is proposed, then the technical and economic level of each scheme is compared to optimize equipment allocation, improve reliability, reduce maintenance investment, and reduce investment and energy saving.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75842475","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690337
Jing Zhong, W. Liu
Cloud computing is a hot topic in the field of Information Technology, and it is the focus of attention in industry, academia and government. The capacity of the IP address space and the security of the IP protocol is one of the basic parameters of cloud computing that must be considered and valued. IPv4 protocol cannot meet the cloud computing to a large number of new network application requirements; IPv6 protocol is an inevitable choice for cloud computing development. In this article, in-depth analysis for IPv6 security issues in cloud computing environments is conducted, and IPv6 security test model in the cloud computing environment is proposed to help improve and enhance the security of cloud computing.
{"title":"IPv6 Security Test Model Research based on Cloud Computing Environment","authors":"Jing Zhong, W. Liu","doi":"10.1109/IICSPI.2018.8690337","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690337","url":null,"abstract":"Cloud computing is a hot topic in the field of Information Technology, and it is the focus of attention in industry, academia and government. The capacity of the IP address space and the security of the IP protocol is one of the basic parameters of cloud computing that must be considered and valued. IPv4 protocol cannot meet the cloud computing to a large number of new network application requirements; IPv6 protocol is an inevitable choice for cloud computing development. In this article, in-depth analysis for IPv6 security issues in cloud computing environments is conducted, and IPv6 security test model in the cloud computing environment is proposed to help improve and enhance the security of cloud computing.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73334016","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690469
Yang Zheng, Li Hong
In order to improve the accuracy of wind power prediction and solve the parameter selection problem of support vector machine(SVM)model for the wind power prediction, the artificial fish swarm algorithm(AFSA) is proposed to look for the support vector machine’s optimal parameter of kernel function and the parameter of error penalty. The model of AFSA-SVW is established to predict the wind power with the numerical weather forecast(NWP) data after clustering analysis. Form the result of simulation experiment, it shows that the model of AFSA-SVW has a higher accuracy than the model of BP and the model of BP and the model of BP and the model of PSO-SVM in the short-term wind power prediction.
{"title":"The Model of Wind Power Short-Term Prediction Based on Artificial Fish Swarm Algorithm of Support Vector Machine","authors":"Yang Zheng, Li Hong","doi":"10.1109/IICSPI.2018.8690469","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690469","url":null,"abstract":"In order to improve the accuracy of wind power prediction and solve the parameter selection problem of support vector machine(SVM)model for the wind power prediction, the artificial fish swarm algorithm(AFSA) is proposed to look for the support vector machine’s optimal parameter of kernel function and the parameter of error penalty. The model of AFSA-SVW is established to predict the wind power with the numerical weather forecast(NWP) data after clustering analysis. Form the result of simulation experiment, it shows that the model of AFSA-SVW has a higher accuracy than the model of BP and the model of BP and the model of BP and the model of PSO-SVM in the short-term wind power prediction.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73352524","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690421
Jian Cui, Jianguo Li, Jiuhe Wang, Xiaobin Mu
In this paper, extended state observer(ESO) is used to solve the static-state error caused by parasitic resistance in Buck converter with constant power load(CPL). Firstly, the control algorithm based on passivity-based control(PBC) is designed to solve the problem that the Buck converter with CPL can not operate stably, and the influence of parameter change on the control system is analyzed by using the zero-pole map. The influence caused by parasitic resistance is regarded as unknown disturbance, and it is estimated by ESO to reduce the control static-state error. Finally, the problem of non-convergence is solved by improving the fal function commonly used in ESO. Computer simulation shows the effectiveness and feasibility of the control strategy designed in this paper.
{"title":"Application Research of ESO in Solving Parasitic Resistance in CPL System","authors":"Jian Cui, Jianguo Li, Jiuhe Wang, Xiaobin Mu","doi":"10.1109/IICSPI.2018.8690421","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690421","url":null,"abstract":"In this paper, extended state observer(ESO) is used to solve the static-state error caused by parasitic resistance in Buck converter with constant power load(CPL). Firstly, the control algorithm based on passivity-based control(PBC) is designed to solve the problem that the Buck converter with CPL can not operate stably, and the influence of parameter change on the control system is analyzed by using the zero-pole map. The influence caused by parasitic resistance is regarded as unknown disturbance, and it is estimated by ESO to reduce the control static-state error. Finally, the problem of non-convergence is solved by improving the fal function commonly used in ESO. Computer simulation shows the effectiveness and feasibility of the control strategy designed in this paper.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79362842","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690417
Jun Lu, Yao Ding
Based on FPGA-based real-time video data transmission and coding-decoding technology, this paper realized automatic PAL and NTSC modulation recognition with four-channel AV analog signal as the input. After BT.656 digital video signals were compressed at high compression ratio, long-distance transmission of video signals was realized through GPHY gigabit Ethernet. Uncompressed by the receiver terminal, data reached YCbCr422 through BT.656 and then were output at VGA in RGB format and at HDMI in high-definition format. four-channel AV signals were put under parallel processing, which gave full play to high concurrency of FPGA and high real-time data-handling capacity. Compared with traditional video network transmission system, latency was reduced from about 500ms to 200ms to realize low-latency multi-channel video signal network transmission based on FPGA.
{"title":"A FPGA-based Low-latency Multi-channel Video Network Transmission System Design","authors":"Jun Lu, Yao Ding","doi":"10.1109/IICSPI.2018.8690417","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690417","url":null,"abstract":"Based on FPGA-based real-time video data transmission and coding-decoding technology, this paper realized automatic PAL and NTSC modulation recognition with four-channel AV analog signal as the input. After BT.656 digital video signals were compressed at high compression ratio, long-distance transmission of video signals was realized through GPHY gigabit Ethernet. Uncompressed by the receiver terminal, data reached YCbCr422 through BT.656 and then were output at VGA in RGB format and at HDMI in high-definition format. four-channel AV signals were put under parallel processing, which gave full play to high concurrency of FPGA and high real-time data-handling capacity. Compared with traditional video network transmission system, latency was reduced from about 500ms to 200ms to realize low-latency multi-channel video signal network transmission based on FPGA.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85238720","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690392
Liu Ping-ni
In order to assure the safety operation of military ATC system, on the basis of fuzzy matter-element analysis theory, a safety assessment model of military ATC system is proposed on the basis of safety assessment index system of military ATC system. The example analysis result shows that the assessment result basically reflects the actual safety level of the of military ATC system, providing a new way for military ATC safety assessment.
{"title":"Research on Safety Assessment of Military ATC system Based on Fuzzy Matter-element Model","authors":"Liu Ping-ni","doi":"10.1109/IICSPI.2018.8690392","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690392","url":null,"abstract":"In order to assure the safety operation of military ATC system, on the basis of fuzzy matter-element analysis theory, a safety assessment model of military ATC system is proposed on the basis of safety assessment index system of military ATC system. The example analysis result shows that the assessment result basically reflects the actual safety level of the of military ATC system, providing a new way for military ATC safety assessment.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85457820","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690367
Hao Xuetong, Zhu Shunbing, Li Xun, Zhu Weiqiang
The paper uses Anylogic simulation software to take the Nanjing South Railway Station departure platform as an example to set up evacuation routes and evacuation numbers and establish an evacuation simulation model for different personnel structure ratios by analyzing the video surveillance of Nanjing South Railway Station. Evacuation flow and evacuation time are analyzed by comparing different evacuation modes. The result shows: (1) The evacuation can be completed within the prescribed time when the departure platform accommodates 4,000 and 6,000 people respectively. (2) The fewer people the evacuation platform accommodates, the shorter the evacuation time used, and the more efficient the evacuation is. (3) Different proportion of personnel age structures have an impact on evacuation flow and evacuation time, the evacuation flow is larger and the evacuation time used is shorter when the middle-aged population accounts for a higher proportion.
{"title":"Research on Personnel Evacuation of Departure Platform of Nanjing South Railway Station Based on Anylogic","authors":"Hao Xuetong, Zhu Shunbing, Li Xun, Zhu Weiqiang","doi":"10.1109/IICSPI.2018.8690367","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690367","url":null,"abstract":"The paper uses Anylogic simulation software to take the Nanjing South Railway Station departure platform as an example to set up evacuation routes and evacuation numbers and establish an evacuation simulation model for different personnel structure ratios by analyzing the video surveillance of Nanjing South Railway Station. Evacuation flow and evacuation time are analyzed by comparing different evacuation modes. The result shows: (1) The evacuation can be completed within the prescribed time when the departure platform accommodates 4,000 and 6,000 people respectively. (2) The fewer people the evacuation platform accommodates, the shorter the evacuation time used, and the more efficient the evacuation is. (3) Different proportion of personnel age structures have an impact on evacuation flow and evacuation time, the evacuation flow is larger and the evacuation time used is shorter when the middle-aged population accounts for a higher proportion.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79821279","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690462
Jaehan Jeong, Keunho Park, Wooyeon Jo, Taeshik Shon
Security has been constantly threatened since computers began. The greater the importance of computer roles, the greater the importance of security. Financial security involves a lot of personal information and money, and because it is directly linked to money, the damage is also great. The threat will continue unless you find and block these attackers. If you know the location of the attacker through backtracking, you can essentially block the attack. In addition, if you visualize the attacks, you can easily analyze the attack because you can see at a glance. Our research suggests monitoring attacks that are threatened by financial security and backtracking attackers.
{"title":"Backtracking and Visualization Techniques for Financial Network Security","authors":"Jaehan Jeong, Keunho Park, Wooyeon Jo, Taeshik Shon","doi":"10.1109/IICSPI.2018.8690462","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690462","url":null,"abstract":"Security has been constantly threatened since computers began. The greater the importance of computer roles, the greater the importance of security. Financial security involves a lot of personal information and money, and because it is directly linked to money, the damage is also great. The threat will continue unless you find and block these attackers. If you know the location of the attacker through backtracking, you can essentially block the attack. In addition, if you visualize the attacks, you can easily analyze the attack because you can see at a glance. Our research suggests monitoring attacks that are threatened by financial security and backtracking attackers.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84029111","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}
Pub Date : 2018-12-01DOI: 10.1109/IICSPI.2018.8690403
Zhenkun Yu, Fuxi Zhu, Gang Tianl, Hao Wang
LncRNAs and miRNAs are two different kinds of non-coding RNAs and are both important for human in the field of health and disease. LncRNAs can interact with miRNAs, and the interactions play key roles in gene regulatory networks. Predicting IncRNA-miRNA interactions is an urgent and significant task and can help to explore the mechanism of involved complicated diseases, but very few computational methods are developed. In this paper, we introduce a computational method named link completion bipartite network inference (LCBNI) to predict the potential interactions between IncRNAs and miRNAs. LCBNI formulates the observed IncRNA-miRNA interactions as a bipartite network. Considering that there is no any known interaction for new IncRNAs or miRNAs, LCBNI calculates the sequence similarity and utilizes weighted nearest neighbor interaction information to construct new interaction scores for these IncRNAs and miRNAs. Then, we implement a resource allocation algorithm on the bipartite network to predict IncRNA-miRNA interactions. The experimental results demonstrate that LCBNI can effectively predict IncRNA-miRNA interactions with higher accuracy compared with other state-of-the-art methods and network-based methods, including random walk with restart (RWR), IncRNA-based collaborative filtering (LncCF) and miRNA-based collaborative filtering (MiCF). Furthermore, case studies are performed to demonstrate the prediction capability of LCBNI using real data.
{"title":"LCBNI: link completion bipartite network inference for predicting new lncRNA-miRNA interactions","authors":"Zhenkun Yu, Fuxi Zhu, Gang Tianl, Hao Wang","doi":"10.1109/IICSPI.2018.8690403","DOIUrl":"https://doi.org/10.1109/IICSPI.2018.8690403","url":null,"abstract":"LncRNAs and miRNAs are two different kinds of non-coding RNAs and are both important for human in the field of health and disease. LncRNAs can interact with miRNAs, and the interactions play key roles in gene regulatory networks. Predicting IncRNA-miRNA interactions is an urgent and significant task and can help to explore the mechanism of involved complicated diseases, but very few computational methods are developed. In this paper, we introduce a computational method named link completion bipartite network inference (LCBNI) to predict the potential interactions between IncRNAs and miRNAs. LCBNI formulates the observed IncRNA-miRNA interactions as a bipartite network. Considering that there is no any known interaction for new IncRNAs or miRNAs, LCBNI calculates the sequence similarity and utilizes weighted nearest neighbor interaction information to construct new interaction scores for these IncRNAs and miRNAs. Then, we implement a resource allocation algorithm on the bipartite network to predict IncRNA-miRNA interactions. The experimental results demonstrate that LCBNI can effectively predict IncRNA-miRNA interactions with higher accuracy compared with other state-of-the-art methods and network-based methods, including random walk with restart (RWR), IncRNA-based collaborative filtering (LncCF) and miRNA-based collaborative filtering (MiCF). Furthermore, case studies are performed to demonstrate the prediction capability of LCBNI using real data.","PeriodicalId":6673,"journal":{"name":"2018 IEEE International Conference of Safety Produce Informatization (IICSPI)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83096275","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：