Generalização de um modelo linear de impedância eletroquímica

Em geral, a função de um modelo de impedância para processos de eletrodo simples é deduzida de um modelo elétrico equivalente, denominado circuito de Randles. Neste trabalho estudou-se a generalização dessa função, mediante a introdução de um parâmetro não-elétrico, relacionado com a flexibilidade do ângulo de fase e da magnitude. A função foi ajustada às medidas experimentais de impedância obtidas de um sistema constituído de uma liga Ti-10%Al (m/m) em solução de cloreto de sódio 0,9%, variando-se a amplitude de perturbação. Verificou-se que a função generalizada foi adequada para descrever a impedância do sistema analisado, reduzindo as distorções entre a curva experimental e a curva teórica. Além disso, os melhores resultados foram obtidos para sinais de perturbação do sistema com amplitude igual a 10 mV.

Centralized Motion Control of a Linear Tooth Belt Drive: Analysis of the Performance and Limitations

A centralized robust position control for an electrical driven tooth belt drive is designed in this doctoral thesis. Both a cascaded control structure and a PID based position controller are discussed. The performance and the limitations of the system are analyzed and design principles for the mechanical structure and the control design are given. These design principles are also suitable for most of the motion control applications, where mechanical resonance frequencies and control loop delays are present. One of the major challenges in the design of a controller for machinery applications is that the values of the parameters in the system model (parameter uncertainty) or the system model it self (non-parametric uncertainty) are seldom known accurately in advance. In this thesis a systematic analysis of the parameter uncertainty of the linear tooth beltdrive model is presented and the effect of the variation of a single parameter on the performance of the total system is shown. The total variation of the model parameters is taken into account in the control design phase using a Quantitative Feedback Theory (QFT). The thesis also introduces a new method to analyze reference feedforward controllers applying the QFT. The performance of the designed controllers is verified by experimentalmeasurements. The measurements confirm the control design principles that are given in this thesis.

Design and analysis of a transversal-flux switched-reluctance-linear-machine pole-pair

The Switched Reluctance technology is probably best suited for industrial low-speed or zerospeed applications where the power can be small but the torque or the force in linear movement cases might be relatively high. Because of its simple structure the SR-motor is an interesting alternative for low power applications where pneumatic or hydraulic linear drives are to be avoided. This study analyses the basic parts of an LSR-motor which are the two mover poles and one stator pole and which form the “basic pole pair” in linear-movement transversal-flux switchedreluctance motors. The static properties of the basic pole pair are modelled and the basic design rules are derived. The models developed are validated with experiments. A one-sided one-polepair transversal-flux switched-reluctance-linear-motor prototype is demonstrated and its static properties are measured. The modelling of the static properties is performed with FEM-calculations. Two-dimensional models are accurate enough to model the static key features for the basic dimensioning of LSRmotors. Three-dimensional models must be used in order to get the most accurate calculation results of the static traction force production. The developed dimensioning and modelling methods, which could be systematically validated by laboratory measurements, are the most significant contributions of this thesis.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Towards input/output-free modelling of linear infinite-dimensional systems in continuous time

This dissertation describes a networking approach to infinite-dimensional systems theory, where there is a minimal distinction between inputs and outputs. We introduce and study two closely related classes of systems, namely the state/signal systems and the port-Hamiltonian systems, and describe how they relate to each other. Some basic theory for these two classes of systems and the interconnections of such systems is provided. The main emphasis lies on passive and conservative systems, and the theoretical concepts are illustrated using the example of a lossless transfer line. Much remains to be done in this field and we point to some directions for future studies as well.

Effect of temperature, wetness duration and cultivar on the development of anthracnose in guava fruits

The development of a large number of postharvest diseases is closely associated with fruit ripeness. Environmental conditions may affect both the pathogen development and the fruit ripening rate. The aim of this study was to determine the most favorable temperature and wetness duration to the development of anthracnose in guava fruits. Cultivars 'Kumagai' (white pulp) and 'Pedro Sato' (red pulp) were inoculated with a conidial suspension of Colletotrichum gloeosporioides and C. acutatum and incubated at constant temperature ranging from 10 to 35ºC and wetness duration of 6 and 24 hours. Disease severity and incidence were evaluated at every two days during 12 days. No infection occurred at 10 and 35ºC, regardless of the wetness duration. The optimum conditions for fruit infection were 26 and 27ºC for 'Kumagai' and 25 and 26ºC for 'Pedro Sato', adopting 24 hours of wetness. In general, the disease development in 'Kumagai' cultivar was more affected by the wetness period, compared to 'Pedro Sato'. Disease severity for 'Kumagai' fruits was maximal between 25 and 30ºC , depending on the Colletotrichum species. Regarding 'Pedro Sato', the mean diameter of lesions was greater in fruits stored at 20, 25 and 30ºC , compared to 'Kumagai' cultivar, depending on the wetness period and the species. The incubation period (between 6 and 7 days) and the latent period (between 8 and 10 days) were minimal at 30ºC. The data generated in this study will be useful either for the development of a disease warning system or for the increase in the shelf life of guavas in the postharvest.

Influence of temperature and leaf wetness duration in the severity of Cercospora leaf spot of beet

ABSTRACT In the present study, the influence of temperature (15, 20, 25, 30 and 35°C) and leaf wetness period (6, 12, 24 and 48 hours) on the severity of Cercospora leaf spot of beet, caused by Cercospora beticola, was studied under controlled conditions. Lesion density was influenced by temperature and leaf wetness duration (P<0.05). Data were subjected to nonlinear regression analysis. The generalized beta function was used for fitting the disease severity and temperature data, while a logistic function was chosen to represent the effect of leaf wetness on the severity of Cercospora leaf spot. The response surface resultant of the product of the two functions was expressed as ES = 0.0001105 * (((x-8)2.294387) * ((36-x)0.955017)) * (0.39219/(1+25.93072 * exp (-0.16704*y))), where: ES represents the estimated severity value (0.1); x, the temperature (ºC) and y, the leaf wetness duration (hours). This model should be validated under field conditions to assess its use as a computational forecast system for Cercospora leaf spot of beet.

Problemas com o uso de programação linear com posterior arredondamento da solução ótima, em regulação florestal

O principal objetivo deste trabalho foi avaliar, com a ajuda da Programação Inteira, as conseqüências do uso da Programação Linear com posterior arredondamento das respostas, com ênfase na regulação de florestas eqüiâneas. Para isto, um problema de regulação florestal simplificado foi idealizado e resolvido pelo modelo I, por meio de Programação Linear, Programação Linear com posterior arredondamento e Programação Inteira. Ao final, concluiu-se que o arredondamento das respostas obtidas pelo modelo resolvido por Programação Linear levou a uma solução inviável para o problema de regulação proposto. O mesmo não ocorreu com o modelo de Programação Inteira, que apresentou um plano de regulação factível e otimizado, mostrando que, do ponto de vista matemático, respostas com arredondamento da solução de modelos de Programação Linear não devem ser adotadas.

Combinação linear ponderada na definição de áreas prioritárias à conectividade entre fragmentos florestais em ambiente SIG

A fragmentação florestal de origem antrópica é um dos resultados do processo desordenado de uso e ocupação do solo, especialmente em paisagens intensamente cultivadas. Neste contexto, o presente trabalho objetivou definir áreas prioritárias, para favorecer a conectividade entre os fragmentos florestais, visando ações de recuperação florestal na Bacia do Rio Pardo, SP, utilizando a abordagem multicriterial denominada Combinação Linear Ponderada.Na definição dos critérios e, posteriormente, dos pesos de fatores, empregou-se a Técnica Participatória. Os fatores considerados importantes ao objetivo do trabalho foram: proximidade entre fragmentos de maior área nuclear, proximidade da cobertura florestal, proximidade da rede hidrográfica, distância aos centros urbanos, declividade, erodibilidade do solo. Considerando que as variáveis que interferem na escolha de áreas prioritárias à restauração florestal na Bacia do Rio Pardo-SP contribuem com pesos diferenciados no processo final de decisão, estabeleceu-se uma hierarquia, de acordo com a importância de cada fator para a aptidão da área. O fator de maior peso foi proximidade entre fragmentos de maior área nuclear (0,3713), seguido de proximidade da cobertura florestal (0,1911), proximidade da rede hidrográfica (0,1516), distância aos centros urbanos (0,1168), declividade (0,0840) e erodibilidade (0,0854).O resultado obtido foi um mapa de áreas prioritárias, com cinco graus de prioridade. A priorização de áreas ocorreu de maneira a promover, primeiro a união dos fragmentos de floresta com maior área nuclear e, a partir dessa união, a sucessiva expansão dessas regiões de prioridade muito alta tendendo a muito baixa. A metodologia mostrou-se adequada ao mapeamento de áreas prioritárias à restauração florestal, em bacias hidrográficas. Uma vez que fragmentos com maiores áreas nucleares sejam conectados com fragmentos pequenos, onde estes são predominantes na paisagem, estes promoverão a formação de fragmentos maiores a partir da formação de corredores florestais e da recomposição da vegetação.

Modelo de programação linear para seleção de pulverizadores agrícolas de barras

A seleção de pulverizadores agrícolas que se adaptem às necessidades da propriedade, é um processo trabalhoso, sendo uma das etapas mais importantes dentro do processo produtivo. O objetivo do presente trabalho foi o de desenvolver e utilizar um modelo de programação linear para auxiliar na seleção de pulverizadores agrícolas de barras, baseado no menor custo horário do equipamento. Foram utilizadas as informações técnicas referentes a 20 modelos de pulverizadores disponíveis no mercado, sendo quatro autopropelidos, oito de arrasto e oito do tipo montado. A análise de sensibilidade dos componentes dos custos operacionais mostrou que as taxas de reparo e depreciação foram os fatores que mais interferiram na variação do custo horário do conjunto trator-pulverizador. O modelo matemático desenvolvido facilitou a realização da análise de sensibilidade que foi processada em um tempo muito pequeno.

Relação entre índice de área foliar e frações de componentes puros do modelo linear de mistura espectral, usando imagens ETM+/Landsat

O índice de área foliar (IAF) é uma das mais importantes variáveis biofísicas da vegetação, estando relacionado diretamente com a evapotranspiração, com a produtividade da vegetação e com a interceptação da chuva pelo dossel. O objetivo deste trabalho foi analisar a relação do IAF de diversos tipos de cobertura do solo com Frações de Componentes Puros (FCPs) do Modelo Linear de Mistura Espectral (MLME). A área de estudo foi a microbacia hidrográfica do Ribeirão dos Marins, localizada no município de Piracicaba - SP. O IAF foi medido, no campo, com o equipamento LAI-2000, em 32 áreas com diferentes coberturas vegetais. A imagem utilizada foi do sensor ETM+ a bordo do satélite Landsat-7. No MLME, foram considerados três componentes puros (vegetação, solo e sombra), selecionados com o auxílio dos componentes principais. Como resultado, tem-se que o IAF variou de 0,47 a 4,48, quando consideradas todas as áreas. As relações do IAF com a fração do componente puro vegetação F VEG e com a fração do componente puro solo (F SOL) foram significativas, embora fracas. Ao considerar apenas dados de IAF de cana-de-açúcar, houve aumento da variação explicada tanto para F VEG como para F SOL, sugerindo que a estratificação da vegetação pelo tipo pode melhorar a estimativa do IAF.

Distribuição da carga hidráulica em linhas de derivação otimizadas por programação linear

A existência de diferentes combinações de uniformidade de emissão na unidade operacional com a declividade do terreno favorece a ocorrência de várias possibilidades de configurações no sistema de irrigação, por conseguinte de diferentes custos de implantação e de posterior manejo do sistema. Desde que bem dimensionado, consegue-se verificar, no sistema de irrigação localizada, que a otimização do sistema por meio da programação linear é a melhor metodologia frente aos outros métodos propostos na pesquisa operacional, visto que se encontra a solução ótima global para as variáveis preestabelecidas no dimensionamento. Este trabalho teve por objetivo, analisar a distribuição da carga hidráulica na linha de derivação, sob diferentes uniformidades de emissão e declividades do terreno, calculada por programação linear. Os resultados obtidos permitem análise consistente dos parâmetros hidráulicos da uniformidade de emissão preestabelecida para a linha de derivação. Observa-se, em todos os casos, comportamento decrescente de variação da carga hidráulica, ocorrendo em maior intensidade na seguinte ordem de uniformidade de emissão: 80% > 83% > 86% > 89% > 92%. Já os pontos de menor carga hidráulica, a 3% de declividade, encontram-se na décima primeira saída em todas as uniformidades de emissão testadas.

Spatial variability of leaf wetness duration in a 'Niagara Rosada' vineyard

Despite considerable efforts to develop accurate electronic sensors to measure leaf wetness duration (LWD), little attention has been given to studies about how is LWD variability in different positions of the crop canopy. In order to evaluate the influence of 'Niagara Rosada' (Vitis labrusca) grapevine structure on the spatial variability of LWD, the objective of this study was to determine the canopy position of the ‘Niagara Rosada’ table grape with longer LWD and its correlation with measured standard LWD over turfgrass. LWD was measured in four different canopy positions of the vineyard (sensors deployed at 45º with the horizontal): at the top of the plants, with sensors facing southwest and northeast (Top-SW and Top-NE), and at the grape bunches height, with sensors facing southwest and northeast (Bottom-SW and Bottom-NE). No significant difference was observed between the top (1.6 m) and the bottom (1.0 m) of the canopy and also between the southwest and northeast face of the plants. The relationship between standard LWD over turfgrass and crop LWD in different positions of the grape canopy showed a define correlation, with R² ranging from 0.86 to 0.89 for all period, from 0.72 to 0.77 for days without rain, and from 0.89 to 0.91 for days with rain.

Computational modeling for irrigated agriculture planning. Part I: general description and linear programming

Linear programming models are effective tools to support initial or periodic planning of agricultural enterprises, requiring, however, technical coefficients that can be determined using computer simulation models. This paper, presented in two parts, deals with the development, application and tests of a methodology and of a computational modeling tool to support planning of irrigated agriculture activities. Part I aimed at the development and application, including sensitivity analysis, of a multiyear linear programming model to optimize the financial return and water use, at farm level for Jaíba irrigation scheme, Minas Gerais State, Brazil, using data on crop irrigation requirement and yield, obtained from previous simulation with MCID model. The linear programming model outputted a crop pattern to which a maximum total net present value of R$ 372,723.00 for the four years period, was obtained. Constraints on monthly water availability, labor, land and production were critical in the optimal solution. In relation to the water use optimization, it was verified that an expressive reductions on the irrigation requirements may be achieved by small reductions on the maximum total net present value.

Observations on the Pharmacokinetics and Pharmacodynamics of Dexmedetomidine. Clinical Studies on Healthy Volunteers and Intensive Care Patients

Patients treated in intensive care units require sedation and analgesia. However, sedative drugs also have potential adverse effects, and there is no single ideal sedativeanalgesic drug for these patients. Dexmedetomidine is an apha2-adrenoceptor agonist licenced for sedation of intensive care patients and patients undergoing surgery and other invasive procedures. Several routes of parenteral administration (intravenous, intramuscular, subcutaneous and intranasal) have been utilized. In the present series of studies, the pharmacokinetics and pharmacodynamics of intranasally administered dexmedetomidine as well as the gastrointestinal effects of intravenous dexmedetomidine were determined in healthy volunteers. Pharmacokinetics of dexmedetomidine during long lasting, high-dose infusions were characterized in intensive care patients. The bioavailability of intranasal dexmedetomidine was relatively good (65%), but interindividual variation was large. Dexmedetomidine significantly inhibited gastric emptying and gastrointestinal transit. In intensive care patients, the elimination half-life of dexmedetomidine was somewhat longer than reported for infusions of shorter duration and in less ill patients or healthy volunteers. Dexmedetomidine appeared to have linear pharmacokinetics up to the studied dose rate of 2.5 μg/kg/h. Dexmedetomidine clearance was decreasing with age and its volume of distribution was increased in hypoalbuminaemic patients, resulting in a longer elimination half-life and context-sensitive half-time. Intranasally administered dexmedetomidine was efficacious and well tolerated, making it appropriate for clinical situations requiring light sedation. The clinical significance of the gastrointestinal inhibitory effects of dexmedetomidine should be further evaluated in intensive care patients. The possibility of potentially altered potency and effect duration should be taken into account when administering dexmedetomidine to elderly or hypoalbuminaemic patients.