9 research outputs found
The basic reproductive ratio of Barbour’s two-host schistosomiasis model with seasonal fluctuations
Compact Dual-Band Coupler for Vehicular Beam-Forming Array
A novel kind of compact dual-band quadrature patch coupler for vehicular beam-forming array is proposed for the first time in this paper. To keep the performance of the first operating frequency 2.4 GHz (for Bluetooth Low Energy (BLE)) and generate the second operating frequency 5.9 GHz (for Dedicated Short Range Communications (DSRC)) simultaneously, complementary triangular split resonant rings (CTSRRs) and splitting gaps are employed to improve the performance of this new coupler; final size of the proposed coupler is 0.24λg (for 2.4 GHz). To validate the performance and design method of the coupler this paper proposed, a 3D model is constructed and optimized with ANSOFT HFSS firstly and then a coupler prototype is fabricated and measured. The measured results show that the amplitude unbalance (AU) is 0.54 dB and 0.44 dB for 2.4 GHz and 5.9 GHz, respectively, and the corresponding phase unbalance (PU) is 93.5 and 92 degrees, respectively
Secure Control of Networked Inverted Pendulum Visual Servo Systems Based on Active Disturbance Rejection Control
This paper investigates secure control of Networked Inverted Pendulum Visual Servo Systems (NIPVSSs) based on Active Disturbance Rejection Control (ADRC). Firstly, considering the network- and image-induced delays in conjuction with computational errors caused by image processing and image attacks, the model of NIPVSSs is established. Secondly, the limitations of the traditional Single-Input-Single-Output (SISO) ADRC used in NIPVSSs with disturbance are revealed. The limitations are that the ESO used in the traditional SISO ADRC brings large steady-state error, and the NLSEF used in the traditional SISO ADRC can achieve stable control of pendulum angle, but cannot achieve stable control of cart position. Thirdly, a new Single-Input-Multi-Output (SIMO) ADRC method is proposed for NIPVSSs with disturbance. In the new SIMO ADRC method, the new ESO is designed by introducing additional first and second derivatives of error to reduce the steady-state error. In addition, the new NLSEF is developed by taking both the calculated cart position and pendulum angle as inputs to achieve dual stable control of pendulum angle and cart position. Finally, combined with the designed ADRC parameter-tuning strategy, the results from simulation and real-world experiments confirm the effectiveness and feasibility of the proposed method
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
We propose a verification solution based on characteristic set of Wu’s method towards SystemVerilog assertion checking over digital circuit systems. We define a suitable subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic representations using characteristic set of polynomial system. This symbolic algebraic approach is a useful supplement to the existent verification methods based on simulation
Distributed security state estimation-based carbon emissions and economic cost analysis for cyber–physical power systems under hybrid attacks
Sustainable cyber–physical power systems (CPPSs) significantly reduce carbon emissions due to climate change. However, when the data exchange in CPPSs suffers from hybrid attacks, the distributed state estimation and optimal power flow (OPF) analysis will inevitably be compromised, leading to inadequate or faulty scheduling of clean energy and thermal power generations and further affecting the total carbon emissions and economic cost. To address these problems, this paper proposes a novel consensus-based distributed security state estimation (DSSE) method for CPPSs, which is used to analyze the impact of hybrid attacks on carbon emissions and economic cost. Firstly, the incomplete and non-authentic data features caused by hybrid attacks are described, and their influence on distributed state estimation model is analyzed. A new residual-based attack detection method is then constructed in each subregion, where secure and non-secure sets are employed to describe whether the subregion is attacked and the compensation mechanism is designed for the non-secure set. Secondly, considering data compensation, distributed state estimation model is reconstructed, and a distributed security state estimation method under hybrid attacks is proposed while its convergence condition is derived. Thirdly, the impacts of hybrid attacks on carbon emissions and economic costs are analyzed based on the proposed DSSE method. Finally, experimental results confirm the validity of the theoretic analysis