首页 > 最新文献

2021 7th International Symposium on System and Software Reliability (ISSSR)最新文献

英文 中文
Design of Automatic Capture System for Interest Area of Dynamic Video based on Huffman Coding 基于Huffman编码的动态视频兴趣区自动捕获系统设计
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00020
Yu-ping Li, She-Feng Yuan, Yi-lin Zhang
Traditional video automatic capture and recognition system adopts ZigBee coding and feature extraction method in dynamic environment. Attenuation distortion is produced in the process, which leads to packet loss in video image acquisition and transmission, and the performance of automatic capture is not good. This paper presents a kind of automatic capture system based on Huffman coding and MUX101 switch control. An automatic capture system of video interest area in dynamic environment based on virtual reality. High speed video data is transmitted to AD8021 chip through VXI system bus for feedback resistance control. In order to dynamically extract and capture video features, VCA810 is selected to provide sensor signals to HP sensor through local bus, so as to adjust the video. interest area. The purpose of feature region of interest magnification. The Huffman encoding and the feature extraction of video interest area algorithm are designed as the embedded core parts of the software. The hardware adopts VXI bus technology is adopted in the hardware. The simulation results show that the system has the advantages of high accuracy, low packet loss rate and excellent performance for dynamic video acquisition and interest area analysis.
传统的视频自动捕捉与识别系统在动态环境下采用ZigBee编码和特征提取方法。在此过程中会产生衰减失真,导致视频图像的采集和传输丢包,自动捕获性能不佳。提出了一种基于Huffman编码和MUX101开关控制的自动采集系统。基于虚拟现实的动态环境下视频兴趣区域自动捕获系统。高速视频数据通过VXI系统总线传输到AD8021芯片进行反馈电阻控制。为了动态提取和捕捉视频特征,选择VCA810通过本地总线向HP传感器提供传感器信号,对视频进行调整。感兴趣区域。目的是对感兴趣的特征区域进行放大。设计了霍夫曼编码和视频兴趣区特征提取算法作为软件的嵌入式核心部分。硬件采用VXI总线技术。仿真结果表明,该系统具有精度高、丢包率低、动态视频采集和兴趣区分析性能优异等优点。
{"title":"Design of Automatic Capture System for Interest Area of Dynamic Video based on Huffman Coding","authors":"Yu-ping Li, She-Feng Yuan, Yi-lin Zhang","doi":"10.1109/ISSSR53171.2021.00020","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00020","url":null,"abstract":"Traditional video automatic capture and recognition system adopts ZigBee coding and feature extraction method in dynamic environment. Attenuation distortion is produced in the process, which leads to packet loss in video image acquisition and transmission, and the performance of automatic capture is not good. This paper presents a kind of automatic capture system based on Huffman coding and MUX101 switch control. An automatic capture system of video interest area in dynamic environment based on virtual reality. High speed video data is transmitted to AD8021 chip through VXI system bus for feedback resistance control. In order to dynamically extract and capture video features, VCA810 is selected to provide sensor signals to HP sensor through local bus, so as to adjust the video. interest area. The purpose of feature region of interest magnification. The Huffman encoding and the feature extraction of video interest area algorithm are designed as the embedded core parts of the software. The hardware adopts VXI bus technology is adopted in the hardware. The simulation results show that the system has the advantages of high accuracy, low packet loss rate and excellent performance for dynamic video acquisition and interest area analysis.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125143391","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 Survey on Tackling Software Configuration Faults 软件配置类故障处理调查
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00036
Wenge Le, Yong Wang, Fei Yang, Xue Wang, Shouhang Wang
With the increasing complexity of software configuration, software configuration fault has become one of the main causes of system failure. The research work of software configuration mainly focuses on detection, diagnosis and repair, so that the system can run as expected. In order to understand the research progress of software configuration faults systematically, we summarize the work on this topic in recent years. Initially, giving the research framework and two important research techniques (program analysis and machine learning) is obtained. Furthermore, the data source and research objects of this study is expounded. Additionally, summarizing the existing work from the perspectives of the two research techniques mentioned above. Then, we discuss the future directions with regard to system configuration to guide follow up research. Finally, the article is summarized briefly.
随着软件配置的日益复杂,软件配置故障已成为导致系统故障的主要原因之一。软件组态的研究工作主要集中在检测、诊断和修复方面,使系统能够正常运行。为了系统地了解软件组态故障的研究进展,本文对近年来的研究工作进行了总结。首先,给出了研究框架和两种重要的研究技术(程序分析和机器学习)。进一步阐述了本研究的数据来源和研究对象。此外,从上述两种研究技术的角度对现有工作进行了总结。在此基础上,讨论了系统配置的未来发展方向,以指导后续研究。最后,对文章进行了简要总结。
{"title":"A Survey on Tackling Software Configuration Faults","authors":"Wenge Le, Yong Wang, Fei Yang, Xue Wang, Shouhang Wang","doi":"10.1109/ISSSR53171.2021.00036","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00036","url":null,"abstract":"With the increasing complexity of software configuration, software configuration fault has become one of the main causes of system failure. The research work of software configuration mainly focuses on detection, diagnosis and repair, so that the system can run as expected. In order to understand the research progress of software configuration faults systematically, we summarize the work on this topic in recent years. Initially, giving the research framework and two important research techniques (program analysis and machine learning) is obtained. Furthermore, the data source and research objects of this study is expounded. Additionally, summarizing the existing work from the perspectives of the two research techniques mentioned above. Then, we discuss the future directions with regard to system configuration to guide follow up research. Finally, the article is summarized briefly.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122332634","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 Global Dynamic Load Balancing Mechanism with Low Latency for Micokernel Operating System 面向微内核操作系统的低延迟全局动态负载均衡机制
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00026
Qinyun Tan, Kun Xiao, Wen He, Pinyuan Lei, Lirong Chen
As Internet of Things(IOT) devices become intelli-gent, more powerful computing capability is required. Multi-core processors are widely used in IoT devices because they provide more powerful computing capability while ensuring low power consumption. Therefore, it requires the operating system on IoT devices to support and optimize the scheduling algorithm for multi-core processors. Nowadays, microkernel-based operating systems, such as QNX Neutrino RTOS and HUAWEI Harmony OS, are widely used in IoT devices because of their real-time and security feature. However, research on multi-core scheduling for microkernel operating systems is relatively limited, especially for load balancing mechanisms. Related research is still mainly focused on the traditional monolithic operating systems, such as Linux. Therefore, this paper proposes a low-latency, high- performance, and high real-time centralized global dynamic multi-core load balancing method for the microkernel operating system. It has been implemented and tested on our own microkernel operating system named Mginkgo. The test results show that when there is load imbalance in the system, load balancing can be performed automatically so that all processors in the system can try to achieve the maximum throughput and resource utilization. And the latency brought by load balancing to the system is very low, about 4882 cycles (about 6.164us) triggered by new task creation and about 6596 cycles (about 8.328us) triggered by timing. In addition, we also tested the improvement of system throughput and CPU utilization. The results show that load balancing can improve the CPU utilization by 20% under the preset case, while the CPU utilization occupied by load balancing is negligibly low, about 0.0082%.
随着物联网设备的智能化,对其计算能力提出了更高的要求。多核处理器广泛应用于物联网设备,因为它们在保证低功耗的同时提供更强大的计算能力。因此,需要物联网设备上的操作系统支持并优化多核处理器的调度算法。目前,基于微内核的操作系统,如QNX Neutrino RTOS、HUAWEI Harmony OS等,以其实时性和安全性被广泛应用于物联网设备中。然而,对于微内核操作系统的多核调度,特别是负载均衡机制的研究相对有限。相关研究仍主要集中在传统的单片操作系统上,如Linux。为此,本文提出了一种针对微内核操作系统的低延迟、高性能、高实时性的集中式全局动态多核负载均衡方法。它已经在我们自己的微内核操作系统Mginkgo上实现和测试。测试结果表明,当系统中存在负载不平衡时,可以自动执行负载平衡,使系统中的所有处理器都可以尝试实现最大的吞吐量和资源利用率。并且负载均衡给系统带来的延迟非常低,创建新任务触发的延迟约为4882个周期(约6.164us),定时触发的延迟约为6596个周期(约8.328us)。此外,我们还测试了系统吞吐量和CPU利用率的改进。结果表明,在预设情况下,负载均衡可以使CPU利用率提高20%,而负载均衡占用的CPU利用率低得可以忽略不计,约为0.0082%。
{"title":"A Global Dynamic Load Balancing Mechanism with Low Latency for Micokernel Operating System","authors":"Qinyun Tan, Kun Xiao, Wen He, Pinyuan Lei, Lirong Chen","doi":"10.1109/ISSSR53171.2021.00026","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00026","url":null,"abstract":"As Internet of Things(IOT) devices become intelli-gent, more powerful computing capability is required. Multi-core processors are widely used in IoT devices because they provide more powerful computing capability while ensuring low power consumption. Therefore, it requires the operating system on IoT devices to support and optimize the scheduling algorithm for multi-core processors. Nowadays, microkernel-based operating systems, such as QNX Neutrino RTOS and HUAWEI Harmony OS, are widely used in IoT devices because of their real-time and security feature. However, research on multi-core scheduling for microkernel operating systems is relatively limited, especially for load balancing mechanisms. Related research is still mainly focused on the traditional monolithic operating systems, such as Linux. Therefore, this paper proposes a low-latency, high- performance, and high real-time centralized global dynamic multi-core load balancing method for the microkernel operating system. It has been implemented and tested on our own microkernel operating system named Mginkgo. The test results show that when there is load imbalance in the system, load balancing can be performed automatically so that all processors in the system can try to achieve the maximum throughput and resource utilization. And the latency brought by load balancing to the system is very low, about 4882 cycles (about 6.164us) triggered by new task creation and about 6596 cycles (about 8.328us) triggered by timing. In addition, we also tested the improvement of system throughput and CPU utilization. The results show that load balancing can improve the CPU utilization by 20% under the preset case, while the CPU utilization occupied by load balancing is negligibly low, about 0.0082%.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132889732","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 Novel Clustering Scheme based on Density Peaks and Spectral Analysis 一种基于密度峰和谱分析的聚类方法
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00010
Qiyuan Hu, Yang Gao
Clustering by fast search and find of density peaks (DPC) is a highly innovative clustering method published on Science in June 2014. The DPC algorithm assumes that the cluster center of each class is far away from each other and has a higher local density. However, this method has certain disadvantages: it needs to find the clustering centers of the data set, whereas finding the clustering centers for a data set with a complex structure is error-prone. Therefore, this paper proposes an algorithm (DPC-SC) that combines DPC and spectral clustering (SC). The algorithm first uses the DPC algorithm to pre-cluster the data set, extracting the core points of the data, and then exploits the spectral clustering algorithm to analyze the pre-clusterred data and to perform subsequent clustering. This method avoids the shortcomings of DPC in selecting complex data clustering centers, and also improves the clustering speed of spectral clustering significantly.Experimental evaluations show that DPC-SC is very competetive compared with several classic clustering algorithms.
快速搜索发现密度峰聚类(fast search and find of density peaks, DPC)是2014年6月发表在Science上的一种极具创新性的聚类方法。DPC算法假设每一类的聚类中心相距较远,具有较高的局部密度。但是,这种方法有一定的缺点:需要找到数据集的聚类中心,而对于结构复杂的数据集,寻找聚类中心容易出错。为此,本文提出了一种将DPC和谱聚类(SC)相结合的DPC-SC算法。该算法首先利用DPC算法对数据集进行预聚类,提取数据的核心点,然后利用谱聚类算法对预聚类后的数据进行分析并进行后续聚类。该方法避免了DPC在选择复杂数据聚类中心方面的不足,也显著提高了谱聚类的聚类速度。实验结果表明,与几种经典聚类算法相比,DPC-SC算法具有很强的竞争力。
{"title":"A Novel Clustering Scheme based on Density Peaks and Spectral Analysis","authors":"Qiyuan Hu, Yang Gao","doi":"10.1109/ISSSR53171.2021.00010","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00010","url":null,"abstract":"Clustering by fast search and find of density peaks (DPC) is a highly innovative clustering method published on Science in June 2014. The DPC algorithm assumes that the cluster center of each class is far away from each other and has a higher local density. However, this method has certain disadvantages: it needs to find the clustering centers of the data set, whereas finding the clustering centers for a data set with a complex structure is error-prone. Therefore, this paper proposes an algorithm (DPC-SC) that combines DPC and spectral clustering (SC). The algorithm first uses the DPC algorithm to pre-cluster the data set, extracting the core points of the data, and then exploits the spectral clustering algorithm to analyze the pre-clusterred data and to perform subsequent clustering. This method avoids the shortcomings of DPC in selecting complex data clustering centers, and also improves the clustering speed of spectral clustering significantly.Experimental evaluations show that DPC-SC is very competetive compared with several classic clustering algorithms.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114928255","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 Parallel Stratified Model Checking Technique/Tool for Leads-to Properties 引线属性的并行分层模型检验技术/工具
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00011
Canh Minh Do, Yati Phyo, A. Riesco, K. Ogata
The L+1-layer divide & conquer approach to leads-to model checking (L + 1-DCA2L2MC) is a new technique to mitigate the state space explosion in model checking. As shown by the name, L + 1-DCA2L2MC is dedicated to leads-to properties. The paper describes a parallel version of L+1-DCA2L2MC and a tool that supports it. In a temporal logic called UNITY designed by Chandy and Misra, the leads-to temporal connective plays an important role and many case studies have been conducted in UNITY, demonstrating that many systems requirements can be expressed as leads-to properties. Hence, it is worth dedicating to the properties. The paper also reports on some experiments that demonstrate that the tool can increase the running performance of model checking.
L+1层分而治之的模型检测方法(L + 1-DCA2L2MC)是一种缓解模型检测中状态空间爆炸的新技术。如名称所示,L + 1-DCA2L2MC专用于引线属性。本文描述了L+1-DCA2L2MC的并行版本和支持它的工具。在Chandy和Misra设计的时序逻辑UNITY中,时序连接起着重要的作用,并且在UNITY中进行了许多案例研究,表明许多系统需求可以表示为属性。因此,它是值得奉献的财产。实验结果表明,该工具可以提高模型检测的运行性能。
{"title":"A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties","authors":"Canh Minh Do, Yati Phyo, A. Riesco, K. Ogata","doi":"10.1109/ISSSR53171.2021.00011","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00011","url":null,"abstract":"The L+1-layer divide & conquer approach to leads-to model checking (L + 1-DCA2L2MC) is a new technique to mitigate the state space explosion in model checking. As shown by the name, L + 1-DCA2L2MC is dedicated to leads-to properties. The paper describes a parallel version of L+1-DCA2L2MC and a tool that supports it. In a temporal logic called UNITY designed by Chandy and Misra, the leads-to temporal connective plays an important role and many case studies have been conducted in UNITY, demonstrating that many systems requirements can be expressed as leads-to properties. Hence, it is worth dedicating to the properties. The paper also reports on some experiments that demonstrate that the tool can increase the running performance of model checking.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116344816","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
Joint Optimization of Resource Constrained Mobile Terminal Task Unloading and Edge Computing Resource Scheduling 资源受限移动终端任务卸载与边缘计算资源调度的联合优化
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00040
C. Li, Sa Meng, Liang Luo, Yuan Gao
With the continuous integration of Internet and cloud computing and the rapid popularization of mobile terminals, the development of mobile cloud computing has been promoted. However, applications such as Internet of vehicles, AR / VR and face recognition are sensitive to time delay. Unloading tasks to the cloud data center requires a long experiment, which can’t meet the application requirements. Computing resources and storage resources sink to the edge network, using wireless network communication to offload application tasks to edge access points can meet this demand, while the computing and storage resources at edge access points are limited. This paper proposes a joint optimization method of application task offloading and resource scheduling under the condition of limited resources at the edge. The simulation results show that this method can obtain less delay and lower energy consumption, it improves the user experience of the mobile terminal.
随着互联网与云计算的不断融合以及移动终端的快速普及,推动了移动云计算的发展。然而,车联网、AR / VR和人脸识别等应用对时间延迟很敏感。将任务卸载到云数据中心需要长时间的实验,无法满足应用需求。计算资源和存储资源向边缘网络汇聚,利用无线网络通信将应用任务卸载到边缘接入点可以满足这一需求,而边缘接入点的计算和存储资源是有限的。提出了一种在边缘资源有限的情况下应用任务卸载和资源调度的联合优化方法。仿真结果表明,该方法可以获得更小的延迟和更低的能耗,提高了移动终端的用户体验。
{"title":"Joint Optimization of Resource Constrained Mobile Terminal Task Unloading and Edge Computing Resource Scheduling","authors":"C. Li, Sa Meng, Liang Luo, Yuan Gao","doi":"10.1109/ISSSR53171.2021.00040","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00040","url":null,"abstract":"With the continuous integration of Internet and cloud computing and the rapid popularization of mobile terminals, the development of mobile cloud computing has been promoted. However, applications such as Internet of vehicles, AR / VR and face recognition are sensitive to time delay. Unloading tasks to the cloud data center requires a long experiment, which can’t meet the application requirements. Computing resources and storage resources sink to the edge network, using wireless network communication to offload application tasks to edge access points can meet this demand, while the computing and storage resources at edge access points are limited. This paper proposes a joint optimization method of application task offloading and resource scheduling under the condition of limited resources at the edge. The simulation results show that this method can obtain less delay and lower energy consumption, it improves the user experience of the mobile terminal.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128102148","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
Chinese Named Entity Recognition based on BERT-Transformer-BiLSTM-CRF Model 基于BERT-Transformer-BiLSTM-CRF模型的中文命名实体识别
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00029
Yong Gan, R. Yang, Chenfang Zhang, Dongwei Jia
Among many named entity recognition modes in natural languages, most of the processing in the text preprocessing stage only pays attention to the vector representation of single words and characters, and seldom pays attention to the semantic relationship in the text. In the language text information, there are many pronouns and polysemous words, which makes the problem of polysemous words appear in the text preprocessing stage. Based on this problem, this paper adopts a Chinese named entity recognition method based on the BERT-Transformer-BiLSTM-CRF model. First, use the pre-trained BERT model in a large-scale corpus to dynamically generate a sequence of word vectors according to its input context, then use the Transformer encoder to model the contextual long-distance semantic features of the text, and use the BiLSTM model to perform sentence context features Extract, and finally input the feature vector sequence into CRF (Conditional Random Field) to get the final prediction result. Tested on the public MSRA Chinese corpus. Experimental results on the corpus show that the model has improved accuracy, recall and F1 value than most models.
在自然语言的众多命名实体识别模式中,文本预处理阶段的处理大多只关注单个单词和字符的向量表示,很少关注文本中的语义关系。在语言文本信息中,存在着大量的代词和多义词,这使得多义词问题在文本预处理阶段就出现了。针对这一问题,本文采用了一种基于BERT-Transformer-BiLSTM-CRF模型的中文命名实体识别方法。首先,在大规模语料库中使用预训练的BERT模型根据其输入上下文动态生成词向量序列,然后使用Transformer编码器对文本的上下文远距离语义特征进行建模,并使用BiLSTM模型进行句子上下文特征提取,最后将特征向量序列输入CRF (Conditional Random Field)得到最终预测结果。在公开的MSRA中文语料库上进行了测试。在语料库上的实验结果表明,与大多数模型相比,该模型在准确率、召回率和F1值上都有提高。
{"title":"Chinese Named Entity Recognition based on BERT-Transformer-BiLSTM-CRF Model","authors":"Yong Gan, R. Yang, Chenfang Zhang, Dongwei Jia","doi":"10.1109/ISSSR53171.2021.00029","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00029","url":null,"abstract":"Among many named entity recognition modes in natural languages, most of the processing in the text preprocessing stage only pays attention to the vector representation of single words and characters, and seldom pays attention to the semantic relationship in the text. In the language text information, there are many pronouns and polysemous words, which makes the problem of polysemous words appear in the text preprocessing stage. Based on this problem, this paper adopts a Chinese named entity recognition method based on the BERT-Transformer-BiLSTM-CRF model. First, use the pre-trained BERT model in a large-scale corpus to dynamically generate a sequence of word vectors according to its input context, then use the Transformer encoder to model the contextual long-distance semantic features of the text, and use the BiLSTM model to perform sentence context features Extract, and finally input the feature vector sequence into CRF (Conditional Random Field) to get the final prediction result. Tested on the public MSRA Chinese corpus. Experimental results on the corpus show that the model has improved accuracy, recall and F1 value than most models.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127254686","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
An Improved Test Tree Generation Algorithm from a Graphical Model 一种改进的图形模型测试树生成算法
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00017
Pan Liu, Yihao Li, Hao Chen, Xuankui Zheng, Si Huang
It is a widely recognized practice for test generation from the graphical model of the system using traversal algorithms in industry and academia. However, because traversal algorithms of the graph are not designed for test generation, some inexecutable test paths are usually generated from the graphical model of the system when the system has complex software behaviors. This problem will not only lead to the failure of software testing, but also greatly increase test cost of software. The paper discusses the problem of inexecutable test paths in model-based testing. Then, an improved algorithm is intended to generate a test tree from the graphical model so that test paths generated from the test tree satisfy transition constraints in the model. Next, we conduct an experiment on four systems to analyze the problem of inexecutable test paths. Experimental result shows that 1) our algorithm is more efficient than two traditional algorithms for constructing the test tree of the system, and 2) there are still some challenges that need to be overcome in order to obtain more reliable test cases in test generation from graphs.
在工业界和学术界,使用遍历算法从系统的图形模型生成测试是一种广泛认可的实践。然而,由于图的遍历算法不是为测试生成而设计的,当系统具有复杂的软件行为时,通常会从系统的图模型中生成一些不可执行的测试路径。这个问题不仅会导致软件测试的失败,而且会大大增加软件的测试成本。讨论了基于模型的测试中不可执行测试路径的问题。然后,提出一种改进算法,从图形模型生成测试树,使从测试树生成的测试路径满足模型中的转换约束。接下来,我们在四个系统上进行了实验,分析了测试路径不可执行的问题。实验结果表明:1)该算法在构建系统测试树方面比传统的两种算法效率更高;2)在从图生成测试用例方面,为了获得更可靠的测试用例,还需要克服一些挑战。
{"title":"An Improved Test Tree Generation Algorithm from a Graphical Model","authors":"Pan Liu, Yihao Li, Hao Chen, Xuankui Zheng, Si Huang","doi":"10.1109/ISSSR53171.2021.00017","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00017","url":null,"abstract":"It is a widely recognized practice for test generation from the graphical model of the system using traversal algorithms in industry and academia. However, because traversal algorithms of the graph are not designed for test generation, some inexecutable test paths are usually generated from the graphical model of the system when the system has complex software behaviors. This problem will not only lead to the failure of software testing, but also greatly increase test cost of software. The paper discusses the problem of inexecutable test paths in model-based testing. Then, an improved algorithm is intended to generate a test tree from the graphical model so that test paths generated from the test tree satisfy transition constraints in the model. Next, we conduct an experiment on four systems to analyze the problem of inexecutable test paths. Experimental result shows that 1) our algorithm is more efficient than two traditional algorithms for constructing the test tree of the system, and 2) there are still some challenges that need to be overcome in order to obtain more reliable test cases in test generation from graphs.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121952009","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
ABS/EBD Automobile Auxiliary Brake System based on CAN Bus 基于CAN总线的ABS/EBD汽车辅助制动系统
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00027
Yueyou Qiu, Junchu Fang, Zhilong Zhu
Anti-lock braking system (ABS) can prevent the situation of front and rear wheels locked. However, the car having only ABS is not enough. For example, the distribution of braking force in the early stage of the car braking, and the car in the wet road starting acceleration. In the situation, the car requires ABS and other control systems of the car work together. In this paper, the electronic braking force distribution device (EBD) is integrated into the ABS to form the ABS/EBD braking system based on CAN bus. It consists of speed sensor, CAN bus, control unit and braking force distribution device. The system is used to improve the directional stability of braking before the ABS system starts. By measuring the slip rate of four wheels, the degree of locking is judged, so that the slip rate of four wheels is close, so that all wheels can be locked at the same time as much as possible. Compared with other braking force distribution systems, the system is characterized by the use of CAN bus as the carrier, which effectively improves the system's response ability and computing ability. It is also convenient to combine with other electronic systems on the car to form the intelligent network of the car.
防抱死制动系统(ABS)可以防止前后轮抱死的情况。然而,汽车只有ABS是不够的。例如,制动力在汽车制动初期的分布,以及汽车在湿路面启动时的加速。在这种情况下,汽车需要ABS与汽车的其他控制系统协同工作。本文将电子制动力分配装置(EBD)集成到ABS中,构成基于CAN总线的ABS/EBD制动系统。它由速度传感器、CAN总线、控制单元和制动力分配装置组成。该系统用于在ABS系统启动前提高制动方向稳定性。通过测量四个车轮的打滑率,判断锁紧程度,使四个车轮的打滑率接近,使所有车轮尽可能同时锁紧。与其他制动力分配系统相比,该系统的特点是采用CAN总线作为载体,有效地提高了系统的响应能力和计算能力。也方便与车上其他电子系统结合,形成汽车的智能网络。
{"title":"ABS/EBD Automobile Auxiliary Brake System based on CAN Bus","authors":"Yueyou Qiu, Junchu Fang, Zhilong Zhu","doi":"10.1109/ISSSR53171.2021.00027","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00027","url":null,"abstract":"Anti-lock braking system (ABS) can prevent the situation of front and rear wheels locked. However, the car having only ABS is not enough. For example, the distribution of braking force in the early stage of the car braking, and the car in the wet road starting acceleration. In the situation, the car requires ABS and other control systems of the car work together. In this paper, the electronic braking force distribution device (EBD) is integrated into the ABS to form the ABS/EBD braking system based on CAN bus. It consists of speed sensor, CAN bus, control unit and braking force distribution device. The system is used to improve the directional stability of braking before the ABS system starts. By measuring the slip rate of four wheels, the degree of locking is judged, so that the slip rate of four wheels is close, so that all wheels can be locked at the same time as much as possible. Compared with other braking force distribution systems, the system is characterized by the use of CAN bus as the carrier, which effectively improves the system's response ability and computing ability. It is also convenient to combine with other electronic systems on the car to form the intelligent network of the car.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115221589","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
Detection of Impurity within Grain Samples by Image Analysis 用图像分析方法检测谷物样品中的杂质
Pub Date : 2021-09-01 DOI: 10.1109/ISSSR53171.2021.00021
J. Zhai, Chunhua Zhu, Tiantian Miao
The content of impurities in a batch of grain is an important index for grain storage and grain quality standard evaluation. In order to improve the measurement reliability and real-time capability, one new impurity separating and counting system is presented, which integrates the image enhancement, image segmentation and morphological image processing algorithm for impurity separation in doped grain. Firstly, histogram equalization and Gauss-Laplacian operator are used to enhance the gray difference between grains and impurities; then the parameters of expansion and area of impurities are introduced to remove false points, and each impurity edge is extracted by Roberts operator; finally, all the impurities are labeled and counted. Experimental analysis shows the effectiveness of the proposed algorithm.
一批粮食中杂质含量是粮食储存和粮食质量标准评价的重要指标。为了提高测量可靠性和实时性,提出了一种结合图像增强、图像分割和形态学图像处理算法的掺杂颗粒杂质分离计数系统。首先,利用直方图均衡化和高斯-拉普拉斯算子增强颗粒与杂质之间的灰度差;然后引入杂质的膨胀和面积参数去除假点,并用Roberts算子提取每个杂质边缘;最后,对所有杂质进行标记和计数。实验分析表明了该算法的有效性。
{"title":"Detection of Impurity within Grain Samples by Image Analysis","authors":"J. Zhai, Chunhua Zhu, Tiantian Miao","doi":"10.1109/ISSSR53171.2021.00021","DOIUrl":"https://doi.org/10.1109/ISSSR53171.2021.00021","url":null,"abstract":"The content of impurities in a batch of grain is an important index for grain storage and grain quality standard evaluation. In order to improve the measurement reliability and real-time capability, one new impurity separating and counting system is presented, which integrates the image enhancement, image segmentation and morphological image processing algorithm for impurity separation in doped grain. Firstly, histogram equalization and Gauss-Laplacian operator are used to enhance the gray difference between grains and impurities; then the parameters of expansion and area of impurities are introduced to remove false points, and each impurity edge is extracted by Roberts operator; finally, all the impurities are labeled and counted. Experimental analysis shows the effectiveness of the proposed algorithm.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121461193","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
期刊
2021 7th International Symposium on System and Software Reliability (ISSSR)
全部 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