Unmanned Aerial Vehicle (UAV) applications are extended extremely. Some applications need to use several UAVs for a general mission which can be considered a UAV fleet. One of the important characteristics for the evaluation of a UAV or UAV fleet is reliability. There are studies in which methods for analysis of their reliability are considered. Reliability analysis of UAV fleets is less frequently studied, although a single UAV...

Systematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...

This work presents multi‐state multi‐reference Møller–Plesset second‐order perturbation theory as a variant of multi‐reference perturbation theory to treat electron correlation in molecules. An effective Hamiltonian is constructed from the first‐order wave operator to treat several strongly interacting electronic states simultaneously. The wave operator is obtained by solving the generalized Bloch equation within the first‐order...

Technical systems are more complex every day as their electronics and mechanics. Technical advances tend to be autonomous in its performance and perform an auto-diagnosis that allows determining an abnormality existence in a component or subsystem and deciding if the system has to be stopped or not.

In the paper the method of modelling a speed-varying geared rotor system is presented. The proposed approach enables us to obtain an accurate low-order lumped parameter representation of the investigated system. The final model consists of reduced modal models of an undamped beam/torsional shaft system as well as a spatially lumped model of other linear and nonlinear phenomena including gear mesh interaction.