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

Knowledge As Not Only Justified True Beliefs in Vision

IEEE/CAA Journal of Automatica Sinica 2025年第2期12卷 297-299页

作者： Wenbo Zheng Fei-Yue Wang IEEE School of Computer Science and Artificial Intelligence Wuhan University of Technology Sanya Science and Education Innovation Park of Wuhan University of Technology the State Key Laboratory for Management and Control of Complex Systems Institute of Automation Chinese Academy of Sciences

COMPUTATIONAL knowledge vision [1] is emphasized as a novel perspective or field in this paper. It first proposes the visual hierarchy and its connection to knowledge, stating that knowledge is a justified true belief. To further the previous research, we concisely summarize our recent works and suggest a new direction that knowledge is also a thought framework in vision.

关键词： Computational modeling Visualization Artificial intelligence Data models Visual perception Visual databases Training data

来源：评论

学校读者我要写书评

暂无评论

Real-Time Multi-object Tracking Using YOLOv8 and SORT on a SoC FPGA 21st

Real-Time Multi-object Tracking Using YOLOv8 and SORT on a...

引用

21st International Symposium on Applied Reconfigurable Computing, ARC 2025

作者： Danilowicz, Michal Kryjak, Tomasz Embedded Vision Systems Group Computer Vision Laboratory Department of Automatic Control and Robotics AGH University of Science and Technology Krakow Poland

ISBN: (纸本)9783031879944

Multi-object tracking (MOT) is one of the most important problems in computer vision and a key component of any vision-based perception system used in advanced autonomous mobile robotics. Therefore, its implementation on low-power and real-time embedded platforms is highly desirable. Modern MOT algorithms should be able to track objects of a given class (e.g. people or vehicles). In addition, the number of objects to be tracked is not known in advance, and they may appear and disappear at any time, as well as be obscured. For these reasons, the most popular and successful approaches have recently been based on the tracking paradigm. Therefore, the presence of a high quality object detector is essential, which in practice accounts for the vast majority of the computational and memory complexity of the whole MOT system. In this paper, we propose an FPGA (Field-Programmable Gate Array) implementation of an embedded MOT system based on a quantized YOLOv8 detector and the SORT (Simple Online Realtime Tracker) tracker. We use a modified version of the FINN framework to utilize external memory for model parameters and to support operations necessary required by YOLOv8. We discuss the evaluation of detection and tracking performance using the COCO and MOT15 datasets, where we achieve 0.21 mAP and 38.9 MOTA respectively. As the computational platform, we use an MPSoC system (Zynq UltraScale+ device from AMD/Xilinx) where the detector is deployed in reprogrammable logic and the tracking algorithm is implemented in the processor system. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

MMH-FE:AMulti-Precision and Multi-Sourced Heterogeneous Privacy-Preserving Neural Network Training Based on Functional Encryption

引用

computers, Materials & Continua 2025年第3期82卷 5387-5405页

作者： Hao Li Kuan Shao Xin Wang Mufeng Wang Zhenyong Zhang The State Key Laboratory of Public Big Data College of Computer Science and TechnologyGuizhou UniversityGuiyang550025China Key Laboratory of Computing Power Network and Information Security Ministry of EducationShandong Computer Science CenterQilu University of Technology(Shandong Academy of Sciences)Jinan250014China China Industrial Control Systems Cyber Emergency Response Team Beijing100040China

Due to the development of cloud computing and machine learning,users can upload their data to the cloud for machine learning model ***,dishonest clouds may infer user data,resulting in user data *** schemes have achieved secure outsourced computing,but they suffer from low computational accuracy,difficult-to-handle heterogeneous distribution of data from multiple sources,and high computational cost,which result in extremely poor user experience and expensive cloud computing *** address the above problems,we propose amulti-precision,multi-sourced,andmulti-key outsourcing neural network training ***,we design a multi-precision functional encryption computation based on Euclidean ***,we design the outsourcing model training algorithm based on a multi-precision functional encryption with multi-sourced ***,we conduct experiments on three *** results indicate that our framework achieves an accuracy improvement of 6%to 30%.Additionally,it offers a memory space optimization of 1.0×2^(24) times compared to the previous best approach.

关键词： Functional encryption multi-sourced heterogeneous data privacy preservation neural networks

来源：评论

学校读者我要写书评

暂无评论

Robust control and data reconstruction for nonlinear epidemiological models using feedback linearization and state estimation

引用

Mathematical Biosciences and Engineering 2025年第1期22卷 109-137页

作者： Csutak, Balázs Szederkényi, Gábor Faculty of Information Technology and Bionics Pázmány Péter Catholic University Práter u. 50/A BudapestH-1083 Hungary Systems and Control Laboratory HUN-REN Institute for Computer Science and Control Kende u. 13-17 BudapestH-1111 Hungary

It has been clearly demonstrated over the past years that control theory can provide an efficient framework for the solution of several complex tasks in epidemiology. In this paper, we present a computational approach for the state estimation based reference tracking control and historical data reconstruction using nonlinear compartmental epidemic models. The control model is given in nonlinear input-affine form, where the manipulable input is the disease transmission rate influenced by possible measures and restrictions, while the observed or computed output is the number of infected people. The control design is built around a simple SEIR model and relies on a feedback linearization technique. We examine and compare different control setups distinguished by the availability of state information, complementing the directly measurable data with an extended Kalman filter used for state estimation. To illustrate the capabilities and robustness of the proposed method, we carry out multiple case studies for output tracking and data reconstruction on Swedish and Hungarian data, all in the presence of serious model and parameter mismatch. Computation results show that a well-designed feedback, even in the presence of significant observation uncertainties, can sufficiently reduce the effect of modeling errors. © 2025 the Authors,

关键词： Feedback linearization

来源：评论

学校读者我要写书评

暂无评论

Binary Stochastic Flip Optimization for Training Binary Neural Networks

Binary Stochastic Flip Optimization for Training Binary Neur...

引用

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

作者： Shibuya, Tatsukichi Inoue, Nakamasa Kawakami, Rei Sato, Ikuro Department of Computer Science Institute of Science Tokyo Tokyo Japan Department of Systems and Control Engineering Institute of Science Tokyo Tokyo Japan Denso IT Laboratory Tokyo Japan

ISBN: (纸本)9798350368741

For deploying deep neural networks on edge devices with limited resources, binary neural networks (BNNs) have attracted significant attention, due to their computational and memory efficiency. However, once a neural network is binarized, finetuning it on edge devices becomes challenging because most conventional training algorithms for BNNs are designed for use on centralized servers and require storing real-valued parameters during training. To address this limitation, this paper introduces binary stochastic flip optimization (BinSFO), a novel training algorithm for BNNs. BinSFO employs a parameter update rule based on Boolean operations, eliminating the need to store real-valued parameters and thereby reducing memory requirements and computational overhead. In experiments, we demonstrated the effectiveness and memory efficiency of BinSFO in finetuning scenarios on six image classification datasets. BinSFO performed comparably to conventional training algorithms with a 70.7% smaller memory requirement. Code is released at https://***/TatsukichiShibuya/ICASSP2025_BinSFO. © 2025 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Data-Driven Adaptive control Approach for Enhancing the Dynamic Response of VSGs in Varying Grid Conditions

引用

IEEE Transactions on Power Delivery 2025年第3期40卷 1421-1433页

作者： Fahad, Shah She, Buxin Yin, Junjie Li, Fangxing Cui, Hantao Bo, Rui Department of Electrical and Computer Engineering Missouri University of Science and Technology Rolla MO USA Senior Power Systems Engineer ETAP Irvine CA USA Optimization & Control Group Parcific Northwest National Laboratory Richland USA Department of Electrical Engineering and Computer Science University of Tennessee at Knoxville Knoxville TN USA Department of Electrical and Computer Engineering North Carolina State University Raleigh NC USA

Conventionally, a virtual synchronous generator (VSG) is designed for islanded mode (IM) operation to meet specific operational requirements such as the rate of change of frequency (RoCoF). However, the operation of VSG designed for IM may not meet the operational and control criteria in grid connected mode (GCM) when the grid conditions vary. In addition, conventional VSG control technology does not consider the influence of the presynchronization scheme when connected to a weak grid, which degrades the RoCoF in IM. To overcome the aforementioned challenges, the proposed study presents a twin-delayed deep deterministic policy gradient (TD3) algorithm to improve the seamless transition performance of VSG from IM to GCM and vice versa. In the first step, the VSG-based power system model is used as a foundation for problem formulation of the proposed TD3 algorithm. Secondly, a reward function is designed according to the performance requirements, i.e., frequency and RoCoF requirements, of the VSG in order to guide the training of the agent in varying load, power reference, and grid conditions. Finally, the superiority of the proposed algorithm over existing methods is validated in MATLAB/SIMULINK and RTDS based real-time simulation environment. © 1986-2012 IEEE.

关键词： Deep reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Automated Linear Parameter-Varying Modeling of Nonlinear systems: A Global Embedding Approach

arXiv

引用

arXiv 2025年

作者： Olucha, E. Javier Koelewijn, Patrick J.W. Das, Amritam Tóth, Roland Control Systems Group Eindhoven University of Technology Eindhoven Netherlands Systems and Control Laboratory HUN-REN Institute for Computer Science and Control Budapest Hungary

In this paper, an automated linear parameter-varying (LPV) model conversion approach is proposed for nonlinear dynamical systems. The proposed method achieves global embedding of the original nonlinear behavior of the system by leveraging the second fundamental theorem of calculus to factorize matrix function expressions without any approximation. The implementation of the proposed method in the LPVcore toolbox for Matlab is discussed, and its performance is showcased on a comprehensive example of automated LPV model conversion of an unbalanced disk system, which is then used to design an LPV controller that is deployed on the original nonlinear system. In addition, the conversion capabilities are further demonstrated by obtaining an LPV embedding of a three-degree-of-freedom control moment gyroscope. All software implementations are available at ***. © 2025, CC BY.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Variable Speed Limit control for Highway Scenarios a Multi-agent Reinforcement Learning Based Approach 2nd

Variable Speed Limit Control for Highway Scenarios a Multi...

引用

2nd International Conference on Cognitive Mobility, COGMOB 2023

作者： Kővári, Bálint Knáb, István Gellért Bécsi, Tamás Department of Control for Transportation and Vehicle Systems Budapest University of Technology and Economics Budapest Hungary Systems and Control Laboratory Institute for Computer Science and Control Budapest Hungary

ISBN: (纸本)9783031876196

Modern road networks are critical in developing transportation infrastructures from the aspect of sustainability, thanks to the rapid increase in road users. The demand for mobility makes the existing infrastructure more crowded, boosting greenhouse gas emissions and delays in everyday commuting. Expanding the road network is only possible in some cases and is also not feasible, but Intelligent Transportation systems (ITS) can enhance the efficiency of the existing transportation network. From a management point of view, a proven algorithm is Variable Speed Limit control, which regulates the state of certain sectors by spatially distributing traffic in the form of dynamically varying speed limits. Combining this with a state-of-the-art predictive solution can make a big difference to performance. For the design of speed limits, this paper proposes an approach where deep reinforcement learning with the smallest industrial share not only resolves moving jams that arise during congested traffic situations, but also prevents them, thereby avoiding cumulative error from transients, all by abandoning physical equations and identified models. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Highway traffic control

来源：评论

学校读者我要写书评

暂无评论

Gaussian-Process-based Adaptive Tracking control with Dynamic Active Learning for Autonomous Ground Vehicles

arXiv

引用

arXiv 2025年

作者： Floch, Kristóf Péni, Tamás Tóth, Roland Systems and Control Laboratory HUN-REN Inst. for Computer Science and Control Budapest1111 Hungary Control Systems Group Eindhoven University of Technology Eindhoven6512 Netherlands

This article proposes an active-learning-based adaptive trajectory tracking control method for autonomous ground vehicles to compensate for modeling errors and unmodeled dynamics. The nominal vehicle model is decoupled into lateral and longitudinal subsystems, which are augmented with online Gaussian Processes (GPs), using measurement data. The estimated mean functions of the GPs are used to construct a feedback compensator, which, together with an LPV state feedback controller designed for the nominal system, gives the adaptive control structure. To assist exploration of the dynamics, the paper proposes a new, dynamic active learning method to collect the most informative samples to accelerate the training process. To analyze the performance of the overall learning tool-chain provided controller, a novel iterative, counterexample-based algorithm is proposed for calculating the induced L2 gain between the reference trajectory and the tracking error. The analysis can be executed for a set of possible realizations of the to-be-controlled system, giving robust performance certificate of the learning method under variation of the vehicle dynamics. The efficiency of the proposed control approach is shown on a high-fidelity physics simulator and in real experiments using a 1/10 scale F1TENTH electric car. © 2025, CC BY.

关键词： State feedback

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：