Os eventos de escassez hídrica observados nos últimos anos e o aumento populacional no Estado de São Paulo têm conduzido à maior explotação de água subterrânea do Sistema Aquífero Guarani (SAG) para abastecimento público. Somente no município de Bauru/SP, está previsto um aumento da vazão de água extraída deste Aquífero de 3.699 m3/h (2014) para 4.465 m3/h (2034). Entretanto, a superexplotação em longo prazo do Aquífero pode comprometer a quantidade de água disponível. O Método de Elementos Analíticos foi utilizado para a modelagem do escoamento em regime permanente, considerando o escoamento regional, a extração de água por poços e os principais condicionantes geológicos locais. Observou-se que o gradiente hidráulico do SAG na cidade de Bauru é de aproximadamente 0,82 m/km. Os poços públicos que operam em regime de escoamento confinado estão localizados a nordeste da cidade. O rebaixamento esperado devido ao cenário previsto pelo DAE, em 2034, é de até 15 m com relação ao cenário atual (2014). Este rebaixamento pode ser controlado em até 5 m, reduzindo em 20% a vazão média anual de todos os poços, e em até 10 m, reduzindo em 10% a vazão média anual de todos os poços localizados na área central. A extração de água do SAG em Bauru/SP pode causar o rebaixamento de até 15 m nas cidades mais próximas (Piratininga e Agudos) e pouco interfere no escoamento de água do SAG das cidades mais distantes. Finalmente, os mapas potenciométricos e de rebaixamento gerados pelo modelo analítico são adequados para a análise do escoamento de água subterrânea e podem auxiliar no gerenciamento de recursos hídricos. / The recent drought events and the population growth in São Paulo State (Brazil) have caused many municipalities to increase the groundwater exploitation of the Guarani Aquifer System (GAS). In the city of Bauru/SP, the extraction of water from the Aquifer is expected to increase from 3,699 m3/h, in 2014, to 4,465 m3/h, by 2034. However, the long-term overexploitation of the Aquifer may compromise the amount of available water. The Analytical Element Method was used for the groundwater flow modeling in steady state. The regional flow, the water extraction by wells and the main local geological conditions were considered. The hydraulic gradient in the GAS in Bauru is approximately 0.82 m/km. The public wells in operation in confined flow regime are located in the eastern region of the city. The expected drawdown caused by the scenario predicted by the Department of Water and Wastewater of Bauru, in 2034, can reach 15 m, in comparison with the current situation (2014). Such lowering can be controlled up to 5 m, reducing 20% of the average annual groundwater flow rate of all wells, and up to 10 m, reducing 10% of the annual flow rate of all wells located in the critical area. The GAS groundwater extraction in Bauru/SP may cause the lowering of up to 15 m in nearby cities (Piratininga and Agudos) and has negligible interference in the groundwater flow in the GAS of distant cities. Finally, the potentiometric and drawdown maps generated by the analytical model are suitable for the analysis of groundwater flow and can be useful for the management of water resources.

Nesta tese apresenta-se o desenvolvimento de diversos modelos computacionais de turbinas eólicas equipadas com diferentes tipos de geradores elétricos, com ênfase no gerador de indução duplamente alimentado. Tais modelos foram desenvolvidos para investigar o desempenho de diferentes estratégias de controle, bem como diferentes estratégias do uso do sistema de proteção do conversor AC/DC/AC. Desenvolveu-se adicionalmente um método analítico para investigar a estabilidade de geradores de indução duplamente alimentados durante grandes perturbações na rede elétrica. Tal método foi validado por meio de comparações entre os resultados da aplicação das fórmulas propostas e de simulações, utilizando uma simplificação dos modelos dinâmicos desenvolvidos. Considerando os modelos dinâmicos, os resultados obtidos por simulações mostram que as escolhas adequadas da estratégia de controle e do sistema de proteção permitem maior injeção de potência reativa durante curto-circuitos na rede elétrica. O método analítico proposto apresentou resultados suficientemente precisos para análise da estabilidade frente a grandes perturbações, reduzindo o esforço necessário para realização de simulações dinâmicas sem a necessidade de compra de licenças de programas específicos. / The development of computational models of wind turbines equipped with different electrical machines is presented in this thesis, emphasizing the doubly fed induction generator. Such models were developed to investigate the performance of different control strategies as well as different protection system of the back-to-back converters. Additionally, this thesis present an original analytic method to investigate the stability of doubly fed induction generators during large disturbance on the electric system. The methodology is validated by comparing results from the developed dynamic models to the results from the analytical equations. For the dynamic models, the obtained results by simulations show that the chosen of the appropriate control strategies and the protection system can permit more reactive power injection during short circuits in the network. The proposed analytic method is sufficiently precise to analyze large disturbance stability reducing the necessary effort spending on dynamic simulation without the need of buying a specific license to run the software.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-27T13:46:48Z No. of bitstreams: 1 Caio Eduardo Falcão Matos.pdf: 1884390 bytes, checksum: a5489f8f52a87e6c5958458ed5470488 (MD5) / Made available in DSpace on 2017-04-27T13:46:48Z (GMT). No. of bitstreams: 1 Caio Eduardo Falcão Matos.pdf: 1884390 bytes, checksum: a5489f8f52a87e6c5958458ed5470488 (MD5) Previous issue date: 2017-02-08 / Breast cancer is one of the leading causes of death among women over the world. The high mortality rates that cancers achieves across the world highlight the importance of developing and investigating the means for the early detection and diagnosis of this disease. Computer Detection and Diagnosis Systems (Computer Assisted Detection / Diagnosis) have been used and proposed as a way to help health professionals. This work proposes a new methodology for discriminating patterns of malignancy and benignity of masses in mammography images by analysis of local characteristics. To do so, it is proposed a combined methodology of feature detectors and descriptors with a model of data representation for an analysis. The goal is to capture both texture and geometry in areas of mammograms. We use the SIFT, SURF and ORB detectors, and the descriptors HOG, LBP, BRIEF and Haar Wavelet. The generated characteristics are coded by a bag of features model to provide a new representation of the data and therefore decrease a dimensionality of the space of characteristics. Finally, this new representation is classified using three approaches: Support Vector Machine, Random Forest, and Adaptive Boosting to differentiate as malignant and benign masses. The methodology provides promising results for the diagnosis of malignant and benign mass encouraging that as local characteristics generated by descriptors and detectors produce a satisfactory a discriminating set. / O câncer de mama é apontado como uma das principais causas de morte entre as mulheres. As altas taxas de mortalidade e registros de ocorrência desse câncer em todo o mundo evidenciam a importância do desenvolvimento e investigação de meios para a detecção e diagnóstico precoce dessa doença. Sistemas de Detecção e Diagnóstico auxiliados por computador (Computer Aided Detection/Diagnosis) vêm sendo usados e propostos como forma de auxílio aos profissionais de saúde. Este trabalho propõe uma metodologia para discriminação de padrões de malignidade e benignidade de massas em imagens de mamografia através da análise de características locais. Para tanto, a metodologia combina detectores e descritores de características locais com um modelo de representação de dados para a análise, tanto de textura quanto de geometria em regiões extraídas das mamografias. São utilizados os detectores SIFT, SURF e ORB, e descritores HOG, LBP, BRIEF e Haar Wavelet. Com as características geradas é aplicado o modelo Bag of Features em uma etapa de representação que objetiva prover nova representação dos dados e por conseguinte diminuir a dimensionalidade do espaço de características. Por fim, esta nova representação é classificada utilizando três abordagens: Máquina de Vetores de Suporte, Random Forests e Adaptive Boosting visando diferenciar as massas malignas e benignas. A metodologia contém resultados promissores para o diagnóstico de massas malignas e benignas fomentando que as características locais geradas pelos descritores e detectores produzem um conjunto descriminate satisfatório.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-27T14:21:14Z No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) / Made available in DSpace on 2017-04-27T14:21:14Z (GMT). No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) Previous issue date: 2017-01-23 / The recent emergence of Free-to-Play games, also known as Freemium games, has considerably changed the way games are made. The definition of monetization strategies is now part of the process of making games. Choosing which strategy to adopt among the various ones and understanding how they work could be an arduous task. When analysing the market, to realize that popular games use similar strategies is not difficult, which demonstrates that the reuse of strategies is common among developers. Although there are catalogs of popular monetization strategies used by Free-to-Play games in the literature, little attention has been given to formalize the description of those strategies, leaving openings for misunderstandings and making the reuse harder. For that reason, a meta-model of Free-to-Play games monetization that allows the representation of Free-toPlay games monetization strategies based on a set of popular strategies is proposed. That meta-model, called Meta-F2P, was elaborated from the investigation of the most rentable Free-to-Play games for mobile devices. Besides that, case studies were used to validate and refine the accuracy, expressiveness and extensibility of that meta-model. Based on the results obtained, the applicability of the meta-model in the process of making games and the advantages and disadvantages of the use of case studies in the concept of meta-models are analyzed. / A recente ascensão dos jogos Free-to-Play, também conhecidos como Freemium, provocou mudanças consideráveis na forma como os jogos são produzidos. A elaboração de estratégias de monetização passou a fazer parte do processo de desenvolvimento. Escolher qual estratégias adotar dentre as diversas existentes e entender o seu funcionamento pode tornar esta uma tarefa árdua. Ao se analisar o mercado não é difícil perceber que os jogos mais rentáveis abordam estratégias de monetização similares, demonstrando que reuso de estratégias é uma abordagem adotada por diversos desenvolvedores. Embora existam na literatura catálogos de estratégias de monetização populares em jogos Free-to-Play, pouca atenção tem sido dada no intuito de formalizar a descrição das estratégias, dando margem para interpretações errôneas e dificultando o reuso. Assim propõe-se um meta-modelo que permite representar as estratégias de monetização de jogos Free-to-Play a partir de um conjunto de estratégias populares. O meta-modelo denominado Meta-F2P foi elaborado a partir da análise de jogos Free-to-Play para dispositivos móveis mais rentáveis. Além disso, utilizou-se estudos de caso para a validação e o refinamento da exatidão, expressividade e extensibilidade do meta-modelo. A partir dos resultados obtidos analisa-se a aplicabilidade do meta-modelo no processo de design de jogos e as vantagens e desvantagens da aplicação de estudos de caso na elaboração de meta-modelos.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-18T14:02:37Z No. of bitstreams: 1 cleriston.pdf: 1605933 bytes, checksum: c1faa5f854c1a9debfbaa1affc5ab4ad (MD5) / Made available in DSpace on 2017-08-18T14:02:37Z (GMT). No. of bitstreams: 1 cleriston.pdf: 1605933 bytes, checksum: c1faa5f854c1a9debfbaa1affc5ab4ad (MD5) Previous issue date: 2009-02-12 / The diagnosis of lung nodules has been constantly looked for by researchers as a way to minimize the high global mortality indices related to lung cancer. The usage of medical images, such as Computerized Tomography, has made possible the deepening and the improvement of techniques used to evaluate exams and provide diagnosis. This work presents a methodology for diagnosing single lung nodules that can be an aid for studies performed on similar areas and for specialists. This methodology was applied to two different image databases. The representation of the nodules was done with extraction of geometry and texture features, being the last one described through Simpson’s Index, a statistic used in Spatial Analysis and in Ecology. These features were submitted to the Support Vector Machine classifier (SVM) in two approaches: the traditional approach and the approach by using One Class. With the traditional SVM approach, we have obtained sensibility rates of 90%, specificity of 96.67% and accuracy of 95%. Using One Class SVM, the obtained rates were: sensibility of 89.7%, specificity of 89.7% and accuracy of 89.7%. / O diagnóstico de nódulos pulmonares tem sido buscado constantemente por pesquisadores como forma de amenizar os altos índices de mortalidade mundial relacionado ao câncer de pulmão. O uso de imagens médicas, como a Tomografia Computadorizada, tem possibilitado um aprofundamento e melhoramento de técnicas para avaliar exames e prover diagnósticos. Este trabalho apresenta uma metodologia para diagnóstico de nódulos pulmonares solitários que possa servir como um auxílio para estudos realizados em áreas afins e para especialistas. Esta metodologia foi aplicada a duas diferentes bases de dados de imagens. A representação dos nódulos foi feita com a extração de medidas de geometria e de textura sendo esta última descrita através do Índice de Simpson, uma estatística utilizada na Análise Espacial e na Ecologia. Essas medidas foram submetidas ao classificador Máquina de Vetores de Suporte - MVS em duas abordagens: a abordagem tradicional e abordagem usando uma classe. Com abordagem MVS tradicional, obtiveramse taxas de sensibilidade de 90%, especificidade de 96,67% e acurácia de 95%. Usando MVS de uma classe, as taxas obtidas foram: sensibilidade igual a 89,7%, especificidade igual a 89,7% e acurácia igual a 89,7%.

Submitted by Daniella Santos (daniella.santos@ufma.br) on 2017-11-22T16:02:27Z No. of bitstreams: 1 HeygonAraújo.pdf: 4678551 bytes, checksum: 923410aa48c69f8cf3b40b930eaa71fb (MD5) / Made available in DSpace on 2017-11-22T16:02:27Z (GMT). No. of bitstreams: 1 HeygonAraújo.pdf: 4678551 bytes, checksum: 923410aa48c69f8cf3b40b930eaa71fb (MD5) Previous issue date: 2017-07-13 / The definition of the best sequence on route duplication of freight systems consists of a complex NP-hard problem. There exists a huge variety of meta-heuristics (MH) capable of generating satisfactory solutions. However, it is fastidious to know which MH will produce the best solution for a Duplication Sequence Problem (DSP). This paper proposes a process development methodology which guides to evaluate the best duplication sequence comparing the MH’s performance with existing approaches such as linear analytical method (LAM), and thus to ensure that the system has its capacity maximized in the possible shortest time interval. If this sequence is prioritized incorrectly, it tends to generate wastes such as time and currency in new routes which will not add system capacity in short term. The potential of this methodology is demonstrated by a case study in railways. / A definição da sequência ótima de duplicação em vias de sistemas de transportes de cargas consiste de um problema de complexidade intratável. Existem uma grande variedade de Meta-heurísticas (MHs) capazes de gerar soluções satisfatórias. Entretanto, é fastidioso conhecer a MH que produzirá a melhor solução para um dado Problema de Sequenciamento de Duplicação (PSD) . Não há na literatura uma metodologia para estruturar, planejar e controlar algoritmos e processos na modelagem das variedade de MHs aplicadas para encontrar a solução ótima neste tipo de problema. Este trabalho apresenta uma metodologia de desenvolvimento de processo o qual busca pela sequência ótima de duplicação em um dado sistema de transporte comparando a performance de MH com abordagens existentes, tais como método analítico lineares (MALs), e desta forma garantir que o sistema tenha sua capacidade maximizada no menor intervalo de tempo possível. Caso esta sequência seja priorizada de forma incorreta, a tendência será o desperdício de tempo e dinheiro em novas vias as quais não agrerarão capacidade ao sistema no curto prazo. O potencial desta metodologia é demonstrado através de um estudo de caso em ferrovias.

A associação entre os fármacos delapril (DEL) e manidipino (MAN) apresenta um efeito anti-hipertensivo sinérgico de longa duração, sendo considerada uma importante alternativa no tratamento e controle da hipertensão arterial. O presente trabalho faz referência à utilização de diversas técnicas instrumentais para avaliar a qualidade de DEL e MAN na forma farmacêutica e matérias-primas. Neste sentido, amostras de matérias-primas dos fármacos provenientes de diferentes fornecedores foram analisadas utilizando a calorimetria diferencial exploratória, termogravimetria, difração de raios X, espectrofotometria no infravermelho, espectroscopia Raman e microscopia eletrônica de varredura. Os resultados permitiram observar inconsistências entre as amostras de DEL, provavelmente devido à presença de uma impureza em uma das substâncias, demonstrando a importância da pesquisa e controle dos insumos farmacêuticos, bem como de programas de qualificação de fornecedores. Além disso, metodologias analíticas por espectrofotometria derivada, cromatografia líquida com detecção no ultravioleta (CL-UV) e CL acoplada à espectrometria de massas (EM) foram desenvolvidas objetivando a determinação de DEL e MAN nos comprimidos. Os procedimentos foram validados, cumprindo com os requisitos internacionalmente aceitos para especificidade, linearidade, precisão, exatidão, robustez e limites de detecção e quantificação, além de demonstrarem diferença não significativa (p > 0,05) entre si na quantificação simultânea dos fármacos. A estabilidade dos fármacos nas condições alcalina e fotolítica (para o DEL e MAN, respecivamente) também foi investigada. Através dos métodos por CL-UV e CL-EM pode-se propor a identidade dos principais produtos de degradação formados, os quais não apresentaram evidências de citotoxicidade em estudo utilizando células mononucleares humanas. Além disso, os estudos de cinéticas de degradação indicaram que o DEL segue uma cinética de primeira ordem (R2 = 0,9991) enquanto o MAN segue uma reação de ordem zero (R2 = 0,9867). De forma adicional, foi desenvolvido e validado um método de dissolução para avaliação de comprimidos contendo DEL e MAN. O uso de tampão citrato pH 3,2 como meio de dissolução e dispositivo pá a 75 rpm demonstrou resultados satisfatórios para a avaliação da liberação simultânea dos fármacos do produto farmacêutico, bem como capacidade de simular o comportamento in vivo do MAN a partir de dados da literatura. Desse modo, estabeleceram-se procedimentos analíticos que podem ser aplicados para aprimorar o controle da qualidade dos medicamentos a serem comercializados, bem como contribuir para garantir a segurança e eficácia no uso terapêutico. / The association of delapril (DEL) and manidipine (MAN) has a synergic antihypertensive effect and may be regarded as an important alternative to arterial hypertension treatment. The present study refers to use of some instrumental techniques to assess the quality of DEL and MAN in pharmaceutical formulation and raw materials. In this context, samples of the drugs raw materials, obtained from different suppliers, were evaluated using differential scanning calorimetry, thermogravimety, X-ray powder diffraction, infrared spectroscopy, Raman spectroscopy and scanning electron microscopy. Inconsistent results were observed between DEL samples, probably due to an impurity presence in some substance, demonstrating the importance of research and control of pharmaceutical ingredients, as well as the quality programs of pharmaceuticals suppliers. In addition, a derivative spectrophotometric, liquid chromatography (LC) and LC coupled to mass spectrometry (MS) methods were developed for simultaneous analysis of DEL and MAN in commercial tablets. The procedures were validated and the results were in accordance with internationally accepted requirements by specificity, linearity, precision, accuracy, robustness and detection and quantitation limits. Therefore, the methods were successfully applied for the simultaneous quantitative analysis of DEL and MAN in the tablet dosage form, showing non-significant difference (p > 0.05). The drugs stability in alkaline and photolytic conditions (for DEL and MAN, respectively) was also investigated. The main degradation products formed were analyzed by LC-UV and LC-ESI-MS methods and its identity could be suggested, without isolation or purification processes. Additionally, the degradation kinetic of both drugs and the cytotoxicity of the degraded samples were also studied. No evidence of cytotoxicity in human mononuclear cells was observed for drugs degraded samples. Furthermore, the present study also conducted the development and validation of a dissolution method for DEL and MAN combination tablets. The use of citrate buffer pH 3.2 as dissolution medium in combination with paddle at rotation of 75 rpm, resulted in an appropriate dissolution profile of both drugs, allowing the simultaneous quality control of DEL and MAN in combination tablets, as well as the ability to simulate the in vivo behavior of MAN from literature data. Then, the established procedures can be applied to improve the quality control of the products that will be marketed, as well as to contribute for assure the safety and therapeutic efficacy of the drugs.

Submitted by Sandro Camargo (sandro.camargo@unipampa.edu.br) on 2015-05-08T02:50:46Z No. of bitstreams: 1 127110044.pdf: 1980288 bytes, checksum: 8b5f5461083c2fddcb65dc2aa052e8ee (MD5) / Made available in DSpace on 2015-05-08T02:50:46Z (GMT). No. of bitstreams: 1 127110044.pdf: 1980288 bytes, checksum: 8b5f5461083c2fddcb65dc2aa052e8ee (MD5) Previous issue date: 2014-07-25 / O ciprofibrato é um fármaco hipolipemiante amplamente utilizado para o tratamento de hipertrigliceridemia. Encontra-se comercialmente disponível na forma de comprimidos e cápsulas manipuladas, e, até o momento, não existem monografias oficiais para o controle de qualidade em suas formas farmacêuticas. O presente trabalho objetivou o desenvolvimento e validação de método cromatográfico indicativo de estabilidade para análise quantitativa do ciprofibrato nas formas farmacêuticas comerciais, desenvolvimento de ensaio de dissolução, avaliação da estabilidade do fármaco em condições de degradação forçada, contemplando a determinação da cinética de fotodegradação e o estudo da citotoxicidade do fármaco em presença dos produtos de degradação. A validação do método analítico foi realizada de acordo os principais Guias Oficiais, considerando os seguintes parâmetros analíticos: especificidade, linearidade, precisão, exatidão e robustez. O método cromatográfico descrito nesse trabalho demonstrou-se adequado para determinação de ciprofibrato em comprimidos e cápsulas manipuladas. O método de dissolução foi desenvolvido e validado para avaliação da liberação do fármaco em comprimidos seguindo os parâmetros de especificidade, linearidade, precisão, exatidão e robustez. O meio utilizado foi ácido clorídrico com adição de 1 % de lauril sulfato de sódio, aparato pás, rotação de 50 rpm e quantificação por espectrofotometria na região do ultravioleta. A cinética de fotodegradação em acetonitrila, frente à luz UVC 254 nm apresentou reação de segunda ordem para a matéria-prima e ambas as formas farmacêuticas. A avaliação da citotoxicidade indicou que a amostra de ciprofibrato na presença dos produtos de degradação obtidos na fotólise não aumenta seu efeito tóxico quando comparado ao fármaco intacto. Os resultados obtidos neste trabalho demonstram a importância do aprofundamento dos estudos nesta área para garantir a segurança e eficácia terapêutica dos produtos farmacêuticos comercializados. / Ciprofibrate is a hypolipidemic drug widely used to treat hypertriglyceridemia. It is commercially available as tablets and capsules, and, nowadays, there are no official monographs regarding the quality control to this drug in its pharmaceutical forms. The present study aimed to develop and validate a stability indicating chromatographic method for quantitative analysis of ciprofibrate in commercial pharmaceutical forms, development of the dissolution test, to evaluate the drug stability under forced degradation, comprising the determination of the photodegradation kinetics and the study of drug cytotoxicity in the presence of the degradation products. The validation of the analytical method was performed according to parameters described in the Official Guides considering the following analytical parameters: specificity, linearity, precision, accuracy and robustness. The method described in this work had demonstrated to be adequate for ciprofibrate determination in tablets and capsules. The dissolution study was conducted by paddle method (50 rpm) at 37 ± 0,5 °C in 900 mL of hydrochloric acid with addition of 1 % sodium lauryl sulfate, and quantification by spectrophotometry in the ultraviolet. The photodegradation kinetics in acetonitrile under UVC light showed a second-order kinetics for the raw material and both dosage forms. The cytotoxicity evaluation indicated that the ciprofibrate sample in the presence of the degradation products obtained under photolysis does not increase its toxic effect when compared to the intact drug. The results demonstrate the importance of this type of study to ensure the safety and efficacy of marketed pharmaceutical products.

O transporte aéreo e a indústria de sistemas de defesa foram setores pioneiros na utilização de sistemas computacionais críticos, incrementando os níveis de automação nas atividades de controle do espaço aéreo. Com o crescimento desses setores, verificado pela expansão dos números de vôos, volumes de cargas e usuários, assim como pela ampliação e diversidade das operações militares, os sistemas de controle têm assumido maior complexidade técnica, introduzindo novos recursos de automação ou facilidades adicionais de apoio para funções exercidas manualmente. Essa situação tem ampliado a dependência dos serviços prestados, relativamente à disponibilidade dos sistemas computacionais. Diretrizes de projeto e procedimentos operacionais são estabelecidos para manter os níveis de segurança nos casos de falha, no entanto a disponibilidade torna-se parâmetro crítico, na medida em que algumas falhas podem afetar a eficiência nominal da prestação dos serviços. Nesse cenário, este trabalho propõe um modelo para avaliação da disponibilidade de sistemas de controle do espaço aéreo, a partir de recursos de análises da teoria de filas. Inicialmente é citado um modelo geral para análise de disponibilidade de data centers. Em seguida, é apresentada uma extensão do modelo geral para análise da disponibilidade em sistemas de controle do espaço aéreo. Para isso, considerou-se a intervenção humana existente nessa atividade, cujas decisões de controle são exercidas por operadores qualificados (controladores), tanto nas atividades inerentes ao serviço de controle, quanto nos casos de degradação, nos quais os operadores ou técnicos de manutenção assumem alguma tarefa de reparo, decorrente da eventual indisponibilidade de funções do sistema. / Due to the growth in airspace utilization, which can be verified both in terms of the expansions in aerial movements, airports and volumes of transported passengers and cargo, as well as in terms of the expansion of military operations demands and diversity, airspace control activities have been increasing their technical complexity, introducing new features into the existent automation systems or creating additional resources for the automation of some functions previously performed by human operators. This situation has increased the dependence on the availability of the computer systems involved in the services provided by control centers. Project directives and operational procedures are established in order to maintain the safety integrity levels of the systems, in case any failure occurs. However, the availability becomes a critical parameter, once failure events can force an undesirable state of degraded operation, jeopardizing the nominal capacity of the services being performed through any controlled airspace. In this scenario, this work presents an availability model for the computer systems used in airspace control centers, based on analysis from queuing theory. A general model is first presented, referencing a case study that describes the use of queuing models to access the availability of generic data centers. Further considerations are introduced to extend this general model in order to propose its application for the specific computer systems used in airspace control centers, where operational control relies on human activities. In this case, system operation involves intensive use of human-machine interfaces (HMI), for the regular control services provided, and additional technical or operational maintenance activities, occasionally imposed to repair a momentary loss of any function of the system.

Os eventos de escassez hídrica observados nos últimos anos e o aumento populacional no Estado de São Paulo têm conduzido à maior explotação de água subterrânea do Sistema Aquífero Guarani (SAG) para abastecimento público. Somente no município de Bauru/SP, está previsto um aumento da vazão de água extraída deste Aquífero de 3.699 m3/h (2014) para 4.465 m3/h (2034). Entretanto, a superexplotação em longo prazo do Aquífero pode comprometer a quantidade de água disponível. O Método de Elementos Analíticos foi utilizado para a modelagem do escoamento em regime permanente, considerando o escoamento regional, a extração de água por poços e os principais condicionantes geológicos locais. Observou-se que o gradiente hidráulico do SAG na cidade de Bauru é de aproximadamente 0,82 m/km. Os poços públicos que operam em regime de escoamento confinado estão localizados a nordeste da cidade. O rebaixamento esperado devido ao cenário previsto pelo DAE, em 2034, é de até 15 m com relação ao cenário atual (2014). Este rebaixamento pode ser controlado em até 5 m, reduzindo em 20% a vazão média anual de todos os poços, e em até 10 m, reduzindo em 10% a vazão média anual de todos os poços localizados na área central. A extração de água do SAG em Bauru/SP pode causar o rebaixamento de até 15 m nas cidades mais próximas (Piratininga e Agudos) e pouco interfere no escoamento de água do SAG das cidades mais distantes. Finalmente, os mapas potenciométricos e de rebaixamento gerados pelo modelo analítico são adequados para a análise do escoamento de água subterrânea e podem auxiliar no gerenciamento de recursos hídricos. / The recent drought events and the population growth in São Paulo State (Brazil) have caused many municipalities to increase the groundwater exploitation of the Guarani Aquifer System (GAS). In the city of Bauru/SP, the extraction of water from the Aquifer is expected to increase from 3,699 m3/h, in 2014, to 4,465 m3/h, by 2034. However, the long-term overexploitation of the Aquifer may compromise the amount of available water. The Analytical Element Method was used for the groundwater flow modeling in steady state. The regional flow, the water extraction by wells and the main local geological conditions were considered. The hydraulic gradient in the GAS in Bauru is approximately 0.82 m/km. The public wells in operation in confined flow regime are located in the eastern region of the city. The expected drawdown caused by the scenario predicted by the Department of Water and Wastewater of Bauru, in 2034, can reach 15 m, in comparison with the current situation (2014). Such lowering can be controlled up to 5 m, reducing 20% of the average annual groundwater flow rate of all wells, and up to 10 m, reducing 10% of the annual flow rate of all wells located in the critical area. The GAS groundwater extraction in Bauru/SP may cause the lowering of up to 15 m in nearby cities (Piratininga and Agudos) and has negligible interference in the groundwater flow in the GAS of distant cities. Finally, the potentiometric and drawdown maps generated by the analytical model are suitable for the analysis of groundwater flow and can be useful for the management of water resources.