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

Proving Linearizability of Concurrent Queues

Journal of Computers (Taiwan) 2024年第5期35卷 91-103页

作者： Peng, Jie Wen, Tangliu Jiang, Dongming Department of Information Engineering Gannan University of Science and Technology Ganzhou China Ganzhou Cloud Computing and Big Data Research Center Ganzhou China School of Big Data Jiangxi Science & Technology Normal University Nanchang China

Linearizability is a commonly accepted correctness criterion for concurrent data structures. Concurrent queues are among the most fundamental concurrent data structures. In this paper, we present necessary and sufficient conditions for proving linearizability of concurrent queues, which make use of linearization of dequeue operations. The verification conditions intuitively express the "FIFO" semantics of concurrent queues and can be verified just by reasoning about the happened-before order of operations. We have successfully applied the proof technique to prove several challenging concurrent queues. We believe that our proof technique can be extended to the concurrent data structures which have the ordering requirements when their elements are removed. © 2024 Codon Publications. All rights reserved.

关键词： data structures

来源：评论

学校读者我要写书评

暂无评论

Multi-Task Learning for Alzheimer's Disease Diagnosis and Mini-Mental State Examination Score Prediction

引用

big data Mining and Analytics 2024年第3期7卷 828-842页

作者： Jin Liu Xu Tian Hanhe Lin Hong-Dong Li Yi Pan Hunan Provincial Key Lab on Bioinformatics School of Computer Science and EngineeringCentral South UniversityChangsha 410083China Xinjiang Engineering Research Center of Big Data and Intelligent Software School of SoftwareXinjiang UniversityUrumqi 830091China School of Science and Engineering University of DundeeDundeeDD14HNUK Faculty of Computer Science and Control Engineering Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055China

Accurately diagnosing Alzheimer's disease is essential for improving elderly ***,accurate prediction of the mini-mental state examination score also can measure cognition impairment and track the progression of Alzheimer's ***,most of the existing methods perform Alzheimer's disease diagnosis and mini-mental state examination score prediction separately and ignore the relation between these two *** address this challenging problem,we propose a novel multi-task learning method,which uses feature interaction to explore the relationship between Alzheimer's disease diagnosis and minimental state examination score *** our proposed method,features from each task branch are firstly decoupled into candidate and non-candidate parts for ***,we propose feature sharing module to obtain shared features from candidate features and return shared features to task branches,which can promote the learning of each *** validate the effectiveness of our proposed method on multiple *** Alzheimer's disease neuroimaging initiative 1 dataset,the accuracy in diagnosis task and the root mean squared error in prediction task of our proposed method is 87.86%and 2.5,*** results show that our proposed method outperforms most state-of-the-art *** proposed method enables accurate Alzheimer's disease diagnosis and mini-mental state examination score ***,it can be used as a reference for the clinical diagnosis of Alzheimer's disease,and can also help doctors and patients track disease progression in a timely manner.

关键词： multi-task learning Alzheimer's disease diagnosis mini-mental state examination score prediction

来源：评论

学校读者我要写书评

暂无评论

xGCN: An Extreme Graph Convolutional Network for Large-scale Social Link Prediction 23

xGCN: An Extreme Graph Convolutional Network for Large-scale...

引用

2023 World Wide Web Conference, WWW 2023

作者： Song, Xiran Lian, Jianxun Huang, Hong Luo, Zihan Zhou, Wei Lin, Xue Wu, Mingqi Li, Chaozhuo Xie, Xing Jin, Hai Huazhong University of Science and Technology Wuhan China Microsoft Research Asia Beijing China Microsoft Gaming Redmond United States National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China

ISBN: (纸本)9781450394161

Graph neural networks (GNNs) have seen widespread usage across multiple real-world applications, yet in transductive learning, they still face challenges in accuracy, efficiency, and scalability, due to the extensive number of trainable parameters in the embedding table and the paradigm of stacking neighborhood aggregations. This paper presents a novel model called xGCN for large-scale network embedding, which is a practical solution for link predictions. xGCN addresses these issues by encoding graph-structure data in an extreme convolutional manner, and has the potential to push the performance of network embedding-based link predictions to a new record. Specifically, instead of assigning each node with a directly learnable embedding vector, xGCN regards node embeddings as static features. It uses a propagation operation to smooth node embeddings and relies on a Refinement neural Network (RefNet) to transform the coarse embeddings derived from the unsupervised propagation into new ones that optimize a training objective. The output of RefNet, which are well-refined embeddings, will replace the original node embeddings. This process is repeated iteratively until the model converges to a satisfying status. Experiments on three social network datasets with link prediction tasks show that xGCN not only achieves the best accuracy compared with a series of competitive baselines but also is highly efficient and scalable. © 2023 ACM.

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

GA-Net: Gated Attention Mechanism Based Global Refinement Network for Image Inpainting 29

GA-Net: Gated Attention Mechanism Based Global Refinement Ne...

引用

29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023

作者： Qiu, Ran Zhao, Shengrong Liang, Hu Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center Jinan China Shandong Engineering Research Center of Big Data Applied Technology Faculty of Computer Science and Technology Jinan China Shandong Fundamental Research Center for Computer Science Shandong Provincial Key Laboratory of Computer Networks Jinan China

ISBN: (纸本)9798350330717

Underwater images are often affected by problems such as light attenuation, color distortion, noise and scattering, resulting in image defects. A novel image inpainting method is proposed to intelligently predict and fill damaged areas for complete and continuous visualization of the image. First, in order to effectively solve the problem of color distortion caused by light refraction in underwater environments, the improved gated attention mechanism is used. This mechanism improves the local details by learning and weighting the important features of the image. Second, gated convolution automatically determines the degree of restoration for each pixel based on local features of the original image. It eliminates distractions such as low contrast and scattering, retaining more original detailed information. By doing so, image inpainting techniques improve the quality and visualization of underwater images. © 2023 IEEE.

关键词： Gated convolution Image inpainting Underwater images

来源：评论

学校读者我要写书评

暂无评论

Heavy Rainfall Prediction Model Using Sample Entropy Derived from GNSS-PWV and PSO-SVM 14th

Heavy Rainfall Prediction Model Using Sample Entropy Derived...

引用

14th China Satellite Navigation Conference, CSNC 2024

作者： Wu, Fanming Li, Dengao Zhao, Jinhua Feng, Ran Shi, Danyang Zhang, Xinfang Zhao, Jumin College of Data Science Taiyuan University of Technology Taiyuan030024 China College of Information and Computer Taiyuan University of Technology Taiyuan030024 China Key Laboratory of Big Data Fusion Analysis and Application of Shanxi Province Taiyuan030024 China Intelligent Perception Engineering Technology Center of Shanxi Taiyuan030024 China Shanxi Province Engineering Technology Research Center of Spatial Information Network Taiyuan030024 China

ISBN: (纸本)9789819969272

There is a growing interest to use Global Navigation Satellite System (GNSS) inversed PWV for heavy rainfall prediction. When heavy rainfall occurs, it requires the atmosphere to contain sufficient water vapour and undergo strong upward motion. However, existing models using GNSS-PWV for heavy rainfall prediction have not accounted for the effect of the complex motion of water vapour. In this paper, an hourly heavy rainfall prediction model using sample entropy derived from GNSS-PWV and PSO-SVM is proposed. The sample entropy of GNSS-PWV is used to measure the complexity of the water vapour movement process before heavy rainfall occurs. Meanwhile, combining GNSS-PWV time domain features and co-located meteorological data, the occurrence of hourly heavy rainfall events is predicted by support vector machine optimized with particle swarm. To verify the validity and feasibility of the proposed algorithm, Hong Kong's HKSC station in Sham Shui Po is used for the model to train and test. The result shows that probability of detection, false alarm rate and critical success index of the proposed algorithm in this paper have significantly improved over other heavy rainfall prediction models. © 2024, Aerospace Information research Institute.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Video Stabilization via Prediction with Time-Series Network and Image Inpainting with Pyramid Fusion

引用

Chinese Journal of Electronics 2021年第6期30卷 1103-1110页

作者： CHENG Keyang LI Shichao RONG Lan WANG Wenshan SHI Wenxi ZHAN Yongzhao School of Computer Science and Communication Engineering Jiangsu University Jiangsu Province Big Data Ubiquitous Perception and Intelligent Agricultural Application Engineering Research Center Cyber Space Security Academy of Jiangsu University National Engineering Laboratory for Public Safety Risk Perception and Control by Big Data Xinjiang Lianhaichuangzhi Information Technology Co. Ltd.

Due to the poor filling effect of the video image defect commonly used in the video stabilization field, the video is seemed still unstable after the image stabilization process, which seriously affects the visual effect. To solve this problem, we improve a video stabilization method based on time-series network prediction and pyramid fusion restoration is proposed to optimize the visual effect after image *** flow of the proposed method is as follows: First,it is adaptive to determine whether the defect of the corresponding frame at the current time needs padding inpainting. Then, for the frame that needs to be inpainting,the frames generated before the current moment are sent to the model combining the convolutional neural networks and the gate recurrent unit to predict the part to be filled. Next the current defect image and the complete image to be filled are brought into the Laplacian pyramid reconstruction, and the improved weighted optimal suture is introduced for splicing during the fusion. Finally, the video frame is cut after reconstruction. The method is tested on a data set composed of videos commonly used in the field of video stabilization. The experimental results show that the average peak signal to noise ratio of the method is 2 to 5 d B higher than that of the comparison algorithm, and the average structural similarity index is improved by about 2% to 7% compared with the contrast algorithm.

关键词： image restoration image sequences video frame cutting improved weighted optimal suture gate recurrent unit video signal processing video stabilization method image fusion Laplacian pyramid reconstruction padding inpainting image resolution neural nets convolutional neural networks video image defect pyramid fusion restoration image inpainting visual effect optimization image reconstruction time-series network prediction image stabilization process

来源：评论

学校读者我要写书评

暂无评论

Prediction of Ionospheric TEC Based on BLS-LSTM-GRU Hybrid Model 14th

Prediction of Ionospheric TEC Based on BLS-LSTM-GRU Hybrid M...

引用

14th China Satellite Navigation Conference, CSNC 2024

作者： Li, Dengao Zhang, Xinfang Zhao, Jumin Wu, Fanming Feng, Ran Zhao, Jinhua Shi, Danyang College of Data Science Taiyuan University of Technology Taiyuan030024 China College of Information and Computer Taiyuan University of Technology Taiyuan030024 China Key Laboratory of Big Data Fusion Analysis and Application of Shanxi Province Taiyuan030024 China Intelligent Perception Engineering Technology Center of Shanxi Taiyuan030024 China Shanxi Province Engineering Technology Research Center of Spatial Information Network Taiyuan030024 China

ISBN: (纸本)9789819969272

In satellite communications, global navigation satellite systems(GNSS) and other important space activities, the value of total electron content (TEC) in the ionosphere directly affects the size of ionospheric delay. Achieving accurate prediction of ionospheric total electron content through modeling can effectively improve the reliability and accuracy of GNSS positioning. Considering the high prediction accuracy of long short-term memory neural network (LSTM) and the fast training speed of gated recurrent unit network (GRU), but it is easy to fall into the local optimum, while the width learning system(BLS) can effectively avoid this drawback. Therefore, this paper proposes a model for predicting the total electron content of the ionosphere, which consists of a broad learning system, an LSTM network and a GRU networks. Six parameters of TEC, geomagnetic index Dst, Kp, Ap, solar activity index F10.7, and hour (HD) are selected as input features from the observed data to predict the variation of the total ionospheric electron content. The results generate prediction maps of the total ionospheric electron content and are compared with empirical models and conventional neural network models at different times and solar activity conditions. The experimental results show that the root mean square error (RMSE) of the prediction results of this BLS-LSTM-GRU model is decreased by 23.07%, 17.48% and 9.46% compared with the IRI-2016, NeQuick and CNN-LSTM prediction models, respectively, with higher prediction accuracy. © 2024, Aerospace Information research Institute.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

research on Zenith Tropospheric Delay Model Based on TCN Improving HGPT2 Model 14th

Research on Zenith Tropospheric Delay Model Based on TCN Imp...

引用

14th China Satellite Navigation Conference, CSNC 2024

作者： Li, Dengao Shi, Danyang Zhao, Jumin Wu, Fanming Yan, Liangquan Feng, Ran Zhang, Xinfang Zhao, Jinhua College of Data Science Taiyuan University of Technology Taiyuan030024 China College of Information and Computer Taiyuan University of Technology Taiyuan030024 China Key Laboratory of Big Data Fusion Analysis and Application of Shanxi Province Taiyuan030024 China Intelligent Perception Engineering Technology Center of Shanxi Taiyuan030024 China Shanxi Province Engineering Technology Research Center of Spatial Information Network Taiyuan030024 China

ISBN: (纸本)9789819969272

The zenith tropospheric delay (ZTD) obtained by global navigation satellite system (GNSS) atmospheric sounding is a pivotal data source for water vapor monitoring. Meteorological changes in Antarctica play an important role in analysis of the global climate, but factors such as complex climatic conditions can limit the collection of meteorological data needed for ZTD retrieval. Therefore, it is necessary to establish high-precision ZTD models that do not rely on measured meteorological data. The existing global pressure and temperature 3 (GPT3) model has limited ability to capture complex weather variations and cannot obtain high-precision GPT3_ZTD. To address the above issues, this research proposes a high-precision ZTD model through using temporal convolutional network (TCN) for improving the hourly global pressure and temperature 2 (HGPT2) model. The HGTP2 model based on Fourier analysis and the time-segmentation concept can consider the linear trend of climate variations, simultaneously the TCN is introduced to simulate the long-term temporal dependence of HGPT2_ZTD, so as to achieve the goal of obtaining high-precision ZTD without relying on measured meteorological data. The experimental results show that the precision of TCN_ZTD obtained from the proposed model is higher than GPT3_ZTD and HGPT2_ZTD when using the GNSS_ZTD observations obtained from 35 stations in Antarctica as a reference, and the improvement of the model is obvious. © 2024, Aerospace Information research Institute.

关键词： Fourier analysis

来源：评论

学校读者我要写书评

暂无评论

No-Reference Stereoscopic Image Quality Assessment Based on Binocular Collaboration

SSRN

引用

SSRN 2024年

作者： Guo, Wenzhong Wang, Hanling Ke, Xiao Fujian Provincial Key Laboratory of Networking Computing and Intelligent Information Processing College of Computer and Data Science Fuzhou University Fujian Fuzhou350116 China Engineering Research Center of Big Data Intelligence Ministry of Education Fuzhou University Fuzhou350116 China

Stereoscopic images usually consist of a left view, a right view, and depth information. Stereoscopic/3D image quality assessment (SIQA) is often more challenging compared to 2D-IQA due to the usual scene differences between left and right views and the complexity of the binocular vision fusion process. To address the problem of quality prediction bias of multi-distortion images, we investigated the visual physiology and the processing of visual information by the primary visual cortex of the human brain and proposed a no-reference stereoscopic image quality evaluation method. The method mainly includes an innovative end-to-end NR-SIQA neural network with a picture patch generation algorithm. The algorithm generates a saliency map by fusing the left and right views and then guides the image cropping in the database based on the saliency map. The proposed models are validated and compared based on publicly available databases. The results show that the model and algorithm together outperform the state-of-the-art NR-SIQA metric in the LIVE 3D database and the WIVC 3D database, and have excellent results in the specific noise metric. The model generalization experiments demonstrate a certain degree of generality of our proposed model. © 2024, The Authors. All rights reserved.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

Multilingual Knowledge Graph Completion via Multimodal Decouple and Relation-based Ensemble Inference 29

Multilingual Knowledge Graph Completion via Multimodal Decou...

引用

29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023

作者： Liu, Xiaojing Jiang, Xuesong Yi, Fengge Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center Jinan China Shandong Engineering Research Center of Big Data Applied Technology Faculty of Computer Science and Technology Jinan China Shandong Fundamental Research Center for Computer Science Shandong Provincial Key Laboratory of Computer Networks Jinan China

ISBN: (纸本)9798350330717

The objective of Multimodal Knowledge Graph Completion (MKGC) is to forecast absent entities within a knowledge graph by leveraging additional textual and visual modalities. Existing studies commonly utilize a singular relationship embedding to depict all modalities within an entity pair, thus connecting several relationships derived from diverse modalities. However, this coupling may introduce interference from conflicting information between modalities, as the relationships between modalities for a given entity pair can be contradictory. Moreover, existing Ensemble Inference methods fail to dynamically adjust modal weights based on their differences and importance, despite the varying contributions of different modalities. In this paper, we propose the Multimodal Decouple and Relation-based Ensemble inference (MDRE) model. For each modality, we construct corresponding relationship embeddings and build separate triple representations to avoid interferences among modalities. During the training phase, we employ confidence-constrained training with temperature scaling to alleviate conflicting information in textual and visual modalities. For inference, we utilize the Relation-based Ensemble Inference method to adjust modal weights at the relationship level, thus achieving improved prediction results. Experimental results on two datasets demonstrate that MDRE outperforms existing single-modal and multimodal knowledge graph completion methods in terms of performance. © 2023 IEEE.

关键词： knowledge graph knowledge graph completion multimodal fusion

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：