检索结果-南通市图书馆

DMFVAE: miRNA-disease associations prediction based on deep matrix factorization method with variational autoencoder

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第6期18卷 186912-186912页

作者： WEI Pijing WANG Qianqian GAO Zhen CAO Ruifen ZHENG Chunhou Information Materials and Intelligent Sensing laboratory of Anhui Province Institutes of Physical Science and Information Technology Anhui University key lab of Intelligent Computing and Signal Processing of Ministry of Education School of Computer Science and Technology Anhui University key lab of Intelligent Computing and Signal Processing of Ministry of Education School of artificial intelligence Anhui University

MicroRNAs (miRNAs) are closely related to numerous complex human diseases, therefore, exploring miRNA-disease associations (MDAs) can help people gain a better understanding of complex disease mechanism. An increasing number of computational methods have been developed to predict MDAs. However, the sparsity of the MDAs may hinder the performance of many methods. In addition, many methods fail to capture the nonlinear relationships of miRNA-disease network and inadequately leverage the features of network and neighbor nodes. In this study, we propose a deep matrix factorization model with variational autoencoder (DMFVAE) to predict potential MDAs. DMFVAE first decomposes the original association matrix and the enhanced association matrix, in which the enhanced association matrix is enhanced by self-adjusting the nearest neighbor method, to obtain sparse vectors and dense vectors, respectively. Then, the variational encoder is employed to obtain the nonlinear latent vectors of miRNA and disease for the sparse vectors, and meanwhile, node2vec is used to obtain the network structure embedding vectors of miRNA and disease for the dense vectors. Finally, sample features are acquired by combining the latent vectors and network structure embedding vectors, and the final prediction is implemented by convolutional neural network with channel attention. To evaluate the performance of DMFVAE, we conduct five-fold cross validation on the HMDD v2.0 and HMDD v3.2 datasets and the results show that DMFVAE performs well. Furthermore, case studies on lung neoplasms, colon neoplasms, and esophageal neoplasms confirm the ability of DMFVAE in identifying potential miRNAs for human diseases.

关键词： miRNA-disease association deep matrix factorization self-adjusted nearest neighbor variational encoder network structure

Outlier Robust Feature Correspondence by Learning Based Matching Process

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2024年第4期37卷 1351-1367页

作者： YANG Xu ZENG Shaofeng LIU Zhiyong State key laboratory of Multimodal artificial intelligence Systems Institute of Automation of Chinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100190China

Feature correspondence is a crucial aspect of various computer vision and robot vision *** traditional optimization-based matching techniques,researchers have recently adopted a learning-based approach for matching,but these methods face challenges in dealing with outlier *** paper presents an outlier robust feature correspondence method that employs a pruned attentional graph neural network and a matching layer to address the outlier ***,the authors introduce a modified cross-entropy matching loss to handle the outlier *** a result,the proposed method significantly enhances the performance of learning-based matching algorithms in the presence of outlier *** experiments confirm the effectiveness of the proposed approach.

关键词： Feature correspondence graph neural network optimal transport problem pointmatching

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.

关键词： Cloud computing Behavioral sciences Reliability Formal verification

A Framework for Enhancing Privacy and Anonymity in Blockchain-Enabled IoT Devices

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第3期78卷 4263-4282页

作者： Muhammad Saad Muhammad Raheel Bhutta Jongik Kim Tae-Sun Chung Department of artificial intelligence Ajou UniversitySuwon443-749Korea Department of Electrical and Computer Engineering University of Utah Asia CampusIncheon21985Korea Department of artificial intelligence Chungnam National UniversityDaejeon34134Korea

With the increase in IoT(Internet of Things)devices comes an inherent challenge of *** the world today,privacy is the prime concern of every *** one’s privacy and keeping anonymity throughout the system is a desired functionality that does not come without inevitable trade-offs like scalability and increased complexity and is always exceedingly difficult to *** challenge is keeping confidentiality and continuing to make the person innominate throughout the *** address this,we present our proposed architecture where we manage IoT devices using blockchain *** proposed architecture works on and off blockchain integrated with the closed-circuit television(CCTV)security camera fixed at the rental *** this framework,the CCTV security camera feed is redirected towards the owner and renter based on the smart contract *** entity(owner or renter)can see the CCTV security camera feed at one *** is no third-party dependence except for the CCTV security camera deployment *** contributions include the proposition of framework architecture,a novel smart contract algorithm,and the modification to the ring signatures leveraging an existing cryptographic *** are made based on different systems’security and key management *** an empirical study,our proposed algorithm performed better in key generation,proof generation,and verification *** comparing similar existing schemes,we have shown the proposed architectures’*** now,we have developed this system for a specific area in the real ***,this system is scalable and applicable to other areas like healthcare monitoring systems,which is part of our future work.

关键词： Privacy anonymity blockchain IoT smart contracts

Security and Privacy in Solar Insecticidal Lamps Internet of Things:Requirements and Challenges

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 58-73页

作者： Qingsong Zhao Lei Shu Kailiang Li Mohamed Amine Ferrag Ximeng Liu Yanbin Li the College of artificial intelligence Nanjing Agricultural UniversityNanjing 210031 the State key laboratory for Novel Software Technology Nanjing UniversityNanjing 210023 the State key laboratory of Cryptology Beijing 100878China IEEE the School of Engineering University of LincolnLincoln LN67TSUK the artificial intelligence and Digital Science Research Center Technology Innovation InstituteMasdar City 9639UAE the College of Computer and Data Science Fuzhou UniversityFuzhou 350108China

Solar insecticidal lamps(SIL) can effectively control pests and reduce the use of pesticides. Combining SIL and Internet of Things(IoT) has formed a new type of agricultural IoT,known as SIL-IoT, which can improve the effectiveness of migratory phototropic pest control. However, since the SIL is connected to the Internet, it is vulnerable to various security *** issues can lead to serious consequences, such as tampering with the parameters of SIL, illegally starting and stopping SIL,etc. In this paper, we describe the overall security requirements of SIL-IoT and present an extensive survey of security and privacy solutions for SIL-IoT. We investigate the background and logical architecture of SIL-IoT, discuss SIL-IoT security scenarios, and analyze potential attacks. Starting from the security requirements of SIL-IoT we divide them into six categories, namely privacy, authentication, confidentiality, access control, availability,and integrity. Next, we describe the SIL-IoT privacy and security solutions, as well as the blockchain-based solutions. Based on the current survey, we finally discuss the challenges and future research directions of SIL-IoT.

关键词： Challenges Internet of Things(IoT) privacy and security security requirements solar insecticidal lamps(SIL)

A CSP-based retraining framework for motor imagery based brain-computer interfaces

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第8期67卷 349-350页

作者： Xue JIANG Lubin MENG Xinru CHEN Dongrui WU key laboratory of Image Processing and Intelligent Control School of Artificial Intelligence and AutomationHuazhong University of Science and Technology Shenzhen Huazhong University of Science and Technology Research Institute

Motor imagery(MI) is a classic paradigm of electroencephalogram(EEG)-based brain-computer interfaces(BCIs). It entails individuals mentally imagining the movement of a body part without physically performing it. EEG s... 详细信息

关键词： Classification (of information)

Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 240-248页

作者： Dan You Shouguang Wang IEEE the School of Information and Electronic Engineering Sussex Artificial Intelligence InstituteZhejiang Gongshang UniversityHangzhou 310018China

In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.

关键词： Cyber-attacks cyber-physical system(CPS) liveness non-deterministic supervisors Petri net(PN)

Semantic segmentation via pixel-to-center similarity calculation

在线全文

学校读者我要写书评

暂无评论

CAAI Transactions on intelligence Technology 2024年第1期9卷 87-100页

作者： Dongyue Wu Zilin Guo Aoyan Li Changqian Yu Nong Sang Changxin Gao National key laboratory of Science and Technology on Multispectral Information Processing School of Artificial Intelligence and AutomationHuazhong University of Science and TechnologyWuhanChina Meituan Inc. BeijingChina

Since the fully convolutional network has achieved great success in semantic segmentation,lots of works have been proposed to extract discriminative pixel ***,the authors observe that existing methods still suffer from two typical challenges:(i)The intra-class feature variation between different scenes may be large,leading to the difficulty in maintaining the consistency between same-class pixels from different scenes;(ii)The inter-class feature distinction in the same scene could be small,resulting in the limited performance to distinguish different classes in each *** authors first rethink se-mantic segmentation from a perspective of similarity between pixels and class *** weight vector of the segmentation head represents its corresponding semantic class in the whole dataset,which can be regarded as the embedding of the class ***,the pixel-wise classification amounts to computing similarity in the final feature space between pixels and the class *** this novel view,the authors propose a Class Center Similarity(CCS)layer to address the above-mentioned challenges by generating adaptive class centers conditioned on each scenes and supervising the similarities between class *** CCS layer utilises the Adaptive Class Center Module to generate class centers conditioned on each scene,which adapt the large intra-class variation between different *** designed Class Distance Loss(CD Loss)is introduced to control both inter-class and intra-class distances based on the predicted center-to-center and pixel-to-center ***,the CCS layer outputs the processed pixel-to-center similarity as the segmentation *** experiments demonstrate that our model performs favourably against the state-of-the-art methods.

关键词： computer vision deep neural networks image segmentation scene understanding

The study of lithographic variation in resistive random access memory

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Semiconductors 2024年第5期45卷 69-79页

作者： Yuhang Zhang Guanghui He Feng Zhang Yongfu Li Guoxing Wang Department of Micro-Nano Electronics Shanghai Jiao Tong UniversityShanghai 200240China MoE key lab of artificial intelligence Shanghai Jiao Tong UniversityShanghai 200240China Institute of Microelectronics Chinese Academy of SciencesBeijing 100029China

Reducing the process variation is a significant concern for resistive random access memory(RRAM).Due to its ultrahigh integration density,RRAM arrays are prone to lithographic variation during the lithography process,introducing electrical variation among different RRAM *** this work,an optical physical verification methodology for the RRAM array is developed,and the effects of different layout parameters on important electrical characteristics are systematically *** results indicate that the RRAM devices can be categorized into three clusters according to their locations and lithography *** read resistance is more sensitive to the locations in the array(~30%)than SET/RESET voltage(<10%).The increase in the RRAM device length and the application of the optical proximity correction technique can help to reduce the variation to less than 10%,whereas it reduces RRAM read resistance by 4×,resulting in a higher power and area *** such,we provide design guidelines to minimize the electrical variation of RRAM arrays due to the lithography process.

关键词： layout lithography process variation resistive random access memory