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

2018 IEEE International Conference of Safety Produce Informatization (IICSPI)最新文献

筛选
英文 中文
Application software front-end modeling, verification and case based on the Interface Window Tree 基于界面窗口树的应用软件前端建模、验证和用例
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690506
Yue Li, J. Lv, Shilong Ma, Qianchen Xia, Qiqige Wuniri
{"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":"17 1","pages":"888-891"},"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}
引用次数: 1
Application and Research of New Technology in Intelligent Substation Communication 智能变电站通信新技术的应用与研究
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690432
Zhang Xiaoyun, Li Wencui, Wang Lei, Li Xiong, Ren Yinlin
{"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":"373 1","pages":"153-157"},"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}
引用次数: 0
IPv6 Security Test Model Research based on Cloud Computing Environment 基于云计算环境的IPv6安全测试模型研究
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690337
Jing Zhong, W. Liu
{"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":"101 1","pages":"796-799"},"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}
引用次数: 3
The Model of Wind Power Short-Term Prediction Based on Artificial Fish Swarm Algorithm of Support Vector Machine 基于支持向量机人工鱼群算法的风电短期预测模型
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690469
Yang Zheng, Li Hong
{"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":"12 1","pages":"570-574"},"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}
引用次数: 6
Application Research of ESO in Solving Parasitic Resistance in CPL System ESO在解决CPL系统寄生电阻中的应用研究
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690421
Jian Cui, Jianguo Li, Jiuhe Wang, Xiaobin Mu
{"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":"115 1","pages":"555-560"},"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}
引用次数: 0
A FPGA-based Low-latency Multi-channel Video Network Transmission System Design 基于fpga的低延迟多通道视频网络传输系统设计
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690417
Jun Lu, Yao Ding
{"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":"7 1","pages":"690-693"},"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}
引用次数: 0
Research on Safety Assessment of Military ATC system Based on Fuzzy Matter-element Model 基于模糊物元模型的军用空中交通管制系统安全评价研究
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690392
Liu Ping-ni
{"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":"47 1","pages":"737-741"},"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}
引用次数: 0
Research on Personnel Evacuation of Departure Platform of Nanjing South Railway Station Based on Anylogic 基于Anylogic的南京南站发车站台人员疏散研究
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690367
Hao Xuetong, Zhu Shunbing, Li Xun, Zhu Weiqiang
{"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":"305 1","pages":"62-66"},"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}
引用次数: 3
Backtracking and Visualization Techniques for Financial Network Security 金融网络安全回溯与可视化技术
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690462
Jaehan Jeong, Keunho Park, Wooyeon Jo, Taeshik Shon
{"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":"2 1","pages":"480-483"},"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}
引用次数: 1
LCBNI: link completion bipartite network inference for predicting new lncRNA-miRNA interactions LCBNI:用于预测新的lncRNA-miRNA相互作用的链路完成二部网络推断
2018 IEEE International Conference of Safety Produce Informatization (IICSPI) Pub Date : 2018-12-01 DOI: 10.1109/IICSPI.2018.8690403
Zhenkun Yu, Fuxi Zhu, Gang Tianl, Hao Wang
{"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":"54 1","pages":"873-877"},"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}
引用次数: 2
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信