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

2022 9th International Conference on Dependable Systems and Their Applications (DSA)最新文献

筛选
英文 中文
Research and Analysis of Physical Health Test for Students Based on C4.5 Algorithm in Universities with Industry Characteristics 基于C4.5算法的行业特色高校学生体质健康测试研究与分析
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00133
Yutao Sun, Yuan Fu, Tianyi Xu
{"title":"Research and Analysis of Physical Health Test for Students Based on C4.5 Algorithm in Universities with Industry Characteristics","authors":"Yutao Sun, Yuan Fu, Tianyi Xu","doi":"10.1109/DSA56465.2022.00133","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00133","url":null,"abstract":"In this paper, the hierarchical sensitivity analysis is constructed for a college student's physical health test dataset using the C4.5 decision tree algorithm. The dataset is from three consecutive years in 2017 and 2018 grades at an industry characteristics university. The analysis results indicate that the grade and gender factors play a decisive role in the dataset's attributes. On this basis, the pruning process is adopted for the algorithm. Pearson correlation coefficients show that industry characteristics majors are positively associated with vital capacity and long-distance running during freshman and sophomore years. Besides, the Spearman correlation coefficient analysis results show that industry characteristics majors positively correlate with vital capacity, 50-meter running, long-distance running, and overall performance, which has a positive effect. The analysis can provide a scientific basis for the physical health education of college students in universities with industry characteristics.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133115022","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
Automated Quality Assessment for Crowdsourced Test Reports Based on Dependency Parsing 基于依赖解析的众包测试报告质量自动评估
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00014
Huan Zhang, Yuan Zhao, Shengcheng Yu, Zhenyu Chen
{"title":"Automated Quality Assessment for Crowdsourced Test Reports Based on Dependency Parsing","authors":"Huan Zhang, Yuan Zhao, Shengcheng Yu, Zhenyu Chen","doi":"10.1109/DSA56465.2022.00014","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00014","url":null,"abstract":"Crowdsourced testing has attracted the attention of both academia and industry. In crowdsourced testing, workers will submit many test reports to the crowdsourced testing platform. These submitted test reports usually provide critical information for understanding and reproducing the bugs. The high-quality bug report can provide more complete bug reproduction steps to quickly locate and identify the bug. Conversely, the low-quality bug report may affect inspection progress. To predict whether a test report should be selected for inspection within limited resources, we propose a new framework named CTRQS to automatically model the quality of crowdsourced test reports. We summarize the desirable properties and measurable quality indicators of crowdsourced test reports and innovatively propose analytical indicators based on dependency parsing to better determine the quality of crowd sourced test reports. We use rules to achieve quality indicators. Experiments conducted over five crowdsourced test report datasets of mobile applications show that CTRQS can effectively judge the quality problems in test reports and correctly predict the quality of test reports with an accuracy of up to 88%.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133241060","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
The Tessi Clergy Algorithm Inspired by Potential Gaming Behavior in the Hunt for Geo-data 受寻找地理数据的潜在游戏行为启发的Tessi神职人员算法
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00119
Ziyang Weng, Shuhao Wang, W. Yan, Guangwei Zhang
{"title":"The Tessi Clergy Algorithm Inspired by Potential Gaming Behavior in the Hunt for Geo-data","authors":"Ziyang Weng, Shuhao Wang, W. Yan, Guangwei Zhang","doi":"10.1109/DSA56465.2022.00119","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00119","url":null,"abstract":"The paper constructs a geo-knowledge/genetic algorithm model based on mathematical methods, which always links the behavior time, behavior distance, and geo-data acquisition quality of all mobile patterns with the overall geo-knowledge evolution process. For the demand of the Tessi missionary groups (geo-data carriers) to acquire geo-data and the response of the local decision-making group, we combine the quality evaluation of the map artifacts after data alignment, realize the discrimination of the dominant strategy, partial game, complete conflict game and natural game in their data game process, deduce the game strategies in the knowledge evolution process of data acquisition, data processing, data management, data protection and data competition. The model is used to describe the above behaviors algorithmically and to explain the extent of knowledge evolution behaviors at the macro level, as well as to provide a new reference solution for computational modeling of games in complex social computing using coupled object-event-process data.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121957150","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
Interactive Patch Filtering via Test Generation 通过测试生成的交互式补丁过滤
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00015
Quanjun Zhang, Xu Zhai, Shicheng Xu, Wanmin Huang, Jingui Zhang, Yaoming Fan
{"title":"Interactive Patch Filtering via Test Generation","authors":"Quanjun Zhang, Xu Zhai, Shicheng Xu, Wanmin Huang, Jingui Zhang, Yaoming Fan","doi":"10.1109/DSA56465.2022.00015","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00015","url":null,"abstract":"Automatic program repair (APR), which aims to fix software bugs without human intervention, is getting in-creasing attention from academic and industrial communities. Although promising outcomes regarding correctly-fixed bugs have been achieved recently, existing APR tools still suffer from the low accuracy of generated patches. In fact, it is fundamentally difficult to avoid generating incorrect patches due to the weak available test suite. In this paper, to improve the accuracy of patches generated by APR tools, we propose a novel HUman-machine interactive patch filterinG apprOach (HUGO) to help developers identify correct patches by generating additional test cases. We also implement the approach as an Eclipse plugin and evaluate the effectiveness and usefulness of the implementation. The results on the Defects4J dataset show that the proposed method can filter out 82.61 % of the incorrect patches, and improve the accuracy of patches by 25%.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122155140","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
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL 基于MSVL的卷积神经网络形式化建模与验证
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00046
Liang Zhao, Leping Wu, Yuyang Gao, Xiaobing Wang, Bin Yu
{"title":"Formal Modeling and Verification of Convolutional Neural Networks based on MSVL","authors":"Liang Zhao, Leping Wu, Yuyang Gao, Xiaobing Wang, Bin Yu","doi":"10.1109/DSA56465.2022.00046","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00046","url":null,"abstract":"With the rapid development and wide application of neural networks, it is more and more important to use formal methods to verify and ensure their security. In this paper, we propose a comprehensive formal framework for the modeling and verification of convolutional neural networks (CNN). The framework is developed based on Modeling, Simulation and Verification Language (MSVL), a formal language with temporal-logic basis. First, the structure and basic behavior of a CNN are characterized hierarchically as MSVL specifications. On this basis, the prediction model, training model and verification module are developed. Experimental results show that the framework constructs formal models of CNNs effectively and supports the verification of various network properties.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125214918","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
Automating App Review Classification based on Extended Semantic 基于扩展语义的应用评论自动分类
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00022
Wan Zhou, Y. Wang, Yang Qu, Li Li
{"title":"Automating App Review Classification based on Extended Semantic","authors":"Wan Zhou, Y. Wang, Yang Qu, Li Li","doi":"10.1109/DSA56465.2022.00022","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00022","url":null,"abstract":"Automatic classification of app reviews can help developers quickly read reviews to identify and fix software bugs or add new software functions to meet user requirements. Text mining technologies have been widely used in reviews classification in recent years. However, the accuracy of app reviews classification is limited because of the generally short length of reviews and limited information, and classification models are prone to overfitting due to the diversity and unstructured characteristics of app reviews. In this paper, we propose an automatic classification approach for app reviews based on extended semantic. Specifically, we first reduce noisy data in app reviews by preprocessing, and annotate app reviews using frame semantics and splice the annotation results with reviews to extend the semantic information and text length of reviews. Then, to reduce the probability of overfitting, we integrate the pre-trained models to learn the semantic information of extended app reviews and classify reviews. We evaluate the effectiveness of proposed approach in multiple popular apps, and the experimental results show that it outperforms the state-of-art baselines.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129896313","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
Vehicular High-definition Maps Cache based on Dew Computing 基于Dew计算的车载高清地图缓存
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00166
Hongxuan Li, Jiaxin Zhang, Liang Zhao
{"title":"Vehicular High-definition Maps Cache based on Dew Computing","authors":"Hongxuan Li, Jiaxin Zhang, Liang Zhao","doi":"10.1109/DSA56465.2022.00166","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00166","url":null,"abstract":"The high-definition map required by autonomous driving can generate a huge amount of data transmission, in which the current networking system cannot support the massive transmission of such contents. In particular, when the vehicle is in an environment with poor network connection, the consequence of fetching the high-definition maps for vehicles can seriously affect the driving safety due to the packet drops and delay. In this paper, a vehicular edge caching architecture based on dew computing is proposed to ensure the driving safety of the vehicle. The proposed solution enables the vehicle's stability in obtaining the high-definition map under the poor network, as well as maintaining the freshness of the high-definition map stored by the vehicles.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129866880","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
Adaptive Weight Structure Representation for Multi-view Subspace Clustering 多视图子空间聚类的自适应权结构表示
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00129
Shouhang Wang, Yong Wang, Wenge Le
{"title":"Adaptive Weight Structure Representation for Multi-view Subspace Clustering","authors":"Shouhang Wang, Yong Wang, Wenge Le","doi":"10.1109/DSA56465.2022.00129","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00129","url":null,"abstract":"Traditional subspace clustering method based on self-representation has been widely applied in learning similarity matrix. Existing self-representation based methods treat all features equally in the process of learning similarity matrix, which makes redundant features in learning stage may have a certain negative impact on the final representation and even the representation of other non-redundant features. To solve the above problems, this paper proposes Adaptive Weight Low-Rank Representation (AWSLRR) algorithm. AWSLRR uses firstly nested structure to learn more clean and reasonable similarity matrix, then applied weight constraints to the reconstruction corruption which is generated during the reconstruction process. The adaptive weight matrix imposes a small weight coefficient on the larger corruption value by imposing constraints on the corruption term during the self-representation process, and vice versa. Finally, the experimental results on five real datasets validate the competitiveness of proposed algorithm.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128000463","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
Multi Feature Modulation Signal Recognition based on Deep Learning 基于深度学习的多特征调制信号识别
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00167
Zhuo Zheng
{"title":"Multi Feature Modulation Signal Recognition based on Deep Learning","authors":"Zhuo Zheng","doi":"10.1109/DSA56465.2022.00167","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00167","url":null,"abstract":"A new round of technological revolution, industrial revolution and information revolution are developing rapidly, and the development of communication technology is also facing challenges. Modulation signal recognition is a critical technology in the field of information and communication engineering. It is everywhere in both civil and military fields, such as online education, electronic intelligence support technology, etc. But as the electromagnetic environment becomes ever more complex, we also need to constantly take on new challenges. In this article, the author proposed a method for multi feature modulation recognition based on shallow convolutional neural network (CNN) to enhance the internal connection of various features extracted by features during modulation signal recognition, thereby improving the signal recognition effect. The simulation results in this paper show that the technology proposed in this paper improves the recognition rate of modulated signals under different signal-to-noise ratios(SNRs), which means that this method can effectively improve the recognition performance of modulated signals.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116987156","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 Categorical Modelling Framework for Multi-robot Systems in Manufacturing 制造业中多机器人系统的分类建模框架
2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI: 10.1109/DSA56465.2022.00168
Hui Zhou, Wang Lin, Zuohua Ding
{"title":"A Categorical Modelling Framework for Multi-robot Systems in Manufacturing","authors":"Hui Zhou, Wang Lin, Zuohua Ding","doi":"10.1109/DSA56465.2022.00168","DOIUrl":"https://doi.org/10.1109/DSA56465.2022.00168","url":null,"abstract":"In this work, we present a categorical modelling framework for multi-robot systems in manufacturing. It suggests some categorical definitions of goals, plans, resources, and their relationships within a robot, and provides a formal categorical representation on compositionality of robots. The proposed framework gives rise to an unified model for the multi-robot system, thus can assist in verifying it as a whole.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122761185","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信