检索结果-南通市图书馆

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 loss.Formal 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

A Novel Predictive Model for Edge Computing Resource Scheduling Based on Deep Neural Network

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

computer Modeling in Engineering & sciences 2024年第4期139卷 259-277页

作者： Ming Gao Weiwei Cai Yizhang Jiang Wenjun Hu Jian Yao Pengjiang Qian school of artificial intelligence and computer science Jiangnan UniversityWuxi214122China The Center for Intelligent Systems and Applications Research School of Artificial Intelligence and Computer ScienceJiangnan UniversityWuxi214122China school of Information Engineering Huzhou UniversityHuzhou313000China

Currently,applications accessing remote computing resources through cloud data centers is the main mode of operation,but this mode of operation greatly increases communication latency and reduces overall quality of service(QoS)and quality of experience(QoE).Edge computing technology extends cloud service functionality to the edge of the mobile network,closer to the task execution end,and can effectivelymitigate the communication latency problem.However,the massive and heterogeneous nature of servers in edge computing systems brings new challenges to task scheduling and resource management,and the booming development of artificial neural networks provides us withmore powerfulmethods to alleviate this limitation.Therefore,in this paper,we proposed a time series forecasting model incorporating Conv1D,LSTM and GRU for edge computing device resource scheduling,trained and tested the forecasting model using a small self-built dataset,and achieved competitive experimental results.

关键词： Edge computing resource scheduling predictive models

Feature-Grounded Single-Stage Text-to-Image Generation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Tsinghua science and Technology 2024年第2期29卷 469-480页

作者： Yuan Zhou Peng Wang Lei Xiang Haofeng Zhang school of artificial intelligence Nanjing University of Information Science and TechnologyNanjing 210044China school of computer science and Engineering Nanjing University of Science and TechnologyNanjing 210094China

Recently,Generative Adversarial Networks(GANs)have become the mainstream text-to-image(T2I)framework.However,a standard normal distribution noise of inputs cannot provide sufficient information to synthesize an image that approaches the ground-truth image distribution.Moreover,the multistage generation strategy results in complex T2I applications.Therefore,this study proposes a novel feature-grounded single-stage T2I model,which considers the“real”distribution learned from training images as one input and introduces a worst-case-optimized similarity measure into the loss function to enhance the model's generation capacity.Experimental results on two benchmark datasets demonstrate the competitive performance of the proposed model in terms of the Frechet inception distance and inception score compared to those of some classical and state-of-the-art models,showing the improved similarities among the generated image,text,and ground truth.

关键词： text-to-image(T2I) feature-grounded single-stage generation Generative Adversarial Network(GAN)

Retrieval-and-alignment based large-scale indoor point cloud semantic segmentation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第4期67卷 164-180页

作者： Zongyi XU Xiaoshui HUANG Bo YUAN Yangfu WANG Qianni ZHANG Weisheng LI Xinbo GAO school of computer science and Technology Chongqing University of Posts and Telecommunications Chongqing Institute for Brain and intelligence Guangyang Bay Laboratory 3. Shanghai Artificial Intelligence Laboratory school of Electronic Engineering and computer science Queen Mary University of London

Current methods for point cloud semantic segmentation depend on the extraction of descriptive features. However, unlike images, point clouds are irregular and often lack texture information, making it demanding to extract discriminative features. In addition, noise, outliers, and uneven point distribution are commonly present in point clouds, which further complicates the segmentation task. To address these problems, a novel architecture is proposed for direct and accurate large-scale point cloud segmentation based on point cloud retrieval and alignment. The proposed approach involves using a feature-based point cloud retrieval method for searching for reference point clouds with annotations from a dataset. In the following segmentation stage, an overlap-based point cloud registration method has been developed to align the target and reference point clouds. For accurate and robust alignment, an overlap region estimation module is trained to locate the optimal overlap region between two pieces of point clouds in a coarse-to-fine manner. In the detected overlap region, the global and local features of the points are extracted and combined for featuremetric registration to obtain accurate transformation parameters between the target and reference point clouds. After alignment, the annotated segmentation of the reference is transferred to the target point clouds to obtain accurate segmentation results. Extensive experiments are conducted to show that the developed method outperforms the state-of-the-art approaches in terms of both accuracy and robustness against noise and outliers.

关键词： point cloud semantic segmentation large-scale indoor point clouds point cloud alignment overlap estimation label transfer

Orbital angular momentum-mediated machine learning for high-accuracy mode-feature encoding

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Light(science & Applications) 2024年第3期13卷 466-477页

作者： Xinyuan Fang Xiaonan Hu Baoli Li Hang Su Ke Cheng Haitao Luan Min Gu Institute of Photonic Chips University of Shanghai for Science and TechnologyShanghai 200093China Centre for artificial-intelligence Nanophotonics School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and TechnologyShanghai 200093China

Machine learning with optical neural networks has featured unique advantages of the information processing including high speed,ultrawide bandwidths and low energy consumption because the optical dimensions(time,space,wavelength,and polarization)could be utilized to increase the degree of freedom.However,due to the lack of the capability to extract the information features in the orbital angular momentum(OAM)domain,the theoretically unlimited OAM states have never been exploited to represent the signal of the input/output nodes in the neural network model.Here,we demonstrate OAM-mediated machine learning with an all-optical convolutional neural network(CNN)based on Laguerre-Gaussian(LG)beam modes with diverse diffraction losses.The proposed CNN architecture is composed of a trainable OAM mode-dispersion impulse as a convolutional kernel for feature extraction,and deep-learning diffractive layers as a classifier.The resultant OAM mode-dispersion selectivity can be applied in information mode-feature encoding,leading to an accuracy as high as 97.2%for MNIST database through detecting the energy weighting coefficients of the encoded OAM modes,as well as a resistance to eavesdropping in point-to-point free-space transmission.Moreover,through extending the target encoded modes into multiplexed OAM states,we realize all-optical dimension reduction for anomaly detection with an accuracy of 85%.Our work provides a deep insight to the mechanism of machine learning with spatial modes basis,which can be further utilized to improve the performances of various machine-vision tasks by constructing the unsupervised learning-based auto-encoder.

关键词： polarization mode momentum

Robust Regularization Design of Graph Neural Networks Against Adversarial Attacks Based on Lyapunov Theory

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第3期33卷 732-741页

作者： Wenjie YAN Ziqi LI Yongjun QI school of artificial intelligence Hebei University of Technology school of computer science and Engineering of North China Institute of Aerospace Engineering

The robustness of graph neural networks（GNNs） is a critical research topic in deep learning.Many researchers have designed regularization methods to enhance the robustness of neural networks,but there is a lack of theoretical analysis on the principle of robustness.In order to tackle the weakness of current robustness designing methods,this paper gives new insights into how to guarantee the robustness of GNNs.A novel regularization strategy named Lya-Reg is designed to guarantee the robustness of GNNs by Lyapunov theory.Our results give new insights into how regularization can mitigate the various adversarial effects on different graph signals.Extensive experiments on various public datasets demonstrate that the proposed regularization method is more robust than the state-of-theart methods such as L1-norm,L2-norm,L2-norm,Pro-GNN,PA-GNN and GARNET against various types of graph adversarial attacks.

关键词： Training Deep learning Garnets Robustness Graph neural networks

Joint Sample Position Based Noise Filtering and Mean Shift Clustering for Imbalanced Classification Learning

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua science and Technology 2024年第1期29卷 216-231页

作者： Lilong Duan Wei Xue Jun Huang Xiao Zheng school of computer science and Technology Anhui University of TechnologyMaanshan 243032China Institute of artificial intelligence Hefei Comprehensive National Science CenterHefei 230088China

The problem of imbalanced data classification learning has received much attention.Conventional classification algorithms are susceptible to data skew to favor majority samples and ignore minority samples.Majority weighted minority oversampling technique(MWMOTE)is an effective approach to solve this problem,however,it may suffer from the shortcomings of inadequate noise filtering and synthesizing the same samples as the original minority data.To this end,we propose an improved MWMOTE method named joint sample position based noise filtering and mean shift clustering(SPMSC)to solve these problems.Firstly,in order to effectively eliminate the effect of noisy samples,SPMsC uses a new noise filtering mechanism to determine whether a minority sample is noisy or not based on its position and distribution relative to the majority sample.Note that MWMOTE may generate duplicate samples,we then employ the mean shift algorithm to cluster minority samples to reduce synthetic replicate samples.Finally,data cleaning is performed on the processed data to further eliminate class overlap.Experiments on extensive benchmark datasets demonstrate the effectiveness of SPMsC compared with other sampling methods.

关键词： imbalanced data classification oversampling noise filtering clustering

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Optics-driven drone

science China(Information sciences) 2024年第2期67卷 322-324页

作者： Xuelong LI Guan HUANG Zhigang WANG Bin ZHAO school of artificial intelligence OPtics and Electro Nics (iOPEN)Northwestern Polytechnical University Shanghai artificial intelligence Laboratory

In the field of vicinagearth security, low-altitude flying vehicles such as drones play an indispensable role in aerial remote sensing, intelligent search and rescue, etc. [1]. It can be foreseen that the autonomous and intelligent execution of complex tasks by drones is an inevitable trend for future development.

关键词：

Scene text recognition via dual character counting-aware visual and semantic modeling network

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第3期67卷 313-314页

作者： Ke XIAO Anna ZHU Brian Kenji IWANA Cheng-Lin LIU school of computer science and artificial intelligence Wuhan University of Technology Human Interface Laboratory Kyushu University State Key Laboratory of Multimodal artificial intelligence Systems Institute of AutomationChinese Academy of Sciences school of artificial intelligence University of Chinese Academy of Sciences

Scene text recognition(STR) is drawing increasing attention nowadays due to its wide application in real life. Character counting information, as auxiliary information, has been shown to be effective in boosting text ... 详细信息

关键词： Decoding