OBJETIVO: Identificar las variaciones de la calidad de imagen en SPECT óseo de columna lumbar con el método de reconstrucción iterativo. MATERIAL Y MÉTODOS: Estudio observacional, explicativo, retrospectivo, transversal, que incluyó 47 estudios de imágenes de SPECT óseo de columna lumbar durante el periodo de enero a diciembre del año 2014, estos estudios fueron realizados en el área de Medicina Nuclear de la Clínica San Gabriel. Los datos fueron ingresados a programa estadístico SPSS v.22; se estimaron frecuencias, media y desviación estándar. Para el análisis relacional se determinó la distribución normal (Kolmogorov - Smirnov) y luego se aplicó la prueba estadística Kruskal-Wallis. Por último se hizo la comparación por pares por medio de la prueba U de Mann-Whitney. RESULTADOS: Se identificó que la calidad de imagen con valores de 6i x 8s y 8i x 8s presentaron los mayores valores homogéneos para las variaciones de iteraciones, por lo que se presentan como mejores puntos de referencia para una mejor calidad de imagen. Asimismo al evaluar los subconjuntos, los valores de rango promedio representan una calidad de imagen igual, observándose que la calidad de imagen con 4i x 8s y 4i x 4s presentaron los mayores valores homogéneos para las variaciones de subconjuntos. CONCLUSIÓN: Las variaciones de la calidad de imagen en SPECT óseo de columna lumbar utilizando el método de reconstrucción iterativo mejoran con 6i x 8s y 8i x 8s, puesto que con esas combinaciones el tiempo de reconstrucción de una imagen de mejor calidad sería mínimo. PALABRAS CLAVES: SPECT óseo, iteraciones, subconjuntos, calidad de imagen, método de reconstrucción iterativo. / --- OBJECTIVE: To identify the variations of image quality in lumbar spine bone SPECT using the method of iterative reconstruction. METHODOLOGY: Observational, explanatory, retrospective, cross-sectional study that includes 47 SPECT imaging studies of lumbar spine bone during the period from January to December 2014, these studies were conducted in the area of Nuclear Medicine of the San Gabriel Clinic. The data were entered into SPSS v.22, and frequencies, mean and standard deviation were estimated. Relational analysis for normal distribution (Kolmogorov - Smirnov) was determined and then applied Kruskal-Wallis. Finally the comparison was made pairwise by the Mann-Whitney U test. RESULTS: It was identified that the image quality values 6i x 8s and 8i x 8s homogeneous showed the highest values for variations of iterations, which are presented as best reference points for better image quality. Also when evaluating subassemblies, the values for represent average range equal image quality observed that the image quality 4i x 8s and 4i x 4s showed the highest values for homogeneous subsets variations. CONCLUSIONS: Variations in image quality in lumbar spine bone SPECT using the iterative reconstruction method improve with 6ix8s and 8ix8s, with these combinations the time reconstruction for a better quality imaging would be minimal. KEYWORDS: SPECT bone, iterations, subsets, image quality, iterative reconstruction method.

Made available in DSpace on 2014-06-12T23:15:17Z (GMT). No. of bitstreams: 2 arquivo4142_1.pdf: 2743083 bytes, checksum: 928ebc3e544f4af850727346a4483f73 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A distribuição de fluxo neutrônico em reatores nucleares é normalmente descrita por soluções numéricas da equação de difusão ou da equação de transporte. O método de fontes e sumidouros fornece uma aproximação para tal distribuição de fluxo neutrônico usando contribuições positivas para fontes e contribuições negativas para sumidouros. Usou-se esse método em simulações para distribuição de fluxo em configurações uni e bidimensional por meio de programas implementados em linguagem FORTRAN. Utilizam-se kernels para fontes puntiforme e linear em um meio uniforme infinito para cálculo dos fluxos, representando as contribuições de fontes ou sumidouros, através do princípio da superposição. Analisou-se, a partir de processos iterativos, a convergência da razão do fluxo máximo pelo médio para valores teóricos previamente calculados para reatores do tipo placa e cilíndrico infinito, em que se obtiveram boas aproximações em relação à distribuição de fluxo teórico. Depois, simetricamente em torno do centro do reator, inseriram-se sumidouros na configuração unidimensional para simular a cortina d água necessária para desacoplar os subnúcleos formados devido à simetria do fluxo neutrônico em torno dos sumidouros, obtendo-se resultados coerentes devido à simetria apresentada na distribuição de fluxo para os subnúcleos. Inseriu-se também na configuração bidimensional um sumidouro para simular barras de controle negras para simular a perturbação devida a essas barras na distribuição de fluxo. Devido à qualidade com que se reproduziram essas perturbações e tendo sido atingido o objetivo principal do estudo, resolveu-se estendê-lo para o comportamento das reatividades devidas a essas mesmas barras de controle negras, comparando os resultados obtidos pelas simulações com os resultados dado por fórmulas teóricas

Neste trabalho, um estudo preliminar sobre o uso de técnicas nucleares na prospecção e monitoramento de poços de petróleo é reportado. Em particular, a modelagem da avaliação da intensidade de radiação emitida de fontes nucleares presentes em sondas usadas para obtenção de dados dos poços, é discutida. Tal modelagem se fundamenta na utilização e solução da equação de transporte de partículas. Apesar de o problema ser inerentemente tridimensional, a abordagem do modelo matemático, uma equação íntegro-diferencial, é muito complexa neste caso. Neste sentido, um esquema conhecido como nodal, usualmente utilizado no tratamento de problemas multidimensionais, é aqui investigado para casos unidimensionais. Duas formas de tratamento do problema unidimensional nodal são aqui apresentadas: uma baseada em procedimentos analíticos e outra em procedimentos numéricos que envolvem esquemas iterativos. Resultados numéricos são apresentados e discutidos, para casos onde soluções explícitas conhecidas podem ser usadas para comparação. / In this work, a preliminary study on nuclear techniques applied to the petroleum industry, is reported. In particular, the evaluation of the radiation intensity emitted from the radiation sources present in nuclear tools is discussed. The modeling is based on the particle transport equation. Although three-dimensional cases are the one related to real problems, its solution is of high difficulty, due to the complexity of the mathematical model, an integro-differential equation. In this sense, a so-called nodal scheme usually applied to the treatment of multidimensional problems, is here investigated for the one-dimensional case. Two nodal approaches are described here: a first one based on analytical techniques and the second one based on numerical schemes which involve iterative processes. Numerical results are presented and discussed for problems where explicit solutions are available in the literature.

Dissertação apresentada para obtenção do grau de Mestre emMétodos Computacionais em Ciência e Engenharia, na Faculdade de Ciências da Universidade do Porto

Neste trabalho, um estudo preliminar sobre o uso de técnicas nucleares na prospecção e monitoramento de poços de petróleo é reportado. Em particular, a modelagem da avaliação da intensidade de radiação emitida de fontes nucleares presentes em sondas usadas para obtenção de dados dos poços, é discutida. Tal modelagem se fundamenta na utilização e solução da equação de transporte de partículas. Apesar de o problema ser inerentemente tridimensional, a abordagem do modelo matemático, uma equação íntegro-diferencial, é muito complexa neste caso. Neste sentido, um esquema conhecido como nodal, usualmente utilizado no tratamento de problemas multidimensionais, é aqui investigado para casos unidimensionais. Duas formas de tratamento do problema unidimensional nodal são aqui apresentadas: uma baseada em procedimentos analíticos e outra em procedimentos numéricos que envolvem esquemas iterativos. Resultados numéricos são apresentados e discutidos, para casos onde soluções explícitas conhecidas podem ser usadas para comparação. / In this work, a preliminary study on nuclear techniques applied to the petroleum industry, is reported. In particular, the evaluation of the radiation intensity emitted from the radiation sources present in nuclear tools is discussed. The modeling is based on the particle transport equation. Although three-dimensional cases are the one related to real problems, its solution is of high difficulty, due to the complexity of the mathematical model, an integro-differential equation. In this sense, a so-called nodal scheme usually applied to the treatment of multidimensional problems, is here investigated for the one-dimensional case. Two nodal approaches are described here: a first one based on analytical techniques and the second one based on numerical schemes which involve iterative processes. Numerical results are presented and discussed for problems where explicit solutions are available in the literature.

Neste trabalho, um estudo preliminar sobre o uso de técnicas nucleares na prospecção e monitoramento de poços de petróleo é reportado. Em particular, a modelagem da avaliação da intensidade de radiação emitida de fontes nucleares presentes em sondas usadas para obtenção de dados dos poços, é discutida. Tal modelagem se fundamenta na utilização e solução da equação de transporte de partículas. Apesar de o problema ser inerentemente tridimensional, a abordagem do modelo matemático, uma equação íntegro-diferencial, é muito complexa neste caso. Neste sentido, um esquema conhecido como nodal, usualmente utilizado no tratamento de problemas multidimensionais, é aqui investigado para casos unidimensionais. Duas formas de tratamento do problema unidimensional nodal são aqui apresentadas: uma baseada em procedimentos analíticos e outra em procedimentos numéricos que envolvem esquemas iterativos. Resultados numéricos são apresentados e discutidos, para casos onde soluções explícitas conhecidas podem ser usadas para comparação. / In this work, a preliminary study on nuclear techniques applied to the petroleum industry, is reported. In particular, the evaluation of the radiation intensity emitted from the radiation sources present in nuclear tools is discussed. The modeling is based on the particle transport equation. Although three-dimensional cases are the one related to real problems, its solution is of high difficulty, due to the complexity of the mathematical model, an integro-differential equation. In this sense, a so-called nodal scheme usually applied to the treatment of multidimensional problems, is here investigated for the one-dimensional case. Two nodal approaches are described here: a first one based on analytical techniques and the second one based on numerical schemes which involve iterative processes. Numerical results are presented and discussed for problems where explicit solutions are available in the literature.

[pt] O desenvolvimento de frameworks é caro, não só pela dificuldade intrínseca relacionada à captura do conhecimento do domínio, mas também por causa da falta de métodos e técnicas apropriados para dar suporte à sua evolução e desenvolvimento iterativo. Neste trabalho de tese é proposta a utilização de duas técnicas complementares para dar suporte a evolução de frameworks: regras de refactoring e regras de extensão. A técnica de refactoring foi desenvolvida para restruturar software de forma a tornar o código mais legível e fácil de ser reutilizado. Regras da extensão são propostas para modificar a estrutura de pontos de variação do framework, possibilitando a adição mais fácil de novas funcionalidades no design. Ambas as técnicas preservam o comportamento observável dos programas. Esta propriedade é verificada formalmente usando-se CCS e técnicas de verificação de modelo. A abordagem proposta é testada com o auxílio de uma ferramenta semiautomática, desenvolvida para dar suporte à aplicação das regras definidas. / [en] Framework development is expensive not only because of the intrinsic difficulty related to the elicitation of domain knowledge but also because of the lack of methods and techniques to support its evolution and interactive development. The present thesis proposes the use of two complementary techniques to support framework evolution: refactoring and extension rules. The refactoring technique has been developed to enable software re-structuring in a way to produce more readable and reusable code. Extension rules have been proposed to change the structure of the framework variation points by allowing the addition of new design functionalities. Both techniques preserve the observable behavior of programs. This property is formally verified in this work by using CCS approach to model checking. The proposed approach has been tested by means of a tool specially developed to support the application of the defined rules.

Made available in DSpace on 2016-04-27T14:30:40Z (GMT). No. of bitstreams: 1 Maria Paulina de Assis.pdf: 4391604 bytes, checksum: 229e2e52b8c9407f23d9c1f6b620ad31 (MD5) Previous issue date: 2011-05-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This thesis raises the question of the challenges faced by university lecturers in integrating information and communications technology (ICT) with their pedagogical practice. It is argued that these challenges can be addressed if they are aided by other educators and it is suggested that this can be achieved by means of collaborative work in which the lecturers share their pedagogical practices with their colleagues and analyse, refine and recontextualise them so that they can be used again in different teaching and learning environments. The general aim of the thesis is to seek a theoretical-practical rationale to support the argument and this is undertaken through a bibliographical review and research in the field. It is also argued that the collaborative work involved in the process of formulating a learning design can lead to innovations in pedagogical practice. The field research was carried out in an Exploratory Study in the United Kingdom and an Empirical Research Study in Brazil. The results of both these researches corroborate the findings of the literature and show the following: in general terms, the university lecturers who were researched, plan in an empirical and asystematic manner; they make little use of ICT in their planning; they share their pedagogical methods and resources with their colleagues; and they would make use of the support provided by the learning design tools if they had the opportunity. There are two benefits to academic research which have emerged from this study: the ability to draw up a plan and develop a tool prototype to support teachers in preparing a learning design, and the concept of the Iterative Cycle of Learning Design (a construct devised by the author, who has put forward the argument of this thesis) / Esta tese coloca como problema os desafios encontrados por professores de ensino superior na integração das tecnologias de informação e comunicação (TIC) às suas práticas pedagógicas. Argumenta-se que esses desafios podem ser enfrentados se eles forem ajudados por outros educadores e propõe-se que isto seja feito por um trabalho colaborativo em que professores partilham suas práticas pedagógicas com colegas e as analisam, refinam e recontextualizam para reuso em diferentes ambientes de ensino e aprendizagem. O objetivo geral da tese é buscar uma fundamentação teórico-prática para defender tal argumento, e isto é feito pela revisão bibliográfica e pela pesquisa de campo. Argumenta-se também que o trabalho colaborativo no processo de elaboração de learning design pode trazer inovação para a prática pedagógica. A pesquisa de campo foi feita em um Estudo Exploratório no Reino Unido e uma Pesquisa Empírica no Brasil. Os resultados de ambas as pesquisas corroboram dados da literatura que indicam que, em geral, os professores universitários pesquisados planejam de modo empírico e assistemático, pouco usam as TIC para o planejamento, partilham métodos e recursos pedagógicos com colegas e usariam ferramentas de apoio ao learning design caso tivessem oportunidade. Duas contribuições à pesquisa acadêmica trazidas por este trabalho são: a construção de uma proposta de desenvolvimento de um protótipo de ferramenta para apoiar o professor no processo de learning design; , e a concepção do Ciclo Iterativo de Learning Design (um construto concebido pela autora, que respalda o argumento da tese)

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-10-31T16:49:47Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_MigracaoFfd3dProfundidade.pdf: 2095344 bytes, checksum: 1dab5ee905a0d3c0bba9e5df55e88589 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-11-03T12:53:24Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_MigracaoFfd3dProfundidade.pdf: 2095344 bytes, checksum: 1dab5ee905a0d3c0bba9e5df55e88589 (MD5) / Made available in DSpace on 2014-11-03T12:53:24Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_MigracaoFfd3dProfundidade.pdf: 2095344 bytes, checksum: 1dab5ee905a0d3c0bba9e5df55e88589 (MD5) Previous issue date: 2011 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / PETROBRAS - Petróleo Brasileiro S.A. / Implementações dos métodos de migração diferença finita e Fourier (FFD) usam fatoração direcional para acelerar a performance e economizar custo computacional. Entretanto essa técnica introduz anisotropia numérica que podem erroneamente posicionar os refletores em mergulho ao longo das direções em que o não foi aplicado a fatoração no operador de migração. Implementamos a migração FFD 3D, sem usar a técnica do fatoração direcional, no domínio da frequência usando aproximação de Padé complexa. Essa aproximação elimina a anisotropia numérica ao preço de maior custo computacional buscando a solução do campo de onda para um sistema linear de banda larga. Experimentos numéricos, tanto no modelo homogêneo e heterogêneo, mostram que a técnica da fatoração direcional produz notáveis erros de posicionamento dos refletores em meios com forte variação lateral de velocidade. Comparamos a performance de resolução do algoritmo de FFD usando o método iterativo gradiente biconjugado estabilizado (BICGSTAB) e o multifrontal massively parallel direct solver (MUMPS). Mostrando que a aproximação de Padé complexa é um eficiente precondicionador para o BICGSTAB, reduzindo o número de iterações em relação a aproximação de Padé real. O método iterativo BICGSTAB é mais eficiente que o método direto MUMPS, quando usamos apenas um termo da expansão de Padé complexa. Para maior ângulo de abertura do operador, mais termos da série são requeridos no operador de migração, e neste caso, a performance do método direto é mais eficiente. A validação do algoritmo e as propriedades da evolução computacional foram avaliadas para a resposta ao impulso do modelo de sal SEG/EAGE. / Fourier finite-difference (FFD) migration implementations use splitting techniques to accelerate performace and save computational cost. However, such techniques introduce numerical anisotropy which leads to mispositioning of dipping reflectors along directions not used for splitting the migration operator. We implement 3D FFD continuation migration without splitting in the frequency-space domain using the complex Padé approximation and implicit finite differences. This approach eliminates numerical anisotropy at the expense of a computationally more intensive solution of a large banded linear system. Numerical experiments in homogeneous and heterogeneous models show that splitting techniques produce noticiable positioning erros for models with strong lateral velocity variation. We compare the performance of the iterative stabilized biconjugate gradient (BICGSTAB) and the multifrontal massively parallel direct solver (MUMPS). It turns out that the use of the complex Padé approximation provides an effective preconditioner for the BICGSTAB, reducing the number of iterations relative to the real Padé expansion. The iterative BICGSTAB method is more efficient than the direct MUMPS method when solving for a single term in the Padé expansion. For wide angle approximations more terms are required to represent the migration operator, in this case direct methods are required. The algorithm is validated and the properties evaluated computing the migration impulse response in the SEG/EAGE salt model.

Neste trabalho é desenvolvida uma solução semi-analítica para a Equação de Langevin assintótica (Equação de Deslocamento Aleatório) aplicada à dispersão de poluentes na Camada Limite Convectiva (CLC). A solução tem como ponto de partida uma equação diferencial de primeira ordem para o deslocamento aleatório, sobre a qual é aplicado o Método Iterativo de Picard. O novo modelo é parametrizado por um coeficiente de difusão obtido a partir da Teoria de Difusão Estatística de Taylor e de um modelo para o espectro de turbulência, assumindo a supersposição linear dos efeitos de turbulência térmica e mecânica. A avaliação do modelo é realizada através da comparação com dados de concentração medidos durante o experimento de dispersão de Copenhagen e com resultados obtidos por outros quatro modelos: modelo de partículas estocástico para velocidade aleatória (Modelo de Langevin), solução analítica da equação difusão-advecção, solução numérica da equação difusão-advecção e modelo Gaussiano. Uma análise estatística revela que o modelo proposto simula satisfatoriamente os valores de concentração observados e apresenta boa concordância com os resultados dos outros modelos de dispersão. Além disso, a solução através do Método Iterativo de Picard pode apresentar algumas vantagem em relação ao método clássico de solução.