Planejamento sob incerteza vem sendo cada vez mais requisitado em aplicações práticas de diversas áreas que eequerem soluções confiáveis para metas complexas. Em vista disso, nos últimos anos, algumas abordagens baseadas no uso de métodos formais para síntese automática de planos têm sido propostas na área de Planejamento em Inteligência Artificial. Entre essas abordagens, planejamento baseado em verificação de modelos tem se mostrado uma opção bastante promissora; entretanto, conforme observamos, a maioria dos trabalhos dentro dessa abordagem baseia-se em CTL e trata apenas problemas de planejamento para metas de alcançabilidade simples (como aquelas consideradas no planejamento clássico). Nessa tese, introduzimos uma classe de metas de planejamento mais expressivas (metas de alcançabilidade estendidas) e mostramos que, para essa classe de metas, a semântica de CTL não é adequada para formalizar algoritmos de síntese (ou validação) de planos. Como forma de contornar essa limitação, propomos uma nova versão de CTL, que denominamos alpha-CTL. Então, a partir da semântica dessa nova lógica, implementamos um verificador de modelos (Vactl), com base no qual implementamos também um planejador (Pactl) capaz de resolver problemas de planejamento para metas de alcançabilidade estendidas, em ambientes não-determinísticos com observabilidade completa. Finalmente, discutimos como garantir a qualidade das soluções quando dispomos de um modelo de ambiente onde as probabilidades das transições causadas pela execução das ações são conhecidas. / Planning under uncertainty has being increasingly demanded for practical applications in several areas that require reliable solutions for complex goals. In sight of this, in the last few years, some approaches based on formal methods for automatic synthesis of plans have been proposed in the area of Planning in Artificial Intelligence. Among these approaches, planning based on model checking seems to be a very attractive one; however, as we observe, the majority of the works in this approach are mainly based on CTL and deals only with planning problems for simple reachability goals (as those considered in classical planning). In this thesis, we introduce a more expressive class of planning goals (extended reachability goals) and show that, for this class of goals, the CTL\'s semantics is not adequate to formalize algorithms for synthesis (or validation) of plans. As a way to overcome this limitation, we propose a new version of CTL, called alpha-CTL. Then, based on the semantics of this new logic, we implement a model checker (Vactl), based on which we also implement a planner (Pactl) capable of solving planning problems for extended reachability goals, in nondeterministic planning environments with complete observability. Finally, we discuss how to guarantee the quality of the solutions when we have an environment model where the actions transitions probabilities are known.

É possível encontrar uma ciência, nos moldes da ciência cartesiana, na filosofia de Blaise Pascal? Buscaremos no texto apresentar algumas razões pelas quais seja inviável, na filosofia de Pascal, um conhecimento tal como imaginado por Descartes. A primeira destas razões é que, ao contrário de Pascal, a possibilidade de uma ciência em Descartes repousa sobre ideia de que entre os três entes da metafísica Deus, o homem e o mundo há uma comunicabilidade. Por esta razão, para o cogito é possível conhecer a Deus, pela ideia de infinito, e o mundo, através da Mathesis Universalis. Pascal não compartilha desta ideia, pois entre Deus, o homem, e o mundo, segundo o filósofo, há uma distância intransponível. A discussão das três ordens que traremos no texto nos revelará o quanto a ordem do espírito é heterogênea à ordem dos corpos. A impossibilidade de conhecermos a ordem dos corpos (física) unicamente através da razão lança-nos a reconhecer uma dimensão fundamental em nosso texto: a ideia de incerteza. A incerteza aparece no pensamento de Pascal na medida em que reconhecemos, através da crítica ao cartesianismo, o quão distantes estamos de qualquer fundamentação para o conhecimento. Sem fundamentos sólidos para o conhecimento, Pascal nos propõe as Regras dos Partidos e sua maneira de fazer física, partindo da experiência, como saídas racionais para o impasse que nos coloca a realidade da incerteza. / Est-ce qu´on peut trouver une science, similaire à la cartésienne, chez Pascal? Nous essaierons de présenter dans la suitequelques raisons pour lesquelles la conception de connaissance imaginée par Descartes n\'est pas possible dans la philosophie de Pascal. La première de ces raisons est que, contrairement à Pascal, la possibilité d\'une science chez Descartes repose sur l\'idée qu´ il y a une communicabilité entre les trois entités de la métaphysique - Dieu, l\'homme et le monde. Pour cette raison, pour le cogito il est possible de connaître Dieu, à travers l\'idée de l\'infini, et le monde, à travers la Mathesis Universalis. Pascal n´est pas d´accord avec cette idée, parce qu´il pense qu´entre Dieu, l´homme et le monde il y a une distance indépassable. La discussion des trois ordres que nous apporterons dans le texte révèlera comment l\'ordre des esprits et l\'ordre des corps sont hétérogènes. L\'impossibilité de connaître l\'ordre des corps (physique) uniquement à traversla raison, nous propose dede reconnaître une dimension fondamentale pour notre texte: l\'idée d\'incertitude. L\'incertitude apparaît dans la pensée de Pascal dès que nous reconnaissons, à travers la critique du cartésianisme, combien nous sommes éloignés de n´importe quelle fondation de la connaissance. Sans bases solides pour la connaissance, Pascal nous offre les règles des partis et sa façon de faire la physique, en partant de l\'expérience, comme des solutions rationnelles pour l´impasse que nous impose la réalité de l\'incertitude

Dissertação (mestrado)—UnB/UFPB/UFRN, Programa Multi-institucional e Inter-regional de Pós-graduação em Ciências Contábeis, 2016. / Esta dissertação teve por objetivo analisar o efeito da incerteza sobre o nível de investimento das empresas listadas na Bolsa de Valores, Mercadorias e Futuros de São Paulo (BM&FBovespa). A amostra compôs-se de todas as empresas não financeiras listadas na BM&FBovespa entre o período de 2008 a 2014. Coletaram-se os dados contábeis e de mercado no banco de dados Economatica®, e fez-se a classificação dos setores das empresas de acordo com os dados disponibilizados na BM&FBovespa. Como proxy para a incerteza total, utilizou-se a volatilidade histórica do retorno das ações. Decompôs-se essa medida em três componentes de risco: o de mercado, o idiossincrático e o específico da firma, baseando-se no modelo de Bulan (2005) e Xu, Wang e Xin (2010). Além disso, utilizou-se uma proxy alternativa para medição da incerteza, conforme o estudo de Tran (2014), que foi a volatilidade condicional do retorno das ações. Para análise do efeito da incerteza sobre as decisões de investimento, utilizou-se o método de Mínimos Quadrados Ordinários (MQO) e Mínimos Quadrados em Dois Estágios (MQ2E), quando constatados problemas de endogeneidade da medida de incerteza. Os resultados indicam que a incerteza total tem um efeito negativo e significativo estatisticamente sobre o nível de investimento. Quanto às incertezas de mercado e idiossincrática, verificou-se que não há um efeito estatisticamente significativo sobre o nível de investimento, enquanto que a incerteza específica tem um efeito negativo e significativo, inclusive superior ao da incerteza total, uma vez que o aumento de 1% da incerteza específica da firma reduz o nível de investimento em 0,4706%, e o aumento de 1% da incerteza total reduz o nível de investimento em apenas 0,2567%. Assim, pode-se afirmar que a incerteza da firma é mais significante para explicar o nível de investimento de uma empresa do que a incerteza total, logo, a abordagem que explica o efeito da incerteza sobre o nível de investimento é a Teoria das Opções Reais (TOR). Diante dessas evidências, rejeitaram-se a hipótese 1, de que a incerteza de mercado tem um efeito negativo sobre o nível de investimento, e a hipótese 2 (a), de que a incerteza idiossincrática tem um efeito negativo sobre o nível de investimento. Por outro lado, não se pode rejeitar a hipótese 2, de que existe um efeito negativo da incerteza total sobre o nível de investimento, e a hipótese 2 (b), de que existe um efeito negativo da incerteza específica da firma sobre o nível de investimento. Além disso, de acordo com os resultados obtidos, verificou-se que, no mercado brasileiro, as firmas menores são mais sensíveis à incerteza e às mudanças no ambiente de negócio do que as firmas maiores. Quanto à competitividade, identificou-se que as empresas mais competitivas são mais sensíveis à incerteza do que as menos competitivas. Ademais, a amostra do estudo se restringiu ao período de full IFRS, tendo em vista as mudanças das práticas contábeis que alteraram a forma de mensuração de algumas variáveis explicativas. Dessa forma, após essa restrição, verificou-se que não houve variação do efeito das incertezas total, de mercado, de setor e específica da firma sobre o nível de investimento. Nesse sentido, com base nos resultados obtidos, observou-se que a incerteza tem um efeito negativo sobre o nível de investimento das empresas, principalmente a incerteza específica da firma, conforme prevê a TOR. Logo, os administradores devem considerá-la no processo de tomada de decisão. Ressalta-se que esses resultados podem fomentar o estabelecimento de políticas para análise da viabilidade de novos projetos de investimento. Por fim, as conclusões obtidas nesta dissertação devem ficar restritas à amostra utilizada. / This dissertation aimed to analyze the effect of uncertainty on the level of investment by companies listed on the São Paulo Stock, Mercantile and Futures Exchange (BM&FBovespa). The sample consists of all non-financial companies listed on the BM & FBovespa between 2008 and 2014. They were collected accounting and market data in Economatica®database, and the classification of sectors of the companies was made according to the data available on the BM&FBovespa. As a proxy for the total uncertainty, it was used the historical volatility of stock returns. This measure was decomposed into three risk components: market, idiosyncratic and specific to the firm, based on the model of Bulan (2005) and Xu, Wang Xin (2010). In addition, it was used an alternative proxy to measurement the uncertainty, according to the study of Tran (2014), which was the conditional volatility of the stock return. To analyze the effect of uncertainty on investment decisions, it was used the method of Ordinary Least Squares (OLS) and Two-Stage Least Squares (2SLS), when observed endogeneity problems of measurement of uncertainty. The results indicate that the total uncertainty has a statistically negative and significant effect on the level of investment. Regarding the market and idiosyncratic uncertainties, it was found there is no statistically significant effect on the level of investment, whereas the specific uncertainty has a significant negative effect, even higher than the total uncertainty, since the increase of 1 % of the specific firm uncertainty reduces the level of investment in 0.4706%, and the increase of 1% of the total uncertainty reduces the level of investment in just 0.2567%. So it can say that the uncertainty of the firm is more important to explain the company’s investment level than the total uncertainty, so the approach that explains the effect of uncertainty on the level of investment is the Real Options Theory (ROT). Faced with this evidence, they rejected the hypothesis 1, that market uncertainty has a negative effect on the level of investment, and the hypothesis 2 (a), that the idiosyncratic uncertainty has a negative effect on the level of investment. Furthermore, according to the results, it was found that, in Brazilian market, smaller firms are more sensitive to uncertainties and changes in the business environment than the bigger firms. As for competitiveness, it was identified that the most competitive companies are more sensitive to uncertainty than the less competitive. Moreover, the study sample was restricted to the period of full IFRS, considering the changes in accounting practices that changed the way of measurement of some explanatory variables. Therefore, after this restriction, it was found that there was no variation of the effect of total market, sector, and specific of firm uncertainties on the level of investment. In this sense, based on the results, it was observed that the uncertainty has a negative effect on the level of business investment, particularly the specific uncertainty of the firm, as predicts the TOR. Therefore, administrators should consider it in the decision-making process. It is noteworthy that these results may encourage the establishment of policies for viability analysis of new investment projects. Finally, the conclusions obtained in this dissertation should be restricted to the sample used.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ciências da Saúde, Programa de Pós-Graduação em Enfermagem, 2018. / Introdução: A retirada de órgãos surge para atender à uma diversidade de patologias, sendo considerado um procedimento que provoca no paciente sentimentos de ansiedade e incerteza. Quando o paciente experimenta a incerteza proveniente de uma doença ou tratamento, poderá resultar em estresse que afeta a mente, o corpo e as relações sociais. A incerteza é definida como a incapacidade de atribuir significados aos eventos relacionados ao adoecimento. A Teoria da Incerteza na Doença foi apresentada por uma teorista de enfermagem chamada Merle Mishel. Este estudo se propõe a identificar na população de pacientes cirúrgicos que realizou a retirada de órgãos, a vivência da incerteza na doença por meio da Escala da Incerteza na Doença de Mishel (MUIS) e levantar o perfil diagnóstico dessa população. Método: Estudo com abordagem quantitativa, do tipo exploratório e descritivo, correlacional de corte transversal, realizado na clínica cirúrgica em um hospital de ensino do Distrito Federal. A amostra foi composta por 60 pacientes que assinaram o Termo de conhecimento Livre e Esclarecido. Foram executadas duas etapas do processo de enfermagem, a coleta de dados e o diagnóstico de enfermagem, utilizando-se a Taxonomia da NANDA-I e aplicada a escala MUIS. Resultados: Foi realizado levantamento detalhado quanto ao perfil sócio clínico demográfico dos pacientes. Obtiveram-se 93 diagnósticos de enfermagem diferentes, sendo 67 com foco no problema, 23 de risco e 3 de promoção da saúde. Os domínios que concentraram a maior parte dos diagnósticos de enfermagem foram: Atividade/Repouso e Segurança/Proteção. Quanto à aplicação da MUIS, observou-se que a menor pontuação foi de 57 e a maior de 108, em uma escala que varia de 30 a 150. Quanto à confiabilidade nos itens da escala o α de Conbrach, obteve-se 0,842. O teste de correlação de Spermean entre a média de diagnósticos de enfermagem e os domínios da incerteza, mostrou relação positiva. O teste de Mann-Whitney revelou valores estatisticamente significativos entre os domínios da incerteza e dois diagnósticos de enfermagem: Conhecimento deficiente e Sentimento de impotência. Também houve correlação significativa entre os domínios da incerteza e a escolaridade do paciente, bem como as cirurgias mastectomia e histerectomia. Conclusão: Os resultados obtidos neste estudo permitiram caracterizar o paciente cirúrgico que é submetido a cirurgias de retirada de órgão, bem como o perfil de diagnósticos de enfermagem associados a essa clientela. Demonstrou também a importante aplicabilidade da MUIS, apontando a presença da incerteza nos pacientes cirúrgicos, e suas associações com os diagnósticos de enfermagem. Destaca-se a necessidade do profissional enfermeiro realizar a investigação da Incerteza nos pacientes cirúrgicos estando atento ao aspecto psicológico envolvido no tratamento cirúrgico. / Introduction: The withdrawal of organs arises to attend to a diversity of pathologies, being considered a procedure that causes in the patient feelings of anxiety and uncertainty. When the patient experiences the uncertainty arising from an illness or treatment, it can result in stress that affects the mind, body and social relationships. Uncertainty is defined as the inability to attribute meanings to events related to illness. The Theory of Uncertainty in Disease was presented by a nursing theorist named Merle Mishel. This study aims to identify the population of surgical patients who performed organ removal, the experience of uncertainty in the disease through the Uncertainty Scale in Mishel's Disease (MUIS) and raise the diagnostic profile of this population. Method: A quantitative, descriptive, cross - sectional, exploratory study conducted at the surgical clinic in a teaching hospital in the Federal District. The sample consisted of 60 patients who signed the Free and Informed Consent Term. Two stages of the nursing process were performed, data collection and nursing diagnosis using the NANDA-I Taxonomy and applied to the MUIS scale. Results: A detailed survey was carried out regarding the sociodemographic profile of the patients. A total of 93 different nursing diagnoses were obtained, of which 67 were focused on the problem, 23 were on risk and 3 were on health promotion. The domains that concentrated the majority of the nursing diagnoses were: Activity / Rest and Safety / Protection. As for the MUIS application, it was observed that the lowest score was 57 and the highest score was 108, in a scale ranging from 30 to 150. As for the reliability of the items in the α scale of Conbrach, it was 0.842. The Spermean correlation test between the mean of nursing diagnoses and the domains of uncertainty, showed a positive relation. The Mann-Whitney test revealed statistically significant values between the domains of uncertainty and two nursing diagnoses: Poor knowledge and Feeling of impotence. There was also a significant correlation between the domains of uncertainty and the patient's schooling, as well as the mastectomy and hysterectomy surgeries. Conclusion: The results obtained in this study allowed to characterize the surgical patient who undergoes organ removal surgeries, as well as the profile of nursing diagnoses associated with this clientele. It also demonstrated the important applicability of MUIS, pointing out the presence of uncertainty in surgical patients, and their associations with nursing diagnoses. It is important to emphasize the need of the professional nurse to perform the investigation of uncertainty in surgical patients, being aware of the psychological aspect involved in the surgical treatment. / Introducción: La retirada de órganos surge para atender a una diversidad de patologías, siendo considerado un procedimiento que provoca en el individuo sentimientos de ansiedad e incertidumbre. Cuando el individuo experimenta la incertidumbre proveniente de una enfermedad o tratamiento, puede resultar en estrés que afecta la mente, el cuerpo y las relaciones sociales. La incertidumbre se define como la incapacidad de asignar significados a los eventos relacionados con la enfermedad. La Teoría de la Incertidumbre en la Enfermedad fue presentada por una teorista de enfermería llamada Merle Mishel. Este estudio se propone identificar en la población de pacientes quirúrgicos que realizó la retirada de órganos, la vivencia de la incertidumbre en la enfermedad por medio de la Escala de la Incertidumbre en la Enfermedad de Mishel (MUIS) y levantar el perfil diagnóstico de esa población. Método: Estudio con abordaje cuantitativo, del tipo exploratorio y descriptivo, correlacional de corte transversal, realizado en la clínica quirúrgica en un hospital de enseñanza del Distrito Federal. La muestra fue compuesta por 60 pacientes que firmaron el Término de conocimiento Libre y Esclarecido. Se realizaron dos etapas del proceso de enfermería, la recolección de datos y el diagnóstico de enfermería, utilizando la Taxonomía de la NANDA-I y aplicada a la escala MUIS. Resultados: Se realizó un relevamiento detallado en cuanto al perfil socio clínico demográfico de los pacientes. Se obtuvieron 93 diagnósticos de enfermería diferentes, siendo 67 con foco en el problema, 23 de riesgo y 3 de promoción de la salud. Los dominios que concentraron la mayor parte de los diagnósticos de enfermería fueron: Actividad / Hogar y Seguridad / Protección. En cuanto a la aplicación de la MUIS, se observó que la menor puntuación fue de 57 y la mayor de 108, en una escala que varía de 30 a 150. En cuanto a la confiabilidad en los ítems de la escala o α de Conbrach, se obtuvo 0,842. La prueba de correlación de Spermean entre el promedio de diagnósticos de enfermería y los dominios de la incertidumbre, mostró relación positiva. La prueba de Mann-Whitney reveló valores estadísticamente significativos entre los dominios de la incertidumbre y dos diagnósticos de enfermería: Conocimiento deficiente y Sentimiento de impotencia. También hubo correlación significativa entre los dominios de la incertidumbre y la escolaridad del paciente, así como las cirugías mastectomía e histerectomía. Conclusión: Los resultados obtenidos en este estudio permitieron caracterizar al paciente quirúrgico que es sometido a cirugías de retirada de órgano, así como el perfil de diagnósticos de enfermería asociados a esa clientela. También demostró la importante aplicabilidad de la MUIS, señalando la presencia de la incertidumbre en los pacientes quirúrgicos, y sus asociaciones con los diagnósticos de enfermería. Se destaca la necesidad del profesional enfermero realizar la investigación de la Incertidumbre en los pacientes quirúrgicos estando atento al aspecto psicológico involucrado en el tratamiento quirúrgico.

O planejamento da expansão da capacidade de sistemas elétricos visa garantir o fornecimento futuro de energia elétrica. A busca por esse objetivo deve ser feita tendo em vista critérios como custos, tecnologias disponíveis, confiabilidade e impactos ambientais. No presente trabalho, o foco são os objetivos de mínimos custos e mínimas emissões de gases de efeito estufa, da geração elétrica. No contexto global atual, esse planejamento representa um grande desafio. Sendo uma atividade de grande importância para o desenvolvimento dos países, envolve, além das incertezas próprias da atividade, também as incertezas das políticas energéticas, as quais dependem de outras agendas políticas da administração em turno. Além disso, uma vez que a geração de energia é baseada em muitos casos em recursos naturais sensíveis às condições climáticas, o processo de planejamento também deve lidar com a incerteza da mudança climática. Dessa forma, são necessários planos flexíveis capazes de antecipar possíveis mudanças (resultado das incertezas mencionadas) e evitar o desvio dos objetivos iniciais, que levariam em diferentes resultados. O primeiro passo é conhecer o impacto que possíveis mudanças podem gerar nas metas iniciais. Algumas metodologias e ferramentas exploradas nesta área, normalmente consideram apenas os efeitos da mudança climática, enquanto que outras mais gerais consideram as políticas de energia ou climáticas, mas não a possibilidade de mudança nessas políticas nem a sua combinação. Ou seja, são consideradas estáticas para o período de planejamento. O presente trabalho traz como contribuição original para a área a inclusão da incerteza inerente às políticas energéticas, combinada à incerteza climática, e a avaliação o desempenho dos caminhos possíveis, identificando os mais robustos. O objetivo deste trabalho é determinar o impacto e a influência das incertezas das políticas energéticas e das mudanças climática, de forma combinada, sobre os resultados finais no planejamento da expansão da capacidade de sistemas elétricos, em termos de custos e emissões de CO2. Outros objetivos secundários incluem a identificação de políticas robustas com boa performance para qualquer cenário climático e desenvolvimento de uma abordagem de análises das mudanças climáticas e políticas. São aplicadas técnicas de otimização de expansão de capacidade para elaborar uma metodologia híbrida que combina programação dinâmica com programação linear multiobjectivo para a geração dos diferentes cenários de mudança da política energética, bem como os trade-offs. A metodologia é aplicada em uma região estudo de caso envolvendo a expansão de capacidade do subsistema elétrico sul do brasil. Resultados mostram que: (i) é possível determinar os impactos das mudanças de políticas energéticas para diferentes cenários de mudança climática a través dos trade-off de custos e emissões de CO2; (ii) é possível identificar políticas energéticas robustas; (iii) é possível identificar a influência da mudança climática no desempenho (em termos de custos e emissões de CO2) das políticas energéticas. Os resultados e métodos aqui produzidos são úteis para países em desenvolvimento e emergentes, como o Brasil, ao oferecer um marco metodológico capaz de auxiliar na programação de seus investimentos em expansão da geração de energia em ambientes com grandes incertezas, além de fornecer de uma ferramenta para o desenho de políticas energéticas e climáticas. / The planning of Power systems capacity expansion aims to guarantee the future supply of electrical energy. The pursuit of this objective should be made considering criteria such as costs, available technologies, reliability and environmental impacts. In the present work, the focus is the objectives of minimum costs and minimum emissions of greenhouse gases in the power generation. In the current global context, such planning is a major challenge. As an activity of great importance for the development of countries, it involves, in addition to the inherent uncertainties of the activity, energy policies uncertainties, which depend on other political agendas of the administration in turn. Also, since energy generation relies in many cases on climate-sensitive natural resources, the planning process must also deal with the climate change uncertainty. Hence, flexible plans are necessary to anticipate possible changes (that come up of the mentioned uncertainties) and avoid the deviation from the initial objectives, which would lead to different results. The first step is knowing the impact that possible changes can generate on the initial goals. Some methodologies and tools explored in this area consider only the effects of climate change, while others more general consider energy or climate policies, but not the possibility of change in these policies or their combination. That is, they are considered static for the planning period. The present work has as an original contribution to the area by the inclusion of the inherent uncertainty of energy policies, combined with the climatic uncertainty, and the evaluation of the possible paths, identifying the most robust ones. The objective of this work is to determine the impact and influence of energy policy and climate change uncertainties, combined, on the final results in the planning of the power systems capacity expansion regarding costs and CO2 emissions. Other secondary objectives include identifying robust policies with good performance for any climate scenario and developing a climate change and policy analysis approach. Capacity-optimization techniques are applied to develop a hybrid methodology that combines dynamic programming with multi-objective linear programming to generate different scenarios for energy policy change, as well as trade-offs. The methodology is applied in a region case study involving the capacity expansion of the Brazilian southern power subsystem. Results show that: (i) it is possible to determine the impacts of energy policy changes for different scenarios of climate change through the trade-off of costs and CO2 emissions; (ii) robust energy policies can be identified; (iii) it is possible to identify the influence of climate change on the performance (regarding costs and CO2 emissions) of energy policies. The results and methods produced here are useful for developing and emerging countries, such as Brazil, by offering a methodological framework capable of assisting in scheduling their investments in expanding energy generation in environments with significant uncertainties, as well as providing a tool for the design of energy and climate policies.

Orientador: Mauricio Galo / Resumo: Um Levantamento Hidrográfico (LH) tem como principal meta a obtenção de dados para a edição e atualização de documentos náuticos, estes, voltados à segurança das atividades de navegação. Objetivando padronizar parâmetros de incerteza das cartas náuticas, a Organização Hidrográfica Internacional (OHI) define níveis mínimos de confiança para diferentes ordens. A sugestão dessas especificações foi internalizada pela Marinha do Brasil, responsável pela produção das cartas náuticas brasileiras, na NORMAM-25. Um desses parâmetros é a Incerteza Vertical Total máxima permitida, um indicador de qualidade da medição da profundidade. A informação de profundidade influencia no calado máximo permitido a uma embarcação para transitar em uma região com segurança, o que pode impactar inclusive nas limitações de transações comerciais em terminais portuários, uma vez que as profundidades estimadas com acurácia potencializam os parâmetros de operação dos portos. Por se tratar de um ambiente dinâmico, seja por ação da própria natureza ou devido a atividades antrópicas, a atualização de uma carta náutica deve ser uma preocupação constante. Como complemento à tradicional técnica de levantamento por meio de um ecobatímetro acoplado a embarcações, há a opção de se realizar um LH com o emprego da tecnologia LiDAR (Light Detection And Ranging) a partir de aeronaves, por meio de um aerolevantamento batimétrico por LiDAR (ALB – Airborne LASER Bathymetry), que operam com pulsos LASER na região verde do e... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: A Hydrographic Survey (HS) has as main goal to obtain data for editing and updating nautical documents, these, focused on the safety of navigation. In order to establish a standard of uncertainty parameters for nautical charts, the International Hydrographic Organization (IHO) defines minimum levels of confidence for different orders. The suggestion of these specifications was acknowledged by the Brazilian Navy, institution responsible to produce Brazilian nautical charts, as described in NORMAM-25. One such parameter is the maximum allowed Total Vertical Uncertainty, a quality indicator of the depth measurement. Depth information influences the maximum operational draft for a vessel to safely travel in a region, causing impact on port operations and limiting the commercial transactions. Accurately estimated depths enhance the operational parameters of the ports. Due to the aim of representing a dynamic environment, whether as consequence of the action of nature itself or because of anthropic activities, updating a nautical chart must be a constant concern. As a complement to the traditional survey technique conducted with a boat-coupled echosounder, there is the option of performing a HS using LiDAR (Light Detection And Ranging) technology from aircraft, through LiDAR aerial bathymetry (ALB - Airborne LASER Bathymetry), which operate with LASER pulses in the green region of the electromagnetic spectrum. Considering these points, this work analyzed the differences between the... (Complete abstract click electronic access below) / Mestre

Neste estudo foi proposto o desenvolvimento de um software para automatizar o processo de estimativa da incerteza de medição pelo método descrito no Guia EURACHEM. Com a finalidade de testar a eficácia do software, foi desenvolvido um procedimento analítico para a determinação de compostos fenólicos na água subterrânea do Instituto de Pesquisas Energéticas e Nucleares a fim de se obter dados reais de um processo. Para tanto, a determinação dos compostos foi realizada por cromatografia gasosa acoplada ao detector de espectrometria de massas, GC/MS. Para garantir a qualidade dos dados gerados, o procedimento analítico foi submetido ao processo de validação, onde foram avaliados os parâmetros: seletividade/especificidade, faixa de trabalho e faixa linear de trabalho, linearidade, limite de detecção, limite de quantificação, precisão, exatidão, recuperação e robustez. A estimativa da incerteza da medição foi realizada pelo software desenvolvido e manualmente, confirmando que o mesmo é adequado para o processo. Além disso, o software foi testado utilizando dados da literatura, o que confirmou sua eficácia. Os resultados da análise da água subterrânea demonstraram que não há a presença de compostos fenólicos nos níveis estudados. A utilização de sistemas automatizados para a estimativa da incerteza diminui ou minimiza erros sistemáticos e permite trabalhar com mais organização e controle do processo. / A software development to automate the process of uncertainty measurement by the method described by the Guide EURACHEM is proposed. In order to test the effectiveness of the software, an analytical procedure for phenolic compounds determination in the ground water was developed. Water samples were collected at Instituto de Pesquisas Energéticas e Nucleares (IPEN, São Paulo, Brazil) campus area. The determination of compounds was performed by gas chromatography coupled to mass spectrometry detector (GC / MS). To ensure the quality of the generated data, the analytical procedure was submitted to a validation process. The evaluated parameters were: selectivity / specificity, working range and linear range, linearity, detection limit, quantification limit, precision, recovery and robustness. The uncertainty measurements were performed by the software and manually, confirming that it is suitable for the process. Moreover, the software was tested using literature data, which confirmed its effectiveness. The results of the ground water analysis showed that there are no phenolic compounds within the studied levels. The use of automated systems for the uncertainty estimation is very promising because it reduces or minimizes systematic errors and allows working in a more organized way and with the process under control.

Made available in DSpace on 2016-12-23T14:08:13Z (GMT). No. of bitstreams: 1 Pre-textuais rev.pdf: 35885 bytes, checksum: 7acd5b2279ee777ae0c9bf2e179f3fd9 (MD5) Previous issue date: 2010-12-17 / O presente trabalho tem por finalidade analisar a influência do perfil de velocidade na medição ultra-sônica de vazão por tempo de trânsito. Primeiramente é feita uma abordagem da técnica, com a modelagem do problema, e com as devidas considerações sobre a incerteza de medição. Em seguida, uma onda acústica em meio móvel é estudada, em relação à influência do perfil de velocidade sobre tempos de trânsito, arrasto da onda sonora e, consequentemente, no cálculo da vazão. Os resultados foram obtidos para um perfil de velocidade uniforme e um de Hinze [Ramos-2006], através de simulação numérica. Finalmente, foi estudado este mesmo comportamento para um perfil não uniforme de velocidade / This study aims to examine the influence of velocity profile measurement by ultrasonic transit time flow. First of all, it is performed an approach technique, with the modeling problem, and it is analyzed the measurement uncertainty as well. Next, an acoustic wave in mobile environment is studied in relation to the influence of velocity profile on transit times, sound wave drag and, consequently, the flow calculation. The results were obtained considering uniform velocities and a Hinze profile, through numerical simulation. Finally, this same behavior was studied for a non-uniform velocity profile

A fatoração PMF - Positive Matrix Factorization - é um método de resolução de problemas em que variáveis observadas conjuntamente são modeladas como a combinação linear de fatores potenciais, representada pela multiplicação de duas matrizes. Este método tem sido utilizado principalmente em áreas de estudo em que as variáveis observadas são sempre não negativas, e quando é aplicada uma modelagem fatorial ao problema. Assume-se a premissa de que são resultantes da multiplicação de duas matrizes com entradas não negativas, ou seja, os fatores potenciais, e os poderadores da combinação linear são desconhecidos, e têm valores não negativos. Neste método além da possibilidade de restringir a busca dos valores das matrizes da fatoração a valores não negativos, também é possível incluir a medida de incerteza relacionada a cada observação no processo de obtenção da fatoração como um modo de reduzir o efeito indesejado que valores outliers podem causar no resultado. Neste trabalho é feito um estudo de sensibilidade da fatoração PMF em relação a algumas medidas de incertezas presentes na literatura, utilizando o software EPA PMF 5.0 com ME-2. Para realizar este estudo foi desenvolvida uma metodologia de simulação de base de dados a partir de perfis de fontes emissoras conhecidas incluindo valores outliers, e aplicação sequencial da fatoração PMF com o software ME-2 nas bases de dados simuladas. / The PMF factorization - Positive Matrix Factorization - is a problem solving method in which jointly observed variables are modeled as a linear combination of potential factors, represented by the multiplication of two matrices. This method has been used primarily in study areas in which the observed variables are always non negative, and when it is applied a factor modeling in the problem. It is made the assumption that the variables in study come from the two matrices multiplication both having non negative components, i.e., the potential factors, and the linear combination values are unknown, and all of them have non negative values. In this method, besides the possibility of constraining the search of the matrix factorization values on non negative values, it is also possible to include the uncertainty measure related to each observation on factorization process as a way to reduce the undesired effect which outliers can cause to the outcome. This paper presents a study of the sensitivity of the factorization PMF over some uncertainties measures present in literature, using EMP PMF 5.0 with ME-2 software. To carry out this study was developed a methodology of database simulation from known emitting sources profiles including outliers values, and a sequential application of PMF factorization with ME-2 software in simulated databases.

O biodiesel é um combustível renovável composto por ésteres alquílicos obtidos a partir de óleos vegetais e/ou gorduras animais. É um produto que devido a sua composição, é susceptível a reações de oxidação, comprometendo assim sua qualidade e a adequação ao uso. Como prevenção de problemas decorrentes de sua oxidação, e também para adequação do produto aos requisitos de qualidade, produtores de biodiesel têm utilizado rotineiramente antioxidantes sintéticos em seus processos de obtenção de biodiesel. Estudos recentes têm apontado o TBHQ (tert-butil hidroquinona) como antioxidante sintético de melhor desempenho para biodiesel, mas além deste antioxidante, produtores nacionais têm adotado também o BHT (butil hidroxitolueno). Entretanto, ainda não há método analítico difundido entre os agentes econômicos envolvidos com a cadeia do biodiesel para a quantificação dos antioxidantes sintéticos para produtos finalizados. Esta determinação, em princípio, pode ser uma ferramenta importante em estudos que confrontam a oxidação do biodiesel com a concentração de determinado antioxidante que tenha sido adicionado quando da sua produção, ao longo de períodos de armazenamento; também em estudos que avaliem possíveis impactos ambientais causados pela utilização desses produtos, que apresentam toxicidade comprovada e possuem teores controlados pelo Ministério da Saúde para a indústria alimentícia. Dentre as técnicas analíticas utilizadas no desenvolvimento de métodos para quantificação dos antioxidantes sintéticos, destacam-se a voltametria (especificamente para TBHQ) e cromatografia líquida, mas ainda sem apresentarem um potencial de uso em larga escala pelos agentes de mercado. Neste trabalho, foi utilizada cromatografia em fase gasosa para o desenvolvimento de um novo método para a quantificação de TBHQ e BHT usados pelos produtores de biodiesel. Inicialmente, foram feitos testes com os antioxidantes fornecidos por um produtor, para verificação de seu uso como padrões de calibração, por meio de cromatografia gasosa com detecção por espectrômetro de massas. Em seguida, realizou-se o desenvolvimento do método propriamente dito, por cromatografia gasosa com detector de ionização por chama. O método então foi otimizado, verificando-se possíveis limitações em relação às amostras analisadas, e então validado, conforme parâmetros previstos em protocolos internacionais. Na validação foram empregados métodos estatísticos pertinentes ao método desenvolvido, e os resultados de validação foram criticamente analisados segundo critérios de aceitação previamente estabelecidos. Destaque para valores de recuperação que oscilaram entre 92% e 106%. Foi também estimada a incerteza de medição, ao longo da faixa de trabalho, utilizando conceitos apresentados em guias internacionais de estimativa de incerteza de medição. Foi verificado que o modelo de regressão linear escolhido pode ter impacto direto nos valores de incerteza de medição, que oscilaram entre 1% e 40% dependendo da região da faixa de trabalho. O método então foi testado quanto à sua aplicabilidade, em amostras comerciais, e relacionando-se os resultados obtidos com os valores de estabilidade à oxidação dessas amostras. Aqui, o TBHQ também apresentou o melhor desempenho para adequação do biodiesel às especificações de qualidade, confirmando os dados disponíveis na literatura. / Biodiesel is a renewable fuel composed by alkyl esters generated from vegetable oils and/or animal fats. It´s a susceptible product to oxidation reactions because its composition, thus compromising their quality and use. Currently, biodiesel manufacturers have used synthetic antioxidants in production processes, as prevention to oxidation problems, also as product adjustment to quality requirements. Recent studies have indicated TBHQ (tertbutyl hydroquinone) as the synthetic antioxidant with the best performance for biodiesel, but beyond this antioxidant, national manufacturers have also adopted the BHT (butylated hydroxytoluene). However, there is not a currently analytical method widespread among the economic agents involved in the chain of biodiesel for the quantification of synthetic antioxidants to finished products. At first, this determination can be an important tool to make advance to studies which check the relationship between biodiesel oxidation and the used antioxidant concentration, added in biodiesel production, at long biodiesel storage times. This determination, in principle, can be an important tool in studies which compare the oxidation of biodiesel with the concentration of a particular antioxidant which has been added at the time of its production, over periods of storage, also in studies to assess possible environmental impacts the use of these products, which have proven toxicity levels and possess controlled by the Ministry of Health for the food industry. Among the analytical techniques used in the development of methods for quantification of synthetic antioxidants, stand out voltammetry (specifically for TBHQ) and liquid chromatography, but still without presenting a potential for widespread use by the market agents. In this work, the gas chromatography was used as a new method development for TBHQ and BHT antioxidants (available in biodiesel manufacturers) determination. Initially, tests with antioxidants provided from a manufacturer were carried out, to verify their using as calibration standards conditions, performed by gas chromatography with mass spectrometer detector. Then, there was the development of the method itself, by gas chromatography with flame ionization detector. Then the method was optimized, verifying possible limitations on samples, and validated according to international protocols parameters provided. In this validation, statistical methods compatible to developed method were applied, and the validation results were critically analyzed according to previously established acceptance criteria. Recovery data between 92% and 106% are detached. In addition, the measurement uncertainty was estimated, using presented concepts in according with international guides of measurement uncertainty calculation. The impact of the adopted linear regression model in measurement uncertainty values was verified, as been a notable influence. These values stayed between 1% and 40%, depending of the test method work range. Finally, the new method was verified about its applicability, being carried out for commercial samples, and checking their obtained results and Oxidation Stability values relationship. Here, TBHQ also presented the best antioxidant performance for biodiesel suitability to quality requirements, in agreement with available data in literature.