2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)最新文献_第4页

Systematic Advancement of Yolo Object Detector For Real-Time Detection of Objects 面向目标实时检测的Yolo目标检测器的系统进展

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674163

Ejiyi Chukwuebuka Joseph, O. Bamisile, Nneji Ugochi, Qin Zhen, Ndalahwa Ilakoze, Chikwendu A. Ijeoma

引用次数: 1

Formal Modeling and Verification of the Sequential Kernel of an Embedded Operating System 嵌入式操作系统顺序内核的形式化建模与验证

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674115

Zhang Haitao, Chen Lirong, Luo Lei

{"title":"Formal Modeling and Verification of the Sequential Kernel of an Embedded Operating System","authors":"Zhang Haitao, Chen Lirong, Luo Lei","doi":"10.1109/ICCWAMTIP53232.2021.9674115","DOIUrl":"https://doi.org/10.1109/ICCWAMTIP53232.2021.9674115","url":null,"abstract":"A formal computational model is presented for the sequential kernel of an automotive embedded real-time operating system, which provides infrastructural mechanism to support the isolation between applications and the operating system, as well as the isolation between executive entities such as tasks and ISRs (Interrupt Service Routines) in applications. The target embedded system is modeled at the granularity of isolated memory regions and stacks. Tasks, nested ISRs and the preempt-able part of the operating system (i.e. system services) are concurrent entities executing on dedicated memory regions and stacks determined by the sequential kernel. States of these entities can be correctly saved and restored in isolated stacks and in the kernel data structures, such that the control flow changes among them can be correctly made. The implementation correctness theorem of the kernel is established along with the corresponding simulation relationship and implementation invariants. According to the features of the model and the related implementation languages, the kernel is formally verified with the theorem prover Isabelle/HOL.","PeriodicalId":358772,"journal":{"name":"2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121177964","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

Optimization of Intention Detection Based on Metric Learning 基于度量学习的意图检测优化

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674093

Liu Di, Kong Xinyue, Yong-Cheul Jun

引用次数: 0

Research On The Construction of Agricultural Product Quality Maintenance And Quality Traceability System Based On Big Data 基于大数据的农产品质量维护与质量追溯系统构建研究

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674175

Yang Yujun, Yang Yimei, Zhouqiong Wang, Xi Hongbo, Li Liyun

引用次数: 0

Authenticity Verification Scheme Based On Tee and Blockchain 基于Tee和区块链的真实性验证方案

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9673712

Mou Jianhua, Zheng Qiaoyan, He Guotian

引用次数: 0

Research on Design Document Tampering Detection and Location Based on Blockchain Technology 基于区块链技术的设计文档篡改检测与定位研究

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674104

Liu Yaning, Wang Juan, Li Liangxiao, Ma Quan, Gong Xuepeng

引用次数: 0

A Variable Population Evolutionary Algorithm Based on Pyramid Model for Shared Bus Scheduling Problem 基于金字塔模型的变种群进化算法求解共享公交调度问题

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674136

H. Tiantian, Su Sheng

{"title":"A Variable Population Evolutionary Algorithm Based on Pyramid Model for Shared Bus Scheduling Problem","authors":"H. Tiantian, Su Sheng","doi":"10.1109/ICCWAMTIP53232.2021.9674136","DOIUrl":"https://doi.org/10.1109/ICCWAMTIP53232.2021.9674136","url":null,"abstract":"With the advent of the era of sharing economy, shared travel mode has gradually entered the public's vision and attracted the public's attention and favor. The long-distance between different locations and the difficulty of route planning not only increase the difficulty of people sharing travel to a certain extent but also make the shared bus scheduling problem become a very hot topic. Aiming at this problem, this paper proposes a variable population evolution algorithm based on the pyramid model (PME). Firstly, due to the slow convergence speed of traditional evolutionary algorithms, the concept of variable population evolution and the random selection of weighted genes are introduced to generate a chromosome. Secondly, the crossover operation in the genetic algorithm is improved by crossing all chromosomes with excellent genes. In addition, the PME algorithm proposed in this paper can accurately predict the specific number of vehicles required for dispatch on the next day, and it can also realize the sharing of all vehicles when the route in the specified range is unknown. Experimental data show that the proposed method achieves better performance.","PeriodicalId":358772,"journal":{"name":"2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133668576","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 Learning Based Image Recognition In Animal Husbandry 基于深度学习的畜牧业图像识别

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674177

Yan Qi, Cheng Baiyang, Luo Lan

{"title":"Deep Learning Based Image Recognition In Animal Husbandry","authors":"Yan Qi, Cheng Baiyang, Luo Lan","doi":"10.1109/ICCWAMTIP53232.2021.9674177","DOIUrl":"https://doi.org/10.1109/ICCWAMTIP53232.2021.9674177","url":null,"abstract":"Deep learning technology is an important new force in the emerging science and technology revolution and the revolution of the animal husbandry industry, and plays a crucial role in the process of being digitization, informatization and wisdom of the animal husbandry industry in China. The application of deep learning-based image recognition in the livestock industry provides a new solution to the problems of disease prevention, precise identification and biosafety prevention and control at the farming side, and will become a powerful booster to promote the livestock industry towards modernization. The use of convolutional neural network after extracting a feature to complete the link according to the type of feature classification, then complete the data pre-processing, and using super pixel-based image segmentation and SIFT algorithm to complete image segmentation and image feature extraction, and finally through the convolutional neural network and support vector machine to complete the classification and prediction of animal action, driving the overall management level of the livestock industry to improve, and become an effective way to promote the development of intelligent animal husbandry.","PeriodicalId":358772,"journal":{"name":"2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116892325","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 Privacy Protection Mechanism For Health Big Data Based On Xml 基于Xml的健康大数据隐私保护机制

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674143

Yang Yimei, Yang Yujun, Zhouyi Wang, Xi Hongbo, Li Wei

{"title":"A Privacy Protection Mechanism For Health Big Data Based On Xml","authors":"Yang Yimei, Yang Yujun, Zhouyi Wang, Xi Hongbo, Li Wei","doi":"10.1109/ICCWAMTIP53232.2021.9674143","DOIUrl":"https://doi.org/10.1109/ICCWAMTIP53232.2021.9674143","url":null,"abstract":"With the deepening application of big data technology in the field of health care, the potential risks such as personal privacy and security that may be brought by the collection, analysis and sharing of health data cannot be ignored. How to ensure the safety of health big data and conduct reasonable and compliant analysis and utilization of health big data is an urgent problem to be solved at present. Based on the characteristics of health big data, this paper focuses on the privacy connotation of health big data, puts forward the privacy protection framework of health big data around the privacy protection needs of various stakeholders in the life cycle of health big data, and combs the privacy protection technology system currently available in the field of health care, In order to provide support for each application link of health big data, a set of health data desensitization method based on XML is studied and designed. This method can dynamically add data desensitization strategy, meet the different needs of hospitals for medical record privacy data protection under different application scenarios, and promote the standardized and orderly development of health big data.","PeriodicalId":358772,"journal":{"name":"2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134532065","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

Joint Modulation and Coding Recognition Using Deep Learning 基于深度学习的联合调制和编码识别

2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Pub Date : 2021-12-17 DOI: 10.1109/ICCWAMTIP53232.2021.9674061

Wang Jiao, Liao Jianqing

引用次数: 3