• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 254
  • 6
  • 6
  • 1
  • Tagged with
  • 269
  • 183
  • 44
  • 39
  • 36
  • 32
  • 31
  • 28
  • 27
  • 26
  • 24
  • 24
  • 24
  • 23
  • 21
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
251

On the influence of test adequacy criteria on test suite reduction for model-based testing of real-time systems.

MORAES, Alan Kelon Oliveira de. 02 May 2018 (has links)
Submitted by Lucienne Costa (lucienneferreira@ufcg.edu.br) on 2018-05-02T20:48:28Z No. of bitstreams: 1 ALAN KELON OLIVEIRA DE MORAES – TESE (PPGCC) 2017.pdf: 2206784 bytes, checksum: 9e05994ae273d28b9871d8d16769dac8 (MD5) / Made available in DSpace on 2018-05-02T20:48:28Z (GMT). No. of bitstreams: 1 ALAN KELON OLIVEIRA DE MORAES – TESE (PPGCC) 2017.pdf: 2206784 bytes, checksum: 9e05994ae273d28b9871d8d16769dac8 (MD5) Previous issue date: 2017-08-31 / O teste baseado em modelos é uma abordagem de teste de software que usa modelos abstratos de uma aplicação para gerar, executar e avaliar os testes. A geração de casos de testes exerce um papel importante no teste baseado em modelos. Como essa geração consiste na busca sistemática por casos de testes que possam ser extraídos dos modelos, o teste baseado em modelos geralmente produz suítes de testes que são caras demais para serem executadas completamente. Técnicas de redução de suítes de testes têm sido propostas para abordar este problema. O objetivo dessas técnicas é obter suítes de testes reduzidas que são mais baratas de serem executadas e tão efetivas na detecção de faltas quanto as suítes completas, dado que as suítes reduzidas mantém o mesmo nível de cobertura, definido por um critério de adequação de testes, da suíte completa. Esses critérios definem que partes do sistema serão testados, com que frequência e sob quais circunstâncias. Entretanto, pouca atenção tem sido dada ao impacto que a escolha do critério tem na redução de suítes de testes. Por outro lado, sistemas de tempo-real são sistemas reativos cujos comportamentos são restringidos pelo tempo. Consequentemente, faltas relacionadas ao tempo são específicas desses sistemas. Para lidar com isso, modelos para sistemas de tempo real devem trabalhar com tempo e, consequentemente, há critérios de adequação de testes específicos para eles. Contudo, a pesquisa sobre redução de suítes de testes não tem focado em sistemas de tempo-real, portanto o impacto de critérios de adequação de testes na redução de suítes é desconhecido. Nesta pesquisa de doutorado objetivamos investigar a influência de critérios de adequação de testes nos resultados da redução de suítes de testes no contexto de teste baseado em modelos de sistemas de tempo-real. Em particular, nós estamos interessados no modelo Timed Input-Output Symbolic Transition Systems (TIOSTS), porque ele é um modelo de sistema de transições no qual dados e tempo são definidos simbolicamente, já que sistemas de transição são a base para o teste de conformidade de sistemas de tempo real. Para alcançar o objetivo da pesquisa, primeiramente, nós definimos 19 critérios de adequação de testes para o modelo TIOSTS. Os critérios definidos incluem critérios baseados em transições, fluxo de dados e tempo. Depois nós formalizamos uma hierarquia com esses critérios, onde eles estão parcialmente ordenados pela relação de inclusão estrita. Segundamente, nós avaliamos empiricamente o custo-benefício de doze dos critérios definidos e cinco técnicas de redução de suítes de testes. Nós avaliamos o tamanho, o tempo de execução e a detecção de faltas das suítes de testes reduzidas de cada uma das 60 combinações de critério e técnica. No experimento, nós usamos modelos de especificação, em TIOSTS, de uma máquina de recarga de cartão do metrô, de um sistema de alarme anti-roubo e de um limitador automático de velocidade de carros. Além disso, usamos simulações das implementações, que geram rastros corretos para os modelos. Por fim, o teste de mutação foi usado para gerar mutantes dos modelos de especificação, que, por sua vez, foram traduzidos para simulações com a finalidade de simular modelos de implementações defeituosas. As evidências empíricas sugerem que os critérios de adequação de testes mais próximos do topo da hierarquia produziram suítes reduzidas com melhor custo-benefício com relação à detecção de faltas e tempo de execução. Com relação às técnicas de redução, a técnica aleatória obteve melhor custo-benefício dentre as técnicas avaliadas. Os resultados apontam que os critérios explicam mais a variação nos resultados do que as técnicas. / Model-based testing is a testing approach that relies on the existence of abstract models of an application to generate, execute and evaluate tests. Test case generation plays an important role in model-based testing. Since it consists of a systematic search for test cases that can be extracted from models, model-based testing usually generates large test suites which are too expensive to execute in full. Test suite reduction techniques have been proposed to address this problem. The goal of the techniques is to obtain reduced test suites that are both cheaper to execute and as effective at detecting faults as the original suite, given that the reduced test suites maintain the same coverage level of the complete test suite required by a test adequacy criterion. These criteria define which parts of the system are going to be tested, how often and under what circumstances. Nevertheless, little attention has been paid to the impact of the criterion choice in test suite reduction research. On the other hand, real-time systems are reactive systems whose behavior is constrained by time. Consequently, time-related faults are specific to these systems. In order to cope with this issue, models for real-time systems must deal with time and, consequently, there are specific test adequacy criteria for them. However, test suite reduction research has not focused on real-time systems, therefore the impact of test adequacy criteria for models of real-time systems on test suite reduction is unknown. In this doctoral research, we aim at investigating the influence of test adequacy criteria on the outcomes of test suite reduction techniques in the context of model-based testing of real-time systems. In particular, we are interested in the Timed Input-Output Symbolic Transition Systems (TIOSTS) model because it is an expressive transition system in which data and time are symbolically defined, and transition systems are the basis for conformance testing of real-time systems. In order to achieve the research objective, first, we defined 19 test adequacy criteria for TIOSTS models. The defined criteria include transition-based criteria, data-flow-oriented criteria and real-time systems criteria. Next, we formalized a hierarchy with these criteria which is partially ordered by the strict inclusion relation. Second, we evaluated the cost-effectiveness of twelve criteria and five test suite reduction techniques in empirical studies of test suite reduction. We evaluated the size, execution time and fault detection of reduced test suites obtained from each combination of criterion and technique. In the experiment, we used TIOSTS specification models of a refilling machine for charging the subway card, a burglar alarm system, and an automated car speed limiter; simulations of the implementations, which generate correct traces for the models; and mutation testing to generate mutants of the specification models, which were also translated to simulations in order to simulate faulty model implementations. Empirical evidence suggests that test adequacy criteria closer to the top of the family obtained reduced test suites with better costeffectiveness regarding fault detection and execution time. With respect to the test suite reduction techniques, the Random technique obtained better cost-effectiveness among the evaluated criteria. Results also suggests that the criteria explain more the variation in fault detection and execution time of reduced test suites than the techniques.
252

Avaliação energética, econômica e socioambiental de alternativas para sistemas de transportes urbanos coletivos a partir do modelo de apoio multicritério à decisão / Energy, economic and socio-environmental evaluation of alternatives for urban transport systems based on the multicriteria decision support model.

Guilherme Pedroso 15 December 2017 (has links)
Essa pesquisa tem como foco a tomada de decisão para a escolha de modais de transporte urbano coletivo e analisa os desempenhos operacionais e funcionais dos sistemas Bus Rapid Transit (BRT), Veículo Leve sobre Trilhos (VLT) e Monotrilho. Um modelo de apoio multicritério à decisão (AMD) em cenários complexos é utilizado na análise e tem como dados de entrada as preferências subjetivas de agentes de decisão (stakeholders) e os desempenhos objetivos e subjetivos dos três modais com relação a um sistema de cinco critérios e 22 subcritérios. Tal sistema cobre os eixos de eficiência energética, custo, viabilidade econômica e financeira, qualidade da viagem e impactos ambientais. Stakeholders selecionados com perfis de operador, vizinho, usuário, fornecedor de equipamentos e serviços e consultor em transportes urbanos atribuem suas preferências, pontuando-as em escala numérica de 1 a 9. Visando a aplicação do modelo na região da cidade de São Paulo, foram coletadas 138 opiniões de preferências através de formulários de avaliação e entrevistas conduzidas nessa região. Cada um dos três modais, após ser configurado para atender aos requisitos operacionais e funcionais do serviço de transporte definido por uma unidade funcional comum, tem os seus desempenhos com relação ao mesmo conjunto de critérios e subcritérios pontuados em uma escala numérica. Um índice global (IG), que define a prioridade de cada alternativa, é obtido pela agregação das preferências e desempenhos com uma função aditiva. O modelo foi aplicado em um estudo de caso que simulou a operação dos três modais no trecho entre as estações Vila Prudente e São Mateus da Linha 15 do Metrô de São Paulo, cujos requisitos definiram a unidade funcional. Dentro dos limites e premissas estabelecidas para o estudo de caso, os índices globais calculados indicaram a preferência pelo modal Monotrilho, seguido, na ordem, pelo VLT e BRT. / This research focuses on decision-making support methods to choice public urban transport modes and analyzes the operational and functional performances of the Bus Rapid Transit (BRT), Light Rail Transit (LRT) and Monorail systems. A multicriteria decision aided model (MDAM) in complex scenarios is used in the analysis and has as input data the subjective preferences of stakeholders and the objective and subjective performances of the three modalities in relation to a set of five criteria and 22 subcriteria. This system covers the axes of energy efficiency, cost, economic and financial feasibility, travel quality and environmental impacts. Stakeholders selected with profiles of operator, neighbor, user, equipment and service provider and consultant in urban transport assign their preferences, scoring them on a numerical scale from 1 to 9. In order to apply the model in the region of the city of São Paulo, 138 opinions were collected through evaluation forms and interviews conducted in that region. Each of the three modes, once configured to meet the operational and functional requirements of the transport service defined by a common functional unit, has its performances against the same set of criteria and subcriteria scored on a numerical scale. A global index (GI), which defines the priority of each alternative, is obtained by aggregating the preferences and performances according to an additive function. The MDAM model was applied in a case study that has simulated the operation of the three transport modalities in the stretch between the stations Vila Prudente and São Mateus of the Line 15 of the São Paulo Metro, whose general requirements did define the functional unit of the case. Within the limits and assumptions defined for the case study, the calculated global indices indicated the first preference for the Monorail modal, followed, in sequence, by the LRT and BRT.
253

Critérios de avaliação do desempenho de gerenciamento de projetos: uma abordagem de estudos de casos. / Project management performance evaluation: a multiple case study approach.

Daniel Lopes 18 September 2009 (has links)
O objeto de estudo deste trabalho são os critérios de avaliação do desempenho de gerenciamento de projetos, ou em outras palavras, aqueles critérios que podem ser utilizados pelos stakeholders para avaliar se o projeto está sendo, ou foi, bem gerenciado. O objetivo é contribuir para a pesquisa e melhoria do desempenho de gerenciamento de projetos. A primeira fase da pesquisa consistiu de uma revisão na literatura para mapeamento de critérios identificados por outros autores. Uma relação com 20 critérios foi utilizada no questionário aplicado nos estudos de casos para averiguar se tais critérios são utilizados pelas empresas estudadas, e se a seleção e a atribuição de importância dos critérios são influenciadas pelo papel desempenhado pelo entrevistado no gerenciamento dos projetos (gerente, membro de equipe e patrocinador, mais especificamente), pelas características dos projetos ou pela maturidade da empresa em gerenciamento de projetos. Os estudos de caso foram conduzidos em duas grandes empresas multinacionais com alta maturidade e em uma empresa brasileira de médio porte com baixa maturidade. Concluiu-se que, nas empresas estudadas, a seleção dos critérios está altamente associada à natureza e aos objetivos do projeto, não sendo perceptível a influência do papel desempenhado pelo entrevistado. Além disso, nas três empresas a questão da avaliação do desempenho do gerenciamento de projetos foi considerada muito importante tanto para o sucesso dos projetos como para o sucesso da própria organização, fato explicado pela forte contribuição dos projetos para os resultados das empresas e pela interpretação de que projetos bem gerenciados têm maior chance de satisfazer às necessidades e expectativas dos clientes e, desta forma, aumentam a capacidade da empresa de realizar novos negócios com o mesmo cliente e de se posicionar no mercado para realizar negócios com novos clientes. Concluiu-se, também, que a empresa com baixa maturidade apresenta uma tendência a preferir critérios financeiros para avaliação do gerenciamento de seus projetos, enquanto as empresas com alta maturidade preferem um conjunto de critérios multidimensionais. / The object of study of this research is the criteria for project management performance evaluation, in other words, those criteria used by the key stakeholders to assess whether or not a project is being or has been well managed. The objective is to contribute to the research and improvement of the project management performance. The first phase of the research consisted by the review of the literature for mapping criteria identified by other authors. A list of 20 criteria has been created and utilized for the preparation of the questionnaire applied to the case studies to verify if those criteria are used by the studied companies and if the selection and importance given are influenced by the role played in the project management by the interviewee (manager, team member and sponsor, more specifically), by the projects characteristics or by the maturity in project management of the company. The case studies were conducted in two large multinationals companies with high-maturity in project management and in a medium size Brazilian company with low maturity in project management. It was concluded that in the companies studied the selection of criteria is highly associated with the nature and objectives of the project and not influenced by the role played by the interviewee. Moreover, the three companies considered the issue of project management performance assessment very important for the success of the projects as well as the companys, fact explained by the strong contribution that projects bring to the results of the companies and by the interpretation that well managed projects are more likely to meet the customers needs and expectations, increasing the company\'s ability to conduct new business with existing clients and to position itself in the market to do business with new clients. Another conclusion is that the low maturity company is more likely to prefer financials criteria to the project management performance assess; on other hand the high maturity companies are more likely to adopt a multidimensional set of criteria.
254

Conhecimento de acesso livre na Internet para apoiar a inovação e o desenvolvimento de produtos: critérios de análise e sua aplicação / Knowledge of free access avaliable in Internet to support the innovation and product development: criteria for analysis and its application

Teresinha das Graças Coletta 12 December 2007 (has links)
Definição de critérios de análise de sites e avaliação da disponibilidade de conhecimento de acesso livre como ferramenta de apoio à inovação e ao desenvolvimento de produto. O conhecimento encontra-se, entre outras formas, disponível em páginas web. Para a criação compartilhada de conhecimento de qualidade e de acesso livre, que atendam aos interesses específicos de pessoas e organizações, assim como sua recuperação, são fundamentais os recursos de Internet. Esse contexto justifica a definição de critérios de análise de sites para identificação da disponibilidade desses recursos. O objetivo desse trabalho é a identificacão e avaliação de sites na Internet, com características de compartilhamento, divulgação e produção de conhecimento de acesso livre, para apoiar a inovação e desenvolvimento de produto. Para atingir o objetivo, inicialmente sistematiza o conhecimento por meio de pesquisa exploratória e procedimentos de pesquisa bibliográfica e documental. Fundamentando-se nas pesquisas, lista portais que possam contemplar o objetivo. Define critérios para análise desses sites com base nas dimensões conteúdo, usabilidade e funcionalidade. Analisa, então, cada uma das dimensões por meio de características e atributos que geram indicadores parciais e um indicador geral por site e permite a análise comparativa entre eles. Dos vinte portais analisados; nenhum contempla todos os atributos; a dimensão conteúdo recebe a melhor pontuação enquanto a dimensão funcionalidade apresenta o desempenho mais negativo; os atributos menos contemplados são acessibilidade, criptografia e controle de versões. Com base nos resultados obtidos, conclui que existe uma disponibilidade limitada de conhecimento de acesso livre sobre inovação e desenvolvimento de produto; aponta a existência de comunidades de prática que propiciam o compartilhamento de conhecimento; e evidencia as razões pelas quais existem falhas na recuperação do conhecimento disponível on-line. Tais razões podem fornecer orientação aos interessados no assunto sobre onde é possível, necessário ou recomendável consultar. Também fornece subsídos para orientação aos provedores interessados na melhoria dos portais existentes ou na criação de novos. / Definition of criteria for site analysis and evaluation of the availability of knowledge of free access as a support tool to innovation and product development. The knowledge is found, among another feature, available in web pages. For the shared creation of good quality and free access knowledge, that will supply specific interests of people and organizations, as its recovering, the websites are fundamental resources. This context justifies the definition of the analysis requirements of web sites for the identification of availability of these resources. The purpose of this researche is the identification and evaluation of websites which presents characteristics such as sharing, spreading and producing free knowledge access, to support the innovation and development of the product. To reach the goal, it initially organizes the knowledge through the explorative research and bibliographic and documental research procedures. Based on the researches, it catalogues websites that contemplate the area innovation and product development with the mentioned characteristics. It defines the analysis requirements of these websites based on the content, usability and functionality dimensions. Then it analyzes each one of the dimensions through characteristics and attributes that produce partial indicators and a general indicator per website, and makes possible the comparative analysis among them. From the twenty websites that were analyzed, none contemplates every attribute; the content dimension receives the best punctuation while the functionality dimension shows the worst performance; the less contemplated attributes are accessibility, cryptography and version control. Based on the gotten results, concludes that there is a limited availability of free access knowledge about innovation and product development; points the existence of practice communities that propitiate in the best way the sharing of knowledge; and evidences the reasons why there are imperfections in the recovering of the knowledge available on line. These reasons could provide help to orientate the suppliers to improve the existent websites and the creation of new ones.
255

Indicadores de sustentabilidade ambiental sob a ótica da lógica de ciclo de vida. / Environmental sustainability indicators under the life cycle thinking perspective.

Rafael Selvaggio Viñas 17 September 2012 (has links)
Sob um escopo abrangente, o desafio associado à busca do desenvolvimento sustentável pode ser interpretado como o desafio de realizar decisões baseadas em algumas concisas informações. Diversas informações são publicadas utilizando técnicas para mensuração de desempenho ambiental, a exemplo dos indicadores de sustentabilidade, de forma a entender o que está acontecendo e auxiliar tomadas de decisão. O objetivo da dissertação pode ser descrito como avaliar a hipótese que um indicador de sustentabilidade ambiental deve ser calculado através de Lógica de Ciclo de Vida. Neste contexto uma forma simplificada de conceituar sustentabilidade é garantir que o consumo de recursos naturais não esgote sua disponibilidade. Uma vez que as necessidades humanas (manutenção do bem-estar humano) são atendidas por meio de produtos, compreende-se que todo o consumo de recursos naturais ocorre ao longo do ciclo de vida de um produto (bem ou serviço). Este trabalho define Indicador de Sustentabilidade (Ambiental) como a reunião de parâmetros que represente a informação sobre consumo de recursos naturais devido a toda interação antrópica com o meio ambiente. São necessárias ferramentas quantitativas que auxiliem tomadores de decisão a compreender o consumo de recursos naturais ao longo do ciclo de vida de produtos. A Lógica de Ciclo de Vida - LCV - oferece uma imagem diferenciada e completa da remoção de recursos da natureza, modificações do ambiente físico e deposição e estabilização de rejeitos devido a sua resolução sistêmica das causas responsáveis pelos impactos associados a todas às ações antrópicas do objeto de estudo ou análise em questão. Por conseguinte dos princípios de boas práticas oferecidos pela literatura, são oferecidos critérios de classificação e seleção de indicadores de sustentabilidade ambiental no contexto da tomada de decisão. A aplicação destes critérios torna possível observar o papel da LCV como suporte à tomada de decisão na discussão da sustentabilidade. / Under a wide view, the challenge associated to the search of sustainable development can be interpreted as the challenge to make decisions based on some concise information. Much information are published using techniques for measuring environmental performance, such as sustainable indicators, in a way for understand what is happening and complement decision making. The objective of this work is to evaluate the hypothesis that an environmental sustainability indicator should be calculated using Life Cycle Thinking. On this context, a definition of sustainability is to assure that natural resources consumption do not run out of its availability. Since human needs (maintenance of human well-being) are met through products, it is understood that all natural resources consumption occurs throughout products life cycle (good or service). This research defines (environmental) sustainability indicator like the gathering of parameters that represents the information on natural resources consume due the anthropic interaction with the environment. Quantitative tools are needed to help decision makers understand natural resources consumption thru all anthropic activities. The Life Cycle Thinking (LCT) offers an image that is different and complete about the removal of resources on nature, environment physical modification and deposition and stabilization of rejects due its systemic resolution on responsible causes for impacts associate to all human action to the study object or analysis in check. Therefore literatures good practice principles, classification and selection criteria of environmental sustainability indicator are offered on the decision-making context. The application of these criteria make possible to observe the role of LCT as a structure to decision making in the discussion of sustainability.
256

Acumulação de metais-traço em sedimentos de áreas adjacentes ao porto de Niterói (Enseada de São Lourenço, Baía de Guanabara, RJ)

Viana, Luis Clemens de Almeida 08 November 2017 (has links)
Submitted by Biblioteca de Pós-Graduação em Geoquímica BGQ (bgq@ndc.uff.br) on 2017-11-08T13:52:32Z No. of bitstreams: 1 ACUMULAÇÃO DE METAIS TRAÇO EM SEDIMENTOS DE ÁREAS ADJACENTES AO PORTO DE NITERÓI. ENSEADA DE SÃO .pdf: 1544733 bytes, checksum: 5fc97bdd3c28bc3f1ec6b23326c68231 (MD5) / Made available in DSpace on 2017-11-08T13:52:32Z (GMT). No. of bitstreams: 1 ACUMULAÇÃO DE METAIS TRAÇO EM SEDIMENTOS DE ÁREAS ADJACENTES AO PORTO DE NITERÓI. ENSEADA DE SÃO .pdf: 1544733 bytes, checksum: 5fc97bdd3c28bc3f1ec6b23326c68231 (MD5) / Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / Universidade Federal Fluminense. Instituto de Química. Programa de Pós-Graduação em Geoquímica, Niterói, RJ / A área da Enseada de São Lourenço, localizada no sudeste da Baía de Guanabara (RJ), abriga o Porto de Niterói e diversos estaleiros, além de receber aporte de esgotos domésticos e possíveis influências de fontes difusas do entorno da baía, tornando esta área contaminada por metais-traço. Este estudo mostra os resultados encontrados numa avaliação de acumulação de Cd, Cr, Cu, Ni, Pb e Zn em testemunhos curtos coletados em três estações de amostragem nesta enseada. Foram avaliadas suas possíveis correlações com granulometria e com concentrações de carbono orgânico total (COT), enxofre total (S), ferro (Fe) e manganês (Mn), parâmetros indicadores de processos geoquímicos. Fatores de enriquecimento (FEs) em relação a níveis naturais e inventários (estoques dos metais por área de sedimento) foram calculados e uma comparação com os valores orientadores internacionais adotados na Resolução CONAMA 344/2004 foi realizada. Os inventários (que sempre mostraram maior acumulação na estação mais externa) e os FEs (que mostraram tendências variadas entre as estações) indicaram níveis elevados de contaminação para Cu, Pb e Zn, enquanto as concentrações de Ni e Cr não atingiram valores preocupantes. Para Cr, Cu, Pb e Zn as concentrações mais elevadas foram encontradas na estação na área mais externa da enseada, onde as concentrações de Cd, Cr, Cu, Pb e Zn tiveram correlação com o Fe. Na estação da área interna da enseada, o Pb teve correlação com o Mn. O COT e o S geralmente não pareceram afetar diretamente a distribuição dos metais-traço, mas serviram como indicadores do gradiente de influência marinha sobre a qualidade dos sedimentos, que afeta os processos biogeoquímicos que retêm os metais. A comparação das concentrações de Cd, Cr, Cu, Ni, Pb e Zn com critérios de qualidade dos sedimentos internacionais adotados pela legislação brasileira (Resolução CONAMA 344/2004) mostrou que as concentrações de Zn, Cu e Pb ocorrem em valores que geram preocupação ambiental para atividades humanas na área, como o gerenciamento da disposição do sedimento, no caso deste ser dragado. / The whole São Lourenço harbour area is located in the southeast of Guanabara Bay (RJ – Brazil). Furthermore, it also houses “Porto de Niterói” (Niterói Harbour), which is the only cargo harbour in Niterói and other several shipyards. Apart from receiving domestic sewage discharges and possibly other unknown contribution sources from the Bay’s surrounding area, the Bay is contaminated by trace metals. This study shows the results of an accumulation evaluation as follows: Cd, Cr, Cu, Ni, Pb and Zn in short cores collected from three different sample stations in that harbour. Possible correlations involving indicating parameters of geochemichal processes such as granulometry, Total Carbon Concentrations (TOC), total sulphur (S), iron (Fe) and manganese (Mg) were evaluated. Enrichment factors (EFs) in relation to background and inventories (metal storage per sediment area) were calculated, and a comparison with international sediment quality values adopted by a local jurisdiction (Resolução CONAMA 344/2004) was conducted. The inventories which always showed the highest accumulation were collected from PN3 Station and the EF showed different trends among the stations. Both the inventories and the EF presented high levels of Cu, Pb and Zn contamination. On the other hand, Ni and Cr concentrations did not reach worrying levels. Higher concentrations of Cr, Cu, Pb and Zn were found at the station which was located at the external part of the harbour. There, Cd, Cr, Cu, Pb and Zn concentrations presented a correlation with Fe. At the station located at the internal area of the harbor, Pb had a correlation with Mn. TOC and S did not seem to affect directly trace–metal distribution, but they were used as a marine influence gradient indicator to sediment quality, which affects biogeochemical processes that retain metals. The concentration comparison of Cd, Cr, Cu, Ni, Pb and Zn levels with international sediment quality criteria adopted by the Brazilian jurisdiction (Resolução CONAMA 344/2004) showed that Zn, Cu and Pb concentrations generate environmental concerns related to human activities, such as the management of dredged sediment, if such sediment dredging occurs in the studied areas.
257

Estrutura analítica sistêmica na seleção de modelos de avaliação de sustentabilidade: uma proposta com base no caso do etanol de cana-de-açúcar no estado de São Paulo / Systemic analytical framework in selecting sustainability assessment models: a supporting proposal to the sugarcane ethanol case from São Paulo state

Priscila Rodrigues Gomes 20 August 2015 (has links)
Dentre as fontes renováveis de energia, os biocombustíveis têm apresentado amplo destaque como alternativa sustentável e potenciais substitutos aos combustíveis fósseis, e são vistos por muitos decisores políticos e cientistas como recursos de baixo impacto ambiental e de boa rentabilidade econômica. No Brasil o biocombustível que tem apresentado maior destaque tem sido o etanol da cana-de-açúcar. Entretanto, existem questionamentos sobre sua produção e consumo. De um lado ocorrem ganhos pelo fato desta ser uma atividade energética renovável, mas por outro lado, observa-se a ocorrência de degradações sociais e ambientais, derivadas da monocultura extensiva, bem como, problemas econômicos de instabilidade de mercado. Ademais, é importante considerar a existência de uma rede de atores políticos, técnicos e de consumidores relacionados ao processo de tomada de decisão, processos econômicos e às questões sociais e ambientais. Estes agentes podem influenciar de forma direta e/ou indireta no futuro da cana-de-açúcar no Brasil. A interação entre estes vários elementos torna complexa a realidade do setor e potencializa as várias preocupações sobre a evolução da atividade. Desse modo, postular a sustentabilidade como uma característica fundamental para a atividade, tem se apresentado como um difícil, porém importante desafio. Um dos aspectos essenciais para responder a estes desafios, é a avaliação de sustentabilidade. Porém muitas das ferramentas de avaliação possuem limitações em contemplar critérios de sustentabilidade de maneira sistêmica. Com a gama de opções existentes, a decisão pela adoção de métodos de avaliação de sustentabilidade também se apresenta complexa, já que cada ferramenta \"abraça\" uma visão especifica de mundo, de sustentabilidade, de valores, de acordo com suas teorias, abordagens e conceitos. Nesse sentido, esta tese se concentrou na pergunta sobre como estas questões de complexidade são consideradas no processo de seleção dos modelos de avaliação, bem como, de que forma estes modelos são escolhidos e, assim propôs, por meio da elaboração de procedimentos e critérios sistêmicos, uma estrutura analítica de seleção de modelos e/ou ferramentas de avaliação de sustentabilidade. Para tanto, a pesquisa: utilizou-se do arcabouço teórico da teoria geral de sistemas e da avaliação de sustentabilidade; realizou uma análise contextual e identificou pontos de intervenção para o sistema e a complexidade envolvida na temática do etanol de cana-de-açúcar; identificou pontos críticos envolvidos nos processos de operacionalização do conceito de sustentabilidade e sua avaliação e, levantou atributos necessários a elaboração dos critérios sistêmicos. Por fim, a pesquisa concluiu que não se observa uma adequada aderência entre os modelos de análise e sua seleção, prejudicando a operacionalidade da sustentabilidade e sua avaliação. Com tal estrutura é possível fornecer subsídios ao processo de tomada de decisão e à formulação e/ou avaliação de políticas públicas voltadas à para a sustentabilidade do setor. / Amongst the renewable energy sources, the biofuels have presented extent prominence as a sustainable alternative, ever since they present themselves as potential substitutes to fossil fuels and have been considered, by many policy makers and scientists, as low environmental impact and good economic profitability resources. In Brazil, the sugarcane ethanol is the biofuel which has had greater highlighting. However, there are some discussions about its production and consumption. On the one hand gains occur since the pollution decline and on account of ethanol is a renewable energy. On the other, it is observed the occurrence of social and environmental degeneration derived from extensive monoculture, as well, market instability. Furthermore, it is important to consider the existence of political, technical and consumer\'s network related to the decision making process, and economic, social and environmental issues. These agents can influence directly and /or indirectly in the future of sugarcane in Brazil. The interaction among this range of elements complicates the ethanol industry\'s reality and enhances the concerns about the activity evolution. Thus, postulating sustainability as a essential feature for the activity has emerged as a difficult but important challenge. One of the key aspects to respond to these challenges is the sustainability assessment. But many of assessment tools have limitations in contemplating systemically sustainability criteria. With the range of options available, the adoption decision of sustainability assessment methods also affords complexity, seeing that each tool \"embraces\" a world vision, sustainability, values, according to their theories, approaches and concepts. In this sense, this thesis focused on the question of how these complex issues are considered in the selection of valuation models process as well as how these models are chosen and proposed, by the development of systemic procedures and criteria, composing an analytical framework for model selection and/or sustainability assessment tools. Hence, for the search: were used the theoretical framework of the general theory of systems and evaluation of sustainability; was conducted a contextual analysis and identified intervention points for the system and complexity of sugarcane ethanol, identified critical issues involved in the implementation process of the sustainability concept and its assessment, and was ranked attributes required to systemic criteria. Finally, the research concluded that there hasn´t been an adequate linkage between the analysis models and their selection, harming the operational sustainability and evaluation. By such a structure can provide input and contribute to the decision-making process and the formulation and/or evaluation of public policies aimed for the sector\'s sustainability.
258

Uma aplicação da congruência na determinação de critérios de divisibilidade / A matching of application for the determination of criteria divisibility

Silva, Luis Henrique Pereira da 27 March 2015 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-08T11:31:38Z No. of bitstreams: 2 Dissertação - Luis Henrique Pereira da Silva - 2015.pdf: 1093576 bytes, checksum: 6d4e251c8d5464c6328fb953341355d9 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-08T12:56:48Z (GMT) No. of bitstreams: 2 Dissertação - Luis Henrique Pereira da Silva - 2015.pdf: 1093576 bytes, checksum: 6d4e251c8d5464c6328fb953341355d9 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-08T12:56:48Z (GMT). No. of bitstreams: 2 Dissertação - Luis Henrique Pereira da Silva - 2015.pdf: 1093576 bytes, checksum: 6d4e251c8d5464c6328fb953341355d9 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-03-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work aims to demonstrate in a practical way the divisibility criteria 2-97 in sieve Eratostenes with cutting the right and the left, based on the method of multiplication and division Egyptian. The entire process is demonstrated using the divisibility to whole numbers, greatest common divisor, prime numbers, decomposition in prime factors and matching. / Este trabalho tem como objetivo demonstrar de modo prático os critérios de divisibilidade de 2 a 97 no crivo de Eratóstenes com os corte a direita e a esquerda, baseando-se no método de multiplicação e divisão egípcia. Todo processo é demostrado utilizando a divisibilidade para números inteiros, máximo divisor comum, números primos, decomposi ção em fatores primos e congruência.
259

Eficiência do pré-escrutínio rápido, revisão aleatória de 10% e critérios clínicos de risco como métodos de controle interno da qualidade dos exames citopatológicos cervicais / Efficiency of rapid prescreening, 10% random review and review based on clinical risk criteria as methods of internal quality control of cervical smear testing

TAVARES, Suelene Brito do Nascimento 06 September 2007 (has links)
Made available in DSpace on 2014-07-29T15:29:13Z (GMT). No. of bitstreams: 1 Dissertacao Suelene Brito do Nascimento Tavares.pdf: 1452329 bytes, checksum: 6d86236e3c08daf9227c6b9f207128b7 (MD5) Previous issue date: 2007-09-06 / Cytopathology is an effective method of screening for cervical cancer; however, this method has high rates of false-negative results (FNR). To reduce FNR, routine measures of internal and external quality control are required in laboratories. The 10% random review of negative smears (R-10%) is the most commonly used method; however, it is not effective in reducing FNR. Nevertheless, there is evidence that the review of smears selected according to clinical risk factors (RCRF) and rapid prescreening (RPS) of all smears present good results. This study evaluated the performance of RPS, R-10% and RCRF as methods of internal quality control of cervical smear testing. The sample was composed of a total of 6,135 cervical smears from women who had attended Basic Health Clinics in Goiânia Goiás between March 2006 and March 2007. The cytopathological results were classified according to the 2001 Bethesda System. Initially, 6,135 smears were submitted to RPS followed by routine scrutiny (RS). Following RS, smears classified as negative were selected on the basis of clinical risk criteria, while 10% of all the smears were selected randomly, both sets then being submitted to the respective reviews. Four cytologists were responsible for RPS, RS, R-10% and RCRF, and three for reviewing the abnormal and discordant smears from any of the reviews. The smears classified as negative in RPS, RS, R-10% and RCRF were considered to have a final diagnosis (FD) of negative. Smears considered suspect or unsatisfactory at RPS were analyzed separately by two other cytologists. Smears considered abnormal or unsatisfactory at RS, R-10% and/or RCRF were likewise reviewed. When the two reviewing cytologists reached concordant diagnoses, these were considered the FD. Discordant results were analyzed by a third cytologist and a consensus meeting was held to define the FD. All stages of the study were performed blinded except for the consensus meeting. Smears classified as negative at RS, which were suspect at RPS and/or considered abnormal at R-10% and RCRF and confirmed abnormal in the FD, were considered FN results. Of the 6,135 smears, 5,522 were classified as negative, 84 as unsatisfactory and 529 as abnormal in the FD. Sensitivity of RPS was 63.0% for all abnormalities and 96.7% for high-grade squamous intraepithelial lesion (HSIL) compared to RS. The sensitivity of RPS was 74.9% for all abnormalities and 95.0% for HSIL compared to FD. The sensitivity of R-10% was 53.8% for all abnormalities when compared to FD. R-10% failed to detect any cases of HSIL. The sensitivity of RCRF was 64.0% for all abnormalities and 75.0% for HSIL compared to the FD. RPS identified an additional 132 (2.15%) abnormal smears, whereas R-10% and RCRF identified an additional 7 (0.11%) and 32 (0.52%), respectively. In conclusion, RPS is an effective method of internal quality control and has better sensitivity than R-10% and RCRF for the detection of FN results. It also allows the FN rate of the laboratory to be monitored and permits continuous evaluation of the prescreening cytologist and the routine screening cytologist. / O exame citopatológico é um método eficiente para prevenir o câncer do colo do útero, no entanto, apresenta altas taxas de resultados falso-negativos (RFN). Para reduzir os RFN, são necessárias medidas de controle interno e externo da qualidade na rotina dos laboratórios. O método de revisão aleatória de 10% dos esfregaços negativos (R-10%) é o mais utilizado, no entanto, não é eficiente para reduzir os RFN. Porém, há evidências de que a revisão dos esfregaços selecionados por critérios clínicos de risco (RCCR) e o pré-escrutínio rápido (PER) apresentam bons resultados. Esse estudo comparou o desempenho do PER, R-10% e RCCR como métodos de controle interno da qualidade dos esfregaços cervicais. A casuística foi constituída por 6.135 esfregaços citopatológicos cervicais de mulheres atendidas nas Unidades Básicas de Saúde de Goiânia GO, no período de março de 2006 a março de 2007. Os resultados citopatológicos foram classificados de acordo com o Sistema de Bethesda 2001. Inicialmente 6.135 esfregaços foram submetidos ao PER e em seguida ao escrutínio de rotina (ER). Após o ER os esfregaços classificados como negativos foram selecionados com base em critérios clínicos de risco e aleatoriamente 10% do total de esfregaços e submetidos às respectivas revisões. Quatro citologistas foram responsáveis pelo PER, ER, R-10% e RCCR e três pelas revisões dos esfregaços alterados e discordantes em qualquer revisão. Os esfregaços com resultados negativos no PER, ER, R-10% e RCCR foram considerados diagnóstico final (DF). Os esfregaços com resultados suspeitos ou insatisfatórios, pelo PER, foram analisados separadamente por dois outros citologistas. Também os esfregaços cujos resultados foram considerados alterados ou insatisfatórios pelo ER, R-10% e/ou RCCR foram igualmente revisados. Quando os dois citologistas revisores emitiram diagnósticos concordantes estes foram considerados DF. Os resultados discordantes foram analisados por um terceiro citologista e em uma reunião de consenso foi definido o DF. Todas as etapas do estudo foram realizadas às cegas, exceto na reunião de consenso. Os esfregaços classificados como negativos pelo ER que foram suspeitos pelo PER e/ou alterados nas R-10% e RCCR e confirmados pelo DF foram considerados RFN. Dos 6.135 esfregaços, 5.522 foram classificados como negativos, 84 como insatisfatórios e 529 como alterados pelo DF. A sensibilidade do PER foi de 63,0% para todas as anormalidades e de 96,7% para lesão intra-epitelial escamosa de alto grau (HSIL) quando comparado ao ER. A sensibilidade do PER foi de 74,9% para todas as anormalidades e de 95,0% para HSIL quando comparado ao DF. A sensibilidade da R-10% foi de 53,8% para todas as anormalidades quando comparado ao DF e não detectou nenhuma HSIL, enquanto a sensibilidade da RCCR foi de 64,0% para todas as anormalidades e de 75,0% para HSIL quando comparado ao DF. O PER acrescentou 132 (2,15%) esfregaços alterados, enquanto que a R-10% e a RCCR acrescentaram sete (0,11%) e 32 (0,52%), respectivamente. Enfim, o PER é uma alternativa eficiente de controle interno da qualidade, apresentando maior sensibilidade que as R-10% e RCCR na detecção de RFN. Permite, ainda, monitorar a taxa de RFN do laboratório, assim como avaliar continuamente o desempenho tanto do pré-escrutinador quanto do escrutinador de rotina.
260

CRITÉRIOS DE DECISÃO ENTRE HIPÓTESES RIVAIS NAS TEORIAS HISTORICISTAS DA RACIONALIDADE CIENTÍFICA / DECISION CRITERIA FOR RIVAL HYPOTHESES IN THE HISTORICIST THEORIES OF SCIENTIFIC RATIONALITY

Magro, Tamires Dal 31 January 2014 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The publication of Thomas Kuhn s The structure of scientific revolutions is considered a watershed in the philosophy of science for having presented scientific knowledge as produced by a dynamic and historically situated process. Many of the concepts introduced by the author sparked controversy in the initial reception of this work. We highlight in this dissertation Kuhn s theses on scientific revolutions, incommensurability, and scientific choice between rival hypothesis, which were interpreted by authors such as Popper, Lakatos, Laudan and Putnam as introducing elements of irrationality and relativism into Kuhn s analysis of scientific practice. In the first paper of this dissertation, we investigate passages from Structure that led to those interpretations, and track down Kuhn s later reformulations of the three controversial theses, which attempted to avoid or respond the criticisms of irrationality and relativism. We highlight the linguistic emphasis given by Kuhn in his later works to the concepts of incommensurability and scientific revolution, and show that his thesis about scientific choices remained nearly unchanged. We claim that in Kuhn s later works his theses became more precisely formulated and narrower in scope, and that they manifest a realist inclination by the author. The second paper of this dissertation develops in more detail the issue of the rationality of scientific choice. It presents briefly three theories of scientific rationality due to Kuhn, Lakatos and Laudan, and then shows some of the problems that Lakatos and Laudan s theories face due to focusing their notion of rationality on univocal rules of choice. We then indicate that there are advantages in understanding as Kuhn did the notion of rationality in terms of values that influence objectively the choices to be made without determining them univocally. / A publicação de A estrutura das revoluções científicas, de Thomas Kuhn, é considerada um divisor de águas na filosofia da ciência por apresentar o conhecimento científico como sendo gerado por um processo dinâmico e historicamente situado. Muitos dos conceitos introduzidos pelo autor foram motivos de controvérsia na recepção inicial da obra. Destacamos na presente dissertação as teses de Kuhn sobre revoluções científicas, incomensurabilidade e escolhas científicas entre hipóteses rivais, que foram interpretadas por autores como Popper, Lakatos, Laudan e Putnam, como introduzindo elementos de irracionalidade e relativismo na análise kuhniana da atividade científica. No primeiro artigo desta dissertação, investigamos as passagens na Estrutura que levaram a essas interpretações, e rastreamos as reformulações kuhnianas posteriores para as três teses controversas com vistas a evitar ou responder as críticas de irracionalidade e relativismo. Destacamos a ênfase linguística dada por Kuhn aos conceitos de incomensurabilidade e revolução científica, e mostramos que a tese acerca das escolhas científicas permanece quase inalterada nos textos tardios. Defendemos que na obra tardia de Kuhn suas teses tornaram-se mais precisas e menos abrangentes e evidenciam uma inclinação realista do autor. O segundo artigo desta dissertação desenvolve de maneira mais detalhada a questão da racionalidade das escolhas científicas, apresentando as propostas de três teorias historicistas da racionalidade científica, devidas a Kuhn, Lakatos e Laudan. Apresentamos alguns dos problemas que as teorias de Lakatos e Laudan enfrentam ao concentrar a noção de racionalidade em regras unívocas de escolha e indicamos que há vantagens em se compreender a noção de racionalidade em termos de valores que influenciam objetivamente as escolhas sem determiná-las univocamente, como propôs Kuhn.

Page generated in 0.032 seconds