检索结果-内蒙古大学图书馆

Detection of Small Underwater Organisms Based on Improved YOLOv8

学校读者我要写书评

暂无评论

IAENG International Journal of computer science 2024年第8期51卷 1020-1026页

作者： Miao, Liheng Tian, Ying School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan114051 China School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan114051 China

The underwater environment is complex and diverse, making it challenging to locate aquatic organisms accurately. The precise identification of underwater animals is crucial for ecological research and fisheries management. Addressing the issue of inaccurate localization of small underwater targets, this study introduces a novel model, YOLOv8-2PCC, based on the YOLOv8 algorithm with improvements. First, to improve the efficiency of the YOLOv8 network, the C2F module in the original YOLOv8 network model was replaced with convolution to reduce the computational load of the model. Secondly, the up-sampling operator CARAFE is employed, which excels in capturing features at various scales. Finally, a small target detection layer has been incorporated to extract additional shallow features, effectively enhancing the model's ability to detect small targets. Utilizing the URPC dataset for training and testing, the results indicate that our proposed algorithm achieves a mean Average Precision (mAP) of 85.9%. Compared to YOLOv8n, there is a 4.4% improvement, effectively enhancing the accuracy of underwater organism detection in complex underwater environments. © (2024), (International Association of Engineers). All Rights Reserved.

关键词： Aquatic organisms

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao JIN Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University School of Computer and Artificial Intelligence Zhengzhou University School of Computer Science and Cyber Engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Formal verification Separation logic Cloud block storage Verification tool Coq

Deep learning for code generation: a survey

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第9期67卷 5-40页

作者： Huangzhao ZHANG Kechi ZHANG Zhuo LI Jia LI Jia LI Yongmin LI Yunfei ZHAO Yuqi ZHU Fang LIU Ge LI Zhi JIN Key Lab of High Confidence Software Technologies (Peking University) Ministry of Education School of Computer Science Peking University School of Computer Science and Engineering Beihang University

In the past decade, thanks to the powerfulness of deep-learning techniques, we have witnessed a whole new era of automated code generation. To sort out developments, we have conducted a comprehensive review of solutions to deep learning-based code generation. In this survey, we generally formalize the pipeline and procedure of code generation and categorize existing solutions according to taxonomy from perspectives of architecture, model-agnostic enhancing strategy, metrics, and tasks. In addition, we outline the challenges faced by current dominant large models and list several plausible directions for future research. We hope that this survey may provide handy guidance to understanding, utilizing, and developing deep learning-based code-generation techniques for researchers and practitioners.

关键词： code generation automated software engineering deep learning large model artificial intelligence

Structured Light Center Extraction Study with Multiple Attention Mechanisms

学校读者我要写书评

暂无评论

IAENG International Journal of computer science 2024年第4期51卷 437-446页

作者： Sun, Hang Zhou, Ziwei School of Computer and Software Engineering University of Science and Technology Liaoning Anshan114051 China School of Computer and Software Engineering University of Science and Technology Liaoning Anshan114051 China

The integration of deep learning with conventional structured light center extraction techniques improves the accuracy of extracting structural gold centers. The method is divided into three steps. The initial step involves calibration, which aims to establish a correlation between image coordinates and world coordinates. The subsequent stage involves identifying the laser fringe area. This study employs a self-designed Multi-Att DeepLabV3+ encoder-decoder neural network architecture to extract the laser fringe region. The self-designed SE-ResSkipNet module is incorporated into the structure as the backbone. The decoder utilizes a parallel alternating dual attention mechanism. The third step involves extracting the center of the laser fringe utilizing the Steger algorithm, which is based on a Hessian matrix. Conducting experimental validation on a laser image dataset that is open-source. The experimental resluts indicate that the network architecture's mIoU, fwIoU, Acc, and Acc class evaluation metrics for complex laser fringe segmentation have shown improvements of 4.22%, 0.67%, 0.33%, and 4.96%, respectively. This algorithm demonstrates superior accuracy compared to other algorithms in laser fringe segmentation, playing a crucial role in the subsequent processes of 3D reconstruction and 3D measurement. © (2024), (International Association of Engineers). All Rights Reserved.

关键词： Decoding

Semi-Supervised Skin Lesion Segmentation Based on Pseudo-Labels

学校读者我要写书评

暂无评论

IAENG International Journal of computer science 2025年第2期52卷 325-332页

作者： Mu, Bo Wei, JingXin Zhang, Yujun School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan114051 China

In recent years, deep learning has significantly advanced skin lesion segmentation. However, annotating medical image data is specialized and costly, while obtaining unlabeled medical data is easier. To address this challenge, we propose a semi-supervised learning strategy to improve segmentation accuracy by combining a small amount of annotated data with a larger volume of unlabeled data. Our approach employs a teacher-student model framework. In this framework, the teacher model generates pseudo-labels for the unlabeled data, and the student model is trained using both these pseudo-labels and the limited true labels. To improve the student model’s learning capacity, we introduce auxiliary segmentation heads that provide joint guidance during training. We use the crossentropy (CE) loss function to quantify the discrepancies between the segmentation outputs of the main head and auxiliary heads. Since pseudo-labels generated by the teacher model may contain noise, we developed a mechanism to identify and exclude uncertain regions in each unlabeled image. This reduces pseudolabel noise and mitigates its negative impact on the student model. Our method demonstrates significant improvements in skin lesion segmentation on the publicly available ISIC2018 dataset, achieving Dice coefficients of 87.84% and 88.73% with only 5% and 10% of the total annotated data, respectively, outperforming existing methods. © (2025), (International Association of Engineers). All rights reserved.

关键词： Self-supervised learning

Vision-Text Bidirectional Collaborative Image Captioning Algorithm

学校读者我要写书评

暂无评论

IAENG International Journal of computer science 2025年第2期52卷 515-523页

作者： Li, Mei-Qi Zhou, Zi-Wei School of Computer Science and Software Engineering University of Science and Technology LiaoNing Anshan114051 China

Image captioning is an interdisciplinary research hotspot at the intersection of computer vision and natural language processing, representing a multimodal task that integrates core technologies from both fields. This task requires the use of computer vision techniques to analyze and extract key visual features from images, followed by the application of natural language processing techniques to generate descriptive text that is syntactically and semantically aligned with human cognition. This process poses a significant challenge for computers. Existing models mostly ignore the relative positional information of visual objects and struggle to efficiently capture the complex relationships between visual and textual data. To address these challenges, we propose a vision-to-text bidirectional collaborative image captioning method. This approach extracts both visual features and positional information of objects, allowing the model to better understand the spatial relationships between objects. The CEW word embedding approach encodes textual information more profoundly, enhancing semantic expression and contextual understanding. In the decoding phase, a bidirectional cross-attention mechanism strengthens the interaction between vision and text, leading to improved accuracy in image understanding. The model is trained and tested on the MSCOCO 2014 dataset and compared with several popular models. Experimental results demonstrate that the proposed method achieves significant improvements on the CIDEr and BLEU-1 evaluation metrics with an increase of 1.5 and 1.1, respectively. In addition, we conduct ablation experiments, quantitative analysis, and qualitative analysis to comprehensively validate the effectiveness and stability of the proposed algorithm. © (2025), (International Association of Engineers). All rights reserved.

关键词： Embeddings

A Dangerous Driving Behavior Detection Method Based on Improved YOLOv8s

学校读者我要写书评

暂无评论

engineering Letters 2025年第3期33卷 721-731页

作者： Zhou, Tong Zhang, Xiaoxia Chen, Huilong School of Computer Science and Software Engineering University of Science and Technology LiaoNing Anshan114051 China

Detecting dangerous driving behavior is a critical research area focused on identifying and preventing actions that could lead to traffic accidents, such as smoking, drinking, yawning, and drowsiness, through technical methods. Advanced computer vision and machine learning technologies enable efficient detection models to monitor and analyze driver behavior, improving road safety. Due to challenges posed by complex environments, this paper introduces an enhanced detection algorithm, YOLOv8s-CDS, to improve the identification of dangerous driving behaviors. First, the ConvNeXt V2 module is integrated with the C2f module to form C2fNeb2, optimizing feature extraction for behaviors like smoking or phone use. Second, the DASI (Dimension-Aware Selective Integration) module enhances detection accuracy through multi-scale fusion and dimension perception. Additionally, the SCConv module replaces the Conv module in the Bottleneck, forming C2fSCConv, which reduces spatial redundancy and improves detection efficiency.A comprehensive experimental analysis of dangerous driving image datasets demonstrates that the mean average precision (mAP) of the YOLOv8s-CDS algorithm is 91.20%, which is 2.4% higher than that of the YOLOv8s algorithm. Compared to other object detection algorithms, such as Faster R-CNN, YOLOv5s, YOLOv7s, YOLOX and YOLOv8, YOLOv8s-CDS demonstrates greater practicality in detecting dangerous driving behaviors, contributing to a reduction in traffic accidents and enhancing the safety of life and property. © 2025, International Association of Engineers. All rights reserved.

关键词： Highway accidents

The Improved Unet Semantic Segmentation Network for Remote Sensing Images

学校读者我要写书评

暂无评论

IAENG International Journal of computer science 2025年第4期52卷 1187-1195页

作者： Zhu, Hang Zhao, Ji School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan114051 China

With the development of artificial intelligence, deep learning has been increasingly used to achieve automatic detection of geographic information, replacing manual interpretation and improving efficiency. However, remote sensing images themselves have the issue of slight inter-class variance and significant intra-class variance, making it challenging to extract valuable information. Additionally, the increasing resolution and size of remote sensing images in recent years have introduced more complexity in the types of information, further increasing the difficulty of extracting valuable data. This paper proposes an improved Unet semantic segmentation network (referred to as RAUnet). First, in the encoder, continuous convolutional blocks are enhanced to extract features. At the same time, the EMAM multi-scale attention module is employed for cross-channel learning, capturing information from different feature channels of the target and using the surrounding feature information to assist in distinguishing target information. To capture multi-directional long-range dependencies, the Lo2 module is used for long-range modeling, which captures not only local contextual information but also long-range dependencies. In the decoder, a Dysample upsampling module is used to restore feature details, and in the skip connection layer, features are added for feature fusion. Experimental results show that compared to mainstream models, the proposed method achieves superior segmentation results on the Potsdam and Vihingen datasets. © (2025), (International Association of Engineers). All rights reserved.

关键词： Semantic Segmentation

Real-time all-frequency global llumination with radiance caching

学校读者我要写书评

暂无评论

Computational Visual Media 2024年第5期10卷 923-936页

作者： Youxin Xing Gaole Pan Xiang Chen Ji Wu Lu Wang Beibei Wang School of Software Shandong UniversityJinan 250101China School of Computer Science and Engineering Nanjing University of Science and TechnologyNanjing 210094China

Global illumination(GI)plays a crucial role in rendering realistic results for virtual exhibitions,such as virtual car *** scenarios usually include all-frequency bidirectional reflectance distribution functions(BRDFs),although their geometries and light configurations may be *** allfrequency BRDFs in real time remains challenging due to the complex light *** approaches,including precomputed radiance transfer,light probes,and the most recent path-tracing-based approaches(ReSTIR PT),cannot satisfy both quality and performance requirements ***,we propose a practical hybrid global illumination approach that combines ray tracing and cached GI by caching the incoming radiance with *** approach can produce results close to those of ofline renderers at the cost of only approximately 17 ms at runtime and is robust over all-frequency *** approach is designed for applications involving static lighting and geometries,such as virtual exhibitions.

关键词： real-time global illumination all-frequency BRDFs Haar wavelets radiance caching