A fully-nonlocal energy-based formulation and high-performance realization of the quasicontinuum method

The quasicontinuum (QC) method was introduced to coarse-grain crystalline atomic ensembles in order to bridge the scales from individual atoms to the micro- and mesoscales. Though many QC formulations have been proposed with varying characteristics and capabilities, a crucial cornerstone of all QC techniques is the concept of summation rules, which attempt to efficiently approximate the total Hamiltonian of a crystalline atomic ensemble by a weighted sum over a small subset of atoms. In this work we propose a novel, fully-nonlocal, energy-based formulation of the QC method with support for legacy and new summation rules through a general energy-sampling scheme. Our formulation does not conceptually differentiate between atomistic and coarse-grained regions and thus allows for seamless bridging without domain-coupling interfaces. Within this structure, we introduce a new class of summation rules which leverage the affine kinematics of this QC formulation to most accurately integrate thermodynamic quantities of interest. By comparing this new class of summation rules to commonly-employed rules through analysis of energy and spurious force errors, we find that the new rules produce no residual or spurious force artifacts in the large-element limit under arbitrary affine deformation, while allowing us to seamlessly bridge to full atomistics. We verify that the new summation rules exhibit significantly smaller force artifacts and energy approximation errors than all comparable previous summation rules through a comprehensive suite of examples with spatially non-uniform QC discretizations in two and three dimensions. Due to the unique structure of these summation rules, we also use the new formulation to study scenarios with large regions of free surface, a class of problems previously out of reach of the QC method. Lastly, we present the key components of a high-performance, distributed-memory realization of the new method, including a novel algorithm for supporting unparalleled levels of deformation. Overall, this new formulation and implementation allows us to efficiently perform simulations containing an unprecedented number of degrees of freedom with low approximation error.

Phase unwrapping algorithms, respectively, based on path-following and discrete cosine transform

This paper describes a path-following phase unwrapping algorithm and a phase unwrapping algorithm based on discrete cosine transform (DCT) which accelerates the Computation and suppresses the propagation of noise. Through analysis of fringe pattern with serious noises simulated in mathematic model, we make a contrast between path-following algorithm and DCT algorithm. The advantages and disadvantages or analytical fringe pattern are also given through comparison of two algorithms. Three-dimensional experimental results have been given to prove the validity of these algorithms. Despite DCT phase unwrapping technique robustness and speed in some cases, it cannot be unwrapping inconsistencies phase. The path-following algorithm can be used in automation analysis of fringe patterns with little influence of noise. (c) 2007 Elsevier GmbH. All rights reserved.

Sociedade Brasileira de Direito Aeronáutico (SBDA): a formulação da política aeronáutica brasileira (1950-1965)

Esta dissertação, ao tomar como objeto de pesquisa a Sociedade Brasileira de Direito Aeronáutico (SBDA), tendo por recorte cronológico os anos entre 1950 e 1965, pretende trazer para a análise histórica mais um elemento no auxílio à compreensão do processo de formação do Estado brasileiro no cerne de um projeto de desenvolvimento capitalista de matizes nacionalistas envolvendo infraestrutura, industrialização, ciência e tecnologia, inclusive a modernização das Forças Armadas, no qual a reorganização das incumbências das esferas pública e privada transpassada pela expansão tanto das atividades de regulamentação quanto dos órgãos e agências estatais conduziu a uma ampla institucionalização dos setores econômicos por parte do governo, no caso específico deste estudo o ramo Aeronáutico. A SBDA funcionou como articuladora de interesses entre a sociedade política (Ministério da Aeronáutica) e a sociedade civil (empresas e sindicatos), exercendo desta maneira no parelho estatal um papel que a insere na aplicação do conceito de Estado gramsciano. A formulação de um campo jurídico no Brasil, mediante a perspectiva de análise de Pierre Bourdieu relativa ao campo intelectual, integra a trajetória de luta da SBDA pela autonomia do Direito Aeronáutico, agindo como organizadora das demandas provenientes deste setor específico de atividades.

Análise da eficácia do instrumento RECIPROC #25 em atingir o forame apical sem glide path

O presente estudo avaliou a eficáciado instrumento Reciproc#25 em atingir o forame de canais de molares inferiores sem um glide path manual prévio. Para isso, uma amostra geral de 300 molares inferiores foi radiografada e previamente selecionada quanto ao grau de curvatura segundo critério de Schneider sendo divididos em classes I e II. Após a aplicação dos critérios de inclusão e exclusão, uma amostragem total de 502 canais radiculares foi incluída para formar os grupos experimentais: 253 canais no grupo de molares inferiores classe I e 249 no grupo de molares classe II. Todos os canais foram instrumentados diretamente com a lima 25, sem nenhum glide path prévio, seguindo criteriosamente as diretrizes do fabricante. Os dados foram descritos como a frequência da distribuição do número de canais (%) nos quais foi possível chegar ao forame apical sem a necessidade de glide path, assim como o número de fraturas em cada grupo. Os resultados compilados dos 2 grupos experimentais mostraram que em 93,4% do total dos canais instrumentados, o instrumento R25 foi capaz de ir até o forame apical sem a necessidade de glide path. Em 6,4% do total dos canais, o instrumento R25 não chegou até o forame apical e em somente 0,2% dos casos ocorreu fratura da lima (um caso no grupo classe I, enquanto no grupo classe II não houve nenhuma ocorrência de fratura). O teste Qui-quadrado foi realizado para verificar se uma determinada classe de canais encontra-se mais associada ou não a necessidade de glide path quando o sistema Reciproc é usado. No grupo de molares classe II houve maior número de canais (23) que o instrumento R25 não foi capaz de ir até o forame apical do que no grupo de molares classe I (9), sendo essa diferença estatisticamente significante (Qui-quadrado, p=0,020, X2=5,452). Dentro das condições experimentais do presente estudo, pode-se concluir então quea lima R25 mostrou uma alta eficácia em instrumentar toda a extensão dos canais de molares inferiores classe I e II sem a necessidade de glide path prévio. Além disso, o sistema de instrumentação proposto mostrou-se altamente seguro quanto ao índice de fratura.

Processamento mental da concordância verbal em estruturas do português brasileiro: investigação de possível interferência em sentenças com elemento movido sintaticamente

Muitos trabalhos têm buscado compreender como se dá o processamento da concordância entre sujeito e verbo e investigar fatores que possam influenciar a produção correta da concordância, gerando os chamados erros de concordância verbal. Franck et al (2010) realizaram pesquisa na língua francesa e encontraram interferência devido a elemento movido sintaticamente na produção da concordância verbal. Se faz necessário investigar se o fenômeno envolvendo movimento é o mesmo em sentenças do português brasileiro. Sendo assim, nosso objetivo foi investigar uma possível interferência de cópia de número plural entre sujeito e verbo (em relação de concordância) de elemento movido sintaticamente em construção de árvore sintática do PB, observando a origem do erro e tentando mostrar se há autonomia do formulador sintático. Ao propormos o diálogo entre Teoria Linguística e Psicolinguística utilizando o Programa Minimalista, versão mais atual do Gerativismo de Chomsky, a fim de observar a derivação sintática e o processamento das sentenças, acreditamos que o estudo de formulação sintática e um olhar por meio de um modelo de processamento, que abarquem tanto a formulação como a produção, esclareceriam a nós pontos importantes sobre o funcionamento da concordância verbal. A nossa hipótese é a de que um erro de concordância verbal não ocorra devido ao formulador sintático em estruturas de PB, buscaremos respostas para isso no modelo MIMC (Modelo Integrado Misto da Computação On-Line) (Corrêa & Augusto, 2007). No entanto, por outro lado, se um erro de concordância ocorre, tentaremos encontrar uma outra explicação que não proveniente da sintaxe, tal como, por exemplo, devido a aspecto de ordem morfofonológica e devido a tamanho da sentença, como colocado pelo modelo PMP (Modelo de Processamento Monitorado por parser (Rodrigues, 2006). À medida que realizamos dois experimentos com sentenças declarativa e interrogativa com o movimento do elemento DP e QU, os resultados mostram que o tamanho da sentença e fatores morfofonológicos podem produzir interferência devido ao tipo de elemento movido. Os resultados cedem terreno para assumir um formulador sintático autônomo e abre caminho para próximas investigações sobre o processamento da concordância verbal e possíveis interferências durante a sua produção