in this paper, the nonlinear conjugate map based on the conjugate hasofer-lind and rackwitz- fiessler (chl-rf) method is applied to evaluate the reliability index using first order reliability method of the embedded noanocompsite beam, which is made from polymer reinforced with carbon nanotubs (cnts). the structure is simulated with timoshenko beam model. the mori-tanaka model is applied for ca...

Estimating consistent parameters of a structured (gray-box) statespace representation requires a reliable initialization when the vector of parameters is computed by using a gradient-based algorithm. In the companion paper [5], the problem of supplying a reliable initial vector of parameters is tackled. More precisely, by assuming that a reliable initial fully-parameterized state-space model of...

We propose a simple theoretical structure of interacting integrate-and-fire neurons that can handle fast information processing and may account for the fact that only a few neuronal spikes suffice to transmit information in the brain. Using integrate-and-fire neurons that are subjected to individual noise and to a common external input, we calculate their first passage time (FPT), or interspike...

Time-delay systems (TDSs) frequently arise in circuit simulation especially in high-frequency applications. Model order reduction (MOR) techniques can be used to facilitate the simulation of TDSs. On the other hand, many kinds of variations, such as temperature and geometric uncertainties, can have significant impact on the transient responses of TDSs. Therefore, it is important to preserve par...

We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-order formulas expressing invariants into equivalent formulas expressed in a weaker but decidable logic. Two technics are considered: quantifier elimination and reduction to finite domain.

This work presents a first-order model checking procedure that verifies systems with potentially infinite data spaces with respect to first-order CTL specification. The procedure relies on a partition of the system variables into control and data. While control values are expanded into BDD-representations, data values enter in form of their properties relevant to the verification task. The algo...

This paper proposes a general multiscroll Lorenz system family by introducing a novel parameterized nth-order polynomial transformation. Some basic dynamical behaviors of this general multiscroll Lorenz system family are then investigated, including bifurcations, maximum Lyapunov exponents, and parameters regions. Furthermore, the general multiscroll Lorenz attractors are physically verified by...