Spelling suggestions: "subject:"refinamento"" "subject:"refinamentos""
21 |
[pt] INVESTIGAÇÃO DE NOVOS CRITÉRIOS PARA INSERÇÃO DE PONTOS EM MÉTODOS PARA SIMPLIFICAÇÃO DE MODELOS DE TERRENO ATRAVÉS DE REFINAMENTOANSELMO ANTUNES MONTENEGRO 25 July 2002 (has links)
[pt] Este trabalho tem por objetivo estudar algoritmos para a obtenção de
representações simplificadas para modelos de terreno. Dados de terreno são
considerados de difícil tratamento devido à sua complexidade e dimensão. Uma das
técnicas mais utilizadas para amenizar a complexidade dos dados de terreno são os
métodos de simplificação de superfícies. Dentre os vários métodos de simplificação
de superfícies, os que têm fornecido melhores resultados são os métodos de
simplificação por inserção gulosa baseada no erro vertical local. Apesar de suas
qualidades, percebemos algumas falhas na qualidade perceptual das soluções
fornecidas por este método quando aplicado a dados de terreno com regiões nas quais
as altitudes apresentam diferentes graus de variabilidade. Neste trabalho investigamos
a existência de métodos melhores para abordagem deste problema. Propomos métodos
de inserção gulosa que utilizem critérios de seleção em que o erro vertical local seja
modificado de acordo com a variabilidade da superfície.
|
22 |
Refinamento de consultas em lógicas de descrição utilizando teoria dos Rough sets / Query refinement in description logics using the Rough set theoryOliveira, Henrique Viana January 2012 (has links)
OLIVEIRA, Henrique Viana. Refinamento de consultas em lógicas de descrição utilizando teoria dos Rough sets. 2012. 111 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T16:33:31Z
No. of bitstreams: 1
2012_dis_hvoliveira.pdf: 789598 bytes, checksum: d75ef093adc56cc930f52c1e486ead5a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-18T13:43:45Z (GMT) No. of bitstreams: 1
2012_dis_hvoliveira.pdf: 789598 bytes, checksum: d75ef093adc56cc930f52c1e486ead5a (MD5) / Made available in DSpace on 2016-07-18T13:43:45Z (GMT). No. of bitstreams: 1
2012_dis_hvoliveira.pdf: 789598 bytes, checksum: d75ef093adc56cc930f52c1e486ead5a (MD5)
Previous issue date: 2012 / Query Refinement consists of methods that modify the terms of a consult aiming the change of its result obtained previously. Refinements can be done of several ways and different approaches can be applied to it. This work proposes to apply methods of Query Refinement based on Rough Set theory, using it as an alternative for the refinement problem. The proposed methods will be grounded in the languages of Description Logics, which are commonly used on problems involving knowledge bases or ontologies representation. Two extensions of Description Logics with the Rough Set theory are introduced in this dissertation. We will prove the complexity of satisfiability of these logics, as well as the complexities of the query refinement methods applied to these logics. Finally, we will show quality measures which will aid to choose the results of the refinements obtained. / Refinamento de consulta consiste de técnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realização de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propõe aplicar a teoria dos Rough Sets como uma nova alternativa de solução para o problema. Através das noções presentes nessa teoria, iremos desenvolver técnicas que serão aplicadas nas linguagens de Lógicas de Descrição, que são comumente utilizadas em problemas de representação de bases de conhecimento ou ontologias. Além disso, introduziremos duas extensões de Lógicas de Descrição capazes de representar as operações da teoria dos Rough Sets. Provaremos os resultados de complexidade de decisão dessas duas lógicas, assim como os resultados de complexidade das técnicas de refinamentos desenvolvidas. Por fim, mostraremos métricas de qualidade que poderão ser usadas para melhorar o resultado dos refinamentos obtidos.
|
23 |
Síntese e caracterização de manganitas de bismuto / Synthesis and characterization of bismuth manganitesFerreira, Rafael Aparecido [UNESP] 17 August 2016 (has links)
Submitted by RAFAEL APARECIDO FERREIRA null (frafael@fc.unesp.br) on 2016-10-26T23:30:15Z
No. of bitstreams: 1
TESE_VERSAOFINAL_RAFAELFERREIRA_20102016.pdf: 3557281 bytes, checksum: 8e435622b72935c72d8a57048fe6b882 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-11-01T15:32:14Z (GMT) No. of bitstreams: 1
ferreira_ra_dr_bauru.pdf: 3557281 bytes, checksum: 8e435622b72935c72d8a57048fe6b882 (MD5) / Made available in DSpace on 2016-11-01T15:32:14Z (GMT). No. of bitstreams: 1
ferreira_ra_dr_bauru.pdf: 3557281 bytes, checksum: 8e435622b72935c72d8a57048fe6b882 (MD5)
Previous issue date: 2016-08-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho teve como objetivo otimizar rotas de síntese de diferentes métodos de materiais cerâmicos monofásicos e estudar propriedades cristalográficas e magnéticas de manganitas destes materiais. Foram utilizados os métodos da reação no estado sólido, método da reação de combustão e o método hidrotérmico. Após otimização, foram sintetizadas pelo método da reação de combustão amostras com composição nominal Bi1-xMxMn2O5, onde (M= Eu, Er e x = 0,10). Para obter as fases desejadas, os materiais sintetizados pelo método da combustão foram tratados termicamente a diferentes temperaturas de 600°C, 700°C e 800°C para amostras de composição BiMn2O5, e a 900°C para as amostras com substituições de Eu e Er. Já, as amostras obtidas pelo método da reação no estado sólido foram tratadas a 700, 750 e 800°C por 24 horas em cada temperatura. Para o estudo da das fases cristalográficas formadas nos materiais foi utilizada a difração de raios X, seguida do refinamento estrutural pelo método de Rietveld. Os métodos de síntese, por combustão com ureia e de reação no estado sólido, permitiram obter amostras monofásicas para o material com composição nominal BiMn2O5, que apresentaram estrutura perovisquita do tipo mulita e grupo espacial Pbam, a reação de combustão com ureia permitiu também obter amostras monofásicas para a composição nominal Bi1-xMxMn2O5, na qual (M = Eu e x = 0,10), onde foi observada a formação de um material monofásico com a mesma estrutura e grupo espacial do BiMn2O5 (ICSD-026806), que sugere a substituição do sítio do Bi+3 por cátions Eu+3, para as composições nominais onde x = 0,1. A microscopia eletrônica de varredura indicou que o material sintetizado pelo método de combustão por ureia apresentou uma boa distribuição de partículas da ordem de 300 nm, enquanto que o método da reação no estado sólido permitiu obter amostras da ordem de 1 µm. No estudo do comportamento magnético das amostras foram realizadas medidas magnéticas em função da temperatura em procedimento ZFC (medida de magnetização com resfriamento sem campo magnético aplicado) e FC (medida de magnetização com resfriamento com campo magnético aplicado) na faixa de temperaturas de 2 a 300 K, para campos magnéticos aplicados de 100 Oe, para as amostras obtidas pelo método do estado sólido, que apresentaram comportamento típico antiferromagnético nas duas curvas (TN ~ 40 K). As medidas de magnetização em função da temperatura, obtidas pelo procedimento ZFC-FC, indicaram que as amostras com composição BiMn2O5, obtidas pelos métodos da reação por combustão apresentam uma resposta típica antiferromagnética com TN ~ 40 K nas curvas medidas em modo ZFC. Tal resposta se deve a ocupação dos cátions de Mn+3 nos sítios pirâmide tetragonal e Mn+4 nos sítios octaédricos da estrutura perovisquita do tipo mulita. Por fim, as amostras com composição nominal Bi0,9Eu0,1Mn2O5 apresentam um aumento na magnetização do material trazendo uma componente ferromagnética para o mesmo observada na sua curva FC com TC em 44,3 K. Isto ocorre devido a o momento magnético não nulo dos íons Eu3+, que ocupam os sítios octaedrais do bismuto. / The objective of this work is to optimize different methods of routes for synthesis of monophasic ceramic materials, and to study the crystallographic as well as its manganites magnetic properties. The reaction methods to be analyzed were the solid state reaction method, the combustion reaction method and the hidrothermic method. After optimization, the samples with nominal composition of Bi1-xMxMn2O5 (M= Eu, Er e x = 0.10) were synthesized using the combustion reaction method. With the aim of obtaining the desired phases, the synthesized materials using the combustion reaction method were then treated thermally at 600, 700 and 800oC for the samples presenting composition BiMn2O5, and 900oC for the samples containing substitutions Eu and Er. The samples obtained by the solid state reaction method were treated at 700, 750 and 800oC for 24 hours for each temperature. The X-ray diffraction using the Rietveld method for structural refining was used to study the crystallographic phases formed in the studied materials. The synthesis methods for combustion with urea as well as solid state allowed to obtain monophasic samples for the materials with nominal composition of BiMn2O5. They presented perovskite-like mullite-type structure with special group Pbam. The combustion reaction method with urea also allowed to obtain monophasic samples with nominal composition Bi1-xMxMn2O5, (M = Eu e x = 0.10), where it was possible to observe the formation of a monophasic material with the same structure and space group of BiMn2O5 (ICSD-026806). This result suggests the substitution of the Bi3+ site for Eu3+ cations for the nominal compositions with x = 0.1. The scanning electron microscopy indicated that the materials synthesized for combustion with urea presented a good particle distribution in the order of 300 nm, while the materials synthesized for solid state allowed to obtain samples in the order of 1 µm. The studies involving the magnetic behavior of the samples were performed through magnetic measurements as a function of temperature with ZFC (zero field cooled), as well as FC (field cooled). The measurements were performed in the range of temperatures from 2 to 300 K for the applied magnetic fields of 100 Oe when used samples obtained by the solid state reaction method. They presented typical antiferromagnetic behavior in the two curves (TN ~ 40 K). The measurements of magnetization as a function of temperature obtained through the ZFC-FC procedures indicated that the samples with composition BiMn2O5 obtained by the combustion reaction method presented a typical antiferromagnetic response with TN ~ 40 K in the curves measured in ZFC mode. Such a response is due to the occupation of Mn3+ cation in the tetragonal pyramid sites and Mn4+ in the octaedric sites for the perovskite structure mullite-type. Lastly, the samples with nominal composition Bi0,9Eu0,1Mn2O5 presented an increase in the material magnetization bringing a ferromagnetic component to the same observed in its FC curve with TC ~ 44,3 K. The last happens due to a not null magnetic moment of the Eu3+ ions that occupy the octaedric sites of bismuth. / CAPES: 8965/11-0
|
24 |
Análise estrutural de materiais cerâmicos com estrutura de perovskita / Structural analysis of ceramic materials with perovskyte structureJuan Alfredo Guevara Carrio 29 May 1998 (has links)
Vários compostos de fórmula AMO3 (A = Sr, Ca, Ba; M = Ru, Ti, Hf), com estrutura de perovskita foram sintetizados. Realizou-se uma análise estrutural dos compostos, usando difração de raios X, de fonte convencional e síncrotron, e difração de nêutrons em material policristalino. Para esta análise usaram-se dois dos programas mais reconhecidos internacionalmente para o método de Rietveld: DBWS e GSAS. Todas as estruturas analisadas foram classificadas segundo o sistema de inclinação dos octaedros de Glazer e representadas graficamente com o programa Atoms. A estrutura do SrHfO3 foi determinada por difração de nêutrons e raios X em material policristalino. Foi estudada a dependência da estrutura desses compostos com a temperatura e, com a composição, no caso das soluções sólidas SrTi1-xRuxO3 (O≤ x≤1). Duas transições estruturais de fase com a temperatura foram encontradas nos compostos SrRuO3 e SrHfO3. Nas soluções sólidas SrTi1-xRuO3 foi estudada a correlação da estrutura com as propriedades elétricas e com a estrutura eletrônica / Several compounds whose general formula was AMO3 (A = Sr, Ca, Ba; M = Ru, Ti, Hf) and which present the perovskite structure were synthesized. A structural analysis of the compounds by conventional and synchrotron X ray and neutron powder diffraction was performed. For this study was used the internationally accepted software for Rietveld analysis DBWS and GSAS. A11 of the structures analyzed were classified according to the octahedral tilt classification system of Glazer and represented with the program Atoms. The structure of SrHfO3 was determined by neutron and X ray powder diffraction. The dependence of the structure of severa1 compounds with temperature was studied. Two different structural phase transitions were found in the compounds SrRuO3 and SrHfO3. In the case of the solid solutions SrTi1-xRuxO3 (O≤ x ≤1) the dependence of the structure with the composition and the correlation with electric properties and the electronic structure was studied
|
25 |
Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets / Query Refinement in Description Logics Using the Rough Set TheoryHenrique Viana Oliveira 14 August 2012 (has links)
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Refinamento de consulta consiste de tÃcnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realizaÃÃo de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propÃe aplicar a teoria dos Rough Sets como uma nova alternativa de soluÃÃo para o problema. AtravÃs das noÃÃes presentes nessa teoria, iremos desenvolver tÃcnicas que serÃo aplicadas nas linguagens de LÃgicas de DescriÃÃo, que sÃo comumente utilizadas
em problemas de representaÃÃo de bases de conhecimento ou ontologias. AlÃm disso, introduziremos duas extensÃes de LÃgicas de DescriÃÃo capazes de representar as operaÃÃes
da teoria dos Rough Sets. Provaremos os resultados de complexidade de decisÃo dessas duas lÃgicas, assim como os resultados de complexidade das tÃcnicas de refinamentos desenvolvidas. Por fim, mostraremos mÃtricas de qualidade que poderÃo ser usadas para melhorar o resultado dos refinamentos obtidos. / Query Refinement consists of methods that modify the terms of a consult aiming the change of its result obtained previously. Refinements can be done of several ways and different approaches can be applied to it. This work proposes to apply methods of Query Refinement based on Rough Set theory, using it as an alternative for the refinement problem. The proposed methods will be grounded in the languages of Description Logics, which are commonly used
on problems involving knowledge bases or ontologies representation. Two extensions of Description
Logics with the Rough Set theory are introduced in this dissertation. We will prove the complexity of satisfiability of these logics, as well as the complexities of the query refinement methods applied to these logics. Finally, we will show quality measures which will aid to choose the results of the refinements obtained.
|
26 |
Avaliação da microarquitetura de ossos trabeculares / Assessment of trabecular bones microarchitecturesRicardo Simionato Boffa 05 August 2014 (has links)
O termo estrutura cristalina entende-se como um conjunto de átomos periodicamente distribuídos no espaço, formando uma rede. O material composto, osso, contém uma parte orgânica formada por colágeno e uma parte inorgânica formada predominantemente por cristais de hidroxiapatita, que possui fórmula molecular Ca10(PO4)6(OH)2 em sua célula unitária. A estrutura cristalina da hidroxiapatita pode indicar a qualidade de ossos trabeculares, pela identificação do tamanho de cristalito, da microdeformação e da proporção de cálcio e fósforo nos três tipos de ossos: normal, osteopênico e osteoporótico. A osteoporose é definida pelo National Institutes of Health como uma desordem esquelética caracterizada pelo comprometimento da resistência óssea e aumento do risco de fratura. Objetiva-se avaliar e caracterizar a estrutura cristalina da matriz inorgânica de ossos secos trabeculares de vértebras de colunas de cadáveres humanos normais, osteopênicos e osteoporóticos por microscopia ótica, microscopia eletrônica de varredura e espectometria de energia dispersiva e difratometria de raios-X, utilizando o método de refinamento de Rietveld, balizando os resultados com os valores de microdureza. Foram utilizados ossos secos trabeculares de vértebras L1 de colunas de nove cadáveres humanos provenientes do Serviço de Verificação de Óbito da capital. Antes da coleta do material, elas foram pré-divididas em três grupos: normal, osteopênico e osteoporótico, através de ultrassonometria de calcâneo. A caracterização dos três tipos de ossos foi feita pelas técnicas de microscopia ótica, microscopia eletrônica de varredura, microanálise por espectrometria de energia dispersiva, microdureza e difratometria de raios-X pelo método de pó com aplicação do método de Rietveld. Os resultados mostraram uma diminuição dos valores de tamanho do cristalito (de 670 para 213 nanômetros), microdureza (de 30,27 para 21,22 knoop), proporção de cálcio e fósforo (de 2,02 para 1,73), número de trabéculas e densidade óssea e um aumento nos valores de microdeformação (de 5,4 para 16,8), sugerindo uma maior desorganização e fragilidade na estrutura cristalina da hidroxiapatita em ossos osteopênicos e osteoporóticos em relação aos normais. A caracterização microestrutural dos cristais de hidroxiapatita em ossos secos trabeculares permitiu diferenciar os três tipos de ossos (normal, osteopênico e osteoporótico) e complementar a avaliação da osteoporose, com ênfase na qualidade óssea. / The term crystal structure is understood as a set of atoms periodically distributed in space, forming a lattice The composite material, bone, contains a organic part that consists of collagen and a inorganic part that consists predominantly of hydroxyapatite crystals, having molecular formula Ca10(PO4)6(OH)2 in its unit cell. The crystal structure of hydroxyapatite can indicate the trabecular bone quality, by the identification of crystallite size, microstrain and ratio of calcium and phosphorus in bones of three types: normal, osteopenic or osteoporotic. Osteoporosis is defined by the National Institutes of Health as a skeletal disorder characterized by compromised bone strength and increased risk of fracture. The objective is to evaluate and characterize the crystalline structure of the inorganic matrix of dry trabecular bones of vertebral column of normal, osteopenic and osteoporotic human cadavers by optical microscopy, scanning electron microscopy, energy dispersive spectrometry, X-ray diffraction, using the Rietveld refinement method and microhardness. Dried trabecular bone of vertebrae L1 columns of nine human cadavers from the Serviço de Verificação de Óbito of the capital were used. Before sample collection, they were pre-divided into three groups: normal, osteopenic or osteoporotic, through Quantitative ultrasound of the calcaneus. The characterization of the three types of bones were made by optical microscopy, scanning electron microscopy, microanalysis by energy dispersive spectrometry, microhardness and powder X-ray diffraction with application of the Rietveld method. The results showed a decrease of the crystallite size (from 670 to 213 nanometers), hardness (from 30,27 to 21,22 knoop), ratio of calcium and phosphorus (from 2,02 to 1,73), trabecular number and bone density and an increase in microstrain values (from 5,4 to 16,8) suggesting greater fragility and disruption in the crystalline structure of hydroxyapatite in osteopenic and osteoporotic bone compared to normal. Microstructural characterization of hydroxyapatite crystals in dry trabecular bone could differentiate the three types of bones (normal, osteopenic and osteoporotic) and supplement assessment of osteoporosis, with an emphasis on bone quality.
|
27 |
Comparing Strategies for Improving Precision When Checking Safe Evolution of Software Product LinesALMEIDA, Jefferson Rodrigues de 12 March 2014 (has links)
Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-09T17:44:49Z
No. of bitstreams: 2
DISSERTAÇÃO Jefferson Rodrigues de Almeida.pdf: 4623062 bytes, checksum: f4cfaea650da4ae73310745aa4b92435 (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T17:44:49Z (GMT). No. of bitstreams: 2
DISSERTAÇÃO Jefferson Rodrigues de Almeida.pdf: 4623062 bytes, checksum: f4cfaea650da4ae73310745aa4b92435 (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Previous issue date: 2014-03-12 / FACEPE / Linhas de produtos de software estão emergindo como um paradigma de desenvolvimento viável e como um importante aliado que permite às empresas realizar melhorias de ordem de magnitude em tempo de mercado, custo, produtividade, qualidade e outros direcionadores de negócio. No entanto, a evolução de uma linha de produtos é arriscada, porque pode afetar muitos produtos e seus respectivos clientes. Neste contexto, ao evoluir uma linha de produtos para introduzir novas funcionalidades ou para melhorar a sua concepção, é importante garantir que os produtos existentes tenham o mesmo comportamento após a evolução. Ferramentas típicas de refatoração não podem garantir a preservação de comportamento dos produtos, porque o contexto de linha de produtos vai além de código. As linhas de produtos abrangem artefatos adicionais, tais como modelo de features e modelo de configurações. Além disso, geralmente tem que lidar com um conjunto de artefatos alternativos que não constituem um programa bem-formado.
Portanto, ferramentas de refatoração existentes podem introduzir mudanças comportamentais ou invalidar configurações de produtos. Analisar essas evoluções de artefatos manualmente podem gastar muito tempo e levar a defeitos, comprometendo os benefícios de linhas de produtos de software acima mencionados. Na literatura, encontramos algumas abordagens de força bruta que se movem na direção de superar esses desafios. Elas implementam aproximações práticas de uma teoria de refinamento de linhas de produtos de software. No entanto, elas são imprecisas e gastam um tempo substancial para verificar incompatibilidades comportamentais entre as evoluções. Em contraste, uma alternativa otimizada foca na verificação de compatibilidade comportamental apenas das classes modificados durante a evolução. Isto leva a uma redução no tempo, fazendo com que a abordagem seja mais rápida quando comparado com outras abordagens propostas.
Este procedimento melhora o desempenho, mas por outro lado, diminui a precisão. Portanto, neste trabalho, propomos estratégias para aumentar a precisão dessas abordagens otimizadas.
Primeiramente implementados uma estratégia ao qual analisa as classes em uma hierarquia mais próxima do usuário, o que pode melhor determinar se a evolução preserva comportamento. Além disso, integramos uma nova ferramenta de geração de teste para o nosso conjunto de ferramentas,
que tem uma heurística eficiente para orientar a sua busca por testes de maior qualidade. Neste trabalho, nós combinamos essas duas referidas abordagens com duas ferramentas de teste e fazemos comparações em relação ao desempenho e precisão. Elas são avaliadas em cenários concretos de evolução de duas linhas de produtos. A primeira linha de produtos gera testes funcionais a partir de especificações de casos e a segunda gerencia mídia em dispositivos móveis.
Como resultado, nossas estratégias descobriram que algumas transformações introduziram mudanças comportamentais. Além disso, melhorou o desempenho e alcançou precisões mais elevadas.
|
28 |
Geração de especificação formal de sistemas a partir de documento de requisitosda Fonseca Limaverde Cabral, Gustavo January 2007 (has links)
Made available in DSpace on 2014-06-12T15:59:36Z (GMT). No. of bitstreams: 2
arquivo5340_1.pdf: 1555764 bytes, checksum: d3735403fc535c9dd852536b0afde205 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2007 / A escrita de requisitos, dentro do processo de desenvolvimento de sistemas, está sujeita a falhas,
uma vez que os requisitos são escritos em Linguagem Natural, como Inglês, que pode conter
definições ambíguas ou de difícil entendimento. Por outro lado, Linguagem Natural é a opção
mais simples e flexível para se especificar um sistema, e é a linguagem de entendimento comum
entre clientes e contratados. Desta forma, para minimizar a existência de erros nos documentos
de requisitos, técnicas de validação com inspeção ou revisão de documentos são utilizadas.
Entretanto, o custo de se realizar este tipo de validação é alto e sua eficácia é questionável;
erros podem persistir. Além disso, requisitos escritos usando de linguagem natural são de
difícil processamento, dificultando a geração de outros artefatos a partir do mesmo.
Esta dissertação define uma estratégia que utiliza templates de especificação de casos de
use e uma Linguagem Natural Controlada (LNC) para descrever requisitos. Os templates de
casos de uso asseguram a estruturação correta do documento de requisitos e a LNC garante
a exatidão da gramática do texto que especifica o comportamento do sistema. Foram criados
dois templates de casos de uso, cada um com uma visão diferente do sistema. A visão mais
abstrata se chama visão do usuário e a visão mais detalhada se chama visão de componentes.
A partir dessa estruturação dos requisitos torna-se, possível definir uma estratégia de geração
automática de uma especificação formal da aplicação em questão.
A geração automática de especificação formal de sistemas reduz custo e necessidade de
mão de obra especializada em projetos de desenvolvimento de software. Ou seja, uma vez que
é possível realizar a geração automática do modelo formal de sistemas podemos fazer uso do
mesmo na validação de propriedades do sistema. Além disso, artefatos como casos de teste e
diagramas UML podem ser gerados a partir deste. Em particular, esta dissertação define uma
estratégia para gerar modelos formais na álgebra de processo CSP a partir das duas visões de
caso de uso, mantendo a consistência entre os artefatos. Também foi definida uma relação de
refinamento entre os modelos gerados garantindo a consistência entre as visões.
Finalmente, todo o processo foi automatizado através de ferramentas. Estas foram vali-
dadas através de experimentos realizados no contexto de aplicação para celulares da Motorola,
empresa parceira e financiadora do projeto de pesquisa com o CIn/UFPE
|
29 |
MAKING SOFTWARE PRODUCT LINE EVOLUTION SAFERSantiago Ferreira, Felype 31 January 2012 (has links)
Made available in DSpace on 2014-06-12T16:01:35Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2012 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Desenvolvedores evoluem linhas de produtos de software (LPSs) manualmente ou usando Ferramentas típicas de refatoração de programas. No entanto, quando a evolução de uma
Linha de produtos é feita para introduzir novas características, ou para melhorar o seu projeto, é importante ter a certeza de que o comportamento dos produtos existentes não é
modificado. Programas típicos de refatoração de software não podem garantir isso porque o contexto de LPS vai além de código, e outros tipos de artefatos de código, e envolve
artefatos adicionais, tais como modelos de feature e configuration knowledge. Além disso, em uma LPS, normalmente temos que lidar com um conjunto de possíveis artefatos de
código-fonte alternativos que não constitui um programa bem formado. Como resultado, mudanças manuais e ferramentas de refatoração de software existentes podem introduzir
mudanças comportamentais ou invalidar configurações de produtos existentes. Para evitar isso, propomos abordagens e implementamos ferramentas para tornar a evolução de
linhas de produtos mais segura; essas ferramentas verificam se transformações em LPS são refinamentos no sentido de que preservam o comportamento dos produtos originais
da LPS. Elas implementam aproximações diferentes e práticas de uma definição formal de refinamento de LPS. Avaliamos as abordagens em cenários concretos de evolução de
LPS, onde o comportamento do produto existente deve ser preservado. No entanto, nossas ferramentas constataram que algumas transformações introduziram mudanças comportamentais. Além disso, avaliamos refinamentos defeituosos, e o conjunto de ferramentas detectou as mudanças de comportamento.
|
30 |
Nanofósseis calcários do DSDP Leg 40, Poços 361 e 364. Bioestratigrafia e implicações paleoceanográficas do Período Cretáceo na Margem Africana, Oceano Atlântico Sul / Calcareous Nannofossils from DSDP Leg 40, Site 361 and 364. Bioestratigraphic and Paleoceanographic Implications of the Cretaceous Period on the African Margin, South Atlantic OceanAntonio Henrique Bender Antiqueira 17 November 2017 (has links)
Estudos bioestratigráficos, com base em nanofósseis calcários de amostras provenientes do DSDP, Leg 40, poços 364 e 361, das Bacias de Angola - Cuanza e Cabo - Orange, na Margem Africana, permitiram o refinamento taxonômico, para o Período Cretáceo (145,5 - 65,5 M.a.), entre os andares Aptiano e Turoniano (125 - 89,3 M.a.). Os dados do Leg 40 obtidos pelos relatórios do DSDP, na década de 1970, foram confeccionados sobre uma bibliografia controversa, utilizando biozoneamentos de regiões distintas do Oceano Atlântico Sul. No poço 364, 89% das amostras continham material passível de análise, totalizando 168 lâminas úteis para a obtenção das informações bioestratigráficas. Foram identificados um total de 78 taxa de nanofósseis calcários, com 66 a nível de espécie e 12 a nível de gênero. No poço 361, 67% das amostras apresentaram conteúdo afossilífero, e assim foram confeccionadas 64 lâminas, onde identificou-se 18 taxas, sendo 9 a nível espécie, 6 a nível gênero e 3 a nível família. O refinamento bioestratigráfico realizado possibilitou dividir, no poço 364, a seção cretácea amostrada em cinco andares, sendo eles: Turoniano (93,5 - 89,3 M.a.), Cenomaniano (99,6 - 93,5 M.a.), Albiano (112 - 99,6 M.a.), Aptiano (125 - 112 M.a.) e um identificado genericamente como Cretáceo inferior (de 125 M.a. para a base). No poço 361, a divisão do nível Cretáceo amostrado se deu em três andares: Um Albiano (112 - 99,6 M.a.), outro Aptiano (125 - 112 M.a.) e um Cretáceo genérico (de 125 M.a. para a base). Com os dados bioestratigráficos obtidos nos dois poços, foi possível gerar uma correlação entre ambos poços, integrando os andares Albiano (112 - 99,6 M.a.) e Aptiano (125 - 112 M.a.). Tal correlação permitiu interpretar em qual momento houve a influência das águas advindas do norte (Bacia de Angola - Cuanza) e do sul (Bacia do Cabo - Orange), divididas pelo alto estrutural representado pela Cordilheira de Walvis. / Biostratigraphic studies, based on calcareous nanofossils samples from DSDP, Leg 40, sites 364 and 361 (Angola - Cuanza and Cabo - Orange Basins, African Margin), allowed the taxonomic refinement for the Cretaceous period (145.5 - 65.5 M.a.), between Aptian and Turonian (125 - 89.3 M.a.). The Leg 40 data obtained from the 1970\'s DSDP reports were based in a controversial literature using biozones from distinct regions of the South Atlantic Ocean. In site 364, 89% of the samples contained nanofossil material, counting 168 slides useful to obtain biostratigraphic information. 78 taxa of calcareous nanofossils were identified, 66 at specific level and 12 at generic level. In site 361, 67% of the samples were sterile, thus, 64 slides were made, where 18 taxa were identified, 9 at the specific level, 6 at generic level and 3 at family level. The biostratigraphic refinement allowed to divide the Cretaceous section sampled on five ages in site 364: Turonian (93.5 - 89.3 Ma), Cenomanian (99.6 - 93.5 Ma), Albian (112 - 99.6 Ma), Aptian (125 - 112 Ma) and one generally identified as Lower Cretaceous (125 M.a. down). At site 361, the division of the Cretaceous level sampled occurred in three ages: Albian (112 - 99.6 M.a.), Aptian (125 - 112 M.a.) and a Cretaceous generic (125 M.a. down). With the biostratigraphic data obtained in the two sites, it was possible to generate a correlation between both sites, integrating the Albian (112 - 99.6 M.a.) and Aptian (125 - 112 M.a.) ages. This correlation made it possible to interpret the influence of waters from the north (Angola - Cuanza Basin) and the South (Cape Basin - Orange), divided by the structural high represented by the Walvis Ridge.
|
Page generated in 0.0842 seconds