- 标题
- 摘要
- 关键词
- 实验方案
- 产品
-
[IEEE 2018 IEEE PELS Workshop on Emerging Technologies: Wireless Power Transfer (WoW) - Montréal, QC, Canada (2018.6.3-2018.6.7)] 2018 IEEE PELS Workshop on Emerging Technologies: Wireless Power Transfer (Wow) - Modeling and Analysis Methods for the DWPT System Applicated in EVs Charging
摘要： The difficulty of modeling a dynamic wireless power transfer (DWPT) system for Electric Vehicles(EVs) charging is that its mutual inductance changes with the coil offset, so we have to build a dynamic model of the system. In this paper,we propose a modeling method by using equivalent circuit method and state space averaging.Moreover,based on the set of system parameters,comparing the results of the simulation experiment with the result of the model calculation.At last, the performance indexes of the system under the different buck duty cycle are observed. The simulation results of these indexes are also basically consistent with the model calculation results, which further verify the accuracy of the model.At the same time,we found that the selection of duty cycle has a great influence on the performance indexes.
关键词： Dynamic Wireless Power Transfer (DWPT),Equivalent Circuit Method,Electric Vehicles(EVs),State Space Averaging,Dynamic Model
更新于2025-09-23 15:23:52
-
Exact analysis of imperfect angle-ply laminated panels with surface-bonded piezoelectric layers
摘要： The electromechanical behavior of an angle-ply laminated plate in cylindrical bending with surface-bonded piezoelectric layers is investigated. The interlaminar bonding of this smart laminate is described by a Kelvin–Voigt viscoelastic model. Besides, a matrix reduction method is employed to construct the transfer relations between the piezoelectric layer and the elastic strip. Based on the state-space approach, a state differential equation of the interfacial sliding displacements with respect to time variable is derived, from which the exact solutions are obtained in the time domain. Comparison with the existing techniques validates the high efficiency and excellent accuracy of the present analysis. Furthermore, the numerical results indicate that the intelligent laminate may lose partly or completely the load-bearing capacity and the function of sensor/actuators with time elapsing because of the viscoelastic interfaces.
关键词： Angle-ply laminate,Matrix reduction method,Viscoelastic interface,Exact analysis,State-space formulation
更新于2025-09-23 15:22:29
-
A linear state space model for photoacoustic imaging in an acoustic attenuating media
摘要： In photoacoustic imaging, ultrasound waves generated by a temperature rise after illumination of light absorbing structures are measured on the sample surface. These measurements are then used to reconstruct the optical absorption. We develop a method for reconstructing the absorption inside the sample based on a discrete linear state space reformulation of a partial differential equation that describes the propagation of the ultrasound waves. Fundamental properties of the corresponding state space model such as stability, observability and controllability are also analyzed. By using Stokes’ equation, the frequency dependent attenuation of the ultrasound waves is incorporated into our model, therefore the proposed method is of general nature. This approach allows for inhomogeneous probes with arbitrary absorption profiles and it accounts for the decrease in laser intensity due to absorption. Furthermore, it provides a method for optimizing the laser modulation signal such that the accuracy of the estimated absorption profile is maximized. Utilizing the optimized laser modulation signal yields an increase in reconstruction accuracy compared to short laser pulses as well as chirp modulation in many scenarios.
关键词： optimal temporal laser excitation,photoacoustic image reconstruction,acoustic attenuation,linear state space model
更新于2025-09-23 15:22:29
-
An efficient wide input wide output <scp>CrCM flyback</scp> converter <scp>in high</scp> a??power <scp>LED</scp> lighting
摘要： This paper deals with a power factor corrected (PFC) flyback converter for high-power light emitting diode lighting applications. This flyback converter is designed to operate in critical conduction mode to achieve improved power quality at universal AC mains and high efficiency with the low component count. The converter is analyzed using state-space analysis with closed-loop stability under varying input and output conditions. The PFC converter is designed and implemented with wide input and wide output variations. The performance of the prototype is also investigated for improved power quality such as power factor and harmonics distortion of AC mains current at universal AC mains of 85 to 265 V. The achieved efficiency of this converter is 92% and total harmonic distortion is less than 6% over universal AC mains for a prototype of 100 W, which are much improved results as compared to discontinuous conduction mode operation of the same converter.
关键词： state-space analysis,bode plot,power factor correction,critical conduction mode,stability,LED,power quality
更新于2025-09-23 15:21:01
-
Dynamic analysis of a multilayered piezoelectric two-dimensional quasicrystal cylindrical shell filled with compressible fluid using the state-space approach
摘要： The state-space approach is developed to analyze the dynamic behaviors of a multilayered two-dimensional piezoelectric quasicrystal circular cylinder filled with the compressible fluid. With simple support at both ends, the hollow cylindrical shell has imperfect bonding between the layers. The analytical solution of a homogeneous cylindrical shell has been derived based on the state equations. The general solution for the corresponding multilayered case is also obtained by utilizing the propagator matrix method. The numerical results present the natural frequencies in free vibration with different length-to-radius and radius-to-thickness ratios. The critical load and dynamic behaviors of the model are exactly predicted in the axial buckling problem. For the impulse case, the influences of the density of the filled fluid and coefficients of interfacial imperfections on the dynamic responses are also discussed.
关键词： Multilayered piezoelectric quasicrystal,Compressible fluid,State-space approach,Dynamic analysis,Imperfect bonding
更新于2025-09-23 15:21:01
-
Exact coupled solution for photothermal semiconducting beams using a refined multi-phase-lag theory
摘要： The generalized photo-thermoelastic problem of a thick beam subjected to heat flux and photothermal conditions is studied. A modified multi-phase-lag photo-thermo-elasticity theory has been presented. The photothermal equation is added to other coupling thermoelasticity equations and all have been exactly solved. The state-space technique as well as the photothermal and mechanical conditions at the bounded faces of the beam is used for this purpose. The effect of multi-phase-lag and length-to-thickness ratio on the field quantities against the axial and normal directions of the beam under photothermal impacts is discussed. A validation example is considered to show the accuracy and efficiency of the current multi-phase-lag theory. Final investigations to the field quantities due to various photo-thermo-elastic models are made.
关键词： Photo-thermoelasticity,Exact solution,Refined multi-phase-lag model,State-space approach
更新于2025-09-23 15:21:01
-
[IEEE 2019 IEEE 46th Photovoltaic Specialists Conference (PVSC) - Chicago, IL, USA (2019.6.16-2019.6.21)] 2019 IEEE 46th Photovoltaic Specialists Conference (PVSC) - Numerical simulation of CIGS solar cells with Zn(O,S) or (Cd,Zn)S buffers and (Zn,Mg)O as high-resistive layer
摘要： Existing algorithms for I/O Linear Temporal Logic (LTL) model checking usually output a single counterexample for a system which violates the property. However, in real-world applications, such as diagnosis and debugging in software and hardware system designs, people often need to have a set of counterexamples or even all counterexamples. For this purpose, we propose an I/O efficient approach for detecting all accepting cycles, called Detecting All Accepting Cycles (DAAC), where the properties to be verified are in LTL. Different from other algorithms for finding all cycles, DAAC first searches for the accepting strongly connected components (ASCCs), and then finds all accepting cycles of every ASCC, which can avoid searching for a great many paths that are impossible to be extended to accepting cycles. In order to further lower DAAC's I/O complexity and improve its performance, we propose an intersection computation technique and a dynamic path management technique, and exploit a minimal perfect hash function (MPHF). We carry out both complexity and experimental comparisons with the state-of-the-art algorithms including Detect Accepting Cycle (DAC), Maximal Accepting Predecessors (MAP) and Iterative-Deepening Depth-First Search (IDDFS). The comparative results show that our approach is better on the whole in terms of I/O complexity and practical performance, despite the fact that it finds all counterexamples.
关键词： state space explosion,accepting strongly connected component,breath-first search,detection of all accepting cycles,Model checking
更新于2025-09-19 17:13:59
-
[IEEE 2019 44th International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz) - Paris, France (2019.9.1-2019.9.6)] 2019 44th International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz) - Full-field THz polarimetric imaging with THz quantum cascade laser and THz imager
摘要： Model checking is a powerful approach for the formal verification of hardware and software systems. However, this approach suffers from the state space explosion problem, which limits its application to large-scale systems due to space shortage. To overcome this drawback, one of the most effective solutions is to use external memory algorithms. In this paper, we propose an I/O efficient model checking algorithm for large-scale systems. To lower I/O complexity and improve time efficiency, we combine three new techniques: 1) a linear hash-sorting technique; 2) a cached duplicate detection technique; and 3) a dynamic path management technique. We show that the new algorithm has a lower I/O complexity than state-of-the-art I/O efficient model checking algorithms, including detect accepting cycle, maximal accepting predecessors, and iterative-deepening depth-first search. In addition, the experiments show that our algorithm obviously outperforms these three algorithms on the selected representative benchmarks in terms of performance.
关键词： state space explosion,model checking,Duplicate detection,linear hash-sorting,dynamic search path management
更新于2025-09-19 17:13:59
-
[IEEE 2019 Photonics North (PN) - Quebec City, QC, Canada (2019.5.21-2019.5.23)] 2019 Photonics North (PN) - Enhancement of the Power Conversion Efficiency of Organic Solar Cells by Surface Patterning of Azobenzen Thin Films
摘要： Electrocardiogram (ECG) is a non-invasive method to monitor electric activities inside the heart. The signals observed on the surface of human body have very low amplitude, and thus, ECG is highly vulnerable to noise. One of the most devastating noise is power line interference (PLI) and its harmonics, which are interlaced with ECG signal even if the ECG equipment is operated on battery. The problem is further complicated when the frequency of PLI is not static, making the conventional notch ?lter completely ineffective. High-resolution electrocardiogram (HRECG) is a specialized technique in which higher frequency components present in the ECG signal are observed; here, we need to eliminate the harmonics of PLI as well. In this paper, we propose an intelligent adaptive noise rejection ?lter, which tracks and eliminates PLI as well as its harmonics. The proposed system can estimate the frequency of PLI and tune the adaptive ?lter for precise elimination of PLI as well as its harmonics without the requirement of an auxiliary reference input. The proposed system is based on recursive state space model, inherited with less computational complexity and performs well in a non-stationary environment. The proposed system responds well to the ongoing variations in amplitude and frequency of PLI present in the HRECG signal as well as intracardiac signal. The proposed system does not require any reference signal for tracking the PLI and its harmonics, and it is capable to self-adjust its tracking frequency for highly precise ?ltration of ?rst, third, and ?fth harmonics of PLI.
关键词： power line interference,intelligent frequency estimation,state space RLS,Adaptive noise cancellation,high resolution electrocardiogram
更新于2025-09-19 17:13:59
-
[IEEE 2019 IEEE 3rd Conference on Energy Internet and Energy System Integration (EI2) - Changsha, China (2019.11.8-2019.11.10)] 2019 IEEE 3rd Conference on Energy Internet and Energy System Integration (EI2) - Fractional-order Sliding Mode Control Strategy for Quasi-Z Source Photovoltaic Grid-Connected Inverter
摘要： Existing algorithms for I/O Linear Temporal Logic (LTL) model checking usually output a single counterexample for a system which violates the property. However, in real-world applications, such as diagnosis and debugging in software and hardware system designs, people often need to have a set of counterexamples or even all counterexamples. For this purpose, we propose an I/O efficient approach for detecting all accepting cycles, called Detecting All Accepting Cycles (DAAC), where the properties to be verified are in LTL. Different from other algorithms for finding all cycles, DAAC first searches for the accepting strongly connected components (ASCCs), and then finds all accepting cycles of every ASCC, which can avoid searching for a great many paths that are impossible to be extended to accepting cycles. In order to further lower DAAC's I/O complexity and improve its performance, we propose an intersection computation technique and a dynamic path management technique, and exploit a minimal perfect hash function (MPHF). We carry out both complexity and experimental comparisons with the state-of-the-art algorithms including Detect Accepting Cycle (DAC), Maximal Accepting Predecessors (MAP) and Iterative-Deepening Depth-First Search (IDDFS). The comparative results show that our approach is better on the whole in terms of I/O complexity and practical performance, despite the fact that it finds all counterexamples.
关键词： Model checking,state space explosion,accepting strongly connected component,breath-first search,detection of all accepting cycles
更新于2025-09-19 17:13:59