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

Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic

Science China(information Sciences) 2025年第1期68卷 322-341页

作者： Weijie DONG Shaoyuan LI Xiang YIN Key Laboratory of System Control and Information Processing Ministry of EducationDepartment of Automation Shanghai Jiao Tong University

In this paper,we investigate a decentralized diagnosis problem of a discrete-evnt system(DES) subject to unreliable sensors,where the sensor observations of local diagnosers may be non-deterministic as a result of possible *** studies on decentralized robust diagnosis can only deal with different types of sensor failures separately,e.g.,all sensors suffer from the same type of sensor failures such as intermittent sensor failures or permanent sensor ***,since sensors of different local diagnosers may face different external environments and have different internal characteristics,sensors corresponding to different local diagnosers may also have their own fault *** this paper,we propose a flexible framework of decentralized diagnosis for DES subject to unreliable sensors such that sensors of different local diagnosers are permitted to have different types of sensor *** this end,we extend the existing decentralized diagnosis framework to the case where there exist common sensors broadcasting their observations to all local *** apply linear temporal logic(LTL) to constrain infinite behaviors of private sensors of local diagnosers and common ***,a new notion of φ-codiagnosability is proposed as the necessary and sufficient condition for the existence of a decentralized diagnoser that works correctly under sensors,satisfying LTL-based sensor ***,we provide an effective approach to verify the φ-codiagnosability.

关键词： discrete event systems decentralized diagnosis codiagnosability automata

来源：评论

学校读者我要写书评

暂无评论

Value Iteration-Based Distributed Adaptive Dynamic Programming for Multi-Player Differential Game With Incomplete information

引用

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

作者： Yun Zhang Yuqi Wang Yunze Cai the Department of Automation Shanghai Jiao Tong University the Key Laboratory of System Control and Information Processing Ministry of Education of China the National Key Laboratory of Air-based Information Perception and Fusion

In this paper, a distributed adaptive dynamic programming(ADP) framework based on value iteration is proposed for multi-player differential games. In the game setting,players have no access to the information of others' system parameters or control laws. Each player adopts an on-policy value iteration algorithm as the basic learning framework. To deal with the incomplete information structure, players collect a period of system trajectory data to compensate for the lack of information. The policy updating step is implemented by a nonlinear optimization problem aiming to search for the proximal admissible policy. Theoretical analysis shows that by adopting proximal policy searching rules, the approximated policies can converge to a neighborhood of equilibrium policies. The efficacy of our method is illustrated by three examples, which also demonstrate that the proposed method can accelerate the learning process compared with the centralized learning framework.

关键词： Distributed adaptive dynamic programming incomplete information multi-player differential game (MPDG) value iteration

来源：评论

学校读者我要写书评

暂无评论

A method of embedding a high-resolution image into a large field-of-view image

引用

Multimedia Tools and Applications 2025年第14期84卷 13037-13056页

作者： Dong, Yanmei Pei, Mingtao Jia, Yunde Key Laboratory of Intelligent Information Processing and Graph Processing Tus College of Digit Guangxi University of Science and Technology Liuzhou545006 China Beijing Laboratory of Intelligent Information Technology School of Computer Science Beijing Institute of Technology Beijing100081 China

Images captured by wide-angle cameras or fisheye cameras are with large Field-of-View (FOV) but low resolution, while images captured by conventional cameras are with high-resolution but limited FOV. To handle this contradiction, in this paper, we propose to improve the resolution of a large FOV image by embedding a high-resolution image into it. We present an image embedding method based on non-rigid transformations and mesh optimization. Without any radial distortion correction on large FOV images, we utilize non-rigid transformations to model the mathematical transformation relationship between the high-resolution image and the large FOV image. Meanwhile, we exploit mesh optimization to generate evenly distributed control points for maintaining the shape and content of the large FOV image. To verify the effectiveness of the proposed method, we capture some image pairs from a conventional camera and a large FOV camera, and exploit several classic image alignment methods to implement four baseline methods. The experimental results show that our method preserves the shape and content of the original FOV image from 58% to 82%, which significantly outperforms all baseline methods. The results indicate that the proposed method can effectively embed a high-resolution image into a large FOV image as well as preserve the shape and content of the large FOV image. In other words, the resolution of a large FOV image can be improved via high-resolution image embedding. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Broad-Learning-System-Based Model-Free Adaptive Predictive control for Nonlinear MASs Under DoS Attacks

引用

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

作者： Hongxing Xiong Guangdeng Chen Hongru Ren Hongyi Li the School of Automation Guangdong-Hong Kong Joint Laboratory for Intelligent Decision and Cooperative Control Guangdong University of Technology Guangdong Provincial Key Laboratory for Intelligent Decision and Cooperative Control Guangdong University of Technology the College of Electronic and Information Engineering Southwest University IEEE

In this paper, the containment control problem in nonlinear multi-agent systems(NMASs) under denial-of-service(DoS) attacks is addressed. Firstly, a prediction model is obtained using the broad learning technique to train historical data generated by the system offline without DoS attacks. Secondly, the dynamic linearization method is used to obtain the equivalent linearization model of NMASs. Then, a novel model-free adaptive predictive control(MFAPC) framework based on historical and online data generated by the system is proposed, which combines the trained prediction model with the model-free adaptive control method. The development of the MFAPC method motivates a much simpler robust predictive control solution that is convenient to use in the case of DoS attacks. Meanwhile, the MFAPC algorithm provides a unified predictive framework for solving consensus tracking and containment control problems. The boundedness of the containment error can be proven by using the contraction mapping principle and the mathematical induction method. Finally, the proposed MFAPC is assessed through comparative experiments.

关键词： Broad learning technique denial-of-service (DoS) model-free adaptive predictive control (MFAPC) nonlinear multi-agent systems (NMASs)

来源：评论

学校读者我要写书评

暂无评论

HRAM-VITON: High-Resolution Virtual Try-On with Attention Mechanism

引用

Computers, Materials & Continua 2025年第2期82卷 2753-2768页

作者： Yue Chen Xiaoman Liang Mugang Lin Fachao Zhang Huihuang Zhao College of Computer Science and Technology Hengyang Normal UniversityHengyang421002China Hunan Provincial Key Laboratory of Intelligent Information Processing and Application Hengyang421002China

The objective of image-based virtual try-on is to seamlessly integrate clothing onto a target image, generating a realistic representation of the character in the specified attire. However, existing virtual try-on methods frequently encounter challenges, including misalignment between the body and clothing, noticeable artifacts, and the loss of intricate garment details. To overcome these challenges, we introduce a two-stage high-resolution virtual try-on framework that integrates an attention mechanism, comprising a garment warping stage and an image generation stage. During the garment warping stage, we incorporate a channel attention mechanism to effectively retain the critical features of the garment, addressing challenges such as the loss of patterns, colors, and other essential details commonly observed in virtual try-on images produced by existing methods. During the image generation stage, with the aim of maximizing the utilization of the information proffered by the input image, the input features undergo double sampling within the normalization procedure, thereby enhancing the detail fidelity and clothing alignment efficacy of the output image. Experimental evaluations conducted on high-resolution datasets validate the effectiveness of the proposed method. Results demonstrate significant improvements in preserving garment details, reducing artifacts, and achieving superior alignment between the clothing and body compared to baseline methods, establishing its advantage in generating realistic and high-quality virtual try-on images.

关键词： Virtual try-on attention mechanism high-resolution image generation

来源：评论

学校读者我要写书评

暂无评论

Metalens-based hybrid probe near-infrared endoscope objective

引用

Optics Express 2025年第3期33卷 5757-5768页

作者： Song, Yichen Mao, Shan Tang, Yufeng Zhao, Jianlin Key Laboratory of Light Field Manipulation and Information Acquisition Ministry of Industry and Information Technology Shaanxi Key Laboratory of Optical Information Technology School of Physical Science and Technology Northwestern Polytechnical University Xi’an710129 China Shaanxi Key Laboratory of Optical Remote Sensing and Intelligent Information Processing Xi’an710119 China

Rapid large-area deep tissue imaging at long working distances is important for clinical diagnosis. A near-infrared metalens-based hybrid probe con-focal micro-endoscope (pCM) objective with a large field of view of 500 µm, a long working distance of 300 µm, and a small caliber of 2.2 mm was designed, which is compatible with conventional endoscopes to produce cell-resolution images of deep tissues. The performance of the metalens-based hybrid objective optical system was analyzed. Results show that the metalens-based hybrid pCM significantly improves the imaging quality of such optical systems under the premise of meeting the design accuracy requirements, which provides a new solution and an effective realization for the design of such optical systems. © 2025 Optica Publishing Group under the terms of the Optica Open Access Publishing Agreement.

关键词： Infrared devices

来源：评论

学校读者我要写书评

暂无评论

Hybrid meta-optics facilitate an athermal continuous zoom optical system

引用

Optics Express 2025年第8期33卷 17121-17135页

作者： Tang, Yufeng Mao, Shan Song, Yichen Zhao, Jianlin Key Laboratory of Light Field Manipulation and Information Acquisition Ministry of Industry and Information Technology Shaanxi Key Laboratory of Optical Information Technology School of Physical Science and Technology Northwestern Polytechnical University Xi’an710129 China Shaanxi Key Laboratory of Optical Remote Sensing and Intelligent Information Processing Xi’an710119 China

To meet the demand for continuous zoom capabilities in compact lenses over a wide temperature range, we designed a compact continuous zoom optical system based on hybrid meta-optics. This system can achieve thermal stability without additional heating or cooling across a broad temperature range, utilizing commonly available optical glass. It features a total length of just 9∼12 mm and comprises only 4 lenses. By incorporating metalens, the system effectively corrects chromatic aberration and off-axis distortion, while leveraging the thermal stability of these lenses to achieve passive thermal management. Analytical results demonstrate that the system is structurally compact, capable of smooth continuous zooming from -20∼+60 ℃ with a focal length range of 4.9∼9.8 mm, and maintains excellent imaging quality throughout (with a modulation transfer function greater than 0.5 at 100 lp/mm). Additionally, the zoom and tolerances are highly feasible. © 2025 Optica Publishing Group under the terms of the Optica Open Access Publishing Agreement.

关键词： Aberrations

来源：评论

学校读者我要写书评

暂无评论

RECONSTRUCTION-BASED A POSTERIORI ERROR ESTIMATES FOR THE L1 METHOD FOR TIME FRACTIONAL PARABOLIC PROBLEMS

引用

Journal of Computational Mathematics 2025年第2期43卷 345-368页

作者： Jiliang Cao Aiguo Xiao Wansheng Wang Department of Mathematics Shanghai Normal UniversityShanghai 200234China Hunan Key Laboratory for Computation and Simulation in Science and Engineering&Key Laboratory of Intelligent Computing and Information Processing of Ministry of Education Xiangtan UniversityXiangtan 411105China

In this paper,we study a posteriori error estimates of the L1 scheme for time discretizations of time fractional parabolic differential equations,whose solutions have generally the initial *** derive optimal order a posteriori error estimates,the quadratic reconstruction for the L1 method and the necessary fractional integral reconstruction for the first-step integration are *** using these continuous,piecewise time reconstructions,the upper and lower error bounds depending only on the discretization parameters and the data of the problems are *** numerical experiments for the one-dimensional linear fractional parabolic equations with smooth or nonsmooth exact solution are used to verify and complement our theoretical results,with the convergence ofαorder for the nonsmooth case on a uniform *** recover the optimal convergence order 2-αon a nonuniform mesh,we further develop a time adaptive algorithm by means of barrier function recently *** numerical implementations are performed on nonsmooth case again and verify that the true error and a posteriori error can achieve the optimal convergence order in adaptive mesh.

关键词： Time fractional parabolic differential equations A posteriori error estimates Ll method Fractional integral reconstruction Quadratic reconstruction

来源：评论

学校读者我要写书评

暂无评论

A Novel Optimal Distributed Nonlinear Filter for Simultaneous State and Unknown Input Estimation in Multi-Sensor Networks

引用

IEEE Signal processing Letters 2025年 32卷 1745-1749页

作者： Ding, Bo Wei, Yuanchu Zhang, Enze Fang, Huajing Yangzhou University College of Information Engineering Yangzhou225127 China Huazhong University of Science and Technology School of Automation Key Laboratory of Image Processing and Intelligent Control Ministry of Education Wuhan430074 China

This letter investigates the problem of simultaneous state and unknown input estimation in a nonlinear system within multi-sensor networks. To avoid the linearization errors caused by existing methods, such as statistical linear regression techniques and first-order Taylor approximation, a novel optimal distributed nonlinear filter is proposed based on the unscented transformation and unbiased minimum variance criterion. First, the unscented transformation is applied to generate predicted estimates and the covariance matrix. Second, input and state estimation are carried out in an unbiased minimum variance manner using measurements from the nonlinear system. Third, a distributed strategy leveraging average consensus is employed to incorporate local estimates from neighboring sensors. Finally, simulation results confirm that the proposed method achieves substantial improvements in estimation accuracy compared to existing methods. © 1994-2012 IEEE.

关键词： Covariance matrix

来源：评论

学校读者我要写书评

暂无评论

Transportation-Energy-Communication Integrated Management of Ship Cyber-Physical Systems Against Cyber Attacks

引用

IEEE Transactions on Smart Grid 2025年第3期16卷 2518-2528页

作者： Xu, Qimin Li, Xin Jiang, Yuliang Zhu, Shanying Chen, Cailian Yang, Bo Guan, Xinping Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Department of Automation Shanghai200240 China

Ship cyber-physical system (SCPS) is a complex system that integrates advanced information and communication technology to achieve efficient energy management and navigation plans. Thus, SCPS is susceptible to cyber attacks due to increased exposed attack surfaces, which poses significant risks to power and navigation management. The interdependence among the navigation, power, and communication management might amplify the impacts of cyber attacks to induce cascading failures. However, the existing research lacks a robust systematic strategy against cyber attacks considering interdependence features. Therefore, this paper proposes a transportation-energy-communication integrated architecture to collaboratively optimize navigation planning, power management, and networking scheduling. The network model integrates time-sensitive networking (TSN) to improve data transmission reliability and determinacy against cyber attacks. Based on the architecture, the impacts of two typical types of cyber attacks are modeled, including data availability and control signal attacks. A robust cyber-physical defense strategy is formulated into a tri-level MINLP problem to minimize load shedding and voyage distance reduction while saving operation costs by identifying the worst case. To reduce computation complexity, the problem after linearization is decomposed based on the time scale of cyber and physical layers. Case studies indicate that the proposed strategy improves system resilience to conventional strategies. © 2010-2012 IEEE.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：