Seja S um domínio noetheriano semi-local de dimensão 1. O objetivo principal deste trabalho é descrever a normalização S de S no caso onde S é nita sobre S . Demonstramos que S pode ser obtido através de um número nito de blow-ups no radical de Jacobson. Além disso, se K é um corpo algebricamente fechado com char (K) = 0 e S é um domínio local da forma K[[x; y]]=(F) , onde F(x; y) 2 K[[x; y]] é uma série de potências formal irredutível com F(0; 0) = 0 , demonstramos a existência de uma solução para a equação F(x; y) = 0 utilizando séries de Puiseux; em particular obtemos S exibindo uma parametrização explícita. / Let S be a noetherian semi-local domain of dimension 1. The aim of this work is to describe the normalization S of S in the case where S is nite over S . We show that S may be obtained by a nite number of blow-ups in the Jacobson radical. Moreover, if K is an algebraically closed eld with char (K) = 0 and S is a local domain of the form K[[x; y]]=(F) , where F(x; y) 2 K[[x; y]] is an irreducible formal power series with F(0; 0) = 0 , we prove that there exist a solution for the equation F(x; y) = 0 by using Puiseux series; in particular we obtain S by exibing an explicit parametrization.

Seja S um domínio noetheriano semi-local de dimensão 1. O objetivo principal deste trabalho é descrever a normalização S de S no caso onde S é nita sobre S . Demonstramos que S pode ser obtido através de um número nito de blow-ups no radical de Jacobson. Além disso, se K é um corpo algebricamente fechado com char (K) = 0 e S é um domínio local da forma K[[x; y]]=(F) , onde F(x; y) 2 K[[x; y]] é uma série de potências formal irredutível com F(0; 0) = 0 , demonstramos a existência de uma solução para a equação F(x; y) = 0 utilizando séries de Puiseux; em particular obtemos S exibindo uma parametrização explícita. / Let S be a noetherian semi-local domain of dimension 1. The aim of this work is to describe the normalization S of S in the case where S is nite over S . We show that S may be obtained by a nite number of blow-ups in the Jacobson radical. Moreover, if K is an algebraically closed eld with char (K) = 0 and S is a local domain of the form K[[x; y]]=(F) , where F(x; y) 2 K[[x; y]] is an irreducible formal power series with F(0; 0) = 0 , we prove that there exist a solution for the equation F(x; y) = 0 by using Puiseux series; in particular we obtain S by exibing an explicit parametrization.

Seja S um domínio noetheriano semi-local de dimensão 1. O objetivo principal deste trabalho é descrever a normalização S de S no caso onde S é nita sobre S . Demonstramos que S pode ser obtido através de um número nito de blow-ups no radical de Jacobson. Além disso, se K é um corpo algebricamente fechado com char (K) = 0 e S é um domínio local da forma K[[x; y]]=(F) , onde F(x; y) 2 K[[x; y]] é uma série de potências formal irredutível com F(0; 0) = 0 , demonstramos a existência de uma solução para a equação F(x; y) = 0 utilizando séries de Puiseux; em particular obtemos S exibindo uma parametrização explícita. / Let S be a noetherian semi-local domain of dimension 1. The aim of this work is to describe the normalization S of S in the case where S is nite over S . We show that S may be obtained by a nite number of blow-ups in the Jacobson radical. Moreover, if K is an algebraically closed eld with char (K) = 0 and S is a local domain of the form K[[x; y]]=(F) , where F(x; y) 2 K[[x; y]] is an irreducible formal power series with F(0; 0) = 0 , we prove that there exist a solution for the equation F(x; y) = 0 by using Puiseux series; in particular we obtain S by exibing an explicit parametrization.

Made available in DSpace on 2014-06-12T15:54:11Z (GMT). No. of bitstreams: 2 arquivo6559_1.pdf: 3382351 bytes, checksum: 6203bf3984f62ff476de4968654c0ec1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / A reutilização de software o processo de criar sistemas através de artefatos existentes, ao invés de desenvolvê-los do zero é um aspecto chave para melhorias em qualidade e produtividade no desenvolvimento de software. Qualidade pode ser melhorada por reutilizar todas as formas de experiência, incluindo produtos e processos. Por outro lado, a produtividade pode ser aumentada por utilizar experiências existentes. Entretanto, esse processo é mais efetivo quando sistematicamente planejado e gerenciado no contexto de um domínio especifico, onde as aplicações compartilham funcionalidades comuns. Neste cenário, a Engenharia de Domínio a atividade de coletar, organizar e armazenar experiências anteriores na construção de sistemas ou partes de sistemas, de um domínio particular, na forma de artefatos reutilizáveis tem sido vista como um facilitador para obter os benefícios desejados. No entanto, os processos existentes de engenharia de domínio apresentam problemas cruciais, como, por exemplo: eles não cobrem os três passos da engenharia de domínio, a saber, análise do domínio, projeto do domínio e implementação do domínio; além de não definir de forma sistemática as atividades, as sub-atividades, os papéis, as entradas e as saídas de cada passo. Assim, este trabalho define um processo sistemático para realizar a engenharia de domínio, baseado no estado da arte da área, incluindo os passos de análise, projeto e implementação do domínio. Essa definição foi embasada por surveys detalhados sobre reutilização de software e processos de reutilização, cobrindo pesquisas informais, estudos empíricos e relatos de empresas. Esta tese primeiro apresenta os resultados desses surveys e, em seguida, descreve o processo proposto discutindo suas atividades, sub-atividades, entradas, saídas, princípios, guidelines e papéis. Por fim, são discutidos os resultados de um estudo experimental para análise da viabilidade do processo proposto em um projeto de engenharia de domínio

Submitted by Almir Azevedo (barbio1313@gmail.com) on 2014-04-25T11:52:59Z No. of bitstreams: 0 / Made available in DSpace on 2014-04-25T11:52:59Z (GMT). No. of bitstreams: 0 Previous issue date: 2014 / A caracterização de materiais feita com o apoio de técnicas não destrutivas tem grande importância em aplicações industriais. As técnicas ultrassônicas destacam-se pela boa resolução em medir pequenas variações de velocidades das ondas em decorrência das mudanças de características sofridas por um determinado material. De forma geral estas técnicas ultrassônicas são estudadas no domínio do tempo, o que representa dificuldades experimental quando são analisados materiais de espessura fina, bem como os que atenuam o sinal ultrassônico de forma drástica. Uma técnica ultrassônica que utiliza o domínio da frequência é testada neste trabalho com intuito de fornecer medidas de tempo para cálculo das constantes elásticas de segunda ordem de uma liga de alumínio e também para avaliar o estado de tensão decorrente de uma série de carregamentos mecânicos, situação física limítrofe onde ocorrem as menores variações de velocidades no material. Com auxílio de uma abordagem estatística foi possível ter bons resultados dos testes efetuados, onde a técnica de domínio na frequência diferiu no máximo 1% dos valores médios alcançados por uma técnica de domínio no tempo já bastante explorada em trabalhos produzidos no Laboratório de Ultrassom do Instituto de Engenharia Nuclear (LABUS/IEN), além de ter apresentado, na maior parte do conjunto de medidas, boa estabilidade e capacidade de diferenciação dos tempos na ordem de grandeza de nanossegundo, o que conferiu ao experimento boa precisão. / The characterization of materials made ​​with the support of non -destructive techniques have great importance in industrial applications . The ultrasonic techniques are distinguished by good resolution to measure small variations of wave velocities due to changes in characteristics experienced by a given material . Generally these ultrasonic techniques are studied in the time domain , which represents experimental difficulties when thin materials are analyzed , as well as the ultrasonic signal which attenuate dramatically . An ultrasonic technique which utilizes the frequency domain is used in this study aiming to provide time measurements to calculate the second-order elastic constants of an aluminum alloy and also to evaluate the state of tension due to a number of mechanical loads , the situation borderline physical place where the minor variations of speed in the material . With the aid of a statistical approach was possible to have good results of the tests , where the technique in the frequency domain differed at most 1 % of the average values ​​achieved by a time-domain technique already well explored in works produced in the Laboratory of the Institute of Ultrasound Nuclear Engineering ( Labus / IEN ) , also presented in most of the set of measures , good stability and differentiation capacity of the times in the order of magnitude of nanosecond , which has given good precision experiment .

Made available in DSpace on 2016-08-29T15:33:11Z (GMT). No. of bitstreams: 1 tese_3335_.pdf: 2327312 bytes, checksum: 8ade8a1a88f4ffe1a22baf07c03f1fba (MD5) Previous issue date: 2009-08-28 / A colaboração é inerente aos processos da vida, apoiando as interações realizadas entre seres vivos. Muitas teorias estudam, de forma isolada, os efeitos e causas da colaboração como as teorias da comunicação, cooperação e coordenação. Nesse contexto, faz-se necessário uma elaboração de um conhecimento bem fundamentado, provendo uma visão geral do domínio que, por sua vez, é essencial para um melhor entendimento desse domínio. Ontologias vêm sendo utilizadas na Ciência da Computação como forma de formalização bem fundamentada de conhecimento. Além dessa formalização, ela visa possibilitar a reutilização desse conhecimento e ainda a integração de aplicações. Portanto, neste trabalho, é elaborado um conhecimento sobre o domínio de colaboração no que tange três perspectivas: cooperação, comunicação e coordenação. Tais conhecimentos são representados através de uma Ontologia de Domínio de Colaboração. Com a finalidade de demonstrar como o conhecimento provido por essa ontologia é reutilizável e ainda constatar as vantagens nesse reuso neste trabalho são desenvolvidas algumas aplicações que tem por base a Ontologia de Colaboração. Portanto, no contexto de ferramentas colaborativas é apresentado: (i) um ambiente de conavegação, (ii) um serviço de apoio à colaboração, (iii) uma aplicação de captura de leituras e publicações de blogs e, (iv) integração de (i) e (ii) dessa forma apoiando a ferramenta de conavegação através desse serviço.

Submitted by Almir Azevedo (barbio1313@gmail.com) on 2013-12-09T13:00:53Z No. of bitstreams: 1 dissertacao_mestrado_ien_2010_04.pdf: 2331299 bytes, checksum: 89f115319f42f398733a5dc836672afb (MD5) / Made available in DSpace on 2013-12-09T13:00:53Z (GMT). No. of bitstreams: 1 dissertacao_mestrado_ien_2010_04.pdf: 2331299 bytes, checksum: 89f115319f42f398733a5dc836672afb (MD5) Previous issue date: 2010 / Durante a operação de uma usina nuclear, assim como de outras plantas industriais, o tempo de operação e a exposição a condições severas podem ocasionar o desgaste de seus componentes, consequentemente comprometendo a segurança e o desempenho da instalação. Desta forma, inspeções periódicas tornam-se necessárias para assegurar a segurança e o desempenho da planta. Assim, a utilização de técnicas ultra-sônicas para inspeção e caracterização de materiais vem se tornando cada vez mais atrativas, pois oferecem resultados rápidos, precisos e são técnicas de fácil implementação. As técnicas ultra-sônicas usuais, necessitam da medida do tempo de percurso da onda ultra-sônica no material analisado para que se possa extrair informação para caracterizá-lo. Assim, a medida do tempo de percurso da onda ultra-sônica é o fator principal na maioria das aplicações que se faz do ultra-som. Neste trabalho, foi desenvolvida uma técnica que permite a medida do tempo de percurso da onda ultra-sônica utilizando a Transformada Rápida de Fourier (FFT). Será mostrado matematicamente e experimentalmente, que é possível utilizar o sinal ultra-sônico no domínio da freqüência para determinar o tempo de percurso da onda ultrasônica. Para a comprovação experimental foram realizados 6 experimentos para validação desta nova técnica. Os materiais utilizados foram 20 pastilhas cerâmica com diferentes porosidades e 3 chapas de alumínio de diferentes espessuras. Os resultados obtidos mostraram que a técnica proposta neste trabalho foi capaz de determinar o tempo de percurso da onda ultra-sônica com mesmo grau de precisão que a técnica convencional de medida de tempo. Além disso, foi mostrado que essa nova técnica é capaz de medir o tempo de percurso da onda ultra-sônica em situações em que a técnica convencional não pode ser aplicada, possibilitando uma abrangência ainda maior dos ensaios e inspeções por ultra-som. / During the operation of a nuclear plant and other industrial plants, the operational time and the exposition to severe working conditions may cause the wear of its components, consequently, compromising the safety and the performance of the installation. The implementation of periodical inspections helps to ensure the safe operation and the best performance of the plant. In this way the use of ultrasonic techniques for inspection and materials characterization becomes more and more attractive, since they offer quick, precise results and are technically ease to implement. The usual ultrasonic techniques, need to the measure the travelling time of the ultrasonic wave in the material examined in order to extract information useful to characterize it. Thus, the measurement of the travelling time of the ultrasonic wave is the overriding factor in most of the applications made with ultrasound. In this work a new technique was developed for measuring the travelling time of the ultrasonic wave using a Fourier’s Fast Transformer (FFT). It will be shown mathematically and experimentally that it is possible to use the ultrasonic signal in the frequency domain to determine the travelling time of the ultrasonic wave. Five experiments were carried out for the experimental validation of this new technique. The materials used were 20 ceramic pastilles with different porosities and 3 aluminum plates of different thicknesses. The obtained results have shown that the new technique proposed in this work was able to determine the travelling time of the ultrasonic wave with the same precision as the conventional technique. It was shown, furthermore, that this new technique is able to measure the travelling time of the ultrasonic wave in situations where the conventional technique cannot be applied greatly expanding the range of application of ultrasonic testing and inspections.

Made available in DSpace on 2016-08-29T15:33:13Z (GMT). No. of bitstreams: 1 tese_4086_Dissertacao_Eduardo_Amaral.pdf: 4247253 bytes, checksum: 05b5da4761ed7e380fc1125b5b9543f6 (MD5) Previous issue date: 2010-08-27 / A adoção de linguagens ontologicamente bem fundamentadas para construção de ontologias, apesar de vir ganhando mais adeptos, esbarra nas dificuldades da utilização desta linguagem por modeladores inexperientes. Este trabalho propõe um guia metodológico para apoiar as construções de ontologias utilizando a linguagem OntoUML Este guia auxilia o projetista no processo de modelagem através do estudo da estrutura da linguagem, suas restrições sintáticas e padrões de projetos. Além disso, as interações com o modelador na utilização deste guia são utilizadas para gerar um design rationale do processo de modelagem. Por final é apresentada uma implementação Web de uma ferramenta que demonstra as propostas apresentadas neste trabalho. Palavras-chave: Ontologias, Design Rationale, Ontologias de Domínio, Reuso, Ontologia de Referência, UFO, Modelagem Conceitual.

Made available in DSpace on 2014-06-12T15:52:08Z (GMT). No. of bitstreams: 2 arquivo1725_1.pdf: 1933280 bytes, checksum: 83d790e13277913f4acde1d4ff145f21 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Com a globalização da Internet, a gestão de conhecimento tem enfrentado novos desafios como a pesquisa de informação baseada em palavras-chave, a manutenção de fontes de textos fracamente estruturada e a falta de informações coesas. Nesse sentido, faz-se necessária a abordagem de novos conceitos com o intuito de apoiar a gestão de conhecimento. Um dos conceitos proeminentes que se destaca para auxiliar a gestão de conhecimento é o da ontologia. Ontologias possuem um vocabulário formal e não ambíguo para representação dos dados permitindo a compreensão de um domínio específico. Logo, a modelagem de sistemas de gestão de conhecimento através de ontologias se torna um diferencial podendo auxiliar a disseminação e o gerenciamento do conhecimento. Desta maneira, propõe-se o desenvolvimento de uma ontologia do domínio científico-acadêmico que permitirá realizar consultas com anotações semânticas através de um sistema disponibilizado aos usuários que possibilitará a colaboração, a organização e a navegabilidade da informação. Assim, a meta desta dissertação é especificar formalmente anotações de dados por meio de ontologias além de fornecer ao usuário uma ferramenta colaborativa e navegacional para a gestão de conhecimento

Made available in DSpace on 2014-06-12T16:00:51Z (GMT). No. of bitstreams: 2 arquivo7069_1.pdf: 2309680 bytes, checksum: 9f82816fc4ec4e7c3d5e9a9fec8419fe (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Em sistemas embarcados, uma de suas partes críticas é o escalonador de tarefas. Este é responsável por determinar qual tarefa ocupará o processador em cada instante de tempo. Uma escolha de tarefa errada pode ter resultados que vão de uma diminuição de desempenho à perda de vidas humanas. Diante de sistemas cada vez mais complexos, surge a necessidade de criar escalonadores de tarefas especializados para aplicações específicas com o intuito de melhorar o desempenho desses sistemas. Sendo a implementação de escalonadores uma tarefa trabalhosa, que requer o uso de linguagens de baixo nível, esse trabalho de mestrado apresenta uma linguagem específica de domínio, a SchedLanguage, para facilitar a implementação de políticas de escalonamento dirigidas a prioridades. Com uma sintaxe simples, a SchedLanguage facilita a implementação de escalonadores, permitindo que estes sejam especificados em um nível de abstração maior. Além disso, também proporciona uma detecção precoce de erros relacionados ao entendimento e definição do sistema. Também é mostrado neste trabalho a ferramenta SchedTool, que gera um escalonador a partir de uma especificação em SchedLanguage. A utilização da linguagem proposta neste trabalho não é restrita a uma única plataforma. Por necessitar de algumas informações relacionadas à plataforma utilizada, uma mesma especificação nessa linguagem pode ser utilizada em diferentes plataformas. A linguagem e a ferramenta apresentadas neste trabalho foram validadas utilizando uma plataforma de referência ArchC, sendo utilizadas para escalonar diferentes tipos de tarefas