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

3rd International Conference on Computing, Communication, Perception and Quantum technology, CCPQT 2024

作者： Wen, Yudi Wang, Xin Zhang, Ying Quality Manage Department Beijing Aerospace Automatic Control Institute Beijing China Project Command Office International Business Department China Academy of Launch Vehicle Beijing China National Key Laboratory of Science and Technology on Aerospace Intelligent Beijing Aerospace Automatic Control Institute Peking University Beijing China

ISBN: (纸本)9798331528386

This paper uses PSLOC (Predictive Sliding Local Outlier Correction) to remove random fluctuations and noise interference. The time series prediction of the system's signals over a period of time is performed based on the least squares support vector machine (LSSVM). The adaptive state change rate is used to detect the prediction starting point. The system's full life cycle signal is divided into several windows, and the state change rate of the signal in each window is calculated. The threshold is determined by calculating the state change rate of the full life cycle signal. Compared with the traditional denoising and smoothing algorithm for non-time series, the algorithm used is more suitable for outlier detection of time series whose trends change over time. The method used in this paper is compared with the traditional wavelet packet threshold denoising method. It is found that the method used in this paper can retain the degradation information of the system to the maximum extent while removing outliers, and is more suitable for data preprocessing for remaining life prediction. The algorithm can not only remove the interference of random fluctuations on state division and remaining life prediction, but also preserve the complete degradation trend of the system adjusted over time. © 2024 IEEE.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

A Review on Defense Mechanism against the Denial of Service and False Data Injection in Cyber-Physical Power systems 6

A Review on Defense Mechanism against the Denial of Service ...

引用

6th IEEE International Electrical and Energy Conference, CIEEC 2023

作者： Zhou, Zhuoran Zhang, Jinning Zhang, Xin University of Sheffield Department of Automatic Control and Systems Engineering Sheffield United Kingdom School of Engineering University of Leicester Leicester United Kingdom

ISBN: (纸本)9798350346671

Cyber-physical power system (CPPS), with its bi-directional power and information flows, is considered as the next generation of widely distributed and automated electrical power network. However, CPPS is vulnerable to malicious cyberattacks that can cause significant operational risk and financial loss to stakeholders, such as electricity system operators. The complexity of vulnerabilities, which arises from the heterogeneity and interdependency of physical and cyber domains, will present substantial challenges for the detection and prevention of cyberattacks. This paper provides a comprehensive review of the defense mechanisms in CPPS against coordinated and widespread cyberattacks. The most prevalent cyberattacks in the CPPS are denial-of-service (DoS) and false data injection (FDI) attacks. This paper examines the state-of-the-art prevention, detection, and mitigation technologies for these major mainstreams and coordinated cyberattacks. In particular, the advantages and disadvantages of popular cyberattack prevention sciences such as Game Theory, Optimization, control Theory, and Data-driven method are discussed. It reveals that cyberattack detection techniques have evolved from traditional state estimation to artificial intelligence-based methods. Finally, the challenges and opportunities for future research on cybersecurity in CPPS are identified. © 2023 IEEE.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

Hyperelastic Membrane Actuators:Analysis of Toroidal and Helical Multifunctional Configurations

引用

Cyborg and Bionic systems 2022年第1期2022卷 129-140页

作者： Eduardo Perez-Guagnelli Joanna Jones Dana D.Damian Department of Automatic Control and Systems Engineering Universty of Shefield UK

Technologies that providemechanical assistance arerequired inthemdicalfeld,such asimplants that regenerate tssuethroughelongation and *** ofthe challenges is to develop actuators that combinethe benefits ofhigh axialextension at lowpressures,modularity,multifunction,and load bearing capabilities into one design while maintaining their shape and *** such a challenge wll provide implants with enhanced capacity for mechanical assistance to induce *** introduce two novel actuators(M2H)built of stacked Hyperelastic Balloning Membrane Actuators(HBMAs)that can be realized using helical and toroidal *** restraining the HBMA expansion deterministicallyusing a semisoft exoskeleton,the actuatorsors areendoweded withh axial extension and radial expansion *** actuatorsare thus built of modules that canconfiguured different therapeutical needs and multifunctionality,to provideanatomically congruent *** desigl,fabricationtestin;and numerical and experimental validation ofthe *** can aaxiallyind6 in their helicaland toroidal configurations at input pressuresas low as 26 and 24 kPa,*** the axial module is used separately,its extension capacity reaches>170%.The M2H-HBMAs can perform independent and simultaneousxpansion and extension motions with negligible intraluminaldeformation as well as stand at least 1kg of axial force without *** M2H-HBMAs overcome the limitations ofhyperexpanding machines that show low resistance to *** envisage M2H-HBMAs as promising tools to perform tisueregeneration procedures.

关键词： restrain overcome skeleton

来源：评论

学校读者我要写书评

暂无评论

Path-Complete Barrier Functions for Safety of Switched Linear systems 63

Path-Complete Barrier Functions for Safety of Switched Linea...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Anand, Mahathi Jungers, Raphael Zamani, Majid Allgower, Frank Institute for Systems Theory and Automatic Control University of Stuttgart Germany Université Catholique de Louvain Department of Mathematical Engineering Belgium University of Colorado Boulder United States

ISBN: (纸本)9798350316339

In this paper, we address the safety verification problem of switched linear dynamical systems under arbitrary switching via barrier functions. Our approach is based on a notion of path-complete barrier functions, which utilizes a collection of barrier functions associated with a directed labeled graph that can encode all the possible switching sequences. We show that path-complete barrier functions effectively generalize notions of common and multiple barrier functions studied in existing literature, and can potentially provide less conservative conditions for safety verification. We demonstrate that, for switched linear systems, the inequalities imposed via path-complete barrier functions can be easily encoded into simple linear matrix inequalities under some assumptions on the regions of interest and appropriately chosen templates for the barrier functions. We also study the relationship between path-complete barrier functions and common barrier functions, and show that for any path-complete graph with an admissible path-complete barrier function, one can derive a suitable (possibly non-smooth) common barrier function by utilizing the path-complete barrier function. Finally, we utilize several examples to illustrate the effectiveness of our approach, and briefly discuss the challenges that lay foundations for future research. © 2024 IEEE.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

A Unifying Complexity-Certification Framework for Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming

arXiv

引用

arXiv 2025年

作者： Shoja, Shamisa Arnström, Daniel Axehill, Daniel Division of Automatic Control Department of Electrical Engineering Linköping University Sweden Division of Systems and Control Department of Information Technology Uppsala University Sweden

In model predictive control (MPC) for hybrid systems, solving optimization problems efficiently and with guarantees on worst-case computational complexity is critical to satisfy the real-time constraints in these applications. These optimization problems often take the form of mixed-integer linear programs (MILPs) or mixed-integer quadratic programs (MIQPs) that depend on system parameters. A common approach for solving such problems is the branch-and-bound (B&B) method. This paper extends existing complexity certification methods by presenting a unified complexity-certification framework for B&B-based MILP and MIQP solvers, specifically for the family of multi-parametric MILP and MIQP problems that arise in, e.g., hybrid MPC applications. The framework provides guarantees on worst-case computational measures, including the maximum number of iterations or relaxations B&B algorithms require to reach optimality. It systematically accounts for different branching and node selection strategies, as well as heuristics integrated into B&B, ensuring a comprehensive certification framework. By offering theoretical guarantees and practical insights for solver customization, the proposed framework enhances the reliability of B&B for real-time application. The usefulness of the proposed framework is demonstrated through numerical experiments on both random MILPs and MIQPs, as well as on MIQPs arising from a hybrid MPC problem. © 2025, CC BY.

关键词： Branch and bound method

来源：评论

学校读者我要写书评

暂无评论

Advanced Fault Diagnosis in Rotating Machines Using 2D Grayscale Images with Improved Deep Convolutional Neural Networks 26

Advanced Fault Diagnosis in Rotating Machines Using 2D Grays...

引用

26th IEEE Signal Processing: Algorithms, Architectures, Arrangements, and Applications, SPA 2023

作者： Ahsan, Muhammad Bismor, Dariusz Silesian University of Technology Department of Measurements and Control Systems Gliwice44-100 Poland

ISBN: (纸本)9798350304985

This paper presents a Deep Convolutional Neural Network (DCNN) model with a SoftMax classifier for the diagnosis of bearing and gear faults based on 2D grayscale images converted from raw vibration signals. The proposed model is validated and verified using a vibration dataset consisting of gear and bearing vibrations recorded under different operating conditions and fault conditions. The experimental results demonstrate that the DCNN achieves remarkable accuracies for both bearing fault diagnosis under different operating conditions and fault conditions, with high validation accuracy achieved. Furthermore, the performance of the proposed model is evaluated and compared with existing models in the literature for the same datasets, and it is concluded that the proposed DCNN is more efficient in terms of fault diagnosis accuracy, demonstrating its superiority. Therefore, the proposed high-accuracy DCNN can be an effective and accurate tool for fault diagnosis in various industrial applications. © 2023 Division of Signal Processing and Electronic systems, Poznan University of technology (DSPES PUT).

关键词： Failure analysis

来源：评论

学校读者我要写书评

暂无评论

Calibration of a High Sampling Frequency MEMS-Based Vibration Measurement System 21st

Calibration of a High Sampling Frequency MEMS-Based Vibratio...

引用

21st Polish control Conference, PCC 2023

作者： Ahsan, Muhammad Bismor, Dariusz Department of Measurements and Control Systems Silesian University of Technology Gliwice44-100 Poland

ISBN: (纸本)9783031351693

Vibration characteristics of a low-cost measurement system based on the ADXL100x micro-electromechanical system (MEMS) sensors are presented in this paper. The discussed measurement system consists of two ADXL100x MEMS accelerometers, interfaced with a Bea-gleBone Black microcontroller. The accelerometers were mounted on a vibration exciter equipped with a reference accelerometer. The vibration exciter was feeded using a function generator with various frequencies and acceleration signals. Vibration characteristics were investigated by comparing reference and recorded frequencies, sensitivity illustration over various frequencies, and sensitivity effects on different accelerations. The results demonstrate that the ADXL100x MEMS sensor is efficient and suitable for high-sensitivity applications. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Accelerometers

来源：评论

学校读者我要写书评

暂无评论

SELECTION PROBLEMS OF CURRENT TRANSFORMERS CHARACTERISTICS AT THE DESIGN STAGE WITH REQUIREMENTS FOR CORRECT OPERATION UNDER TRANSIENT MODES 6

SELECTION PROBLEMS OF CURRENT TRANSFORMERS CHARACTERISTICS A...

引用

6th International Scientific and Technical Conference Relay Protection and Automation, RPA 2023

作者： Yablokov, A.A. Panashchatenko, A.V. Titov, V.A. Maltsev, R.A. Electric power systems automatic control department Electric systems department Ivanovo State Power Engineering University named after V.I. Lenin Ivanovo Russia

ISBN: (纸本)9798350382334

Modern normative technical documentation in the field of design and operation of power facilities [1] imposes new requirements on current transformers (CTs) operation. The technical characteristics of CTs and the connected relay protection devices as a whole must ensure the correct operation of the devices during short-circuits (SCs), including when an aperiodic current component occurs. This circumstance primarily applies to newly constructed and reconstructed power facilities. The process of creating design documentation for them must be carried out taking into account the new requirements, for which GOST R 58669-2019 [2] was developed and approved. According to it, in addition to the existing tests of selected CTs, it is necessary to perform calculations of the time to saturation of the magnetic core of each CT winding, high-speed relay protection devices are connected to which. The obtained time is compared with the minimum time required for the correct operation of the connected relay protection devices. Difficulties often occur in coordinating the characteristics of CTs selected at the design stage and the results of calculating the time to saturation of CT magnetic cores at the detailed design stage. Negative test results lead to the need to adjust the design characteristics of CTs and to additional labor costs for their approval. One of the solutions to the problem encountered in design practice is intentionally inflating the characteristics of CTs at the design stage in order to successfully pass the time to saturation test at the detailed design stage. It leads to unjustified financial costs and non-optimal selection of CTs. Therefore, it is relevant to develop methods for calculating CT characteristics taking into account the new requirements. © 2023 IEEE.

关键词： Electric instrument transformers

来源：评论

学校读者我要写书评

暂无评论

Parallel Domain-Decomposition Algorithms for Complexity Certification of Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming

arXiv

引用

arXiv 2025年

When implementing model predictive control (MPC) for hybrid systems with a linear or a quadratic performance measure, a mixed-integer linear program (MILP) or a mixed-integer quadratic program (MIQP) needs to be solved, respectively, at each sampling instant. Recent work has introduced the possibility to certify the computational complexity of branch-and-bound (B&B) algorithms when solving MILP and MIQP problems formulated as multi-parametric MILPs (mp-MILPs) and mp-MIQPs. Such a framework allows for computing the worst-case computational complexity of standard B&B-based MILP and MIQP solvers, quantified by metrics such as the total number of LP/QP iterations and B&B nodes. These results are highly relevant for real-time hybrid MPC applications. In this paper, we extend this framework by developing parallel, domain-decomposition versions of the previously proposed algorithm, allowing it to scale to larger problem sizes and enable the use of high-performance computing (HPC) resources. Furthermore, to reduce peak memory consumption, we introduce two novel modifications to the existing (serial) complexity certification framework, integrating them into the proposed parallel algorithms. Numerical experiments show that the parallel algorithms significantly reduce computation time while maintaining the correctness of the original framework. © 2025, CC BY.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Efficient Safety Verification of Discrete Event systems 19

Efficient Safety Verification of Discrete Event Systems

引用

19th IEEE International Conference on Automation Science and Engineering, CASE 2023

作者： Lennartson, Bengt Chalmers University of Technology Division of Systems and Control Department of Electrical Engineering Gothenburg Sweden

ISBN: (纸本)9798350320695

Formal verification of safety properties is critical in many application areas. In this paper a survey of the most common and efficient methods is given. The different methods are compared for some typical scalable examples, both modeled by transition systems and Petri nets. The methods are based on symbolic computations and logic representations of both sets and transition relations. Reachability analysis is performed not only from the initial states to any forbidden states, but also in the opposite backward direction. The reason is that a system is also safe when no initial state is backward reachable from the set of forbidden states. For safe systems the number of backward reachable states from forbidden states is often much less than the forward reachable states from the initial states. The backward strategy is shown to be very efficient and often even better than the most efficient methods that are specialized on safety analysis. © 2023 IEEE.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：