Aspecto progressivo : um modal epistêmico?

Esta pesquisa procurou demonstrar que o aspecto progressivo representa a opção disponibilizada pela língua portuguesa para que o falante, diante de determinadas situações, possa se referir apenas ao fragmento manifesto, revelando, assim, o seu desejo de se comprometer somente com a parte da verdade evidenciada pela situação. Quando uma situação é apresentada com um verbo de estado, os falantes de língua inglesa, para atingir o mesmo objetivo, utilizam perífrases dos verbos de estado. Foram selecionados verbos de estado que expressam estados mentais/cognitivos para testar as hipóteses, porque a mitigação de comprometimento revelou ser mais claramente observável em enunciados com este tipo de verbos. Os resultados obtidos evidenciaram que os falantes de ambas as línguas distinguem situações completas de incompletas e que optam por mais de uma forma para expressar menor comprometimento, e não somente pela forma do aspecto progressivo quando, após interpretar uma situação como incompleta, desejam manifestar-se a respeito dela. Os falantes de ambas as línguas também utilizaram formas no perfectivo + perífrase modalizadora e perífrases dos verbos de estado no progressivo. A opção pelo uso destas formas, para ser fiel à verdade de sua interpretação da situação como não-completa, indiciou que há uma avaliação de grau de comprometimento por parte do falante. Os resultados apontam para a possibilidade de que o aspecto progressivo atue como um modal epistêmico, não obstante o fato de o falante poder expressar comprometimento parcial também através de outras formas.

Sistemas concentrados e distribuídos através da análise modal adjunta

Este estudo visou a utilização direta da análise modal adjunta em sistemas não-clásicos de natureza concentrada e distribuída, explorando o conceitos de biortogonalidade modal e da resposta impulso evolutiva e estacionária. Discutiu-se a natureza do espectro para diversas classes de sistemas, em particular para sistemas com efeitos giroscópicos e com atrito interno. A teoria foi desenvolvida de maneira paralela para sistemas de primeira ordem e de segunda ordem, porém é apresentada de maneira independente, ou seja, para os sistemas de segunda ordem não é utilizada a formulação de espaço de estado, a qual reduz o sistema para primeira ordem. Assim, as relações de biortogonalidade para sistemas de segunda ordem são apresentadas e utilizadas de maneira direta na expansão modal da resposta dos sistemas. A forma dos modos de vibração em variadas aplicações é determinada de maneira exata com o uso da base dinâmica gerada pela resposta impulso espacial. No cálculo dos autovalores foi introduzida uma aproximação polinomial para a resposta impulso espacial Os coeficientes dessa aproximação foram obtidos por recursão, a partir de uma equação em diferenças associada à equação característica do problema modal. Simulações numéricas foram realizadas para obter a resposta impulso evolutiva, respostas forçadas e modos de vibração de sistemas não-clássicos concentrados, formulados através de modelos ou aproximações, e sistemas distribuídos, formulados através de modelos ou incluindo distúrbios e acoplamento através das condições decontorno. Os resultados deste estudo permitiram concluir, através das simulações numéricas realizadas, a importância da base dinâmica no sentido de simplificar os cálculos para obtenção dos autovalores, dos modos de vibração e, consequentemente, da resposta do sistema, seja concentrado, distribuído com ou sem acoplamento das condições de contorno. A utilização da análise modal adjunta, desde que ocorra uma ordenação adequada dos autovalores e modos, mostrou-se um método eficiente na obtenção direta da resposta de sistemas não-clássicos de segunda ordem, ou seja, sem redução ao espaço de estado.

Interface de cálculo modal e visualização para estruturas flexíveis tipo Euler-Bernoulli

Neste trabalho, foram analisadas, implementadas e mostradas as características de uma interface com estrutura de programação genérica para o ambiente Windows, criando facilidades de rapidez, confiabilidade e a apresentação de resultados aos usuários do sistema matemático Maple na criação e uso de aplicações matemáticas. A interface utilizou como modelo de implementação cálculos modais de vigas clássicas de Euler-Bernoulli. O usuário encontra, em um único sistema, cálculo para vigas clássicas, terá uma entrada de dados facilitada de variáveis que serão substituídas automaticamente no programa fonte da viga e a geração de resultados em um ambiente amigável com dados e gráficos mostrados de forma organizados.

Mudança climática e modal: dois caminhos que se cruzam

Tendo em vista a crescente preocupação com a questão da mudança climática e suas consequências para a sociedade, pretendemos analisar de que forma o padrão de viagens dos munícipes impacta no consumo de combustíveis nos municípios. Utilizamos como proxy para as viagens a frota de veículos dos municípios, empregando o modelo em painel com efeitos fixos. O resultado aponta que, se houver uma política que incentive a mudança modal, é possível reduzir o consumo de combustíveis e, consequentemente, a emissão de gases de efeito estufa.

Detecção de dano estrutural por algoritmos genéticos e sensibilidade modal

A área de pesquisa de testes não-destrutivos é muito importante, trabalhando com o diagnóstico e o monitoramento das condições dos componentes estruturais prevenindo falhas catastróficas. O uso de algoritmos genéticos para identificar mudanças na integridade estrutural através de mudanças nas respostas de vibração da estrutura é um método não-destrutivo que vem sendo pesquisado. Isto se deve ao fato de que são vantajosos em achar o mínimo global em situações difíceis de problemas de otimização, particularmente onde existem muitos mínimos locais como no caso de detecção de dano. Neste trabalho é proposto um algoritmo genético para localizar e avaliar os danos em membros estruturais usando o conceito de mudanças nas freqüências naturais da estrutura. Primeiramente foi realizada uma revisão das técnicas de detecção de dano das últimas décadas. A origem, os fundamentos, principais aspectos, principais características, operações e função objetivo dos algoritmos genéticos também são demonstrados. Uma investigação experimental em estruturas de materiais diferentes foi realizada a fim de se obter uma estrutura capaz de validar o método. Finalmente, se avalia o método com quatro exemplos de estruturas com danos simulados experimentalmente e numericamente. Quando comparados com técnicas clássicas de detecção dano, como sensibilidade modal, os algoritmos genéticos se mostraram mais eficientes. Foram obtidos melhores resultados na localização do que na avaliação das intensidades dos danos nos casos de danos propostos.

Extreme poverty and development: the role of state in the assurance of minimal existence conditions

This paper follows the idea of Amartya Sen, Nobel Prize of economic, about the role of State in the assurance of minimal existence condition, and aim to answer how countries of Latin America (specifically Brazil) and countries of Europe (specifically United Kingdom) deal with the assurance of this minimal existence conditions. According to Amartya Sen’s view, development must be seen as a process of expanding substantive freedoms, such expansion being the primary purpose of each society and the main mean of development. Substantive freedoms can be considered as basic capabilities allocated to individuals whereby they are entitled to be architects of their own lives, providing them conditions to “live as they wish”. These basic capabilities are divided by Amartya Sen in 5 (five) kinds of substantive freedoms, but for this article’s purpose, we will consider just one of this 5 (five) kinds, specifically the Protective Safety capability. Protective Safety capability may be defined as the assurance of basic means of survival for individuals who are in extreme poverty, at risk of starvation or hypothermia, or even impending famine. Among the means available that could be used to avoid such situations are the possibility of supplemental income to the needy, distributing food and clothing to the needy, supply of energy and water, among others. But how countries deal whit this protective safety? Aiming to answer this question, we selected the problem of “fuel poverty” and how Brazil and United Kingdom solve it (if they solve), in order to assess how the solution found impacts development. The analysis and the comparison between these countries will allow an answer to the question proposed.

Pair trading in Bovespa with a quantitative approach: cointegration, Ornstein-Uhlenbeck equation and Kelly criterion.

Pair trading is an old and well-known technique among traders. In this paper, we discuss an important element not commonly debated in Brazil: the cointegration between pairs, which would guarantee the spread stability. We run the Dickey-Fuller test to check cointegration, and then compare the results with non-cointegrated pairs. We found that the Sharpe ratio of cointegrated pairs is greater than the non-cointegrated. We also use the Ornstein-Uhlenbeck equation in order to calculate the half-life of the pairs. Again, this improves their performance. Last, we use the leverage suggested by Kelly Formula, once again improving the results.

Is there a general criterion for dynamic efficiency?

This paper analyses an overlapping generations model with absolute bequest motive. It is shown that the widely accepted criterion to verify dynamic efficiency does not apply to this case. In our model the social planner maximizes welfare by choosing a capital stock larger than the golden role and a real rate of interest smaller than the rate of growth of the economy.

A função do verbo no texto proverbial: o verbo como instanciador lexical, modal, temporal e aspectual

Universidade da Madeira - Centro de Ciência e Tecnologia da Madeira - Fundo Social Europeu e Propragama Operacional Plurifundos da Região Autónoma da Madeira

Test-day milk yield as a selection criterion for dairy buffaloes (Bubalus bubalis Artiodactyla, Bovidae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Genetic parameters for an alternative criterion to improve productive longevity of Nellore cows

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Physical resistance as a criterion in the selection of foraging material by Acromyrmex subterraneus brunneus Forel, 1911 (Hym., Formicidae)

Leaf-cutting ants forage on a wide variety of plant species using the physical and chemical characteristics of the plants as a selection criterion. In order to determine the influence of the physical factor on the selection of foraging material, inert materials such as floral sponge, polystyrene, plastic and clay, which possess different degrees of physical resistance to cutting, were offered simultaneously to five Acromyrmex subterraneus brunneus colonies, and assessed 12 and 24 h after foraging. No substrate selectivity was observed during foraging. Physical resistance was used as a decision criterion for the incorporation or return of the foraged material. This fact suggests the existence of a second time of selection of the foraged material inside the colony during cultivation of the symbiontic fungus.

Estudo comparativo das propriedades mecânicas em compósitos da fibra modal e poliester

In the present work, three composites with distinct reinforcements (polyester, modal e polyester + modal), all if a unsaturated orthophthalic polyester resin as matrix were used, in order to conduct a comparative study by mechanical tests and water absorption. The fibre mats were prepared in a mat preparatory by immersion developed in the Textile Engineering Laboratory. The composites were manufactured using a closed mould process by compression using an unsaturated orthophthalic polyester resin as matrix and 1% MEK (methyl ethyl ketone peroxide) as an initiator. In each composite twelve samples with the dimensions of 150x25x3 mm were cut randomly for the mechanical analysis (tension x extension, three points bending and water absorption and Scanning Electron Micsroscopy). The mechanical tests were carried out in the Laboratório de Metais e Ensaios Mecânicos UFRN . All the analyses were carried out according to the ASTM norms. The resultant samples from the mechanical analysis were subjected for the Scanning Electron Microscopy analysis. Based on the results obtained, it was observed that the reinforced composite with two fibres (modal + polyester) presented better results in comparison to the other two composites both in the tension/extension as well on the three point bending tests. In the water absorption test, it was possible to observe an equilibrium in the water absorption by the modal and polyester composite, due to the union of the two fibres. In the SEM images, the regions of rupture in the composites as well as the adsorption between the fiber and the matrix could be observed

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Orthogonality criterion for banishing hydrino states from standard quantum mechanics

Orthogonality criterion is used to show in a very simple and general way that anomalous bound-state solutions for the Coulomb potential (hydrino states) do not exist as bona fide solutions of the Schrodinger, Klein-Gordon and Dirac equations. (C) 2007 Elsevier B.V. All rights reserved.