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

1st International Symposium on Systems Modelling and Simulation, SMS 2024

作者： Feng, Yuming Samolej, Slawomir Davidrajuh, Reggie School of Computer Science and Engineering Chongqing Three Gorges University Wenzhou China Department Computer and Control Engineering Rzeszow University of Technology Rzeszow Poland Department Electrical Engineering and Computer Science University of Stavanger Stavanger Norway

ISBN: (纸本)9789819646128

The General-purpose Petri Net Simulator (GPenSIM) is a tool for modeling, simulation, and performance analysis of discrete event systems. GPenSIM is specially designed to model real-life industrial systems. Hence, the transitions in GPenSIM represent real-life events, such as machines. However, this induces a problem, namely that an enabled transition consumes tokens from its input places immediately. This act of an enabled transition immediately consuming tokens gives only monetarily visibility to the tokens, which can be a problem for certain cases where we need to see the tokens in their input places for a while. This paper proposes a method to delay an enabled transition ("delayed transitions") so that the tokens it is supposed to consume from its input places will be visible for a while. This paper, after presenting the theory and the method, also presents an application (the cat and mouse problem) of the delayed transitions. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Application Interface for GPenSIM 1st

Application Interface for GPenSIM

引用

1st International Symposium on Systems Modelling and Simulation, SMS 2024

作者： Feng, Yuming Samolej, Slawomir Davidrajuh, Reggie School of Computer Science and Engineering Chongqing Three Gorges University Wenzhou China Department of Computer and Control Engineering Rzeszow University of Technology Rzeszow Poland Department of Electrical Engineering and Computer Science University of Stavanger Stavanger Norway

ISBN: (纸本)9789819646128

The General-purpose Petri Net Simulator (GPenSIM) is a tool used by researchers to model, simulate, and analyze the performance of discrete event systems. Its popularity stems from its simple interface, extensibility, and compatibility with the MATLAB platform. This paper focuses on the crucial role of GPenSIM in Petri Net model-based software-to-software and software-to-hardware access and control, highlighting unique features and capabilities in its application interface. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

GCAT: Gated Convolutional Attention Transformer for Efficient Image Super-Resolution

GCAT: Gated Convolutional Attention Transformer for Efficien...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Zhijian Wu Kaiyi Feng Dingjiang Huang School of Data Science and Engineering East China Normal University Shanghai China School of Control and Computer Engineering North China Electric Power University Hebei China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

Recently, Transformer-based methods have achieved impressive performance in many computer vision tasks (e.g., image super-resolution (SR)) due to the advantages of long-range modeling. However, the computational cost requirement renders these methods unsuitable on resource-constrain devices, especially for image SR tasks involving high-resolution images. In this paper, we propose a concise and effective Gated Convolutional Attention Unit (GCAU) that uses cheap convolutional operations. Specifically, GCAU consists of Convolutional Transposed Attention (CTA) and Locally-enhanced Gating (LeG) in parallel. The former allows for efficient modeling of the global relational interactions by calculating cross-covariance across channels dimension, while the latter controls the information flow from the former directing the network to focus on more refined image attributes. Without bells and whistles, we present a simple SR Transformer GCAT by cascading the GCAUs. Extensive experimental results demonstrate that our GCAT achieves state-of-the-art performance among the existing efficient SR methods with significantly less complexity. Especially, GCAT is on average 5× faster than SwinIR-light with comparable performance.

关键词： Legged locomotion Performance evaluation computer vision Convolution Computational modeling Superresolution Logic gates Transformers Speech processing Signal resolution

来源：评论

学校读者我要写书评

暂无评论

A distributed algorithm with network-independent step-size and event-triggered mechanism for economic dispatch problem

A distributed algorithm with network-independent step-size a...

引用

作者： Chen, Baitong Yang, Jianhua Lu, Wei Pedrycz, Witold Sun, Changhai School of Control Science and Engineering Dalian University of Technology Dalian China Department of Electrical and Computer Engineering University of Alberta EdmontonABT6G 2R3 Canada Institute of Systems Engineering Macau University of Science and Technology SARTaipa 999078 China Research Center of Performance and Productivity Analysis Istinye University Istanbul Turkey School of Electrical Engineering Dalian University of Technology Dalian China

The economic dispatch problem (EDP) poses a significant challenge in energy management for modern power systems, particularly as these systems undergo expansion. This growth escalates the demand for communication resources and increases the risk of communication failures. To address this challenge, we propose a distributed algorithm with network-independent step sizes and an event-triggered mechanism, which reduces communication requirements and enhances adaptability. Unlike traditional methods, our algorithm uses network-independent step sizes derived from each agent's local cost functions, thus eliminating the need for detailed network topology knowledge. The theoretical derivation identifies a range of step size values that depend solely on the objective function's strong convexity and the gradient's Lipschitz continuity. Furthermore, the proposed algorithm is shown to achieve a linear convergence rate, assuming the event triggering threshold criteria are met for linear convergence. Numerical experiments further validate the effectiveness and advantages of our proposed distributed algorithm by demonstrating its ability to maintain good convergence characteristics while reducing communication frequency. © 2024 John Wiley & Sons Ltd.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Single Domain Generalization in Vibration Damper Detection Using Frequency Domain Attention and Scale-Invariant Learning

引用

IEEE Transactions on Power Delivery 2025年

作者： Yang, Ke Zhao, Xiaoyu Ge, Xinyu Hu, Zhedong Wang, Qianming Zhai, Yongjie North China Electric Power University School of Control and Computer Engineering Baoding071003 China Baoding Key Laboratory of Intelligent Robot Perception and Control in Electric Power System Baoding China

Improving the generalization capability of vibration damper detection model for transmission lines is essential for its application in complex power scenarios. Variations in vibration damper types, and unmanned aerial vehicle(UAV) shooting distances lead to domain shift, which impacts detection performance. This paper proposes a single domain generalization (SDG) detection method for vibration dampers that integrates structural knowledge to guide the model in extracting domaininvariant features (DIF), combining frequency domain attention (FDA) and scale-invariant learning (SIL). Different types of vibration dampers exhibit combinatory structural invariance, while dampers of varying scales demonstrate aspect ratio invariance. First, a learnable weight matrix is applied to the amplitude spectrum after Fourier transformation, preserving low-frequency information while attenuating high-frequency components. This approach retains structural features and reduces morphological differences. Next, SIL is introduced to emphasize aspect ratios during bounding box regression, improving the model's capacity to handle scale variations and enhancing feature generalization. Experimental results demonstrate that without significantly increasing the number of parameters and model size, the proposed method achieves AP50 of 60.8% and 77.1% in the two target domains, respectively, representing increases of 3.3% and 4.0% over the original model, thus offering strong support for the practical application of intelligent detection models. © 1986-2012 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

A Novel Sky-Aware Dehazing Approach for Outdoor Autonomous Systems

A Novel Sky-Aware Dehazing Approach for Outdoor Autonomous S...

引用

Software engineering and computer Science (CSECS), International Conference on

作者： Xiaoyan Wu Dali Xu Fangfa Fu Bing Yang Hongyang Liu Kanglong Liu Xiyu Ding Chao Wu Na Niu School of Computer and Control Engineering Northeast Forestry University Harbin China School of Astronautics Harbin Institute of Technology Harbin China School of Computer Science Harbin University of Science and Technology Harbin China

ISBN: (数字)9798331522216

ISBN: (纸本)9798331522223

Clear outdoor images are essential for autonomous driving and accurate target detection, especially in haze. The majority of algorithms are unable to adequately address the issue of dehazing, resulting in a range of distortions, particularly in the sky area. This paper proposes an advanced dehazing algorithm for enhancing sky-area visuals (ESV). We segment the image into sky and non-sky areas, with atmospheric light levels being determined within the sky area. To enhance the recovery of the sky region, we suggest fine-tuning the sky's transmission to a predetermined constant value. Ultimately, the dehazed image is retrieved utilizing the atmospheric scattering model. Extensive experiments have shown that our proposed algorithm outperforms alternative methods, increasing PSNR by up to 1.3733%, 1.6360%, 2.4169%, 0.9512%, SSIM by up to 4.8995%, 0.6281%, 6.5335%, 8.7165%, enhancing the visuals of sky-area, compared to DCP, CAP, HC-CEP and AOD-Net.

关键词： Visualization Atmospheric modeling Software algorithms Scattering Reinforcement learning Object detection Distortion Rendering (computer graphics) Robustness Software engineering

来源：评论

学校读者我要写书评

暂无评论

Climate Downscaling Using Neural Operator: Spatiotemporal Multimodal Fusion Operator with State-Query Coupled Kernel

Climate Downscaling Using Neural Operator: Spatiotemporal Mu...

引用

2025 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2025

作者： Zhang, Haodi Wang, Yichi Jian, Yifan Jiang, Jiahui Bai, Zhaohai Ma, Lin College of Computer Science and Software Engineering Shenzhen University China Center for Agricultural Resources Research Institute of Genetic and Developmental Biology Chinese Academy of Sciences China State Key Laboratory of Pollution Control and Resource Reuse School of the Environment Nanjing University China

ISBN: (纸本)9798350368741

Climate downscaling is crucial for detailed small-scale analysis and for acquiring climate data in regions without weather stations. Operator learning has proven potential for this task. However, several challenges remain in operator learning, such as multimodal fusion, spatiotemporal fusion and input state and query adaptation. To address these challenges, we propose a Spatiotemporal Multimodal Fusion Operator with a State-Query Coupled Kernel (SMCK). This framework includes a latent space fusion encoder that encodes climate variables using position-wise multihead attention for multimodal fusion and integrates historical information to generate robust and precise representation. Additionally, we introduce a state-query coupled kernel that combines radial basis functions and discrete fourier encoding to enhance query location representation, while also adapting to the state to obtain the coupled kernel. Extensive experiments demonstrate that our method achieves state-ofthe-art performance and provides strong support for climate downscaling and the planning of climate-related strategies. © 2025 IEEE.

关键词： Climate downscaling Deep Learning Multimodal fusion Operator learning Time series forecasting

来源：评论

学校读者我要写书评

暂无评论

High Efficiency Wiener Filter-based Point Cloud Quality Enhancement for MPEG G-PCC

引用

IEEE Transactions on Circuits and Systems for Video Technology 2025年

作者： Wei, Yuxuan Wang, Zehan Guo, Tian Liu, Hao Shen, Liquan Yuan, Hui Shandong University School of Control Science and Engineering Jinan250061 China Ministry of Education Key Laboratory of Machine Intelligence and System Control Jinan250061 China Yantai University School of Computer and Control Engineering Yantai264005 China Shanghai University Shanghai Institute for Advanced Communication and Data Science Shanghai200072 China

Point clouds, which directly record the geometry and attributes of scenes or objects by a large number of points, are widely used in various applications such as virtual reality and immersive communication. However, due to the huge data volume and unstructured geometry, efficient compression of point clouds is very crucial. The Moving Picture Expert Group is establishing a geometry-based point cloud compression (G-PCC) standard for both static and dynamic point clouds in recent years. Although lossy compression of G-PCC can achieve a very high compression ratio, the reconstruction quality is relatively low, especially at low bitrates. To mitigate this problem, we propose a high efficiency Wiener filter that can be integrated into the encoder and decoder pipeline of G-PCC to improve the reconstruction quality as well as the rate-distortion performance for dynamic point clouds. Specifically, we first propose a basic Wiener filter, and then improve it by introducing coefficients inheritance and variance-based point classification for the Luma component. Besides, to reduce the complexity of the nearest neighbor search during the application of the Wiener filter, we also propose a Morton code-based fast nearest neighbor search algorithm for efficient calculation of filter coefficients. Experimental results demonstrate that the proposed method can achieve average Bjøntegaard delta rates of -6.1%, -7.3%, and -8.0% for Luma, Chroma Cb, and Chroma Cr components, respectively, under the condition of lossless-geometry-lossy-attributes configuration compared to the latest G-PCC encoding platform (i.e., geometry-based solid content test model version 7.0 release candidate 2) by consuming affordable computational complexity. © 2025 IEEE. All rights reserved.

关键词： Wiener filtering

来源：评论

学校读者我要写书评

暂无评论

FusionGCNN: An IoT-Based Novel Spatiotemporal Graph Convolutional Network for ECG Arrhythmia Detection

引用

IEEE Internet of Things Journal 2025年

作者： Iqbal, Saeed Zhong, Xiaopin Alhussein, Musaed Wu, Zongze Aurangzeb, Khursheed Liu, Weixiang Zhang, Yudong Shenzhen University College of Mechatronics and Control Engineering Shenzhen518060 China King Saud University College of Computer and Information Sciences Department of Computer Engineering Riyadh11543 Saudi Arabia Henan Polytechnic University School of Computer Science and Technology Henan Jiaozuo China

Electrocardiogram (ECG) arrhythmia identification is critical for early cardiovascular disease diagnosis and monitoring in Internet of Things (IoT) industry. Still, it is difficult due to complicated waveforms, individual variability, and the requirement for real-time analysis on resource-limited equipment. Traditional approaches sometimes fail to detect complicated spatial-temporal correlations in ECG data, limiting their efficiency in identifying arrhythmias. Furthermore, deploying these models in tinyML contexts, such as edge and IoT devices limited by large computational and memory needs, emphasizes the importance of lightweight, accurate models for real-time applications. Our suggested solution consists of three main components: SigNet, DualGCNN, and FusionGCNN. SigNet uses Separable Convolution layers to effectively extract local spatial features, making it ideal for IoT-based healthcare deployment. DualGCNN combines dual Graph Convolutional layers with spatial attention, allowing the model to capture local and global dependencies for better classification of arrhythmia. FusionGCNN combines the capabilities of GCN and SigNet with an effective feature fusion technique to improve feature representation while remaining computationally economical. Ablation tests show that FusionGCNN improves performance considerably, with greater accuracy (0.9641), lower training error (0.0004), and a higher F1 Score (0.9645) across a variety of ECG patterns. FusionGCNN, with its low training error, high stability, and computational economy, is well-suited to tinyML requirements, allowing implementation on edge and IoT devices for scalable, real-time ECG monitoring in healthcare. © 2014 IEEE.

关键词： Electrocardiograms

来源：评论

学校读者我要写书评

暂无评论

Safe Multi-Robotic Arm Interaction via 3D Convex Shapes

arXiv

引用

arXiv 2025年

作者： Kaypak, Ali Umut Wei, Shiqing Krishnamurthy, Prashanth Khorrami, Farshad Control/Robotics Research Laboratory Electrical and Computer Engineering Department Tandon School of Engineering New York University BrooklynNY11201 United States

Inter-robot collisions pose a significant safety risk when multiple robotic arms operate in close proximity. We present an online collision avoidance methodology leveraging 3D convex shape-based High-Order control Barrier Functions (HOCBFs) to address this issue. While prior works focused on using control Barrier Functions (CBFs) for human–robotic arm and single-arm collision avoidance, we explore the problem of collision avoidance between multiple robotic arms operating in a shared space. In our methodology, we utilize the proposed HOCBFs as centralized and decentralized safety filters. These safety filters are compatible with any nominal controller and ensure safety without significantly restricting the robots’ workspace. A key challenge in implementing these filters is the computational overhead caused by the large number of safety constraints and the computation of a Hessian matrix per constraint. We address this challenge by employing numerical differentiation methods to approximate computationally intensive terms. The effectiveness of our method is demonstrated through extensive simulation studies and real-world experiments with Franka Research 3 robotic arms. © 2025, CC BY.

关键词： Robotic arms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：