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

1st IEEE International Conference on Digital Twins and Parallel Intelligence, DTPI 2021

作者： Song, Bing Xiong, Gang Yu, Songmin Ye, Peijun Dong, Xisong Lv, Yisheng Institute of Automation Chinese Academy of Sciences The State Key Laboratory for Management and Control of Complex Systems Beijing China School of Artificial Intelligence University of Chinese Academy of Sciences Beijing China The Guangdong Engineering Research Center of 3D Printing and Intelligent Manufacturing The Cloud Computing Center Chinese Academy of Sciences Beijing China Fraunhofer Institute for Systems and Innovation Research Breslauer Germany

ISBN: (纸本)9781665433372

In the research and application of Agent-Based Models (ABM), parameter calibration is an important content. Based on the existing state transfer equations that link the micro-parameters and macro-states of the multi-agent system, this paper further proposes to introduce Reinforcement Learning when calibrating the parameters. The state transfer of the agent after learning is used to calibrate the micro-parameters of ABM, and the interaction between each agent and multiple other agents is expressed as the parameters of the agent. The application case study of population migration demonstrates that our method can achieve high accuracy and low computational complexity. © 2021 IEEE.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

Biofunctionalization-Optimized MoS2-Based Fet Biosensors for the Detection of Tau Protein

SSRN

引用

SSRN 2024年

作者： Wen, Xiaohong Zhao, Xuefeng Shan, Xinzhi Lu, Hongliang Gao, Xiumin Zhuang, Songlin Engineering Research Center of Optical Instrument and System Ministry of Education Shanghai Key Lab of Modern Optical System School of Optical-Electrical and Computer Engineering University of Shanghai for Science and Technology 516 Jungong Road Shanghai200093 China State Key Laboratory of High-Performance Ceramics and Superfine Microstructure Shanghai Institute of Ceramics Chinese Academy of Sciences Shanghai200050 China State Key Laboratory of ASIC System Shanghai Institute of Intelligent Electronics & Systems School of Microelectronics Fudan University Shanghai200433 China

Field effect transistor (FET)-based biosensors can accurately quantify changes in weak signals and show excellent performance advantages in the detection of trace biological disease markers. Biological functionalization (biofunctionalization) is an important factor in the fabrication of FET-based biosensors, which directly affects the performance of the biosensor. However, little attention from researchers has been paid to biofunctionalization, which results in uneven performance of biosensors. Herein, MoS2-based FET biosensors are designed and fabricated using four different biofunctionalization methods. The most suitable biofunctionalization method is obtained by comparing the sensing performances of different functionalized MoS2based FET biosensors. Moreover, the working mechanism of the optimized biofunctionalization method is explored. Besides, the biofunctionalization-optimized MoS2-based FET biosensor exhibits excellent sensing performance, achieving sensitive detection of Tau protein in the concentration range of 10-2~103 pg/mL. This study provides a universal and effective strategy for the biofunctionalization optimization of two-dimensional materials-based FET biosensors. © 2024, The Authors. All rights reserved.

关键词： Molybdenum compounds

来源：评论

学校读者我要写书评

暂无评论

A SINS Error Correction Approach Based on Dual-Threshold ZV Detection and Cubature Kalman Filter

A SINS Error Correction Approach Based on Dual-Threshold ZV ...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： Ruijie Xu Shichao Chen Wenqiao Sun Yisheng Lv Jialiang Luo Ying Tang The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences College of Information Science & Technology Beijing University of Chemical Technology Beijing China The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems The Center of National Railway Intelligent Transportation System Engineering and Technology Institute of Automation Chinese Academy of Sciences China Academy of Railway Sciences Corporation Limited Beijing China China Academy of Railway Sciences Corporation Limited Transportation and Economics Research Institute and the Center of National Railway Intelligent Transportation System Engineering and Technology Beijing China The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences Beijing China The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences School of Information Engineering China University of Geosciences Beijing Beijing China Department of Electrical and Computer Engineering Rowan University Glassboro USA

Global Navigation Satellite systems (GNSS) can provide real-time positioning information for outdoor users, but cannot for indoor scenarios or heavily occluded outdoor scenarios. Strap-down Inertial Navigation System (SINS) are widely used to locate people in complex interior or heavily occluded outdoor scenarios due to its light weight and low power consumption. However, IMU of SINS are noisy, and the sampling data error is large, which is a divergence of the error with time. Therefore, it will generate a positioning accumulation error, which affects the final positioning accuracy. The problem of cumulative IMU errors is usually dealt with by Zero-Velocity Update (ZUPT). The zero-velocity detection part of basic ZUPT method usually uses a single threshold to determine the gait of pedestrian, which often has the problem of gait misjudgment and omission. To address these problems, this paper proposes a composite conditional detection method to solve the problem of misjudgment in the zero-velocity interval. In addition, we redesign the zero-velocity update algorithm and uses the Cubature Kalman filter (CKF) for pedestrian positioning error correction. The experimental results demonstrate that the proposed ZUPT method based on dual-threshold detection can better detect the interval between pedestrian motion and stationery than ones with single threshold. The zero-velocity update algorithm based on CKF has higher performance than conventional EKF and UKF methods, which constrains the cumulative error of SINS to about 0.2% of the whole walking distance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Pyramid Pixel Context Adaption Network for Medical Image Classification with Supervised Contrastive Learning

arXiv

引用

arXiv 2023年

作者： Zhang, Xiaoqing Xiao, Zunjie Wu, Xiao Chen, Yanlin Zhao, Jilu Hu, Yan Liu, Jiang Research Institute of Trustworthy Autonomous Systems Southern University of Science and Technology Shenzhen518055 China Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen518055 China Center for High Performance Computing Shenzhen Key Laboratory of Intelligent Bioinformatics Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen518055 China Guangdong Provincial Key Laboratory of Brain-inspired Intelligent Computation Southern University of Science and Technology Shenzhen518055 China Singapore Eye Research Institute 169856 Singapore

Spatial attention mechanism has been widely incorporated into deep neural networks (DNNs), significantly lifting the performance in computer vision tasks via long-range dependency modeling. However, it may perform poorly in medical image analysis. Unfortunately, existing efforts are often unaware that long-range dependency modeling has limitations in highlighting subtle lesion regions. To overcome this limitation, we propose a practical yet lightweight architectural unit, Pyramid Pixel Context Adaption (PPCA) module, which exploits multiscale pixel context information to recalibrate pixel position in a pixel-independent manner dynamically. PPCA first applies a well-designed cross-channel pyramid pooling to aggregate multiscale pixel context information, then eliminates the inconsistency among them by the well-designed pixel normalization, and finally estimates per pixel attention weight via a pixel context integration. By embedding PPCA into a DNN with negligible overhead, the PPCANet is developed for medical image classification. In addition, we introduce supervised contrastive learning to enhance feature representation by exploiting the potential of label information via supervised contrastive loss. The extensive experiments on six medical image datasets show that PPCANet outperforms state-of-the-art attention-based networks and recent deep neural networks. We also provide visual analysis and ablation study to explain the behavior of PPCANet in the decision-making process. © 2023, CC BY.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Verifying ReLU Neural Networks from a Model Checking Perspective

引用

Journal of computer Science & Technology 2020年第6期35卷 1365-1381页

作者： Wan-Wei Liu Fu Song Tang-Hao-Ran Zhang Ji Wang College of Computer Science National University of Defense TechnologyChangsha 410073China School of Information Science and Technology ShanghaiTech UniversityShanghai 201210China Shanghai Engineering Research Center of Intelligent Vision and Imaging Shanghai 201210China State Key Laboratory for High Performance Computing Changsha 410073China

Neural networks, as an important computing model, have a wide application in artificial intelligence (AI) domain. From the perspective of computer science, such a computing model requires a formal description of its behaviors, particularly the relation between input and output. In addition, such specifications ought to be verified automatically. ReLU (rectified linear unit) neural networks are intensively used in practice. In this paper, we present ReLU Temporal Logic (ReTL), whose semantics is defined with respect to ReLU neural networks, which could specify value-related properties about the network. We show that the model checking algorithm for theΣ2∪Π2 fragment of ReTL, which can express properties such as output reachability, is decidable in EXPSPACE. We have also implemented our algorithm with a prototype tool, and experimental results demonstrate the feasibility of the presented model checking approach.

关键词： model checking rectified linear unit neural(ReLU)network temporal logic

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous Embodied Multi-Agent Collaboration

arXiv

引用

arXiv 2023年

作者： Liu, Xinzhu Guo, Di Liu, Huaping The Department of Computer Science and Technology Tsinghua University Beijing100084 China The State Key Laboratory of Intelligent Technology and Systems Beijing National Research Center for Information Science and Technology Tsinghua University Beijing100084 China The School of Artificial Intelligence Beijing University of Posts and Telecommunications Beijing China

Multi-agent embodied tasks have recently been studied in complex indoor visual environments. Collaboration among multiple agents can improve work efficiency and has significant practical value. However, most of the existing research focuses on homogeneous multi-agent tasks. Compared with homogeneous agents, heterogeneous agents can leverage their different capabilities to allocate corresponding sub-tasks and cooperate to complete complex tasks. Heterogeneous multi-agent tasks are common in real-world scenarios, and the collaboration strategy among heterogeneous agents is a challenging and important problem to be solved. To study collaboration among heterogeneous agents, we propose the heterogeneous multi-agent tidying-up task, in which multiple heterogeneous agents with different capabilities collaborate with each other to detect misplaced objects and place them in reasonable locations. This is a demanding task since it requires agents to make the best use of their different capabilities to conduct reasonable task planning and complete the whole task. To solve this task, we build a heterogeneous multi-agent tidying-up benchmark dataset in a large number of houses with multiple rooms based on ProcTHOR-10K. We propose the hierarchical decision model based on misplaced object detection, reasonable receptacle prediction, as well as the handshake-based group communication mechanism. Extensive experiments are conducted to demonstrate the effectiveness of the proposed model. The project's website and videos of experiments can be found at https://***/. Copyright © 2023, The Authors. All rights reserved.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

MGDefect: A Mask-Guided High-Quality Defect Image Generation Method for Improving Defect Inspection

引用

IEEE Transactions on Multimedia 2025年

作者： Jiang, Xiaoheng Li, Yingjie Yan, Feng Lu, Yang Xu, Changsheng Xu, Mingliang Zhengzhou University School of Computer and Artificial Intelligence Zhengzhou450001 China National Supercomputing Center in Zhengzhou Engineering Research Center of Intelligent Swarm Systems Ministry of Education Zhengzhou450001 China Chinese Academy of Sciences State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Beijing100190 China University of Chinese Academy of Sciences School of Artificial Intelligence Beijing100049 China

Deep learning based defect inspection methods have achieved promising performance, which usually relies on a large number of well-labeled training samples. However, it requires much effort to obtain enough annotated samples especially pixel-level annotations in practical production. Generative adversarial networks (GANs) can be utilized to generate defect samples. However, training GANs typically requires a large amount of defect data and most of them cannot generate defect samples with pixel-level annotations. In this paper, we present a Mask-Guided Defect image generation method, called MGDefect, which can generate high-quality defect samples with pixel-level annotations and effectively improves the performance of downstream tasks. Specifically, MGDefect consists of a Mask-Guided Defect Generation GAN (MGDG-GAN) and a Defect Mask GAN (DM-GAN). MGDG-GAN generates images containing defects with specific locations, shapes, and sizes via mask guidance and the dual discrimination for defects at the region level and image level. DM-GAN aims to generate diverse and rational masks for MGDG-GAN. It also adopts region-level and image-level dual discrimination for masks to generate compatible masks with the target objects. MGDG-GAN mainly focuses on generating local defect regions and DM-GAN specializes in generating masks, which are both trained on limited defect samples and abundant normal samples. Experiments conducted on the MVTec AD, DAGM 2007, and KolektorSDD2 benchmark datasets demonstrate that our method achieves promising results compared with other state-of-the-art approaches. Meanwhile, the generated defect samples significantly improve the performance of defect inspection tasks including classification and segmentation. Specifically, our method achieves KIDx 103/IS scores of 48.35/2.27 on MVTec AD, 15.37/2.44 on DAGM 2007, and 19.70/2.01 on KolektorSDD2. Furthermore, our method improves mIoU by 10.59%, 2.20%, and 2.17% on these datasets, respectively, using U-Net

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

Decentralized and Lightweight Cross-Chain Transaction Scheme Based on Proxy Re-signature

Decentralized and Lightweight Cross-Chain Transaction Scheme...

引用

IEEE International Conference on Trust, Security and Privacy in computing and Communications (TrustCom)

作者： Huiying Zou Jia Duan Xi Liu Wei Ren Tao Li Xianghan Zheng Kim-Kwang Raymond Choo School of Computer Science China University of Geosciences Wuhan China The Third Surveying and Mapping Institute of Hunan Province Hunan Engineering Research Center of Geographic Information Security and Application Hunan China Key Laboratory of Data Protection and Intelligent Management Sichuan University Ministry of Education China State Key Laboratory of Geo-Information Engineering and Key Laboratory of Surveying and Mapping Science and Geospatial Information Technology of MNR CASM Beijing China College of Computer and Big Data Fuzhou University School of Information and Intelligent Engineering Sanya College China Department of Information Systems and Cyber Security University of Texas at San Antonio San Antonio USA

ISBN: (数字)9798331506209

ISBN: (纸本)9798331506216

With the widespread application of digital assets and the rapid development of blockchain technology, achieving secure and efficient transactions between different blockchain networks has become an urgent challenge. Existing cross-chain methods impose limitations, e.g., hash lock technology exhibits low scalability, side-chain technology is overly complex, and notary schemes pose centralization risks. In order to address these issues, we propose a cross-chain transaction solution based on proxy re-signature technology. To tackle the centralization concerns, we employ proxy re-signature technology to decentralize the authority of notaries among transaction participants, minimizing the potential for centralization at a low cost. We further present an extended scheme that can guarantee more requirements such as higher transaction amount and shorter transaction time. Furthermore, we analyze and compare the signature technologies used in the proposed solution and provide a systematic proof of our approach’s security.

关键词： Privacy Systematics Costs Scalability Blockchains Security

来源：评论

学校读者我要写书评

暂无评论

Adaptive Backdoor Attacks with Reasonable Constraints on Graph Neural Networks

arXiv

引用

arXiv 2025年

作者： Dong, Xuewen Li, Jiachen Li, Shujun You, Zhichao Qu, Qiang Kholodov, Yaroslav Shen, Yulong School of Computer Science and Technology Xidian University The Engineering Research Center of Blockchain Technology Application and Evaluation Ministry of Education China The Shaanxi Key Laboratory of Blockchain and Secure Computing Xi’an710071 China University of Kent CanterburyCT2 7NP United Kingdom Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences China Intelligent Transportation Systems Lab Innopolis University Innopolis Russia School of Computer Science and Technology Xidian University China The Shaanxi Key Laboratory of Network and System Security Xi’an710071 China

Recent studies show that graph neural networks (GNNs) are vulnerable to backdoor attacks. Existing backdoor attacks against GNNs use fixed-pattern triggers and lack reasonable trigger constraints, overlooking individual graph characteristics and rendering insufficient evasiveness. To tackle the above issues, we propose ABARC, the first Adaptive Backdoor Attack with Reasonable Constraints, applying to both graph-level and node-level tasks in GNNs. For graph-level tasks, we propose a subgraph backdoor attack independent of the graph’s topology. It dynamically selects trigger nodes for each target graph and modifies node features with constraints based on graph similarity, feature range, and feature type. For node-level tasks, our attack begins with an analysis of node features, followed by selecting and modifying trigger features, which are then constrained by node similarity, feature range, and feature type. Furthermore, an adaptive edge-pruning mechanism is designed to reduce the impact of neighbors on target nodes, ensuring a high attack success rate (ASR). Experimental results show that even with reasonable constraints for attack evasiveness, our attack achieves a high ASR while incurring a marginal clean accuracy drop (CAD). When combined with the state-of-the-art defense randomized smoothing (RS) method, our attack maintains an ASR over 94%, surpassing existing attacks by more than 7%. Copyright © 2025, The Authors. All rights reserved.

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

A Novel Deep Learning Approach Featuring Graph-Based Algorithm for Cell Segmentation and Tracking

A Novel Deep Learning Approach Featuring Graph-Based Algorit...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Keliang Zhao Jovial Niyogisubizo Linxia Xiao Yi Pan Dongqing Wei Didi Rosiyadi Yanjie Wei Shenzhen Key Laboratory of Intelligent Bioinformatics and Center for High Performance Computing Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China College of Computer Science and Control Engineering Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen China State Key Laboratory of Microbial Metabolism and School of Life Sciences and Biotechnology Shanghai Jiao Tong University Shanghai China Research Center for Artificial Intelligence and Cybersecurity National Research and Innovation Agency Bandung Indonesia

The precise segmentation and tracking of cells in microscopy image sequences play a pivotal role in biomedical research, facilitating the study of tissue, organ, and organism development. However, manual segmentation and tracking of cells is time-consuming and often require professional experiences. Besides, segmenting cells in the images with a low signal-to-noise ratio remains difficult. While deep learning (DL) has become a common method for cell segmentation, few DL- based methods address concurrent cell segmentation and tracking. In this paper, we propose a novel DL approach featuring graph-based tracking for cell segmentation and tracking in microscopy images. We combine Deeplabv3+ for semantic segmentation and ResNet50 for enhanced feature extraction, enabling comprehensive cell detection and instance segmentation. Post-processing, involving non-maxima suppression and outlier detection, refines predictions and produces final segmentation. The tracking method is based on the relative position of graph nodes to track segmented cells, encompassing cell division and apoptosis. We conduct our experiments on the induced pluripotent stem (iPS) cell datasets, and the results show that the segmentation and tracking performance of our method yields superior performance compared to the benchmark models. More specifically, our approach achieved DET values of 0.955 and 0.913, TRA values of 0.951 and 0.906, and SEG values of 0.690 and 0.665 on two iPS dataset videos, respectively. Additionally, the performance assessment encompasses four real microscopy datasets from the Cell Tracking Challenge (CTC). Our method greatly reduces the cost of manual labeling and labor-intensive costs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：