Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Opening windows into the mind: mothers' preferences for mental state explanations and children's theory of mind

A new questionnaire, the Maternal Mental State Input Inventory (MMSII) was created to measure mothers' preferences for introducing and elaborating on mental states in conversation with their young children. In two studies, the questionnaire was given to mothers of young children, and the children's theory of mind (ToM) development was assessed with standard tasks. In both studies, the questionnaire exhibited good internal reliability, and significant correlations emerged between mothers' self-reported preferences for elaborated, explanatory talk about the mental states and children's theory of mind performance. Further, mothers' conversational preferences, as measured by the MMSII, were the best predictors of children's theory of mind development when relevant control variables were included in the analyses. These results converge with naturalistic observational research that has demonstrated links between mothers' conversational styles and their children's theory of mind. They go further in suggesting that mothers' tendencies toward elaborated, explanatory talk about a range of mental states is particularly beneficial to children's theory of mind development. (C) 2003 Elsevier Inc. All rights reserved.

Phase equilibria and surface tension of pure fluids using a molecular layer structure theory (MLST) model

This paper presents a new model based on thermodynamic and molecular interaction between molecules to describe the vapour-liquid phase equilibria and surface tension of pure component. The model assumes that the bulk fluid can be characterised as set of parallel layers. Because of this molecular structure, we coin the model as the molecular layer structure theory (MLST). Each layer has two energetic components. One is the interaction energy of one molecule of that layer with all surrounding layers. The other component is the intra-layer Helmholtz free energy, which accounts for the internal energy and the entropy of that layer. The equilibrium between two separating phases is derived from the minimum of the grand potential, and the surface tension is calculated as the excess of the Helmholtz energy of the system. We test this model with a number of components, argon, krypton, ethane, n-butane, iso-butane, ethylene and sulphur hexafluoride, and the results are very satisfactory. (C) 2002 Elsevier Science B.V. All rights reserved.

Quantum theory of the far-off-resonance continuous-wave Raman laser: Heisenberg-Langevin approach

We present the quantum theory of the far-off-resonance continuous-wave Raman laser using the Heisenberg-Langevin approach. We show that the simplified quantum Langevin equations for this system are mathematically identical to those of the nondegenerate optical parametric oscillator in the time domain with the following associations: pump pump, Stokes signal, and Raman coherence idler. We derive analytical results for both the steady-state behavior and the time-dependent noise spectra, using standard linearization procedures. In the semiclassical limit, these results match with previous purely semiclassical treatments, which yield excellent agreement with experimental observations. The analytical time-dependent results predict perfect photon statistics conversion from the pump to the Stokes and nonclassical behavior under certain operational conditions.

Wall mediated transport in confined spaces: Exact theory for low density

We present a theory for the transport of molecules adsorbed in slit and cylindrical nanopores at low density, considering the axial momentum gain of molecules oscillating between diffuse wall reflections. Good agreement with molecular dynamics simulations is obtained over a wide range of pore sizes, including the regime of single-file diffusion where fluid-fluid interactions are shown to have a negligible effect on the collective transport coefficient. We show that dispersive fluid-wall interactions considerably attenuate transport compared to classical hard sphere theory.

Os fundos de investimento imobiliário listados em bolsa e as variáveis que influenciam seus retornos

Os fundos de investimento imobiliário combinam características tanto do mercado imobiliário, fonte de seus rendimentos, quanto do mercado de capitais, ambiente em que são negociados. O impacto de cada um desses mercados subjacentes no comportamento, desempenho e risco dessa classe de ativos não é, no entanto, ainda claramente definida, sendo um dos grandes temas em análise, tanto na literatura acadêmica, quanto na indústria de fundos internacionais. Em face da significativa expansão dessa alternativa de investimento no mercado brasileiro, no presente estudo foram analisadas as variáveis que influenciam os retornos dos fundos imobiliários brasileiros para uma amostra de fundos listados em Bolsa de Valores de São Paulo, período de 2008-2013. Seguindo a metodologia de Clayton e Mackinnon (2003), os fatores explicativos dos retornos foram decompostos em quatro componentes principais, sendo três fatores de retorno de mercado (mercado de ações, mercado de renda fixa e mercado imobiliário) e risco idiossincrático. De acordo com a estatística descritiva, os fundos imobiliários da amostra apresentaram maior retorno em relação aos demais mercados, exceto em comparação com o mercado imobiliário, porém com menor risco. As análises de correlação, regressão e decomposição da variância indicam que o mercado de ações e o mercado imobiliário direto são, em geral, significativos no modelo, porém explicam apenas cerca de 15% da volatilidade dos retornos dos fundos da amostra. À luz da Moderna Teoria do Portfólio, esses resultados indicam que a inclusão de fundos imobiliários pode ter potencial diversificador numa carteira multi-ativo, seja aumentando o retorno total de uma carteira formada de ações e títulos de renda fixa, sem acréscimo em risco; ou mantendo o retorno dessa carteira, com diminuição da volatilidade, ampliando assim a fronteira eficiente da carteira. Esse efeito questiona o tradicional equilibrium fund de carteiras de investimentos formadas apenas de ações e renda fixa e aponta os fundos imobiliários como uma alternativa de investimento diversificadora, enquanto classe de ativo única. A análise de subamostras por tipologia indica, porém, que o papel diversificador dos fundos imobiliários está atrelado ao tipo de empreendimento que lastreia esse fundo, uma vez que os fatores explicativos e seus impactos nos retornos diferem de uma tipologia para outra. Esse resultado tem importantes implicações no critério de seleção a ser adotado tanto por investidores para seleção de ativos para uma carteira otimizada, como para gestores de fundos imobiliários na formatação e gestão desses produtos. Conclui-se também que os retornos dos fundos, de certo modo, refletem seu caráter híbrido, mas o modelo decomposto em 4 componentes não é suficiente para explicar os retornos dos fundos imobiliários, uma vez que o modelo estendido, demonstrou que outras variáveis, inclusive parâmetros desses próprios mercados, além de variáveis macroeconômicas e as características de cada fundo (eg. market-to-book, tamanho), podem ser responsáveis por explicar considerável parte da variância dos retornos dos FIIs.

Modelo de escoamento multifásico para estudo da interação onda/sedimento

Modelos de escoamento multifásico são amplamente usados em diversas áreas de pesquisa ambiental, como leitos fluidizados, dispersão de gás em líquidos e vários outros processos que englobam mais de uma propriedade físico-química do meio. Dessa forma, um modelo multifásico foi desenvolvido e adaptado para o estudo do transporte de sedimentos de fundo devido à ação de ondas de gravidade. Neste trabalho, foi elaborado o acoplamento multifásico de um modelo euleriano não-linear de ondas do tipo Boussinesq, baseado na formulação numérica encontrada em Wei et al. (1995), com um modelo lagrangiano de partículas, fundamentado pelo princípio Newtoniano do movimento com o esquema de colisões do tipo esferas rígidas. O modelo de ondas foi testado quanto à sua fonte geradora, representada por uma função gaussiana, pá-pistão e pá-batedor, e quanto à sua interação com a profundidade, através da não-linearidade e de propriedades dispersivas. Nos testes realizados da fonte geradora, foi observado que a fonte gaussiana, conforme Wei et al. (1999), apresentou melhor consistência e estabilidade na geração das ondas, quando comparada à teoria linear para um kh   . A não-linearidade do modelo de ondas de 2ª ordem para a dispersão apresentou resultados satisfatórios quando confrontados com o experimento de ondas sobre um obstáculo trapezoidal, onde a deformação da onda sobre a estrutura submersa está em concordância com os dados experimentais encontrados na literatura. A partir daí, o modelo granular também foi testado em dois experimentos. O primeiro simula uma quebra de barragem em um tanque contendo água e o segundo, a quebra de barragem é simulada com um obstáculo rígido adicionado ao centro do tanque. Nesses experimentos, o algoritmo de colisão foi eficaz no tratamento da interação entre partícula-partícula e partícula-parede, permitindo a evidência de processos físicos que são complicados de serem simulados por modelos de malhas regulares. Para o acoplamento do modelo de ondas e de sedimentos, o algoritmo foi testado com base de dados da literatura quanto à morfologia do leito. Os resultados foram confrontados com dados analíticos e de modelos numéricos, e se mostraram satisfatórios com relação aos pontos de erosão, de sedimentação e na alteração da forma da barra arenosa

Exploring the interplay between Framing and Securitization theory: the case of the Arab Spring protests in Bahrain

This article advances the theoretical integration between securitization theory and the framing approach, resulting in a set of criteria hereby called security framing. It seeks to make a twofold contribution: to sharpen the study of the ideational elements that underlie the construction of threats, and to advance towards a greater assessment of the audience's preferences. The case study under examination is the 2011 military intervention of the countries of the Gulf Cooperation Council in Bahrain. The security framing of this case will help illuminate the dynamics at play in one of the most important recent events in Gulf politics.

Applying complex network theory to the understanding of high-aspect-ratio carbon-filled composites

This work demonstrates that the theoretical framework of complex networks typically used to study systems such as social networks or the World Wide Web can be also applied to material science, allowing deeper understanding of fundamental physical relationships. In particular, through the application of the network theory to carbon nanotubes or vapour-grown carbon nanofiber composites, by mapping fillers to vertices and edges to the gap between fillers, the percolation threshold has been predicted and a formula that relates the composite conductance to the network disorder has been obtained. The theoretical arguments are validated by experimental results from the literature.