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

A new SAT Encoding Scheme for Exactly-one Constraints

学校读者我要写书评

暂无评论

Journal of Physics: Conference Series 2019年第1期1288卷

作者： Jiatong Cai Yating Su Xixi Yang Jionghao Min Yong Lai College of Software Jilin University Changchun P.R. China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun P.R. China

Exactly-one constraints have comprehensive applications for the fields of artificial intelligence and operations research. For many encoded SAT problems generated by the existing encoding schemes of exactly-one constraints, the state-of-the-art knowledge compilers cannot complete compilation. In this paper, we propose a new encoding scheme of exactly-one constraints. We introduce two-dimensional auxiliary variables (represented as a matrix) to denote the constraint that exactly one of some variables can be assigned as true. The clauses generated by our scheme is significantly less than those generated by three other existing encoding schemes. The experimental results on the exact cover problems show that the encoded CNF formulas generated by our scheme requires less compilation time, compared with the other three coding schemes.

关键词：

Distilling Autoregressive Models to Obtain High-Performance Non-Autoregressive Solvers for Vehicle Routing Problems with Faster Inference Speed

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Xiao, Yubin Wang, Di Li, Boyang Wang, Mingzhao Wu, Xuan Zhou, Changliang Zhou, You Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University China Joint NTU-UBC Research Centre of Excellence in Active Living for the Elderly Nanyang Technological University Singapore WeBank-NTU Joint Research Institute on Fintech Nanyang Technological University Singapore School of Computer Science and Engineering Nanyang Technological University Singapore School of System Design and Intelligent Manufacturing Southern University of Science and Technology China

Neural construction models have shown promising performance for Vehicle Routing Problems (VRPs) by adopting either the Autoregressive (AR) or Non-Autoregressive (NAR) learning approach. While AR models produce high-quality solutions, they generally have a high inference latency due to their sequential generation nature. Conversely, NAR models generate solutions in parallel with a low inference latency but generally exhibit inferior performance. In this paper, we propose a generic Guided Non-Autoregressive knowledge Distillation (GNARKD) method to obtain high-performance NAR models having a low inference latency. GNARKD removes the constraint of sequential generation in AR models while preserving the learned pivotal components in the network architecture to obtain the corresponding NAR models through knowledge distillation. We evaluate GNARKD by applying it to three widely adopted AR models to obtain NAR VRP solvers for both synthesized and real-world instances. The experimental results demonstrate that GNARKD significantly reduces the inference time (4∼5× faster) with acceptable performance drop (2∼3%). To the best of our knowledge, this study is first-of-its-kind to obtain NAR VRP solvers from AR ones through knowledge distillation. Copyright © 2023, The Authors. All rights reserved.

关键词： Distillation

Msa-Net: A Medical Image Segmentation Network Based on Spatial Pyramid and Attention Mechanism

学校读者我要写书评

暂无评论

SSRN

SSRN 2023年

作者： Feng, Yuncong Zhu, Xiaoyan Li, Yang Zhang, Xiaoli Lu, Huimin College of Computer Science and Engineering Changchun University of Technology Jilin Changchun130012 China Artificial Intelligence Research Institute Changchun University of Technology Jilin Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Jilin Changchun130012 China Academy for Advanced Interdisciplinary Studies Northeast Normal University Jilin Changchun130024 China Jilin Provincial Smart Health Joint Innovation Laboratory for the New Generation of AI 3000 North Yuanda Avenue Gaoxin North District Changchun130102 China

Medical image segmentation is an important way to assist doctors to accurately diagnose diseases. However, semantic features are difficult to be fully extracted due to the complexity of medical image lesion tissue features (e.g., size, location, and morphology) and the high similarity between the background and the target region. To tackle these problems, we propose a novel medical image segmentation network MSA-Net based on the spatial pyramid and attention mechanism. This technique facilitates the extraction of multi-scale spatial information and the establishment of channel dependencies within images. By incorporating efficient pyramid attention and channel-spatial dual attention modules, the network autonomously focuses on lesion regions while suppressing background interference. Additionally, the SPCA (Spatial Pyramid-Coordinate Attention) module is integrated at the bottleneck layer, enabling the assimilation of larger receptive field information and prioritizing relevant features. This augmentation improves the network's ability to gather both location and channel-based insights. We proceed to evaluate our model qualitatively and quantitatively across four public datasets: ISIC2018, Lung segmentation, Kvasir-SEG, and ISLES2022. The results substantiate the superior performance of our proposed model. © 2023, The Authors. All rights reserved.

关键词： Deep learning

The Discretization for a Special Class of Ideal Projectors

学校读者我要写书评

暂无评论

International Scholarly Research Notices 2012年第1期2012卷

作者： Zhe Li Shugong Zhang Tian Dong Department of Applied Mathematics School of Science Changchun University of Science and Technology Changchun 130022 *** Key Laboratory of Symbolic Computation and Knowledge Engineering (Ministry of Education) School of Mathematics Jilin University Changchun 130012 ***

We focus on a special class of ideal projectors, subspaces, which possesses two classes of D -invariant polynomial subspaces. The first is a classical type, while the second is a new class. With matrix computation, we...

关键词：

UAV-enabled Collaborative Beamforming via Multi-Agent Deep Reinforcement Learning

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Liu, Saichao Sun, Geng Li, Jiahui Liang, Shuang Wu, Qingqing Wang, Pengfei Niyato, Dusit The College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun130012 China The College of Computing and Data Science Nanyang Technological University 639798 Singapore The School of Information Science and Technology Northeast Normal University Changchun130117 China The Department of Electronic Engineering Shanghai Jiao Tong University Shanghai200240 China The School of Computer Science and Technology Dalian University of Technology Dalian116024 China

In this paper, we investigate an unmanned aerial vehicle (UAV)-assistant air-to-ground communication system, where multiple UAVs form a UAV-enabled virtual antenna array (UVAA) to communicate with remote base stations by utilizing collaborative beamforming. To improve the work efficiency of the UVAA, we formulate a UAV-enabled collaborative beamforming multi-objective optimization problem (UCBMOP) to simultaneously maximize the transmission rate of the UVAA and minimize the energy consumption of all UAVs by optimizing the positions and excitation current weights of all UAVs. This problem is challenging because these two optimization objectives conflict with each other, and they are non-concave to the optimization variables. Moreover, the system is dynamic, and the cooperation among UAVs is complex, making traditional methods take much time to compute the optimization solution for a single task. In addition, as the task changes, the previously obtained solution will become obsolete and invalid. To handle these issues, we leverage the multi-agent deep reinforcement learning (MADRL) to address the UCBMOP. Specifically, we use the heterogeneous-agent trust region policy optimization (HATRPO) as the basic framework, and then propose an improved HATRPO algorithm, namely HATRPO-UCB, where three techniques are introduced to enhance the performance. Simulation results demonstrate that the proposed algorithm can learn a better strategy compared with other methods. Moreover, extensive experiments also demonstrate the effectiveness of the proposed techniques. Copyright © 2024, The Authors. All rights reserved.

关键词： Reinforcement learning

Generative AI for Deep Reinforcement Learning: Framework, Analysis, and Use Cases

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Sun, Geng Xie, Wenwen Niyato, Dusit Mei, Fang Kang, Jiawen Du, Hongyang Mao, Shiwen College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China College of Computing and Data Science Nanyang Technological University Singapore639798 Singapore School of Automation Guangdong University of Technology Guangzhou510006 China Department of Electrical and Electronic Engineering The University of Hong Kong 999077 Hong Kong Department of Electrical and Computer Engineering Auburn University Auburn36830 United States

As a form of artificial intelligence (AI) technology based on interactive learning, deep reinforcement learning (DRL) has been widely applied across various fields and has achieved remarkable accomplishments. However, DRL faces certain limitations, including low sample efficiency and poor generalization. Therefore, we present how to leverage generative AI (GAI) to address these issues above and enhance the performance of DRL algorithms in this paper. We first introduce several classic GAI and DRL algorithms and demonstrate the applications of GAI-enhanced DRL algorithms. Then, we discuss how to use GAI to improve DRL algorithms from the data and policy perspectives. Subsequently, we introduce a framework that demonstrates an actual and novel integration of GAI with DRL, i.e., GAI-enhanced DRL. Additionally, we provide a case study of the framework on UAV-assisted integrated near-field/far-field communication to validate the performance of the proposed framework. Moreover, we present several future directions. Finally, the related code is available at: https://***/GAI-enhanced-DRL. Copyright © 2024, The Authors. All rights reserved.

关键词： Deep reinforcement learning

Publisher Correction: Multiple similarly effective solutions exist for biomedical feature selection and classification problems

学校读者我要写书评

暂无评论

Scientific reports 2018年第1期8卷 4218页

作者： Jiamei Liu Cheng Xu Weifeng Yang Yayun Shu Weiwei Zheng Fengfeng Zhou College of Software Jilin University Changchun Jilin 130012 China. College of Computer Science and Technology and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China. College of Software Jilin University Changchun Jilin 130012 China. FengfengZhou@***. College of Computer Science and Technology and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China. FengfengZhou@***.

A correction to this article has been published and is linked from the HTML and PDF versions of this paper. The error has been fixed in the paper.

关键词：

Author Correction: Multiple similarly effective solutions exist for biomedical feature selection and classification problems

学校读者我要写书评

暂无评论

Scientific reports 2018年第1期8卷 838页

作者： Jiamei Liu Cheng Xu Weifeng Yang Yayun Shu Weiwei Zheng Fengfeng Zhou College of Software Jilin University Changchun Jilin 130012 China. College of Computer Science and Technology and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China. College of Software Jilin University Changchun Jilin 130012 China. fengfengzhou@***. College of Computer Science and Technology and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China. fengfengzhou@***.

A correction to this article has been published and is linked from the HTML version of this paper. The error has been fixed in the paper.

关键词：

JC5A: Service Delay Minimization for Aerial MEC-assisted Industrial Cyber-Physical Systems

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Sun, Geng Wu, Jiaxu Sun, Zemin He, Long Wang, Jiacheng Niyato, Dusit Jamalipour, Abbas Mao, Shiwen College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China College of Computing and Data Science Nanyang Technological University Singapore639798 Singapore School of Computer Science and Engineering Nanyang Technological University Singapore639798 Singapore School of Electrical and Computer Engineering The University of Sydney SydneyNSW2006 Australia Department of Electrical and Computer Engineering Auburn University Auburn United States

In the era of the sixth generation (6G) and industrial Internet of Things (IIoT), an industrial cyber-physical system (ICPS) drives the proliferation of sensor devices and computing-intensive tasks. To address the limited resources of IIoT sensor devices, unmanned aerial vehicle (UAV)-assisted mobile edge computing (MEC) has emerged as a promising solution, providing flexible and cost-effective services in close proximity of IIoT sensor devices (ISDs). However, leveraging aerial MEC to meet the delay-sensitive and computation-intensive requirements of the ISDs could face several challenges, including the limited communication, computation and caching (3C) resources, stringent offloading requirements for 3C services, and constrained on-board energy of UAVs. To address these issues, we first present a collaborative aerial MEC-assisted ICPS architecture by incorporating the computing capabilities of the macro base station (MBS) and UAVs. We then formulate a service delay minimization optimization problem (SDMOP). Since the SDMOP is proved to be an NP-hard problem, we propose a joint computation offloading, caching, communication resource allocation, computation resource allocation, and UAV trajectory control approach (JC5A). Specifically, JC5A consists of a block successive upper bound minimization method of multipliers (BSUMM) for computation offloading and service caching, a convex optimization-based method for communication and computation resource allocation, and a successive convex approximation (SCA)-based method for UAV trajectory control. Moreover, we theoretically prove the convergence and polynomial complexity of JC5A. Simulation results demonstrate that the proposed approach can achieve superior system performance compared to the benchmark approaches and algorithms. Copyright © 2024, The Authors. All rights reserved.

关键词： Convex optimization