首页 > 最新文献

Proceedings of the 7th International Conference on Cyber Security and Information Engineering最新文献

英文 中文
Research on Self-healing Control Function of Smart Distribution Network based on Security Domain 基于安全域的智能配电网自愈控制功能研究
Jia-le Lu, Ruifeng Zhao, Hai-cheng Liu, Haobin Li, Jin Li, Kaiyan Pan, Hongrui Zhao
Distribution network is an urban infrastructure, which is of great significance to the safety of urban power supply. Self-healing control is an effective means to solve the safe operation of distribution network and has become a hot research topic in the field of distribution. Combining DSSR and TSC theory with self-healing control system, this paper proposes a safe and efficient operation mode of distribution network based on security domain. The self-healing control system based on security domain is presented, the preventive control, predictive control and optimization control based on DSSR and TSC are proposed, and these functions are demonstrated by an example of a real distribution network. Self-healing control emphasizes initiative, and the safety domain theory gives the direction and measurement of load control. Preventive control or predictive control is adopted to ensure the operation of the power grid in the safety domain, so as to ensure the safety and reliability of power supply can be improved greatly.
配电网是城市基础设施,对城市供电安全具有重要意义。自愈控制是解决配电网安全运行的有效手段,已成为配电网领域的研究热点。将DSSR和TSC理论与自愈控制系统相结合,提出了一种基于安全域的配电网安全高效运行模式。提出了基于安全域的自愈控制系统,提出了基于DSSR和TSC的预防控制、预测控制和优化控制,并通过实际配电网实例对这些功能进行了验证。自愈控制强调主动性,安全域理论给出了负荷控制的方向和方法。采用预防控制或预测控制,保证电网在安全域内运行,从而大大提高供电的安全性和可靠性。
{"title":"Research on Self-healing Control Function of Smart Distribution Network based on Security Domain","authors":"Jia-le Lu, Ruifeng Zhao, Hai-cheng Liu, Haobin Li, Jin Li, Kaiyan Pan, Hongrui Zhao","doi":"10.1145/3558819.3565465","DOIUrl":"https://doi.org/10.1145/3558819.3565465","url":null,"abstract":"Distribution network is an urban infrastructure, which is of great significance to the safety of urban power supply. Self-healing control is an effective means to solve the safe operation of distribution network and has become a hot research topic in the field of distribution. Combining DSSR and TSC theory with self-healing control system, this paper proposes a safe and efficient operation mode of distribution network based on security domain. The self-healing control system based on security domain is presented, the preventive control, predictive control and optimization control based on DSSR and TSC are proposed, and these functions are demonstrated by an example of a real distribution network. Self-healing control emphasizes initiative, and the safety domain theory gives the direction and measurement of load control. Preventive control or predictive control is adopted to ensure the operation of the power grid in the safety domain, so as to ensure the safety and reliability of power supply can be improved greatly.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122774007","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
Deep Graph Neural Networks for Text Classification Task 用于文本分类任务的深度图神经网络
Yunhao Si, Yong Zhou
Text classification is to organizing documents into predetermined categories, usually by machinery learn algorithms. It is a significant ways to organize and utilize the large amount of information that exists in unstructured text format. Text classification is an important module in text processing, and its applications are also very extensive, such as garbage filtering, news classification, part-of-speech tagging, and so on. With the continuous development of deep learning in recent years! Its applications are also very extensive, such as: garbage filtering, news classification, part-of-speech tagging, and so on. But the text also has its own characteristics. According to the characteristics of the text, the general process of text classification is: 1. Preprocessing; 2. Text representation and feature selection; 3. Construction of a classifier; 4. The task of text classification refers to classifying texts into only single or many types in TC system. Some researchers are beginning to apply deep neural networks to tasks such as the text classification we mentioned above. Although the research around the task has made great progress, the review of this task is very scarce, and there is a lack of a comprehensive review of the development of the task in recent years. Therefore, we present a survey of research in text classification to create taxonomies. Finally, it is by giving vital effects, the direction of future research, and those challenges that may counter in the research field.
文本分类是将文档组织成预定的类别,通常采用机器学习算法。对存在于非结构化文本格式中的大量信息进行组织和利用是一种重要的方法。文本分类是文本处理中的一个重要模块,其应用也非常广泛,如垃圾过滤、新闻分类、词性标注等。随着近年来深度学习的不断发展!它的应用也非常广泛,如:垃圾过滤、新闻分类、词性标注等。但文本也有自己的特点。根据文本的特点,文本分类的一般过程是:1。预处理;2. 文本表示和特征选择;3.分类器的构造;4. 文本分类任务是指在自动翻译系统中将文本分类为单一或多种类型。一些研究人员开始将深度神经网络应用于我们上面提到的文本分类等任务。虽然围绕该任务的研究已经取得了很大的进展,但对该任务的综述却非常匮乏,缺乏对近年来该任务发展的全面综述。因此,我们提出了文本分类的研究概况来创建分类法。最后,它是通过给出至关重要的影响,未来的研究方向,以及那些可能在研究领域对抗的挑战。
{"title":"Deep Graph Neural Networks for Text Classification Task","authors":"Yunhao Si, Yong Zhou","doi":"10.1145/3558819.3565091","DOIUrl":"https://doi.org/10.1145/3558819.3565091","url":null,"abstract":"Text classification is to organizing documents into predetermined categories, usually by machinery learn algorithms. It is a significant ways to organize and utilize the large amount of information that exists in unstructured text format. Text classification is an important module in text processing, and its applications are also very extensive, such as garbage filtering, news classification, part-of-speech tagging, and so on. With the continuous development of deep learning in recent years! Its applications are also very extensive, such as: garbage filtering, news classification, part-of-speech tagging, and so on. But the text also has its own characteristics. According to the characteristics of the text, the general process of text classification is: 1. Preprocessing; 2. Text representation and feature selection; 3. Construction of a classifier; 4. The task of text classification refers to classifying texts into only single or many types in TC system. Some researchers are beginning to apply deep neural networks to tasks such as the text classification we mentioned above. Although the research around the task has made great progress, the review of this task is very scarce, and there is a lack of a comprehensive review of the development of the task in recent years. Therefore, we present a survey of research in text classification to create taxonomies. Finally, it is by giving vital effects, the direction of future research, and those challenges that may counter in the research field.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116541678","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 Neural Network Algorithm for Road Crack Detection 道路裂纹检测的神经网络算法研究
Yuxiang Liu, Wei She, Shuai Tan
Aiming at the problem of road crack detection, experiments based on CFD data set and Unet model were carried out. The overall structure of the network and the contribution of each module to the final detection effect of Unet model were analyzed. Some modules in Unet model were cut and replaced based on that, and CCUnet model was obtained. Final experiment results show that detection rate of CCUnet model is greatly improved under the condition that model accuracy is maintained basically, and that has practical application value.
针对道路裂纹检测问题,开展了基于CFD数据集和Unet模型的路面裂纹检测实验。分析了网络的总体结构以及各模块对Unet模型最终检测效果的贡献。在此基础上对Unet模型中的部分模块进行了切割和替换,得到了CCUnet模型。最后的实验结果表明,在基本保持模型精度的情况下,CCUnet模型的检测率得到了很大的提高,具有实际应用价值。
{"title":"Research on Neural Network Algorithm for Road Crack Detection","authors":"Yuxiang Liu, Wei She, Shuai Tan","doi":"10.1145/3558819.3565220","DOIUrl":"https://doi.org/10.1145/3558819.3565220","url":null,"abstract":"Aiming at the problem of road crack detection, experiments based on CFD data set and Unet model were carried out. The overall structure of the network and the contribution of each module to the final detection effect of Unet model were analyzed. Some modules in Unet model were cut and replaced based on that, and CCUnet model was obtained. Final experiment results show that detection rate of CCUnet model is greatly improved under the condition that model accuracy is maintained basically, and that has practical application value.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130343454","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
Design of Video Advertisement Classification System under the Background of New Media 新媒体背景下视频广告分类系统设计
Xiuping Han
In order to obtain ideal mass video advertisement retrieval results, a video advertisement classification system under the background of new media is proposed. According to the feedback of the basic layer, the logic analysis and processing layer segments the original video advertisement sequence, uses multi tributary network to encode the intermediate frame sequence, extracts the useful information in the video advertisement, introduce the spatial attention prediction model to each tributary of the multi tributary network, integrates the attention spectrum the feature spectrum extracted from each tributary network. The total connection layer obtains the classification score of video advertisement, and linearly superimposes it to obtain the type estimation result of the overall video advertisement, and feeds tack the result to the user. The results show that the system can achieve video advertising classification, classification accuracy is high, and the overall performance of the system is superior. CCS CONCEPTS • Information systems∼Information retrieval∼Users and interactive retrieval
为了获得理想的海量视频广告检索结果,提出了一种新媒体背景下的视频广告分类系统。根据基础层的反馈,逻辑分析处理层对原始视频广告序列进行分割,利用多支路网络对中间帧序列进行编码,提取视频广告中的有用信息,将空间注意力预测模型引入到多支路网络的各支路中,将各支路网络提取的特征频谱进行注意力谱整合。总连接层获取视频广告的分类分数,对其进行线性叠加,得到整个视频广告的类型估计结果,并将结果反馈给用户。结果表明,该系统能够实现视频广告分类,分类准确率高,系统整体性能优越。CCS概念•信息系统~信息检索~用户和交互式检索
{"title":"Design of Video Advertisement Classification System under the Background of New Media","authors":"Xiuping Han","doi":"10.1145/3558819.3558838","DOIUrl":"https://doi.org/10.1145/3558819.3558838","url":null,"abstract":"In order to obtain ideal mass video advertisement retrieval results, a video advertisement classification system under the background of new media is proposed. According to the feedback of the basic layer, the logic analysis and processing layer segments the original video advertisement sequence, uses multi tributary network to encode the intermediate frame sequence, extracts the useful information in the video advertisement, introduce the spatial attention prediction model to each tributary of the multi tributary network, integrates the attention spectrum the feature spectrum extracted from each tributary network. The total connection layer obtains the classification score of video advertisement, and linearly superimposes it to obtain the type estimation result of the overall video advertisement, and feeds tack the result to the user. The results show that the system can achieve video advertising classification, classification accuracy is high, and the overall performance of the system is superior. CCS CONCEPTS • Information systems∼Information retrieval∼Users and interactive retrieval","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134205259","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
Research on laser welding pressure control system based on MAC-IBA 基于MAC-IBA的激光焊接压力控制系统研究
Keliang Zhou, Qing Qin, Doudou Lu
With the development of intelligent manufacturing in China, laser welding technology has entered the field of plastic welding from the initial welding in the metal field. At this stage, the domestic plastic welding technology is developing, and the requirements for the welding accuracy of the plastic shell of the reversing camera have also increased. Aiming at the problems of large inertia and hysteresis in the pressure part, this paper proposes an improved bat prediction algorithm to solve the pressure control accuracy. The optimal pressure control effect is obtained by introducing the improved bat algorithm combined with the MAC prediction algorithm to optimize the PID parameters. Combined with the experimental simulation results, it is shown that compared with the bat algorithm and the traditional PID algorithm, the improved bat prediction algorithm has better dynamic performance in pressure control, and the control pressure accuracy is high. At the same time, the disturbance test experiment is also added, and the algorithm shows strong robustness. The pressure part is better controlled, so that the welding accuracy of the reversing camera housing can be improved.
随着中国智能制造的发展,激光焊接技术已经从最初的金属领域的焊接进入到塑料焊接领域。现阶段,国内塑料焊接技术正在发展,对倒车摄像头塑料外壳的焊接精度要求也有所提高。针对压力部分惯性大、滞后大的问题,提出了一种改进的蝙蝠预测算法来解决压力控制精度问题。通过引入改进的bat算法结合MAC预测算法对PID参数进行优化,获得了最优的压力控制效果。结合实验仿真结果表明,与蝙蝠算法和传统PID算法相比,改进的蝙蝠预测算法在压力控制中具有更好的动态性能,控制压力精度高。同时,还加入了扰动测试实验,表明该算法具有较强的鲁棒性。对压力部分进行了较好的控制,从而提高了倒车摄像机壳的焊接精度。
{"title":"Research on laser welding pressure control system based on MAC-IBA","authors":"Keliang Zhou, Qing Qin, Doudou Lu","doi":"10.1145/3558819.3565153","DOIUrl":"https://doi.org/10.1145/3558819.3565153","url":null,"abstract":"With the development of intelligent manufacturing in China, laser welding technology has entered the field of plastic welding from the initial welding in the metal field. At this stage, the domestic plastic welding technology is developing, and the requirements for the welding accuracy of the plastic shell of the reversing camera have also increased. Aiming at the problems of large inertia and hysteresis in the pressure part, this paper proposes an improved bat prediction algorithm to solve the pressure control accuracy. The optimal pressure control effect is obtained by introducing the improved bat algorithm combined with the MAC prediction algorithm to optimize the PID parameters. Combined with the experimental simulation results, it is shown that compared with the bat algorithm and the traditional PID algorithm, the improved bat prediction algorithm has better dynamic performance in pressure control, and the control pressure accuracy is high. At the same time, the disturbance test experiment is also added, and the algorithm shows strong robustness. The pressure part is better controlled, so that the welding accuracy of the reversing camera housing can be improved.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132759581","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
5G message access platform based on load balancing 基于负载均衡的5G报文接入平台
Ying Tong, Xiangli Jia, Baolin Liang, Jianqiang Feng
5G message access platform mainly uses SIP technology. In actual production, Single SIP services cannot meet the requirements of hundreds of millions of users. Therefore, SIP services must provide load balancing capabilities. Adding a load balancer in front of multiple SIP service entry proxies is a common approach, but traffic balancing within a service is also an issue that needs to be addressed. Considering the business requirements and the internal structure of the system, this paper designs a high-availability solution, including the selection of load balancing at the entrance and the load distribution method within the network element. This paper first analyzes the characteristics of the current popular load balancer and then adjusts and selects the most suitable one for professional configuration according to business requirements. In addition, to meet SIP protocol requirements, specific load distribution methods are configured between NE. Finally, experiments verify that service traffic can be evenly distributed to different NE.
5G消息接入平台主要采用SIP技术。在实际生产中,单个SIP业务无法满足数以亿计的用户需求。因此,SIP业务必须提供负载均衡功能。在多个SIP服务入口代理前添加负载平衡器是一种常见的方法,但是服务中的流量平衡也是一个需要解决的问题。结合业务需求和系统内部结构,设计了高可用性解决方案,包括入口负载均衡的选择和网元内负载分配方法。本文首先分析了当前流行的负载均衡器的特点,然后根据业务需求调整选择最适合的负载均衡器进行专业配置。此外,为了满足SIP协议的需求,网元之间还配置了特定的负载分配方式。最后,通过实验验证了该方法可以将业务流量均匀地分布到不同的网元上。
{"title":"5G message access platform based on load balancing","authors":"Ying Tong, Xiangli Jia, Baolin Liang, Jianqiang Feng","doi":"10.1145/3558819.3565135","DOIUrl":"https://doi.org/10.1145/3558819.3565135","url":null,"abstract":"5G message access platform mainly uses SIP technology. In actual production, Single SIP services cannot meet the requirements of hundreds of millions of users. Therefore, SIP services must provide load balancing capabilities. Adding a load balancer in front of multiple SIP service entry proxies is a common approach, but traffic balancing within a service is also an issue that needs to be addressed. Considering the business requirements and the internal structure of the system, this paper designs a high-availability solution, including the selection of load balancing at the entrance and the load distribution method within the network element. This paper first analyzes the characteristics of the current popular load balancer and then adjusts and selects the most suitable one for professional configuration according to business requirements. In addition, to meet SIP protocol requirements, specific load distribution methods are configured between NE. Finally, experiments verify that service traffic can be evenly distributed to different NE.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132996479","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 and design of a new personalized recommendation system for wooden artifacts based on collaborative filtering 基于协同过滤的木质文物个性化推荐系统的研究与设计
B. Li
With the rapid development of mobile Internet technology and the gradual expansion of the public's consumption and aesthetic demand for new wooden playthings, the offline sales channels of wooden playthings manufacturers have been difficult to meet the users' demand, and with the rapid development of Internet information technology and e-commerce, human beings have gradually stepped into the era of information overload. The system can use the user's collaborative filtering recommendation algorithm to recommend the highest similarity of the user's goods to the user, effectively solving the user's difficulty in finding quality goods resources from many goods information, improving the user's shopping experience, expanding the sales channels of enterprises, while the scheme designed in this paper lays the theoretical foundation for the development of other personalized recommendation systems The solution designed in this paper also lays the theoretical foundation for the development of other personalized recommendation systems.
随着移动互联网技术的快速发展和大众对新型木制玩具的消费和审美需求的逐渐扩大,木制玩具厂家的线下销售渠道已经很难满足用户的需求,而随着互联网信息技术和电子商务的快速发展,人类也逐渐步入了信息过载的时代。该系统可以利用用户的协同过滤推荐算法,向用户推荐与用户商品相似度最高的商品,有效解决用户在众多商品信息中难以找到优质商品资源的问题,提高用户的购物体验,拓展企业的销售渠道;而本文设计的方案为其他个性化推荐系统的开发奠定了理论基础,本文设计的解决方案也为其他个性化推荐系统的开发奠定了理论基础。
{"title":"Research and design of a new personalized recommendation system for wooden artifacts based on collaborative filtering","authors":"B. Li","doi":"10.1145/3558819.3565105","DOIUrl":"https://doi.org/10.1145/3558819.3565105","url":null,"abstract":"With the rapid development of mobile Internet technology and the gradual expansion of the public's consumption and aesthetic demand for new wooden playthings, the offline sales channels of wooden playthings manufacturers have been difficult to meet the users' demand, and with the rapid development of Internet information technology and e-commerce, human beings have gradually stepped into the era of information overload. The system can use the user's collaborative filtering recommendation algorithm to recommend the highest similarity of the user's goods to the user, effectively solving the user's difficulty in finding quality goods resources from many goods information, improving the user's shopping experience, expanding the sales channels of enterprises, while the scheme designed in this paper lays the theoretical foundation for the development of other personalized recommendation systems The solution designed in this paper also lays the theoretical foundation for the development of other personalized recommendation systems.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131007621","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
Cruise Terminal Emergency Evacuation Decision Path Planning on Account of Ant Colony Algorithm 基于蚁群算法的邮轮码头应急疏散决策路径规划
Di Cui
In case of emergency, the evacuation of tourists must be improved, and the design of cruise ship should be more efficient in spatial layout, which needs to be designed on the spatial topology model and the emergency evacuation model of tourists. In this paper, FDS _ EVAC software is used to build the emergency evacuation decision-making path planning model of the cruise terminal, and then the data analysis of other factors in the algorithm model is carried out. The built-in plug-in Python is used for data analysis. The code involved in the cruise terminal automatically plans the optimal path through multiple logic 1,2,3... N, select the most appropriate and optimal path according to the actual situation of the cruise terminal, such as path N. The algorithm model adopted this time is C language, using C language to realize the whole process of the algorithm code. This paper studies the emergency evacuation decision-making path planning of cruise terminal based on ant colony algorithm, and explains the relevant content and working principle of emergency evacuation decision-making path planning of cruise terminal. The test results show that the ant colony algorithm-based emergency evacuation decision-making path planning of cruise terminals has a more efficient performance in emergency evacuation decision-making path planning of cruise terminals.
在紧急情况下,必须提高游客的疏散能力,游轮的设计要在空间布局上更加高效,这就需要在空间拓扑模型和游客紧急疏散模型上进行设计。本文利用FDS _ EVAC软件建立邮轮码头应急疏散决策路径规划模型,然后对算法模型中其他因素进行数据分析。内置插件Python用于数据分析。邮轮码头所涉及的代码通过多个逻辑1,2,3…自动规划最优路径。N,根据邮轮码头的实际情况选择最合适、最优的路径,如路径N。本次采用的算法模型为C语言,用C语言实现算法代码的全过程。本文研究了基于蚁群算法的邮轮码头应急疏散决策路径规划,阐述了邮轮码头应急疏散决策路径规划的相关内容和工作原理。试验结果表明,基于蚁群算法的邮轮码头应急疏散决策路径规划在邮轮码头应急疏散决策路径规划中具有更高效的性能。
{"title":"Cruise Terminal Emergency Evacuation Decision Path Planning on Account of Ant Colony Algorithm","authors":"Di Cui","doi":"10.1145/3558819.3563736","DOIUrl":"https://doi.org/10.1145/3558819.3563736","url":null,"abstract":"In case of emergency, the evacuation of tourists must be improved, and the design of cruise ship should be more efficient in spatial layout, which needs to be designed on the spatial topology model and the emergency evacuation model of tourists. In this paper, FDS _ EVAC software is used to build the emergency evacuation decision-making path planning model of the cruise terminal, and then the data analysis of other factors in the algorithm model is carried out. The built-in plug-in Python is used for data analysis. The code involved in the cruise terminal automatically plans the optimal path through multiple logic 1,2,3... N, select the most appropriate and optimal path according to the actual situation of the cruise terminal, such as path N. The algorithm model adopted this time is C language, using C language to realize the whole process of the algorithm code. This paper studies the emergency evacuation decision-making path planning of cruise terminal based on ant colony algorithm, and explains the relevant content and working principle of emergency evacuation decision-making path planning of cruise terminal. The test results show that the ant colony algorithm-based emergency evacuation decision-making path planning of cruise terminals has a more efficient performance in emergency evacuation decision-making path planning of cruise terminals.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131204347","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
Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+ 使用TLA+验证基于模型的运行时跟踪检查的Zookeeper
Zhi Niu, Luming Dong, Yong Zhu, Li Chen
Zookeeper atomic broadcast (Zab) is a atomic broadcast protocol specially designed for the distributed coordination service Zookeeper to support rout recovery. It is widely used in such scenarios as cluster management, load balancing and data publish and subscription. It is the core algorithm for ensuring Zookeeper data consistency. In this article, we design a Model-Based runtime Tracechecking system based on formal specification language TLA+ and its model checking tool TLC and use it to perform online verification against the behaviors of distributed Zookeeper cluster according to trace, which aims to monitor and check whether the actual execution of Zookeeper cluster complies with the Zab protocol specification. Firstly, stubs are added to relevant Zookeeper code modules which are synchronized with the implementation of Zab protocol state transitions to guarantee specific trace info generation and output to the target log file. Secondly, a formal model is built with TLA+ which can analyzes and specifies the state sequences info of Zookeeper cluster provided by trace, and the correctness and safety properties for this specification are also defined according to Zab protocol. A series of operators were also developed for TLC to load the trace info in history with different formats from the log files for model checking. The final experiment shows that this checking system can provide light-weighted and feasible formal method for verifying actual execution behaviors of distributed systems.
Zab (Zookeeper atomic broadcast)是专门为分布式协调服务Zookeeper设计的原子广播协议,用于支持路由恢复。广泛应用于集群管理、负载均衡、数据发布和订阅等场景。它是确保Zookeeper数据一致性的核心算法。本文基于形式化规范语言TLA+及其模型检查工具TLC,设计了一个基于模型的运行时Tracechecking系统,根据trace对分布式Zookeeper集群的行为进行在线验证,监控和检查Zookeeper集群的实际执行是否符合Zab协议规范。首先,将存根添加到相关的Zookeeper代码模块中,这些模块与Zab协议状态转换的实现同步,以保证特定的跟踪信息生成并输出到目标日志文件。其次,利用TLA+建立形式化模型,对trace提供的Zookeeper集群状态序列信息进行分析和指定,并根据Zab协议定义该规范的正确性和安全性。TLC还开发了一系列操作符,用于从日志文件中以不同格式加载历史记录中的跟踪信息,以便进行模型检查。最后的实验表明,该检测系统可以为验证分布式系统的实际执行行为提供轻量级的、可行的形式化方法。
{"title":"Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+","authors":"Zhi Niu, Luming Dong, Yong Zhu, Li Chen","doi":"10.1145/3558819.3558822","DOIUrl":"https://doi.org/10.1145/3558819.3558822","url":null,"abstract":"Zookeeper atomic broadcast (Zab) is a atomic broadcast protocol specially designed for the distributed coordination service Zookeeper to support rout recovery. It is widely used in such scenarios as cluster management, load balancing and data publish and subscription. It is the core algorithm for ensuring Zookeeper data consistency. In this article, we design a Model-Based runtime Tracechecking system based on formal specification language TLA+ and its model checking tool TLC and use it to perform online verification against the behaviors of distributed Zookeeper cluster according to trace, which aims to monitor and check whether the actual execution of Zookeeper cluster complies with the Zab protocol specification. Firstly, stubs are added to relevant Zookeeper code modules which are synchronized with the implementation of Zab protocol state transitions to guarantee specific trace info generation and output to the target log file. Secondly, a formal model is built with TLA+ which can analyzes and specifies the state sequences info of Zookeeper cluster provided by trace, and the correctness and safety properties for this specification are also defined according to Zab protocol. A series of operators were also developed for TLC to load the trace info in history with different formats from the log files for model checking. The final experiment shows that this checking system can provide light-weighted and feasible formal method for verifying actual execution behaviors of distributed systems.","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132001700","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 Protocol Optimization of Wireless Ad Hoc Network for Smart Container 智能容器无线自组网协议优化研究
Shibo Xu, Jing Wang, Shuhui Zhang
Smart container transportation has gradually become the development trend of modern container transportation. A variety of wireless communication technologies have be used in smart containers, and wireless Ad Hoc network technology is widely recognized as future mainstream technology for data transmission of smart container. Aiming at the shortcomings of the existing AD HOC network protocol, this paper will design a new E-ZBR routing protocol algorithm based on the original ZBR routing protocol to improve the energy saving and stability of communication. Then the simulation experiment is carried out by QualNet software, and the two algorithms are compared and analyzed from many aspects. The simulation results show that the efficiency of the E-ZBR routing protocol is significantly higher than the traditional ZBR. As the number of nodes increases, the advantages of this algorithm in energy saving will be more obvious. The research results have been applied to practice and proved to have high application value. CCS CONCEPTS •Networks• Network algorithms• Data path algorithms
智能集装箱运输已逐渐成为现代集装箱运输的发展趋势。智能集装箱采用了多种无线通信技术,无线自组织网络技术被广泛认为是未来智能集装箱数据传输的主流技术。针对现有AD HOC网络协议的不足,本文将在原有ZBR路由协议的基础上设计一种新的E-ZBR路由协议算法,以提高通信的节能性和稳定性。然后利用QualNet软件进行仿真实验,从多个方面对两种算法进行比较和分析。仿真结果表明,E-ZBR路由协议的效率明显高于传统的ZBR路由协议。随着节点数量的增加,该算法在节能方面的优势将更加明显。研究成果已应用于实际,具有较高的应用价值。CCS概念•网络•网络算法•数据路径算法
{"title":"Research on Protocol Optimization of Wireless Ad Hoc Network for Smart Container","authors":"Shibo Xu, Jing Wang, Shuhui Zhang","doi":"10.1145/3558819.3558832","DOIUrl":"https://doi.org/10.1145/3558819.3558832","url":null,"abstract":"Smart container transportation has gradually become the development trend of modern container transportation. A variety of wireless communication technologies have be used in smart containers, and wireless Ad Hoc network technology is widely recognized as future mainstream technology for data transmission of smart container. Aiming at the shortcomings of the existing AD HOC network protocol, this paper will design a new E-ZBR routing protocol algorithm based on the original ZBR routing protocol to improve the energy saving and stability of communication. Then the simulation experiment is carried out by QualNet software, and the two algorithms are compared and analyzed from many aspects. The simulation results show that the efficiency of the E-ZBR routing protocol is significantly higher than the traditional ZBR. As the number of nodes increases, the advantages of this algorithm in energy saving will be more obvious. The research results have been applied to practice and proved to have high application value. CCS CONCEPTS •Networks• Network algorithms• Data path algorithms","PeriodicalId":373484,"journal":{"name":"Proceedings of the 7th International Conference on Cyber Security and Information Engineering","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132494536","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
期刊
Proceedings of the 7th International Conference on Cyber Security and Information Engineering
全部 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