O projeto de engenharia é desenvolvido baseado em um modelo de comportamento da estrutura a ser construída. Por sua vez, este modelo incorpora uma série de hipóteses de trabalho que, durante a fase de construção ou de utilização da obra, podem não ser observadas na sua totalidade. Dentro deste cenário, a retroanálise probabilista mostra-se uma ferramenta poderosa para avaliação contínua das hipóteses de trabalho durante a construção e toda a vida útil da estrutura, uma vez que permite incorporar novas informações ao modelo inicial através de métodos formalizados. Este trabalho apresenta uma revisão da retroanálise probabilista e sua aplicação prática na atualização do campo de permeabilidades de uma barragem de terra existente, com base em leituras piezométricas. Os resultados do estudo permitiram rever os valores dos parâmetros do modelo adotado, isto é, as permeabilidades dos diversos materiais, sugerindo ao mesmo tempo a aceitação do próprio modelo. Um estudo paramétrico destaca a importância relativa, para a retroanálise probabilista, das diversas variáveis envolvidas, indicando assim áreas em que a investigação complementar é mais necessária. / The engineering project is based upon a model that can predict the behavior of the facility to be constructed. Such model incorporates a series of working hypotheses which may or may not be fully realized during construction or operation. Under such circumstances, probabilistic back-analysis is a powerful tool for continuous evaluation of the working hypotheses, during construction and throughout the lifespan of the structure, given that it provides for the formal updating of the initial model and its parameters on the basis of incoming information. This study presents a review of probabilistic back-analysis and a practical application to the updating of the permeability field of an earth embankment, on the basis of piezometer readings. Results of the study led to updating of the parameters of the adopted model, that is, permeabilities of the several materials, while suggesting acceptance of the model itself. A parametric study reveals the relative importance of the several variables involved in the probabilistic back-analysis, thus indicating areas in which complementary research is mostly needed.

A análise de imagens automatizada tem atualmente importante papel no setor mineral, devido à rapidez das análises e à confiabilidade dos resultados. A técnica pode ser realizada por meio de imagens adquiridas em microscópio eletrônico de varredura, geralmente associada a microanálises químicas por EDS. Estas analises podem ser realizadas em diversas etapas de um empreendimento mineiro: no auxílio à exploração, lavra (blendagens), processos de beneficiamento (associação mineral), estudos de gênese e controles de mineralização. Essa técnica permite a análise estatística de grande número de partículas/dados, fornecendo informações de composição mineralógica, química mineral, partição de elementos, associações minerais incluindo liberação de fases de interesse, entre outros. Este estudo investiga a aplicabilidade da análise de imagens automatizada em amostras de minério de ferro, com base em diferentes procedimentos de preparação de amostras e rotinas de análise avaliadas por meio do sistema MLA. Um minério de ferro foi escolhido por se tratar de um minério já bastante estudado e bem documentado na bibliografia e que mostra, em geral, mineralogia e texturas simples e repetitivas facilitando a análise dos resultados obtidos com os diferentes procedimentos e rotinas aplicadas. Além disso, o minério de ferro apresenta fases minerais com significativas diferenças de peso específico, o que pode acarretar em maiores dificuldades em termos de amostragem e preparação de amostras. / The automated image analysis has an important role in the mineral industry due to the quickly analysis and the results reliability. The technique can be applied using images from a scanning electron microscope associated usually coupled with chemical microanalysis from an EDS system. These analyses are carried out in many stages of a mining project helping mineral exploration, mining (blending), mineral processing (mineral association), genetic studies and mineralization control. This technique allows a statistic analysis of a large numbers particles and data, providing information of mineralogical composition, mineral chemistry, elemental distribution, mineral associations, phase and spectra liberation and others. This study sets the applicability of automated image analysis of an iron ore sample with diverse preparation procedures and analysis routines, which were evaluated by the MLA system. An iron ore sample was chosen because it is a familiar and well-documented ore in the literature, that usually shows simple textures and mineralogy which makes easier the interpretation of results by a diversity of preparation procedures and analysis routines. Furthermore, the iron ore shows mineral phases with significant differences in specific gravity resulting in more difficulties in sampling and preparation procedures due to potential density segregation.

A presente dissertação de mestrado tem o propósito de relatar o desenvolvimento de um sensor planar eletroquímico com três eletrodos para o monitoramento de nitrito e seus interferentes (ácido úrico, ácido ascórbico e paracetamol). Para tal, no procedimento experimental é descrito o desenvolvimento do aparato extracorpóreo (mini-bomba compressora, válvulas solenóides e cela de análise). Esse é acoplado a um sistema de Análise por Injeção em Fluxo Automatizada (do inglês, Flow-injection Analysis) FIA-automatizada. Este trabalho também descreve a fabricação dos sensores em substrato de alumina, o processo de limpeza padrão dos eletrodos, o processo de obtenção dos eletrodos de referência em HCl (0,1 mol L-1) e ativação eletroquímica da superfície do eletrodo de trabalho com H2SO4 (0,1 mol L-1). Em seguida, é mostrada a estabilização dos eletrodos de referência Ag/AgCl em solução salina contendo cloretos, o estudo da secagem dos eletrodos em temperatura ambiente com exposição à luz e a caracterização dos mesmos por três métodos distintos, a saber: i) teste de reversibilidade (corrente redox vs. potencial); ii) variação do potencial com o tempo (coeficiente de degradação termodinâmica) e iii) variação do potencial com a concentração de cloretos. Também, apresenta-se a caracterização da área efetiva exposta do eletrodo de medição (trabalho) e os resultados da deposição de 1-2 Diaminobenzeno (DAB) como polímero seletivo. Além disso, são apresentados os resultados e discussões dos pseudo-eletrodos (recoberto ou não com Náfion® 117). Um ponto relacionado, a histerese associada à irreversibilidade dos eletrodos de referência resultou da ordem de 40 mVAg/AgCl Náfion® 117. Os potencias termodinâmicos observados foram da ordem de 100 ± 6 mVAg/AgCl Náfion® 117 para pseudo-eletrodo de referência sem e com Náfion® 117. Depois, foi realizado um estudo criterioso dos potenciais de resposta ao nitrito e aos interferentes por meio da técnica de DPV (do inglês, Differencial Pulse Voltammetry). Para evitar degradação acelerada (corrosão) do polímero sobre o eletrodo de trabalho, optou-se por realizar as medições com potencial igual a 0,50 VAg/AgCl Náfion® 117. Nessa condição, apresenta-se a monitoração de nitrito por FIA-automatizada na faixa de concentração de 50 a 250 mol L-1. Os resultados para a medição de nitrito mostraram que o sensor planar eletroquímico amperométrico desenvolvido é promissor, pois esse apresentou ótimo desempenho de reprodutividade (99,66%), sensibilidade (90 microA mol-1 L mm-2), seletividade (0,32%), repetitividade (91,28%) e estabilidade (15 ± 0,3 pA). / In this Master of Science, it has been developed an electrochemical planar sensor defined with three electrodes for nitrite measuring and its interferents (uric acid, ascorbic acid and paracetamol). In the experimental procedure, it is shown the development of an extracorporis set up (mini-pump, solenoid valves and analysis cell) which is coupled to a system of Flow-injection Analysis (FIA). This work also describes the sensor fabrication using alumina substrates, the standard cleaning of the electrodes, the process to obtain Ag/AgCl reference electrodes in HCl (0.1 mol L-1) and electrochemical activation of the working-electrode surface with H2SO4 (0.1 mol L-1). Following, it is shown the study of drying for electrodes at room temperature with exposition to room light and their characterization using three different methods: i) reversibility test (redox current vs. potential); ii) variation of the potential with the time (thermodynamics degradation coefficient) and iii) variation of the potential with the chloride concentration. Also, it is presented the characterization of the effective exposed area of the working electrode and the results of the deposited 1-2 Diaminobenzene (DAB) is presented as a selective polymer. In addition, the results and discussions of the pseudo-reference (recovered or not with Nafion® 117) are presented. Related to irreversibility is the hysteresis associated to the reference electrodes which resulted in the order of 40 mVAg/AgCl Nafion® 117. The observed thermodynamic potentials were of (100 ± 6) mVAg/AgCl Nafion® 117 for pseudo-electrodes recovered with Nafion® 117. Later on, a careful study of the response to nitrite and to its interferents was performed by means of the DPV technique (Differential Pulse Voltammetry). In order to avoid accelerated degradation (corrosion) of the polymer, measurements were performed at a potential of 0,5 VAg/AgCl Nafion® 117. In this condition, nitrite was monitored using the automatized-FIA (Flow Injection Analysis) for concentration in the range of 50 to 250 mol L-1. The results have shown that the planar amperometric sensor for nitrite measuring is usefull since it was observed excellent performance related to reproducibility (99.66%), sensitivity (90 microA mol-1 L mm-2), selectivity (0.32%), repetibility (91.28%) and stability (15.0 ± 0.3 pA).

Modelagem e controle de execução são duas abordagens do gerenciamento de processos de negócio que, embora complementares, têm se desenvolvido independentemente. Por um lado, a modelagem é normalmente conduzida por especialistas de negócio e explora aspectos semânticos do processo. Por outro lado, o controle de execução estuda mecanismos consistentes e eficientes de implementação. Este trabalho apresenta um método algorítmico que relaciona modelagem e controle de execução, por meio da geração de expressões algébricas a partir de digrafos acíclicos. Por hipótese, assumimos que modelos de processos de negócio são formados por estruturas baseadas em grafos, e mecanismos de controle de execução são baseados na interpretação de expressões de álgebra de processos. Para a geração de expressões algébricas, esta tese apresenta as propriedades topológicas de digrafos série-paralelo e define um sistema de transformação baseado em redução de digrafos. Além disso, um algoritmo de identificação de digrafos série-paralelo e geração de expressões algébricas é apresentado. O texto também discute o tratamento de digrafos que não são série-paralelo e apresenta, para alguns desses casos, soluções baseadas em mudanças topológicas. Finalmente, o algoritmo é ilustrado com o estudo de caso de uma aplicação real. / Modeling and execution control are complementary approaches of business process management that have been developed independently. On one hand, modeling is usually performed by business specialists and explores semantical aspects of the business process. On other hand, execution control studies consistent and efficient mechanisms for implementation. This work presents an algorithmic method which joins modeling and execution control through algebraic expression generation from acyclic digraphs. By hypothesis, we assume that business process models are defined by graph structures, and execution control mechanisms are based on interpretation of process algebra expressions. For algebraic expression generation, this thesis presents the topological properties of series-parallel digraphs and defines a transformation system based on digraph reduction. Therefore, we present an algorithm for identification of series-parallel digraphs and generation of algebraic expressions. This work also discusses the treatment of non-series-parallel digraphs and presents solutions based on topological changing for some cases. Finally, the algorithm is illustrated with a case study based on a real system.

Embora o papel da consciência fonológica na aprendizagem da leitura e da escrita em línguas alfabéticas já esteja bem estabelecido por uma grande quantidade de estudos, as relações entre as demais habilidades envolvidas no processamento fonológico (memória de trabalho fonológica e nomeação automatizada rápida) e o desempenho em leitura e escrita têm sido menos estudadas, havendo controvérsias sobre a contribuição específica e independente da memória de trabalho fonológica para o desempenho em leitura e escrita. Por outro lado, apesar de o desempenho em tarefas de nomeação automatizada rápida ter se mostrado relacionado às habilidades de leitura e escrita, encontram-se na literatura dúvidas sobre se essa relação estaria baseada no processamento de estímulos fonológicos ou no processamento de padrões visuais. Dessa maneira, o presente trabalho investigou a contribuição das habilidades de consciência fonológica, memória de trabalho fonológica, nomeação automatizada rápida e processamento visual para o desempenho em leitura e escrita de crianças em processo de alfabetização, analisando ainda a possível interação entre essas habilidades. Participaram desta pesquisa 50 crianças, de ambos os sexos, alunos de três classes de 3º Ano (2ª série) do Ensino Fundamental, de uma escola da rede pública de educação, localizada no interior do estado de São Paulo. Foram utilizados instrumentos padronizados para a avaliação das habilidades de leitura, escrita, consciência fonológica, memória de trabalho fonológica, nomeação automatizada rápida e processamento visual. Os dados foram analisados através de técnicas correlacionais e de análise de regressão, visando identificar a relação entre as variáveis estudadas e a contribuição das variáveis consideradas preditoras (consciência fonológica, memória de trabalho fonológica, nomeação automatizada rápida e processamento visual) sobre as habilidades de leitura e escrita da amostra estudada. Os resultados obtidos sugerem que, dentre as habilidades avaliadas, a consciência fonológica e a memória de trabalho fonológica são as que mais contribuem para o desempenho inicial em leitura e em escrita. Por outro lado, dentre as habilidades de nomeação automatizada rápida, apenas a nomeação de letras demonstrou correlação significativa com a leitura e a escrita. Por fim, não houve correlação das habilidades de leitura e escrita com o processamento visual. Resultados de uma análise fatorial exploratória sugerem ainda o agrupamento das variáveis preditoras em três fatores, relativamente independentes, sendo o primeiro formado pelas habilidades de memória fonológica e consciência fonológica, o segundo pelas habilidades de nomeação automatizada rápida e o terceiro pelo processamento visual, corroborando assim com os resultados de pesquisas que consideram a nomeação automatizada rápida como uma habilidade relativamente independente do processamento fonológico. Os resultados obtidos contribuem para a compreensão dos processos psicológicos envolvidos na aprendizagem da leitura e escrita, podendo oferecer subsídios para a elaboração de metodologias de alfabetização mais eficientes, tanto no que se refere ao âmbito do ensino, quanto à prevenção e remediação das dificuldades de aprendizagem. Suscitam também a necessidade de novas pesquisas para esclarecer melhor as relações entre os processos psicológicos envolvidos na nomeação seriada rápida e no processamento visual e as habilidades iniciais de leitura e escrita. / Although the role of phonological awareness in reading and writing learning in alphabetic languages is already well established by a lot of studies, the relationship among the other skills involved in phonological processing (phonological working memory and rapid automatized naming) and reading and writing performance have been less studied. There are controversies about the specific and independent contribution of phonological working memory for reading and writing performance. Moreover, although the performance in rapid naming tasks have been shown to be related to reading and writing skills, there are in the literature doubts about if this type of processing is mainly based on phonological stimuli processing or visual patterns processing. Thus, this study intended to investigate the contribution of phonological awareness, phonological working memory, rapid automatized naming and visual processing to the performance in reading and writing of children in the literacy process, still analyzing the possible interaction between those skills. Participated in this study 50 children of both sexes, students from three classes of 3rd Year (2nd series) of a public elementary school, located in the state of São Paulo. Standardized instruments were used for the assessment of reading, writing, phonological awareness, phonological working memory, rapid automatized naming and visual processing skills. Data were analyzed quantitatively through correlational techniques and regression analysis, to identify the relationship between the studied variables and the contribution of the variables considered predictors (phonological awareness, phonological working memory, rapid automatized naming and visual processing) on reading and writing skills of the sample. The results suggest that among the evaluated skills, phonological awareness and phonological working memory are those that contribute most to the initial performance in reading and writing. On the other hand, among the skills of rapid automatized naming, only the naming of letters showed significant correlation with reading and writing. Finally, there wasn´t correlation between reading or writing skills and visual processing. Results of an exploratory factor analysis also suggest the grouping of predictor variables on three factors, relatively independent, the first being formed by phonological working memory and phonological awareness skills, the second by rapid automatized naming skills and the third by the visual processing, supporting well the results of surveys that consider the rapid automatized naming as a relatively independent ability of phonological processing. The results contribute to the understanding of the psychological processes involved in reading and writing learning and can offer subsidies for the development of more efficient literacy methodologies, both with regard to teaching, as well the prevention and remediation of learning disabilities. They also raise the need of further research to clarify the relationship between the psychological processes involved in the rapid automatized naming and in the visual processing with regard to the initial skills of reading and writing.

Embora o papel da consciência fonológica na aprendizagem da leitura e da escrita em línguas alfabéticas já esteja bem estabelecido por uma grande quantidade de estudos, as relações entre as demais habilidades envolvidas no processamento fonológico (memória de trabalho fonológica e nomeação automatizada rápida) e o desempenho em leitura e escrita têm sido menos estudadas, havendo controvérsias sobre a contribuição específica e independente da memória de trabalho fonológica para o desempenho em leitura e escrita. Por outro lado, apesar de o desempenho em tarefas de nomeação automatizada rápida ter se mostrado relacionado às habilidades de leitura e escrita, encontram-se na literatura dúvidas sobre se essa relação estaria baseada no processamento de estímulos fonológicos ou no processamento de padrões visuais. Dessa maneira, o presente trabalho investigou a contribuição das habilidades de consciência fonológica, memória de trabalho fonológica, nomeação automatizada rápida e processamento visual para o desempenho em leitura e escrita de crianças em processo de alfabetização, analisando ainda a possível interação entre essas habilidades. Participaram desta pesquisa 50 crianças, de ambos os sexos, alunos de três classes de 3º Ano (2ª série) do Ensino Fundamental, de uma escola da rede pública de educação, localizada no interior do estado de São Paulo. Foram utilizados instrumentos padronizados para a avaliação das habilidades de leitura, escrita, consciência fonológica, memória de trabalho fonológica, nomeação automatizada rápida e processamento visual. Os dados foram analisados através de técnicas correlacionais e de análise de regressão, visando identificar a relação entre as variáveis estudadas e a contribuição das variáveis consideradas preditoras (consciência fonológica, memória de trabalho fonológica, nomeação automatizada rápida e processamento visual) sobre as habilidades de leitura e escrita da amostra estudada. Os resultados obtidos sugerem que, dentre as habilidades avaliadas, a consciência fonológica e a memória de trabalho fonológica são as que mais contribuem para o desempenho inicial em leitura e em escrita. Por outro lado, dentre as habilidades de nomeação automatizada rápida, apenas a nomeação de letras demonstrou correlação significativa com a leitura e a escrita. Por fim, não houve correlação das habilidades de leitura e escrita com o processamento visual. Resultados de uma análise fatorial exploratória sugerem ainda o agrupamento das variáveis preditoras em três fatores, relativamente independentes, sendo o primeiro formado pelas habilidades de memória fonológica e consciência fonológica, o segundo pelas habilidades de nomeação automatizada rápida e o terceiro pelo processamento visual, corroborando assim com os resultados de pesquisas que consideram a nomeação automatizada rápida como uma habilidade relativamente independente do processamento fonológico. Os resultados obtidos contribuem para a compreensão dos processos psicológicos envolvidos na aprendizagem da leitura e escrita, podendo oferecer subsídios para a elaboração de metodologias de alfabetização mais eficientes, tanto no que se refere ao âmbito do ensino, quanto à prevenção e remediação das dificuldades de aprendizagem. Suscitam também a necessidade de novas pesquisas para esclarecer melhor as relações entre os processos psicológicos envolvidos na nomeação seriada rápida e no processamento visual e as habilidades iniciais de leitura e escrita. / Although the role of phonological awareness in reading and writing learning in alphabetic languages is already well established by a lot of studies, the relationship among the other skills involved in phonological processing (phonological working memory and rapid automatized naming) and reading and writing performance have been less studied. There are controversies about the specific and independent contribution of phonological working memory for reading and writing performance. Moreover, although the performance in rapid naming tasks have been shown to be related to reading and writing skills, there are in the literature doubts about if this type of processing is mainly based on phonological stimuli processing or visual patterns processing. Thus, this study intended to investigate the contribution of phonological awareness, phonological working memory, rapid automatized naming and visual processing to the performance in reading and writing of children in the literacy process, still analyzing the possible interaction between those skills. Participated in this study 50 children of both sexes, students from three classes of 3rd Year (2nd series) of a public elementary school, located in the state of São Paulo. Standardized instruments were used for the assessment of reading, writing, phonological awareness, phonological working memory, rapid automatized naming and visual processing skills. Data were analyzed quantitatively through correlational techniques and regression analysis, to identify the relationship between the studied variables and the contribution of the variables considered predictors (phonological awareness, phonological working memory, rapid automatized naming and visual processing) on reading and writing skills of the sample. The results suggest that among the evaluated skills, phonological awareness and phonological working memory are those that contribute most to the initial performance in reading and writing. On the other hand, among the skills of rapid automatized naming, only the naming of letters showed significant correlation with reading and writing. Finally, there wasn´t correlation between reading or writing skills and visual processing. Results of an exploratory factor analysis also suggest the grouping of predictor variables on three factors, relatively independent, the first being formed by phonological working memory and phonological awareness skills, the second by rapid automatized naming skills and the third by the visual processing, supporting well the results of surveys that consider the rapid automatized naming as a relatively independent ability of phonological processing. The results contribute to the understanding of the psychological processes involved in reading and writing learning and can offer subsidies for the development of more efficient literacy methodologies, both with regard to teaching, as well the prevention and remediation of learning disabilities. They also raise the need of further research to clarify the relationship between the psychological processes involved in the rapid automatized naming and in the visual processing with regard to the initial skills of reading and writing.

A presente dissertação de mestrado tem o propósito de relatar o desenvolvimento de um sensor planar eletroquímico com três eletrodos para o monitoramento de nitrito e seus interferentes (ácido úrico, ácido ascórbico e paracetamol). Para tal, no procedimento experimental é descrito o desenvolvimento do aparato extracorpóreo (mini-bomba compressora, válvulas solenóides e cela de análise). Esse é acoplado a um sistema de Análise por Injeção em Fluxo Automatizada (do inglês, Flow-injection Analysis) FIA-automatizada. Este trabalho também descreve a fabricação dos sensores em substrato de alumina, o processo de limpeza padrão dos eletrodos, o processo de obtenção dos eletrodos de referência em HCl (0,1 mol L-1) e ativação eletroquímica da superfície do eletrodo de trabalho com H2SO4 (0,1 mol L-1). Em seguida, é mostrada a estabilização dos eletrodos de referência Ag/AgCl em solução salina contendo cloretos, o estudo da secagem dos eletrodos em temperatura ambiente com exposição à luz e a caracterização dos mesmos por três métodos distintos, a saber: i) teste de reversibilidade (corrente redox vs. potencial); ii) variação do potencial com o tempo (coeficiente de degradação termodinâmica) e iii) variação do potencial com a concentração de cloretos. Também, apresenta-se a caracterização da área efetiva exposta do eletrodo de medição (trabalho) e os resultados da deposição de 1-2 Diaminobenzeno (DAB) como polímero seletivo. Além disso, são apresentados os resultados e discussões dos pseudo-eletrodos (recoberto ou não com Náfion® 117). Um ponto relacionado, a histerese associada à irreversibilidade dos eletrodos de referência resultou da ordem de 40 mVAg/AgCl Náfion® 117. Os potencias termodinâmicos observados foram da ordem de 100 ± 6 mVAg/AgCl Náfion® 117 para pseudo-eletrodo de referência sem e com Náfion® 117. Depois, foi realizado um estudo criterioso dos potenciais de resposta ao nitrito e aos interferentes por meio da técnica de DPV (do inglês, Differencial Pulse Voltammetry). Para evitar degradação acelerada (corrosão) do polímero sobre o eletrodo de trabalho, optou-se por realizar as medições com potencial igual a 0,50 VAg/AgCl Náfion® 117. Nessa condição, apresenta-se a monitoração de nitrito por FIA-automatizada na faixa de concentração de 50 a 250 mol L-1. Os resultados para a medição de nitrito mostraram que o sensor planar eletroquímico amperométrico desenvolvido é promissor, pois esse apresentou ótimo desempenho de reprodutividade (99,66%), sensibilidade (90 microA mol-1 L mm-2), seletividade (0,32%), repetitividade (91,28%) e estabilidade (15 ± 0,3 pA). / In this Master of Science, it has been developed an electrochemical planar sensor defined with three electrodes for nitrite measuring and its interferents (uric acid, ascorbic acid and paracetamol). In the experimental procedure, it is shown the development of an extracorporis set up (mini-pump, solenoid valves and analysis cell) which is coupled to a system of Flow-injection Analysis (FIA). This work also describes the sensor fabrication using alumina substrates, the standard cleaning of the electrodes, the process to obtain Ag/AgCl reference electrodes in HCl (0.1 mol L-1) and electrochemical activation of the working-electrode surface with H2SO4 (0.1 mol L-1). Following, it is shown the study of drying for electrodes at room temperature with exposition to room light and their characterization using three different methods: i) reversibility test (redox current vs. potential); ii) variation of the potential with the time (thermodynamics degradation coefficient) and iii) variation of the potential with the chloride concentration. Also, it is presented the characterization of the effective exposed area of the working electrode and the results of the deposited 1-2 Diaminobenzene (DAB) is presented as a selective polymer. In addition, the results and discussions of the pseudo-reference (recovered or not with Nafion® 117) are presented. Related to irreversibility is the hysteresis associated to the reference electrodes which resulted in the order of 40 mVAg/AgCl Nafion® 117. The observed thermodynamic potentials were of (100 ± 6) mVAg/AgCl Nafion® 117 for pseudo-electrodes recovered with Nafion® 117. Later on, a careful study of the response to nitrite and to its interferents was performed by means of the DPV technique (Differential Pulse Voltammetry). In order to avoid accelerated degradation (corrosion) of the polymer, measurements were performed at a potential of 0,5 VAg/AgCl Nafion® 117. In this condition, nitrite was monitored using the automatized-FIA (Flow Injection Analysis) for concentration in the range of 50 to 250 mol L-1. The results have shown that the planar amperometric sensor for nitrite measuring is usefull since it was observed excellent performance related to reproducibility (99.66%), sensitivity (90 microA mol-1 L mm-2), selectivity (0.32%), repetibility (91.28%) and stability (15.0 ± 0.3 pA).

Modelagem e controle de execução são duas abordagens do gerenciamento de processos de negócio que, embora complementares, têm se desenvolvido independentemente. Por um lado, a modelagem é normalmente conduzida por especialistas de negócio e explora aspectos semânticos do processo. Por outro lado, o controle de execução estuda mecanismos consistentes e eficientes de implementação. Este trabalho apresenta um método algorítmico que relaciona modelagem e controle de execução, por meio da geração de expressões algébricas a partir de digrafos acíclicos. Por hipótese, assumimos que modelos de processos de negócio são formados por estruturas baseadas em grafos, e mecanismos de controle de execução são baseados na interpretação de expressões de álgebra de processos. Para a geração de expressões algébricas, esta tese apresenta as propriedades topológicas de digrafos série-paralelo e define um sistema de transformação baseado em redução de digrafos. Além disso, um algoritmo de identificação de digrafos série-paralelo e geração de expressões algébricas é apresentado. O texto também discute o tratamento de digrafos que não são série-paralelo e apresenta, para alguns desses casos, soluções baseadas em mudanças topológicas. Finalmente, o algoritmo é ilustrado com o estudo de caso de uma aplicação real. / Modeling and execution control are complementary approaches of business process management that have been developed independently. On one hand, modeling is usually performed by business specialists and explores semantical aspects of the business process. On other hand, execution control studies consistent and efficient mechanisms for implementation. This work presents an algorithmic method which joins modeling and execution control through algebraic expression generation from acyclic digraphs. By hypothesis, we assume that business process models are defined by graph structures, and execution control mechanisms are based on interpretation of process algebra expressions. For algebraic expression generation, this thesis presents the topological properties of series-parallel digraphs and defines a transformation system based on digraph reduction. Therefore, we present an algorithm for identification of series-parallel digraphs and generation of algebraic expressions. This work also discusses the treatment of non-series-parallel digraphs and presents solutions based on topological changing for some cases. Finally, the algorithm is illustrated with a case study based on a real system.

[ES] La monitorización de la ejecución de un plan es crucial para un agente autónomo que realiza su labor en un entorno dinámico, pues influye en su capacidad de reaccionar ante los cambios. Mientras ejecuta su plan puede sufrir un fallo y, en su esfuerzo por solucionarlo, puede interferir sin saberlo con otros agentes que operan en su mismo entorno. Por otra parte, para actuar racionalmente es necesario que el agente sea consciente del contexto y pueda recopilar y ampliar su información a partir de lo que percibe para poder compensar su conocimiento previo parcial o incorrecto del problema y lograr el mejor resultado posible ante las nuevas situaciones que aparecen. El trabajo realizado en esta tesis permite a los agentes autónomos ejecutar sus planes en un entorno dinámico y adaptarse a eventos inesperados y circunstancias desconocidas. Pueden utilizar su percepción del contexto para proporcionar respuestas deliberativas conscientes y ser capaces así de aprovechar las oportunidades que surgen o reparar los fallos sin perturbar a otros agentes. Este trabajo se centra en el desarrollo de una arquitectura independiente del dominio capaz de manejar las necesidades de agentes con este tipo de comportamiento autónomo. Los tres pilares de la arquitectura propuesta los forman el sistema inteligente para la simulación de la ejecución en entornos dinámicos, la adquisición de conocimiento consciente del contexto para ampliar la base de datos del agente y la reparación de planes ante fallos u oportunidades tratando de interferir lo mínimo con los planes de otros agentes. El sistema inteligente de simulación de la ejecución permite al agente representar el plan en una línea de tiempo, actualizar periódicamente su estado interno con información del mundo real y disparar nuevos eventos en momentos concretos. Los eventos se procesan en el contexto del plan; si se detecta un error, el simulador reformula el problema de planificación, invoca de nuevo al planificador y reanuda la ejecución. El simulador es una aplicación de consola y ofrece una interfaz gráfica diseñada específicamente para una aplicación inteligente de turismo. El módulo de adquisición de conocimiento sensible al contexto utiliza operaciones semánticas para aumentar dinámicamente la lista predefinida de tipos de objetos de la tarea de planificación con nuevos tipos relevantes. Esto permite que el agente sea consciente de su entorno, enriquezca el modelo de su tarea y pueda razonar a partir de un conocimiento incompleto. Con todo esto se consigue potenciar la autonomía del sistema y la conciencia del contexto. La novedosa estrategia de reparación de planes le permite a un agente reparar su plan al detectar un fallo de manera responsable con el resto de agentes que comparten su mismo entorno de ejecución. El agente utiliza una nueva métrica, el compromiso del plan, como función heurística para guiar la búsqueda hacia un plan solución comprometido con el plan original, en el sentido de que se trata de respetar los compromisos adquiridos con otros agentes al mismo tiempo que se alcanzan los objetivos originales. En consecuencia, la comunidad de agentes sufrirá menos fallos por cambios bruscos en el entorno o requerirá menos tiempo para ejecutar las acciones correctoras si el fallo es inevitable. Estos tres módulos han sido desarrollados y evaluados en varias aplicaciones como un asistente turístico, una agencia de reparación de electrodomésticos y un asistente del hogar. / [CA] El monitoratge de l'execució d'un pla és crucial per a un agent autònom que realitza la seua labor en un entorn dinàmic, perquè influeix en la seua capacitat de reaccionar davant els canvis. Mentre executa el seu pla pot patir una fallada i, en el seu esforç per solucionar-lo, pot interferir sense saber-ho amb altres agents que operen en el seu mateix entorn. D'altra banda, per a actuar racionalment és necessari que l'agent siga conscient del context i puga recopilar i ampliar la seua informació a partir del que percep per a poder compensar el seu coneixement previ parcial o incorrecte del problema i aconseguir el millor resultat possible davant les noves situacions que apareixen. El treball realitzat en aquesta tesi permet als agents autònoms executar els seus plans en un entorn dinàmic i adaptar-se a esdeveniments inesperats i circumstàncies desconegudes. Poden utilitzar la seua percepció del context per a proporcionar respostes deliberatives conscients i ser capaces així d'aprofitar les oportunitats que sorgeixen o reparar les fallades sense pertorbar a altres agents. Aquest treball se centra en el desenvolupament d'una arquitectura independent del domini capaç de manejar les necessitats d'agents amb aquesta mena de comportament autònom. Els tres pilars de l'arquitectura proposada els formen el sistema intel·ligent per a la simulació de l'execució en entorns dinàmics, l'adquisició de coneixement conscient del context per a ampliar la base de dades de l'agent i la reparació de plans davant fallades o oportunitats tractant d'interferir el mínim amb els plans d'altres agents. El sistema intel·ligent de simulació de l'execució permet a l'agent representar el pla en una línia de temps, actualitzar periòdicament el seu estat intern amb informació del món real i disparar nous esdeveniments en moments concrets. Els esdeveniments es processen en el context del pla; si es detecta un error, el simulador reformula el problema de planificació, invoca de nou al planificador i reprén l'execució. El simulador és una aplicació de consola i ofereix una interfície gràfica dissenyada específicament per a una aplicació intel·ligent de turisme. El mòdul d'adquisició de coneixement sensible al context utilitza operacions semàntiques per a augmentar dinàmicament la llista predefinida de tipus d'objectes de la tasca de planificació amb nous tipus rellevants. Això permet que l'agent siga conscient del seu entorn, enriquisca el model de la seua tasca i puga raonar a partir d'un coneixement incomplet. Amb tot això s'aconsegueix potenciar l'autonomia del sistema i la consciència del context. La nova estratègia de reparació de plans li permet a un agent reparar el seu pla en detectar una fallada de manera responsable amb la resta d'agents que comparteixen el seu mateix entorn d'execució. L'agent utilitza una nova mètrica, el compromís del pla, com a funció heurística per a guiar la cerca cap a un pla solució compromés amb el pla original, en el sentit que es tracta de respectar els compromisos adquirits amb altres agents al mateix temps que s'aconsegueixen els objectius originals. En conseqüència, la comunitat d'agents patirà menys fallades per canvis bruscos en l'entorn o requerirà menys temps per a executar les accions correctores si la fallada és inevitable. Aquests tres mòduls han sigut desenvolupats i avaluats en diverses aplicacions com un assistent turístic, una agència de reparació d'electrodomèstics i un assistent de la llar. / [EN] Execution Monitoring is crucial for the success of an autonomous agent executing a plan in a dynamic environment as it influences its ability to react to changes. While executing its plan in a dynamic world, it may suffer a failure and, in its endeavour to fix the problem, it may unknowingly disrupt other agents operating in the same environment. Additionally, being rational requires the agent to be context-aware, gather information and extend what is known from what is perceived to compensate for partial or incorrect prior knowledge and achieve the best possible outcome in various novel situations. The work carried out in this PhD thesis allows the autonomous agents executing a plan in a dynamic environment to adapt to unexpected events and unfamiliar circumstances, utilise their perception of context and provide context-aware deliberative responses for seizing an opportunity or repairing a failure without disrupting other agents. This work is focused on developing a domain-independent architecture capable of handling the requirements of such autonomous behaviour. The architecture pillars are the intelligent system for execution simulation in a dynamic environment, the context-aware knowledge acquisition for planning applications and the plan commitment repair. The intelligent system for execution simulation in a dynamic environment allows the agent to transform the plan into a timeline, periodically update its internal state with real-world information and create timed events. Events are processed in the context of the plan; if a failure occurs, the simulator reformulates the planning problem, reinvokes a planner and resumes the execution. The simulator is a console application and has a GUI designed specifically for smart tourism. The context-aware knowledge acquisition module utilises semantic operations to dynamically augment the predefined list of object types of the planning task with relevant new object types. This allows the agent to be context-aware of the environment and the task and reason with incomplete knowledge, boosting the system's autonomy and context-awareness. The novel plan commitment repair strategy among multiple agents sharing the same execution environment allows the agent to repair its plan responsibly when a failure is detected. The agent utilises a new metric, plan commitment, as a heuristic to guide the search for the most committed repair plan to the original plan from the perspective of commitments made to other agents whilst achieving the original goals. Consequently, the community of agents will suffer fewer failures due to the sudden changes or will have less lost time if the failure is inevitable. All these developed modules were investigated and evaluated in several applications, such as a tourist assistant, a kitchen appliance repair agency and a living home assistant. / Babli, M. (2023). Context-aware Plan Repair in Environments shared by Multiple Agents [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/198683

La llegada del sonido 3D está imponiendo cambios en varias etapas del flujo de trabajo, desde los sistemas de captación hasta las metodologías de postproducción y las configuraciones de altavoces. Esta tesis trata varios aspectos relacionados con el audio 3D: en la parte de captación, presentamos un estudio sobre las características de los micrófonos tetraédricos y una solución para obtener las componentes Ambisonics del segundo orden usando un pequeño número de transductores del primer orden; en la parte de producción, se presenta una aplicación para la mezcla automatizada de eventos deportivos, para reducir la complexidad del multicanal en tiempo real; para la restitución del audio independiente del sistema de altavoces, en el que los niveles de salida a los altavoces son una incógnita hasta la decodificación, se propone un detector de clipping independiente del layout. Finalmente, se presentan test psico-acústicos para validar aspectos perceptivos relacionados con el audio 3D. / The advent of 3D audio is dictating changes in several stages of the audio work-flow, from recording systems and microphone configurations, to post-production methodologies and loudspeaker configurations. This thesis tackles aspects related to 3D audio arising in the various stages of production. In the recording part, we present a study on the accuracy of tetrahedral microphones and a solution for obtaining second-order Ambisonics responses from first-order transducers using a small number of sensors; in the production stage, we introduce an application for automated assisted mixing of sport events, to reduce the complexity of managing multiple audio channels in real time; a clipping detector is proposed for the rendering of layout-independent audio content to generic playback systems, where the signal levels sent to the speakers are unknown until the decoding stage; finally, psychoacoustic experiments are presented for the validation of perceptual and aesthetic aspects related to 3D audio.