Abstract We investigate the thermodynamical properties of charged torus-like black holes and take it as working substance to study heat engines. In extended phase space, by interpreting cosmological constant thermodynamic pressure, we derive quantities first law hole thermodynamics obtain equation state. Then, calculate efficiency engine in Carnot cycle well rectangular cycle, how changes with ...

This paper proposes an efficient approach to model stochastic hybrid systems and to implement Monte Carlo simulation for such models, thus allowing the calculation of various probabilistic indicators: reliability, availability, average production, life cycle cost etc. Stochastic hybrid systems can be considered, most of the time, as Piecewise Deterministic Markov Processes (PDMP). Although PDMP...

The current method of calculating cumulative pregnancy rate can lead to an overestimation of treatment efficacy, especially over many cycles of assisted reproduction treatment. The choice of scale of passage of time should be dependent upon the types of treatment to be evaluated. The number of treatment cycles to which patients' effort and commitment is directly related may be appropriate where...

This paper aims at providing a numerical calculation method of the spectrum of Lyapunov exponents in a four-dimensional impulsive hybrid nonlinear dynamics of a passive compass-gait model under the OGY control approach by means of a controlled hybrid Poincaré map. We present a four-dimensional simplified analytical expression of such hybrid map obtained by linearizing the uncontrolled impulsive...

We propose the technology of obtaining the promising material with wide specter of application-activated nanostructured carbon. In terms of technical indicators, it will stand next to the materials produced by complex regulations with the use of costly chemical operations. It can be used for the following needs: as a sorbent for hemosorption and enterosorption, for creation of the newest source...

Social criteria have been proposed to evaluate the sustainability of operational initiatives in the process industry through an integrated Life Cycle Management (LCM) approach. Indicators for these social criteria are subsequently introduced. The calculation of the indicators follows conventional LCIA methods, and specifically the distance-to-target approach for normalisation, whereby a societa...

We address the veriication problem of FIFO-channel systems. We apply the symbolic analysis principle to these systems. We represent their sets of conng-urations using structures called CQDD's combining nite-state automata with linear arithmetical constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets ...

We address the veriication problem of FIFO-channel systems. We apply the symbolic analysis principle to these systems. We represent their sets of conngurations using structures called CQDD's combining nite-state automata with linear arith-metical constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets ...

It is well-known that the number of planar maps with prescribed vertex degree distribution and suitable labeling can be represented as the leading coefficient of the 1 N -expansion of a joint cumulant of traces of powers of an N -by-N GUE matrix. Here we undertake the calculation of this leading coefficient in a different way. Firstly, we tridiagonalize the GUE matrix à la Trotter and Dumitriu-...