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

arXiv 2025年

作者： Li, Sirui Bragone, Federica Barreau, Matthieu Laneryd, Tor Morozovska, Kateryna Division of Decision and Control Systems Department of Intelligent Systems KTH Royal Institute of Technology Stockholm Sweden Division of Computational Science and Technology Department of Computer Science KTH Royal Institute of Technology Stockholm Sweden Hitachi Energy Research Västerås Sweden

Our work aims at simulating and predicting the temperature conditions inside a power transformer using Physics-Informed Neural Networks (PINNs). The predictions obtained are then used to determine the optimal placement for temperature sensors inside the transformer under the constraint of a limited number of sensors, enabling efficient performance monitoring. The method consists of combining PINNs with Mixed Integer Optimization programming to obtain the optimal temperature reconstruction inside the transformer. First, we extend our PINN model for thermal modelling of power transformers to solve the heat diffusion equation from 1D to 2D space. Finally, we construct an optimal sensor placement model inside the transformer that can be applied to problems in 1D and 2D. Copyright © 2025, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Toward a prioritization approach for third-party software library updates

引用

science of computer programming 2025年 246卷

作者： Aburakhia, Abdalrahman Alshayeb, Mohammad Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia Interdisciplinary Research Center for Intelligent Secure Systems King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia

Third-party libraries (TPLs) have been widely used in software development. Recent studies showed that software developers struggle to manage the dependencies between third-party libraries for many reasons, such as unknown update efforts and the lack of awareness about related security issues. To overcome these limitations, in this paper, we propose a TPL update prioritization approach, which provides valuable insights for mobile app developers to help improve the decision-making process. We investigate mobile app developers’ behavior while updating TPLs through a survey with 39 practitioners. The results clearly show the need for a prioritization approach. To gain more insight into TPL, we propose five TPL categories (Compatibility, Accessibility, Maintenance, Business Value, and Security) and propose metrics to measure the related factors of each category. We utilize the Analytical Hierarchy Process (AHP) and the Simple Additive Weighting (SAW) methods to rank the libraries for the update and automate the approach via a chatbot. We conducted a case study with 7 participants. Most participants (82 %) found the bot's results useful;moreover, the bot can save software developers around 4 min per task, with an average of 18 s per task compared to 243 s by the baseline. © 2025 Elsevier B.V.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A Learning-Based Iterative Algorithm for AoI-Optimal Trajectory Planning in UAV-Assisted IoT Networks

引用

IEEE Transactions on Wireless Communications 2025年

作者： Huang, Zihao Chen, Hai Gu, Bo Gong, Shimin Su, Zhou Guizani, Mohsen Sun Yat-sen University School of Intelligent Systems Engineering Shenzhen518107 China Xi’an Jiaotong University School of Cyber Science and Engineering Xi’an710049 China Qatar University Computer Science and Engineering Department Doha2713 Qatar

In this paper, we employ an unmanned aerial vehicle (UAV) to ensure the freshness of sensing data, as measured by the age of information (AoI), in Internet of Things (IoT) networks. Specifically, the UAV switches between flying and hovering modes to collect data from widely distributed IoT devices. UAV trajectory planning, which determines the times and moments of data collection, is vital for optimizing the system AoI. Considering the limited UAV onboard energy and mission duration, AoI-optimal trajectory planning is formulated as a mixed-integer nonlinear programming (MINLP) problem. We first decompose the MINLP problem into two subproblems: a UAV time scheduling subproblem and a UAV path planning subproblem. Then, we propose a learning-based iterative (LBI) algorithm that consists of two modules: a successive convex approximation (SCA)-based module for solving the time scheduling subproblem, and a hierarchical asynchronous advantage actor-critic (A3C) module for addressing the path planning subproblem. The numerical results verify that the proposed LBI algorithm outperforms typical baselines in terms of the AoI performance. © 2025 IEEE. All rights reserved,

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

Small Signal Stability-Guaranteed Moving Target Defense Against Load Redistribution Attack On IoT-based Smart Grid

引用

IEEE Internet of Things Journal 2025年第11期12卷 17413-17429页

作者： Wang, Bingdong Zhang, Zhenyong Wang, Mufeng Liu, Mengxiang Ye, Rui Deng, Ruilong Zhang, Xin Guizhou University State Key Laboratory of Public Big Data College of Computer Science and Technology Guiyang550025 China China Industrial Control Systems Cyber Emergency Response Team Beijing100040 China University of Sheffield Department of Automatic Control and System Engineering Sheffield United Kingdom Guizhou Power Grid Co. Ltd. Intelligent Operation Center China Zhejiang University State Key Laboratory of Industrial Control Technology College of Control Science and Engineering Hangzhou310027 China Huzhou Institute of Industrial Control Technology Huzhou313000 China

Moving target defense (MTD) is a promising approach to defend against load redistribution attacks on the internet-of-things (IoT)-based smart grid networks by probing the distorted state estimates with the distributed flexible AC transmission system. However, existing studies mainly focus on optimizing the performance of MTD and ignore the safety effect of it on the system’s operation. In this paper, we fill this gap by deeply analyzing the effect of MTD on the small signal stability and aim to alleviate the negative impact and guarantee its defending performance simultaneously. Firstly, the stability is formally described using the eigenvalue sensitivity. The relationship between the MTD-induced perturbation (MTDper) and the stability criteria is derived. Secondly, a new indicator is proposed to measure the effectiveness of MTDper. Thirdly, a constrained optimization problem is formulated to compute the bound of MTDper for guaranteeing the small signal stability. In addition, a surprising finding is that the stability margin can be improved and enhanced by optimizing the value of MTDper without losing the MTD’s effectiveness. Finally, we evaluate the performance of MTDper and its impact on the small signal stability with extensive simulations on the IEEE 30-bus, 39-bus, and 68-bus test power systems. © 2014 IEEE.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

RVAFM: Re-parameterizing Vertical Attention Fusion Module for Handwritten Paragraph Text Recognition

arXiv

引用

arXiv 2025年

作者： Zheng, Jinhui Liu, Zhiquan Si, Yain-Whar Li, Jianqing Zhang, Xinyuan Li, Xiaofan Huang, Haozhi Gong, Xueyuan School of Intelligent Systems Science and Engineering Jinan University Guangdong Province China College of Cyber Security Jinan University Guangdong Province China Department of Computer and Information Science Faculty of Science and Technology University of Macau China School of Computer Science and Engineering Macau University of Science and Technology China

Handwritten Paragraph Text Recognition (HPTR) is a challenging task in computer Vision, requiring the transformation of a paragraph text image, rich in handwritten text, into text encoding sequences. One of the most advanced models for this task is Vertical Attention Network (VAN), which utilizes a Vertical Attention Module (VAM) to implicitly segment paragraph text images into text lines, thereby reducing the difficulty of the recognition task. However, from a network structure perspective, VAM is a single-branch module, which is less effective in learning compared to multi-branch modules. In this paper, we propose a new module, named Re-parameterizing Vertical Attention Fusion Module (RVAFM), which incorporates structural re-parameterization techniques. RVAFM decouples the structure of the module during training and inference stages. During training, it uses a multi-branch structure for more effective learning, and during inference, it uses a single-branch structure for faster processing. The features learned by the multi-branch structure are fused into the single-branch structure through a special fusion method named Re-parameterization Fusion (RF) without any loss of information. As a result, we achieve a Character Error Rate (CER) of 4.44% and a Word Error Rate (WER) of 14.37% on the IAM paragraph-level test set. Additionally, the inference speed is slightly faster than VAN. © 2025, CC BY.

关键词： Parameterization

来源：评论

学校读者我要写书评

暂无评论

Unmanned aerial vehicle based multi-person detection via deep neural network models

引用

Frontiers in Neurorobotics 2025年 19卷 1582995页

作者： Alshehri, Mohammed Zahoor, Laiba AlQahtani, Yahya Alshahrani, Abdulmonem AlHammadi, Dina Abdulaziz Jalal, Ahmad Liu, Hui Department of Computer Science King Khalid University Abha Saudi Arabia Faculty of Computer Science Air University Islamabad Pakistan Department of Informatics and Computer Systems King Khalid University Abha Saudi Arabia Department of Information Systems College of Computer and Information Sciences Princess Nourah Bint Abdulrahman University Riyadh Saudi Arabia Department of Computer Science and Engineering College of Informatics Korea University Seoul Korea Republic of Cognitive Systems Lab University of Bremen Bremen Germany Guodian Nanjing Automation Company Ltd. Nanjing China Jiangsu Key Laboratory of Intelligent Medical Image Computing School of Future Technology Nanjing University of Information Science and Technology Nanjing China

Introduction: Understanding human actions in complex environments is crucial for advancing applications in areas such as surveillance, robotics, and autonomous systems. Identifying actions from UAV-recorded videos becomes more challenging as the task presents unique challenges, including motion blur, dynamic background, lighting variations, and varying viewpoints. The presented work develops a deep learning system that recognizes multi-person behaviors from data gathered by UAVs. The proposed system provides higher recognition accuracy while maintaining robustness along with dynamic environmental adaptability through the integration of different features and neural network models. The study supports the wider development of neural network systems utilized in complicated contexts while creating intelligent UAV applications utilizing neural networks. Method: The proposed study uses deep learning and feature extraction approaches to create a novel method to recognize various actions in UAV-recorded video. The proposed model improves identification capacities and system robustness by addressing motion dynamic problems and intricate environmental constraints, encouraging advancements in UAV-based neural network systems. Results: We proposed a deep learning-based framework with feature extraction approaches that may effectively increase the accuracy and robustness of multi-person action recognition in the challenging scenarios. Compared to the existing approaches, our system achieved 91.50% on MOD20 dataset and 89.71% on Okutama-Action. These results do, in fact, show how useful neural network-based methods are for managing the limitations of UAV-based application. Discussion: Results how that the proposed framework is indeed effective at multi-person action recognition under difficult UAV conditions. Copyright © 2025 Alshehri, Zahoor, AlQahtani, Alshahrani, AlHammadi, Jalal and Liu.

关键词： Drones

来源：评论

学校读者我要写书评

暂无评论

Versatile Test Reactor Open Digital Engineering Ecosystem

引用

Insight 2025年第1期28卷 64-68页

作者： Ritter, Christopher Browning, Jeren Suyderhoud, Peter Hays, Ross Marshall, AnnMarie Han, Kevin Ashbocker, Taylor Darrington, John Nelson, Lee Idaho National Laboratory Department of Digital Systems & Engineering Versatile Test Reactor Program Idaho FallsID83401 United States Pivotal Solutions 3 Grace Avenue Suite 162 Great NeckNY11021 United States North Carolina State University Department of Civil and Environmental Engineering United States Department of Computer Science University of Illinois at Urbana-Champaign 205 N. Mathews Ave. UrbanaIL61801 United States

Modern design of nuclear facilities represents unique challenges: enabling the design of complex advanced concepts, supporting geographically dispersed teams, and supporting first-of-a-kind system development. Errors made early in design can introduce silent errors. These errors can cascade causing unknown risk of complex engineering programs. The Versatile Test Reactor (VTR) program uses digital-engineering principles for design, procurement, construction, and operation to reduce risk and improve efficiencies. Digital engineering is an integrated, model-based approach which connects proven digital tools such as building information management (BIM), project controls, and systems-engineering software tools into a cohesive environment. The VTR team hypothesizes using these principals can lead to similar risk and cost reductions and schedule efficiencies observed in other engineering industries. This research investigates the use of a digital engineering ecosystem in the design of a 300-MWt sodium-cooled fast reactor. This ecosystem was deployed to over 200 engineers and used to deliver the conceptual design of the VTR. We conclude that initial results show significant reductions in user latency (1000x at peak use), the possibility of direct finite-element-analysis (FEA) integrations to computer-aided design (CAD) tools, and nuclear reactor system design descriptions (SDDs) that we can fully link throughout design in data-driven requirements-management software. These early results led to the VTR maintaining milestone performance during the COVID-19 pandemic. Copyright © 2022 by Idaho National Laboratory. Published by INCOSE with permission.

关键词： Sodium-cooled fast reactors

来源：评论

学校读者我要写书评

暂无评论

Analysis of Different Methods for Forecasting Transport Carbon Dioxide Emissions in the Philippines

引用

Transportation Research Procedia 2025年 82卷 3768-3789页

作者： Aaron Michael Salang Virgilio Ma. Ramos Arse John Salison John Justine Villar Intelligent Transportation Systems Laboratory National Center for Transportation Studies University of the Philippines Diliman Quezon City Philippines Department of Logistics and Information Engineering Tokyo University of Marine Science and Technology Tokyo Japan Scientific Computing Laboratory Department of Computer Science University of the Philippines Diliman Quezon City Philippines

Emission forecasts can be an important way of creating awareness among the public and decision-makers on solving environmental problems. The main goal of this study is to forecast and compare the transport CO2 emissions of the Philippines using four different forecasting models. We use the models of Holt-Winters Exponential Smoothing, Autoregressive Integrated Moving Average (ARIMA), Vector Autoregressive (VAR), and the Artificial Neural Network (ANN). The performance of the different forecasting methods was compared using the coefficient of determination (R2) and the root mean squared error (RMSE) values. Several economic variables from 1990 to 2019 and the transport Carbon Dioxide (CO2) emissions in the Philippines were utilized in this study. The result show that all four methods exhibit goodness of fit and accuracy results according to the statistical measures. In comparison, the multivariate methods (ANN & VAR) performed better than univariate methods (ARIMA & Holt-Winters).

关键词： Transport Emissions Forecasting Time-series modeling ARIMA ANN VAR Holt-Winters

来源：评论

学校读者我要写书评

暂无评论

II-NVM: Enhancing Map Accuracy and Consistency With Normal Vector-Assisted Mapping

引用

IEEE Robotics and Automation Letters 2025年第6期10卷 5465-5472页

作者： Zhao, Chengwei Li, Yixuan Jian, Yina Xu, Jie Wang, Linji Ma, Yongxin Jin, Xinglai Xi'an Jiaotong University Institute of Artificial Intelligence and Robotics Xi'an710049 China Hangzhou Qisheng Intelligent Techology Company Ltd Hangzhou311217 China Columbia University in the City of New York Department of Computer Science New YorkNY10027 United States Harbin Institute of Technology State Key Laboratory of Robotics and Systems Harbin150001 China Nanyang Technological University School of Electrical and Electronic Engineering 639798 Singapore School of Electrical and Electronic Engineering Nanyang Technological University 639798 Singapore

SLAM technology plays a crucial role in indoor mapping and localization. A common challenge in indoor environments is the "double-sided mapping issue", where closely positioned walls, doors, and other surfaces are mistakenly identified as a single plane, significantly hindering map accuracy and consistency. To addressing this issue this letter introduces a SLAM approach that ensures accurate mapping using normal vector consistency. We enhance the voxel map structure to store both point cloud data and normal vector information, enabling the system to evaluate consistency during nearest neighbor searches and map updates. This process distinguishes between the front and back sides of surfaces, preventing incorrect point-to-plane constraints. Moreover, we implement an adaptive radius KD-tree search method that dynamically adjusts the search radius based on the local density of the point cloud, thereby enhancing the accuracy of normal vector calculations. To further improve real-time performance and storage efficiency, we incorporate a Least Recently Used (LRU) cache strategy, which facilitates efficient incremental updates of the voxel map. The code is released as open-source and validated in both simulated environments and real indoor scenarios. Experimental results demonstrate that this approach effectively resolves the "double-sided mapping issue" and significantly improves mapping precision. Additionally, we have developed and open-sourced the first simulation and real-world dataset specifically tailored for the "double-sided mapping issue". © 2016 IEEE.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

A Multimodal Recaptioning Framework to Account for Perceptual Diversity in Multilingual Vision-Language Modeling

arXiv

引用

arXiv 2025年

作者： Buettner, Kyle Emmerson, Jacob Kovashka, Adriana Intelligent Systems Program Department of Computer Science University of Pittsburgh United States

There are many ways to describe, name, and group objects when captioning an image. Differences are evident when speakers come from diverse cultures due to the unique experiences that shape perception. Machine translation of captions has pushed multilingual capabilities in vision-language models (VLMs), but data comes mainly from English speakers, indicating a perceptual bias and lack of model flexibility. In this work, we address this challenge and outline a data-efficient framework to instill multilingual VLMs with greater understanding of perceptual diversity. We specifically propose an LLM-based, multimodal recaptioning strategy that alters the object descriptions of English captions before translation. The greatest benefits are demonstrated in a targeted multimodal mechanism guided by native speaker data. By adding produced rewrites as augmentations in training, we improve on German and Japanese text-image retrieval cases studies (up to +3.5 mean recall overall, +4.7 on non-native error cases). We further propose a mechanism to analyze the specific object description differences across datasets, and we offer insights into cross-dataset and cross-language generalization. Copyright © 2025, The Authors. All rights reserved.

关键词： Computational grammars

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：