946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
Resumo:
We discuss the generalized eigenvalue problem for computing energies and matrix elements in lattice gauge theory, including effective theories such as HQET. It is analyzed how the extracted effective energies and matrix elements converge when the time separations are made large. This suggests a particularly efficient application of the method for which we can prove that corrections vanish asymptotically as exp(-(E(N+1) - E(n))t). The gap E(N+1) - E(n) can be made large by increasing the number N of interpolating fields in the correlation matrix. We also show how excited state matrix elements can be extracted such that contaminations from all other states disappear exponentially in time. As a demonstration we present numerical results for the extraction of ground state and excited B-meson masses and decay constants in static approximation and to order 1/m(b) in HQET.
Resumo:
Item response theory (IRT) comprises a set of statistical models which are useful in many fields, especially when there is interest in studying latent variables. These latent variables are directly considered in the Item Response Models (IRM) and they are usually called latent traits. A usual assumption for parameter estimation of the IRM, considering one group of examinees, is to assume that the latent traits are random variables which follow a standard normal distribution. However, many works suggest that this assumption does not apply in many cases. Furthermore, when this assumption does not hold, the parameter estimates tend to be biased and misleading inference can be obtained. Therefore, it is important to model the distribution of the latent traits properly. In this paper we present an alternative latent traits modeling based on the so-called skew-normal distribution; see Genton (2004). We used the centred parameterization, which was proposed by Azzalini (1985). This approach ensures the model identifiability as pointed out by Azevedo et al. (2009b). Also, a Metropolis Hastings within Gibbs sampling (MHWGS) algorithm was built for parameter estimation by using an augmented data approach. A simulation study was performed in order to assess the parameter recovery in the proposed model and the estimation method, and the effect of the asymmetry level of the latent traits distribution on the parameter estimation. Also, a comparison of our approach with other estimation methods (which consider the assumption of symmetric normality for the latent traits distribution) was considered. The results indicated that our proposed algorithm recovers properly all parameters. Specifically, the greater the asymmetry level, the better the performance of our approach compared with other approaches, mainly in the presence of small sample sizes (number of examinees). Furthermore, we analyzed a real data set which presents indication of asymmetry concerning the latent traits distribution. The results obtained by using our approach confirmed the presence of strong negative asymmetry of the latent traits distribution. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
In this article, we study some results related to a specific class of distributions, called skew-curved-symmetric family of distributions that depends on a parameter controlling the skewness and kurtosis at the same time. Special elements of this family which are studied include symmetric and well-known asymmetric distributions. General results are given for the score function and the observed information matrix. It is shown that the observed information matrix is always singular for some special cases. We illustrate the flexibility of this class of distributions with an application to a real dataset on characteristics of Australian athletes.
Resumo:
Although the amine sulfur dioxide chemistry was well characterized in the past both experimentally and theoretically, no systematic Raman spectroscopic study describes the interaction between N,N-dimethylaniline (DMA) and sulfur dioxide (SO(2)). The formation of a deep red oil by the reaction of SO(2) with DMA is an evidence of the charge transfer (CT) nature of the DMA-SO(2) interaction. The DMA -SO(2) normal Raman spectrum shows the appearance of two intense bands at 1110 and 1151 cm(-1), which are enhanced when resonance is approached. These bands are assigned to nu(s)(SO(2)) and nu(phi-N) vibrational modes, respectively, confirming the interaction between SO(2) and the amine via the nitrogen atom. The dimethyl group steric effect favors the interaction of SO(2) with the ring pi electrons, which gives rise to a pi-pi* low-energy CT electronic transition, as confirmed by time-dependent density functional theory (TDDFT) calculations. In addition, the calculated Raman DMA-SO(2) spectrum at the B3LYP/6-311++g(3df,3pd) level shows good agreement with the experimental results (vibrational wavenumbers and relative intensities), allowing a complete assignment of the vibrational modes. A better understanding of the intermolecular interactions in this model system can be extremely useful in designing new materials to absorb, detect, or even quantify SO(2). Copyright (C) 2009 John Wiley & Sons, Ltd.
Resumo:
O neoconstitucionalismo surge no horizonte da teoria constitucional trazendo novos elementos de debate para problemas antigos e novos. Os rumos que essa visão irá tomar ou que contribuições concretas poderá trazer na dinâmica social, ainda não sabemos, mas é quase certo que uma nova visão sobre a teoria constitucional parece estar em curso.
Resumo:
Após décadas de rejeição por parte dos educadores, no final dos anos 1990 as histórias em quadrinhos começaram a conquistar seu espaço nas salas de aula brasileiras. No entanto, apesar dos avanços conseguidos, ainda é preciso adequar as aplicações possíveis deste produto cultural às necessidades do processo de aprendizado. Nesse sentido, neste artigo temos por objetivo fomentar e nortear o uso apropriado das narrativas sequenciais nas práticas educativas, discutindo os possíveis caminhos para sua implementação.
Resumo:
Dissertação apresentada ao Programa de Mestrado em Administração da Universidade Municipal de São Caetano do Sul como requisito parcial para a obtenção do título de Mestre em Administração
Resumo:
Utilizando-se entre a perna e a coxa os princípios da Teoria dos Sistemas Dinâmicos, foi estudada a coordenação intra-membros durante o andar em 16 sujeitos do sexo feminino. Os movimentos da perna e da coxa e suas relações foram analisados dinamicamente como sistemas acoplados de ciclo limite. Os sujeitos foram filmados lateralmente executando o andar em duas situações experimentais: normal e com uma sandália na perna direita na proporção de 5% do comprimento do segmento inferior. Os dados transformados em variáveis cinemáticas possibilitaram a análise da coordenação em termos de ângulos de fase, ponto de coordenação e fase relativa. Através dos dados angulares, foram testadas as propriedades dos osciladores não-lineares de ciclo limite. Os resultados indicaram que os segmentos apresentam uma órbita atrativa específica para cada um deles, que se mantém invariante ao longo das idades. Esta órbita atrativa representa a organização espaço-temporal do segmento durante o andar, servindo também para a visualização da quantidade de energia dissipada por parte de cada segmento. A análise dos ângulos de fase no momento da reversão, do ponto de coordenação e da fase relativa possibilitaram a identificação do treinamento mútuo e da estabilidade estrutural.
Resumo:
A presente dissertação de mestrado tem por assunto a representação do comportamento mecânico do concreto sob cargas de curta e longa duração, incluindo efeitos não-lineares. Para tal fim trabalha-se com equações baseadas na teoria do dano contínuo. São propostas equações para o caso triaxial e, baseado nelas, é implementado um programa computacional. Com diversos exemplos verifica-se que: a) A solução numérica aproxima bem os resultados teóricos. b) O comportamento do modelo representa bem as características qualitativas do concreto. c) O modelo permite aproximar bem alguns resultados experimentais, mas ainda deve ser aperfeiçoado, particularmente no que refere-se à identificação de parâmetros.
Resumo:
As teorias de gestão da produção, como o Sistema Toyota de Produção e a Teoria das Restrições, têm apresentado resultados positivos, em realidades organizacionais muito diferenciadas. Contudo, é preciso garantir a efetividade das ações em provocar as mudanças desejadas. Neste sentido, métodos de pesquisa participativa, como a pesquisaação, promovem a participação e o comprometimento das pessoas implicadas no processo de mudança. Esta dissertação propõe a construção de um modelo de intervenção visando aumentar a competitividade de uma realidade organizacional específica. Foram utilizados a pesquisa-ação, como método de trabalho e a Teoria das Restrições (TOC) e o Sistema Toyota de Produção (STP), como embasamento teórico. Cabe ressaltar que este modelo foi construído a partir de uma intervenção realizada em uma indústria de cerâmica vermelha da região metropolitana de Porto Alegre. Assim, a presente dissertação foi organizada da seguinte maneira: revisão bibliográfica do método de condução da pesquisa e adaptação do mesmo para o presente trabalho, fundamentação teórica, composta pelos princípios básicos de sustentação do STP e da TOC, análise do contexto do segmento industrial em questão, descrição da intervenção realizada e apresentação do modelo construído, análise dos resultados finais, conclusões e recomendações para futuras pesquisas. A análise dos resultados obtidos e as conclusões do estudo revelam a possibilidade de generalização parcial do modelo proposto, desde que observadas as características específicas da realidade industrial em questão.
Resumo:
Este trabalho de conclusão investiga o efeito da geração de estoques intermediários nos indicadores principais empregados na Teoria das Restrições (Ganho, Despesa Operacional e Inventário) em uma unidade industrial de processo produtivo de Propriedade contínuo, que emprega embalagens, matérias-primas obtidas em larga escala e cadeias logísticas de longo curso. Este tipo de indústria produz bens de consumo imediato, com pouca variabilidade, de modo “empurrado”. A principal conseqüência é a perda do sincronismo na cadeia logística, resultando em uma grande quantidade de estoques intermediários e custos crescentes, relacionados principalmente ao custo de manutenção destes estoques. Através dos cinco passos de focalização e das ferramentas lógicas da Teoria das Restrições, propõe-se uma alternativa gerencial, que inclui o algoritmo Tambor-Pulmão-Corda e insere a organização em um processo de melhoria contínua, cujos impactos são avaliados por simulação computacional. Através de técnicas estatísticas e software apropriados, constrói-se um modelo de simulação computacional baseado em dados reais de uma planta produtora de cimento. A partir deste modelo, diferentes cenários são testados, descobrindo-se a condição ótima. Chega-se a uma conclusão, considerando a mudança na política de geração de estoques intermediários e seus impactos na redução de custos e riscos.
Resumo:
Este trabalho discorre sobre a aplicação de uma proposta de método de resolução de problemas utilizando a Teoria das Restrições (TOC). No desenvolvimento desta proposta procurou-se aliar a focalização dos problemas e os conceitos financeiros protagonizados pela TOC. Para que uma solução urgente de problemas possa ser conduzida de uma forma coerente, precisa e rápida, não é necessário que seja executada de maneira que os gastos ultrapassem os benefícios. Além disso, o todo que compõe o sistema analisado deve poder ser vislumbrado claramente. Esta proposta foi aplicada a uma corporação que fabrica autopeças. Ela está localizada nos Estados Unidos da América. Os resultados da aplicação do método aqui apresentado permitiram chegar às conclusões apontadas no capítulo final deste trabalho.
Resumo:
Esta dissertação propõe um método de trabalho para a implantação de um sistema de Planejamento Fino da Produção baseado na Teoria das Restrições. É apresentada uma revisão bibliográfica sobre Planejamento e Controle da Produção, destacando a abordagem da Teoria das Restrições. É realizado um estudo sobre ferramentas computacionais de Planejamento Fino da Produção e suas particularidades. A seguir é desenvolvido o método de trabalho, que foi seguido de sua aplicação prática em uma empresa industrial do ramo metal-mecânico. O estudo apresenta as modificações no sistema de Planejamento e Controle da Produção da empresa, que foi adequado as práticas e princípios da Manufatura Sincronizada. As melhorias decorrentes da implantação podem ser constatadas através dos resultados divulgados. Este trabalho explora as particularidades e dificuldades da implementação desta ferramenta de apoio à tomada de decisão, e discute aspectos referentes às mudanças na “filosofia” de produção impostas pela sincronização da manufatura.
Resumo:
O Brasil conta hoje com uma legislação que o coloca seguramente entre os melhores países, senão o melhor, para se realizar projetos culturais. Ao menos na teoria. Essa dissertação tem como objetivo trilhar o caminho das leis de incentivo, desde a sua criação, com a Lei Sarney até a Lei Rouanet, analisando inclusive as leis estaduais e municipais, que também surgiram como respostas a descontinuidades no processo. O mercado cultural brasileiro é caracterizado por externalidades que dificultam sua viabilidade, fazendo necessária a intervenção governamental. A política cultural brasileira tem como principal instrumento as leis de incentivo à cultura, que utilizam a renúncia fiscal para atrair o capital privado. São formalizadas parcerias onde as empresas privadas patrocinam projetos de interesse do governo e, como contrapartida, recebem o direito de deduzir esse valor, integral ou parcialmente, de seus impostos. Contudo, esse modelo de contrato de parceria é mal formulado, e traz perdas para a sociedade. O risco é assumido integralmente pelo Estado, o que acarreta problemas sérios de Moral Hazard. Além disso, devido às diferentes características dos projetos, o modelo acaba também por gerar problemas de Seleção Adversa. Para uma melhor comparação e análise da política cultural brasileira, foram levantados casos internacionais - Estados Unidos, Inglaterra, Portugal e Espanha. Levando-se em conta as análises e críticas levantadas, serão sugeridas alternativas para o modelo de contrato adotado pelo governo para incentivo à cultura, e formas alternativas de financiamento ao setor cultural, de forma a assegurar um melhor retorno para a sociedade sem deixar de cumprir o papel de fomentar o setor e corrigir as externalidades presentes.