BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
David Casas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a polynomial-time algorithm for recognizing this class of automata.
A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize such automata in terms of graphs and trees.
The stopping power of Warm Dense Matter (WDM) is estimated by means of the individual contributions of free electrons and bound electrons existing in this special kind of matter, located between classical and degenerate plasmas. For free electrons, the dielectric formalism, well described in our studies, is used to estimate the free electron stopping power. For bound electrons, the mean excitation energy of ions is used. Excitation energies are obtained through atomic calculations of the whole atom or, shell by shell in order to estimate their stopping power. Influence of temperature and density is analyzed in case of an impinging projectile. This influence becomes important for low projectile velocities and is negligible for high ones. Using free and bound electron analysis, the stopping power of an extended WDM is inferred from a dynamical calculation of energy transferred from the projectile to the plasma, where the Bragg peak and stopping range are calculated. Finally, this theoretical framework is used to study a typical plasma density profile of a WDM heated by lasers.
In this work, the stopping power of a partially ionized plasma is analyzed by means of free electron stopping and bound electron stopping. For the first one, the RPA dielectric function is used, and for the latter one, an interpolation of high and low projectile velocity formulas is used. The dynamical energy loss of an ion beam inside a plasma is estimated by using an iterative scheme of calculation. The Abel inversion is also applied when we have a plasma with radial symmetry. Finally, we compare our methods with two kind of plasmas. In the first one, we estimate the energy loss in a plasma created by a laser prepulse, whose density is approximated by a piecewise function. For the latter one, a radial electron density is supposed and the stopping is obtained as function of radius from the calculated lateral points. In both cases, the dependence with the density profile is observed.