Xixi Zhu, B. Liu, Zhao-yun Ding, Li Yao, Cheng Zhu, Xianqiang Zhu
{"title":"Reducing the Risk of Completeness Loss by Subgraph Reasoning in Engineering Applications","authors":"Xixi Zhu, B. Liu, Zhao-yun Ding, Li Yao, Cheng Zhu, Xianqiang Zhu","doi":"10.1145/3565387.3565401","DOIUrl":"https://doi.org/10.1145/3565387.3565401","url":null,"abstract":"The ontology knowledge base is divided into TBox and ABox, the former is the schema-level information of the knowledge base, which is used to describe the relationship between the recognized concepts and attributes, and the latter is a collection of instance assertions or fact statements in the domain. Using TBox, the process of reasoning more implicit assertions in ABox is called ABox materialization, which plays an important role in knowledge base applications. Some ontology reasoners for OWL DL and DL-safe SWRL, the reasoning results are considered to be correct and complete. However, in practical applications, this paper finds that in some cases, the reasoning results are not complete when reasoning about the ontology knowledge base constructed by OWL DL and DL-sale SWRL. In those application scenarios that require completeness, blindly trusting these reasoners will bring risks. In response to this problem, this paper proposes a method based on subgraph reasoning, which can identify whether the result of ontology reasoning is complete in engineering, and at the same time, when it is incomplete, new assertions that have not been found before can be inferred. The comparative experimental results on two open-source ontologies verify the method in this paper.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124949850","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}
Peng Wang, Yaoguang Hu, Xiaonan Yang, Jingfei Wang
{"title":"Augmented Reality-Based Rapid Digital Verification of the Body-in-white for Intelligent Manufacturing","authors":"Peng Wang, Yaoguang Hu, Xiaonan Yang, Jingfei Wang","doi":"10.1145/3565387.3565448","DOIUrl":"https://doi.org/10.1145/3565387.3565448","url":null,"abstract":"The body-in-white (BIW) is the structural assembly of the automobile after it is welded, which is the skeleton of the automobile. BIW design verification is an important part of the automobile development, not only to test the structural performance, but also to verify its manufacturability in subsequent production lines. Augmented reality, as an important tool for rapid digital verification, has been widely used in intelligent manufacturing systems. This paper presents an augmented reality-based method and associated system for rapid digital verification of BIW manufacturability during the BIW design phase. The system approach is described: 1) AR based auto BIW verification environment construction, 2) Bare hand interaction assisted AR verification, 3) Distance measurement and collision detection. Finally, an experimental scenario was built to illustrate how this AR system assist in verifying BIW structures on a production line and reveal the huge potential of AR in product design verification.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113935609","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}
{"title":"A New Approximation Algorithm for the Contig-Based One-Sided Repetitive Genomic Scaffold Filling Problem","authors":"Nan Liu, Yong Zhu, Shenghua Li","doi":"10.1145/3565387.3565409","DOIUrl":"https://doi.org/10.1145/3565387.3565409","url":null,"abstract":"Since most of the current biological research is based on the assumption that genomic scaffold can provide complete information, it is of great significance to study the genomic scaffold filling problem. The research goal of the one-sided genomic scaffold filling algorithm is to fill the missing gene into the incomplete gene scaffold to obtain the rearranged gene scaffold, so as to maximize the similarity between it and the complete genomic scaffold. This paper mainly studies the one-sided repeat genomic scaffold filling problem with repetitive genes based on maximum adjacencies. Using the idea of constructing bipartite graphs and maximum matching, a new filling algorithm based on maximizing adjacency is proposed, which lays the foundation for further research on the one-sided scaffold filling problem based on contig in the future.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"3 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114019344","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}
{"title":"Research on Dynamic Water Level Recognition of Cabin Based on Improved Retinex Algorithm: Dynamic Water Level Recognition","authors":"Shuang Huang, Xu Cao, F. Li, Ziwei Zhao","doi":"10.1145/3565387.3565430","DOIUrl":"https://doi.org/10.1145/3565387.3565430","url":null,"abstract":"To accurately identify the dynamically changing water level in the ship's cabin, the Retinex algorithm is improved by using the bilateral filtering method firstly, which enhances the cabin image at the edge of the liquid level. then the image is preprocessed by image grayscale, image segmentation, and morphological processing, The PP-YOLO v2 algorithm is used to measure the water level with dynamic characteristics. Finally, the water tank is used to simulate the ship cabin, and the detection results of the algorithm proposed in this paper are compared with the traditional algorithm. The experimental results show that the improved Retinex algorithm combined with the PP-YOLO v2 algorithm has high accuracy in the dynamic water level recognition of the cabin, with a relative error of 0.71%, compared with the traditional algorithm, the combined liquid level recognition accuracy of this algorithm is improved by 2.09%, with strong application value.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134344492","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}
{"title":"An Improved TODIM Method With Z-number and Its Application in Ranking","authors":"Wenbin Deng, Meiqi Wu, Zheng Pei","doi":"10.1145/3565387.3565395","DOIUrl":"https://doi.org/10.1145/3565387.3565395","url":null,"abstract":"To address the Multi-criteria Decision Making (MCDM) with Z-number information, this paper first proposes a Jaccard distance with Z-number information based on Jaccard distance, then explores and proves the property of this distance, and combines this distance into the TODIM method with Z-number for decision making. Finally, an example is used to verify the feasibility of the method, and the flexibility and superiority of the method are highlighted through parameter and comparative analysis.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124871366","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}
{"title":"CNN-based Hardhats Wearing Detection for On-site Monitoring","authors":"Xiaoyu Zheng, Jiehong Shen, Peng Li","doi":"10.1145/3565387.3565452","DOIUrl":"https://doi.org/10.1145/3565387.3565452","url":null,"abstract":"Hardhat is a class of indispensable equipment for workers to enter construction sites. Considering that many accidents occurred at the construction sites are related to the violations of rules by workers, detection of workers whether wearing hardhats is particularly significant for production safety. However, due to the complex environment of the construction sites, it is a challenging issue to accurately detect whether workers are wearing hardhats. In this paper, a practical detection model with high detection accuracy is proposed. Firstly, after revising and supplementing the existing hardhat- wearing dataset, a large Hardhat-Head dataset is constructed, which consists of 11172 images, including 23766 head instances wearing hardhats, annotated as hat class, and 124928 head instances not wearing hardhats, annotated as person class. Secondly, in contrast to the commonly multiple-stage methods based on pedestrian detection or face detection, this paper adopts a higher accuracy and faster one-stage method to perform hardhats wearing detection. Finally, by training and testing four models modified based on the Cascade RCNN algorithm on our constructed Hardhat-Head dataset, the four trained models achieve the highest average precision (AP) value of 92% in the hat class and 94% in the person class, the highest mean AP value reaches 92.9%.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"243 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121478208","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}
{"title":"A Method of Real-time Data Access and Storage in Urban Rail Based on Containers","authors":"Ying-chen Di, Lele Zhang, Lili Chen","doi":"10.1145/3565387.3565438","DOIUrl":"https://doi.org/10.1145/3565387.3565438","url":null,"abstract":"This paper proposed a method of real-time data access and storage in urban rail based on containers. It deploys real-time data access and application services in containers to get operation and management ability from native containers; besides, it builds real-time data computing engines in the container to improve data access performance. In addition, it creates a special data storage structure to enhance query efficiency. API gateway and subscribe channel are dynamically published and updated to increase data query flexibility. Finally, we tested real-time data access and query performance in containers on a containerized platform. The test results show that the method of real-time data access and storage is satisfied with the performance requirements in the urban rail.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129354845","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}
{"title":"Personalization Exercise Recommendation Based on Cognitive Diagnosis","authors":"Hongle Du, Na Li, Famin Ma, T. Palaoag","doi":"10.1145/3565387.3565416","DOIUrl":"https://doi.org/10.1145/3565387.3565416","url":null,"abstract":"Online education has become an important part of education services. Faced with the vast online learning resources, how to provide students with personalized learning resources and achieve the goal of precise teaching is an important part of the intelligent teaching system. The premise of personalized recommendation is accurate personalized cognitive diagnosis and accurate analysis of each student's mastery of knowledge. Since cognitive diagnosis can diagnose and evaluate individual knowledge structure or cognitive process, combined with knowledge space theory, this paper designs a personalized exercise recommendation method based on cognitive diagnosis. The sequential dependency between course knowledge points has an impact on personalized exercise recommendation. Therefore, firstly, according to the knowledge space theory, the relationship graph between the knowledge concepts of the course is constructed, that is, the course knowledge topology map; Students conduct cognitive diagnosis and analyze the knowledge mastery status of each student; finally, the knowledge structure of each student is visualized on the knowledge map, and personalized test questions are recommended based on students' knowledge structure, question difficulty and course knowledge map. While improving the accuracy and reliability of the recommended test items, the interpretability of test item recommendation is guaranteed. The experimental comparison proves the accuracy and interpretability of the method in test item recommendation.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123843416","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}
{"title":"Research on Integrated Automatic Control System for Railway Station Receiving and Dispatching Line Confirmation","authors":"Xiaoyan Yang","doi":"10.1145/3565387.3565436","DOIUrl":"https://doi.org/10.1145/3565387.3565436","url":null,"abstract":"To the misoperation of the electric locomotives being pulled into to no electricity unit (area), over-limited trains entering into non-specified track while the planned power failure of catenary contact electric lines of railway enterprise, this paper proposes a \"Three-elements and double confirmation\" processing and comparison method based on RF identification, screen mouse coordinates and high-definition imaging analysis of dynamic blackout operation area data comparison library, the entire data collection, it's analysis and logic judgment process does not interfere with the current running-related systems, also it avoids the complex procedures of obtaining existing system interface rights and it is an external independent early warning system . The use of the system effectively prevents the electric locomotive from entering the powerless area (network) and the accident of over-limited cargo loaded trains being discharged into the wrong track, hoping to provide some reference value to the railway field.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127859745","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}
{"title":"Visualization Analysis of Information Literacy Education Research Based on Knowledge Graph","authors":"Yang Jiang, Bo-Ra Jin","doi":"10.1145/3565387.3565417","DOIUrl":"https://doi.org/10.1145/3565387.3565417","url":null,"abstract":"This paper makes a visual analysis of the research data of information quality education in China. Through the visualization software CiteSpace, the scientific knowledge graph is presented to show the subject structure and research track of information literacy education research in China. This paper also put forward many suggestions for the development of this field, which provided help for a quick and comprehensive grasp of this field, and also provided a reference for the development of this subject and subsequent research.","PeriodicalId":182491,"journal":{"name":"Proceedings of the 6th International Conference on Computer Science and Application Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115813764","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}