16,117 research outputs found
Optimization of cathode flooding in scaled-up microfluidic fuel cells
published_or_final_versio
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker
The development of cyber-physical systems (CPS) has brought much attention of researchers to cyber-attack and cyber-security. A sensor attacker targeting on a supervised discrete event system can modify a set of sensor readings and cause the closed-loop system to reach undesirable states. In this letter, we propose a new attack detection mechanism under which the supervisor only needs to keep track of the last observable event received. Given a plant and a supervisor enforcing a state specification, we define a sensor attacker threatening if it may cause the closed-loop system to enter a forbidden state. Our goal is to verify whether there exists such a threatening sensor attacker for a given controlled system. A new structure, called All Sensor Attack (ASA), is proposed to capture all possible sensor attacks launched by the attacker. Based on the ASA automaton, a necessary and sufficient condition for the existence of a stealthy threatening sensor attacker is presented. Finally, we show that the condition can be verified in polynomial time
A switchable pH-differential reactor with high reactivity and efficiency for CO<font size=-1><sub>2</sub></font> utilization
published_or_final_versio
Numerical modelling of a dual electrolyte membraneless electrolytic cell for CO<font size=-1><sub>2</sub></font> to fuel conversion
published_or_final_versio
Stable controller design for linear systems
This paper is concerned with the problem of suboptimal stable mixed H2/H∞ control for linear time-invariant systems. The designed controllers are required to satisfy a prescribed H∞ performance bound or a prescribed degree of stability. By reducing the stable controller synthesis problem to a multiobjective state feedback control problem for two different state models, sufficient conditions for the solvability of the considered problem are given in terms of solutions to algebraic Riccati equations and matrix inequalities. LMI-based iterative algorithms are developed to solve the stable controller synthesis problem. All of the proposed algorithms are shown to be convergent. An example is given to illustrate the proposed methods.published_or_final_versio
Activation of MAPK signaling pathway is essential for Id-1 induced serum independent prostate cancer cell growth
published_or_final_versio
Joint CFO and channel estimation for ZP-OFDM modulated two-way relay networks
In this paper, we study the problem of joint carrier frequency offset (CFO) and channel estimation for two-way relay network (TWRN). We consider the frequency selective fading channels and adopt the zero padding (ZP) based orthogonal frequency division multiplexing (OFDM) as the modulation of the transmission. Due to the mixture of the first and the second transmission phases, the joint estimation problem becomes much challenging than that in the traditional point-to-point communication systems. By introducing some redundancy, we modify the structure of ZP-OFDM to cope with non-zero frequency synchronization errors. We then propose a nulling-based least square (NLS) method for joint CFO and channel estimation. A detailed performance analysis of NLS has been conducted, where we prove that the unbiasedness of NLS and derive the closed-form estimation mean-square-error (MSE) at high signal-to-noise ratio (SNR). Finally, simulations are provided to corroborate the proposed studies. ©2010 IEEE.published_or_final_versionThe IEEE Conference on Wireless Communications and Networking (WCNC 2010), Sydney, NSW., 18-21 April 2010. In Proceedings of WCNC, 2010, p. 1-
Joint CFO and channel estimation for CP-OFDM modulated two-way relay networks
In this paper, we study the problem of joint carrier frequency offset (CFO) and channel estimation for amplify-andforward (AF) two-way relay network (TWRN) that comprises two source terminals and one relay node. Both the system design and the estimation problem become more challenging when CFO is non-zero in a frequency-selective environment, as compared to the conventional point-to-point communication systems. By introducing some redundancy, we propose a cyclic prefix (CP) based OFDM modulation for TWRN that is capable of maintaining the advantage of using multi-carrier transmission and at the same time facilitates the system initialization, e.g., synchronization and channel estimation. We then apply a least square (LS) approach to solve the estimation problem. The approximated Cramér-Rao Bound (CRB) has been derived as the performance benchmark of the proposed estimator. Finally, simulations are provided to corroborate the theoretical studies. ©2010 IEEE.published_or_final_versionThe IEEE International Conference on Communications (ICC 2010), Cape Town, South Africa, 23-27 May 2010. In Proceedings of the IEEE International Conference on Communications, 2010, p. 1-
Electromechanical modeling and experimental analysis of a compression-based piezoelectric vibration energy harvester
Over the past few decades, wireless sensor networks have been widely used in the field of structure health monitoring of civil, mechanical, and aerospace systems. Currently, most wireless sensor networks are battery-powered and it is costly and unsustainable for maintenance because of the requirement for frequent battery replacements. As an attempt to address such issue, this article theoretically and experimentally studies a compression-based piezoelectric energy harvester using a multilayer stack configuration, which is suitable for civil infrastructure system applications where large compressive loads occur, such as heavily vehicular loading acting on pavements. In this article, we firstly present analytical and numerical modeling of the piezoelectric multilayer stack under axial compressive loading, which is based on the linear theory of piezoelectricity. A two-degree-of-freedom electromechanical model, considering both the mechanical and electrical aspects of the proposed harvester, was developed to characterize the harvested electrical power under the external electrical load. Exact closed-form expressions of the electromechanical models have been derived to analyze the mechanical and electrical properties of the proposed harvester. The theoretical analyses are validated through several experiments for a test prototype under harmonic excitations. The test results exhibit very good agreement with the analytical analyses and numerical simulations for a range of resistive loads and input excitation levels. © 2014 The Author(s)
- …