Heat transfer between nanoparticles: Thermal conductance for near-field interactions

We analyze the heat transfer between two nanoparticles separated by a distance lying in the near-field domain in which energy interchange is due to the Coulomb interactions. The thermal conductance is computed by assuming that the particles have charge distributions characterized by fluctuating multipole moments in equilibrium with heat baths at two different temperatures. This quantity follows from the fluctuation-dissipation theorem for the fluctuations of the multipolar moments. We compare the behavior of the conductance as a function of the distance between the particles with the result obtained by means of molecular dynamics simulations. The formalism proposed enables us to provide a comprehensive explanation of the marked growth of the conductance when decreasing the distance between the nanoparticles.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code

Characterization theorem for classical orthogonal polynomials on non-uniform lattices: The functional approach

Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey-Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations,and the Riccati equation for the formal Stieltjes function.

Erratum: "The aromatic fluctuation index (FLU): a new aromaticity index based on electron delocalization" [J. Chem Phys. 122, 014109 (2005)]

An erratum to the article "The aromatic fluctuation index (FLU): a new aromaticity index based on electron delocalization", published in The Journal Chemistry of Physics, 2005, v.122, art. no.014109. Values FLU have been corrected in the last column of Table I because they were not correct

The aromatic fluctuation index (FLU): a new aromaticity index based on electron delocalization

In this work, the aromatic fluctuation index (FLU) that describes the fluctuation of electronic charge between adjacent atoms in a given ring is introduced as a new aromaticity measure. This new electronic criterion of aromaticity is based on the fact that aromaticity is related to the cyclic delocalized circulation of π electrons. It is defined not only considering the amount of electron sharing between contiguous atoms, which should be substantial in aromatic molecules, but also taking into account the similarity of electron sharing between adjacent atoms. For a series of rings in 15 planar polycyclic aromatic hydrocarbons, we have found that, in general, FLU is strongly correlated with other widely used indicators of local aromaticity, such as the harmonic-oscillator model of aromaticity, the nucleus independent chemical shift, and the para-delocalization index (PDI). In contrast to PDI, the FLU index can be applied to study the aromaticity of rings with any number of members and it can be used to analyze both the local and global aromatic character of rings and molecules

A utilização de transformadas de wavelet e de detrended fluctuation analysis no estudo da microcirculação da pele humana

A Fluxometria por Laser Doppler (LDF) é uma técnica não invasiva usada para medir o fluxo microvascular da pele humana. No fluxo é possível isolar componentes oscilatórias em gamas de frequências características que se encontram relacionadas com as actividades cardíaca, respiratória, miogénica, simpática e metabólica. A LDF permite assim estudar a fisiologia do fluxo sanguíneo. Neste trabalho foram realizadas medições de LDF nos tornozelos de 9 mulheres saudáveis numa situação de restrição à perfusão, usando uma braçadeira nos tornozelos. Os dados foram analisados com Transformada de Wavelet e Detrended Fluctuation Analysis (DFA) de modo a estudar os rácios das amplitudes das componentes de Wavelet e os respectivos expoentes . Estes parâmetros foram comparados nas situações de repouso, de restrição à perfusão e de recuperação após remoção da braçadeira. Observou-se que durante a restrição à perfusão houve um aumento significativo dos rácios de amplitude e dos expoentes a para as componentes cardíaca, respiratória e miogénica, o que pode reflectir vasoconstrição. Os parâmetros da componente metabólica apresentaram uma diminuição que se pode relacionar com variações na libertação de NO por parte do endotélio. Após a libertação da braçadeira, os parâmetros das componentes respiratória, miogénica e metabólica retornaram aos valores iniciais. Aanálise combinada de Wavelet com DFAoferece uma nova visão sobre a regulação do fluxo microvascular.

A Saito-Tomita-Lusin theorem for JB*-triples and applications

A theorem of Lusin is proved in the non-ordered context of JB*-triples. This is applied to obtain versions of a general transitivity theorem and to deduce refinements of facial structure in closed unit ballls of JB*-triples and duals.