Made available in DSpace on 2015-03-03T15:15:26Z (GMT). No. of bitstreams: 1 EliangelaPB_DISSERT.pdf: 614353 bytes, checksum: 050737d0ef158e6082d81254619adac0 (MD5) Previous issue date: 2011-09-19 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Considering a non-relativistic ideal gas, the standard foundations of kinetic theory are investigated in the context of non-gaussian statistical mechanics introduced by Kaniadakis. The new formalism is based on the generalization of the Boltzmann H-theorem and the deduction of Maxwells statistical distribution. The calculated power law distribution is parameterized through a parameter measuring the degree of non-gaussianity. In the limit = 0, the theory of gaussian Maxwell-Boltzmann distribution is recovered. Two physical applications of the non-gaussian effects have been considered. The first one, the -Doppler broadening of spectral lines from an excited gas is obtained from analytical expressions. The second one, a mathematical relationship between the entropic index and the stellar polytropic index is shown by using the thermodynamic formulation for self-gravitational systems / Considerando um g?s ideal n?o relativ?stico, os fundamentos da teoria cin?tica padr?o s?o investigados no contexto da mec?nica estat?stica n?o-gaussiana introduzida por Kaniadakis. O novo formalismo ? baseado na generaliza??o do teorema-H de Boltzmann e na dedu??o de Maxwell da distribui??o estat?stica. A distribui??o lei de pot?ncia calculada ? parametrizada por um par?metro medindo o grau de n?o-gaussianidade do sistema. No limite = 0, a teoria gaussiana de Maxwell-Boltzmann ? recuperada. Duas aplica??es dos efeitos n?o-gaussiano s?o estudados. Na primeira, o -alargamento Doppler das linhas espectrais de um g?s excitado ? obtido a partir das express?es anal?ticas. Na segunda, uma rela??o matem?tica entre o ?ndice entr?pico e o ?ndice politr?pico estelar ? mostrada usando uma formula??o termodin?mica para sistemas autogravitantes

Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic approach is that it can hardly be combined with other techniques to tackle the state explosion problem, e.g., symbolic probabilistic model checking with multi-terminal variants of binary decision diagrams. Following the approach presented by Kurshan et al. for non-probabilistic systems, we study partial order reduction techniques for probabilistic concurrent systems that can be realized by a static analysis. The idea is to inject the reduction criteria into the control flow graphs of the processes of the system to be analyzed. We provide the theoretical foundations of static partial order reduction for probabilistic concurrent systems and present algorithms to realize them. Finally, we report on some experimental results.