EIT: Escalonador Inteligente de Transações

In order to guarantee database consistency, a database system should synchronize operations of concurrent transactions. The database component responsible for such synchronization is the scheduler. A scheduler synchronizes operations belonging to different transactions by means of concurrency control protocols. Concurrency control protocols may present different behaviors: in general, a scheduler behavior can be classified as aggressive or conservative. This paper presents the Intelligent Transaction Scheduler (ITS), which has the ability to synchronize the execution of concurrent transactions in an adaptive manner. This scheduler adapts its behavior (aggressive or conservative), according to the characteristics of the computing environment in which it is inserted, using an expert system based on fuzzy logic. The ITS can implement different correctness criteria, such as conventional (syntactic) serializability and semantic serializability. In order to evaluate the performance of the ITS in relation to others schedulers with exclusively aggressive or conservative behavior, it was applied in a dynamic environment, such as a Mobile Database Community (MDBC). An MDBC simulator was developed and many sets of tests were run. The experimentation results, presented herein, prove the efficiency of the ITS in synchronizing transactions in a dynamic environment

Um ambiente computacional para modelagem simbólica de sistemas físicos lineares

Este trabalho propõe um ambiente computacional aplicado ao ensino de sistemas de controle, denominado de ModSym. O software implementa uma interface gráfica para a modelagem de sistemas físicos lineares e mostra, passo a passo, o processamento necessário à obtenção de modelos matemáticos para esses sistemas. Um sistema físico pode ser representado, no software, de três formas diferentes. O sistema pode ser representado por um diagrama gráfico a partir de elementos dos domínios elétrico, mecânico translacional, mecânico rotacional e hidráulico. Pode também ser representado a partir de grafos de ligação ou de diagramas de fluxo de sinal. Uma vez representado o sistema, o ModSym possibilita o cálculo de funções de transferência do sistema na forma simbólica, utilizando a regra de Mason. O software calcula também funções de transferência na forma numérica e funções de sensibilidade paramétrica. O trabalho propõe ainda um algoritmo para obter o diagrama de fluxo de sinal de um sistema físico baseado no seu grafo de ligação. Este algoritmo e a metodologia de análise de sistemas conhecida por Network Method permitiram a utilização da regra de Mason no cálculo de funções de transferência dos sistemas modelados no software

Estudo dos procedimentos utilizados para obtenção de microrretenções na superfície interna da porcelana: avaliação por meio de testes de rugosimetria e microscopia eletrônica de varredura

Pós-graduação em Ciências Odontológicas - FOAR

FLEXLAB: Middleware de virtualização de hardware para gerenciamento centralizado de computadores em rede

Pós-graduação em Ciência da Computação - IBILCE

Predição do sequestro do carbono em área reflorestada utilizando redes neurais artificiais

Pós-graduação em Engenharia Mecânica - FEIS

Relações entre estrutura sócio-espacial e fluxos gênicos em uma população de mouflons mediterrâneos (Ovis gmelini)

Pós-graduação em Genética e Melhoramento Animal - FCAV

Investigação experimental de estratégias de identificação e controle LPV aplicadas ao amortecimento de oscilações eletromecânicas em sistemas elétricos de potência

Nesta tese e realizada a investigação experimental de uma estratégia de controle LPV (do inglês, linear parameter varying) aplicada ao amortecimento de oscilações eletromecânicas em sistemas elétricos de potencia. O estudo foi realizado em um modelo de sistema de potencia em escala reduzida de 10kVA, cuja configuração e do tipo maquina interligada a uma barra infinita, alem de testes em campo em uma unidade geradora de 350 MVA da Usina Hidrelétrica de Tucuruvi. Primeiramente, foi desenvolvido e testado computacionalmente um conjunto de rotinas para analise e síntese de controlador amortecedor do tipo LPV, bem como para identificação de modelos LPV da planta. Os coeficientes do controlador amortecedor LPV, no caso um Estabilizador de Sistemas de Potencia (ESP), dependem do valor de uma variável de operação selecionada que, neste estudo, foram as potencias ativa (P) e reativa (Q) nos terminais da unidade geradora. Para fins de projeto, a dinâmica da planta foi representada através de um modelo ARX LPV, o qual foi estimado a partir de dados coletados experimentalmente na planta, para uma ampla faixa de condições operacionais. A partir do modelo LPV da planta, os valores dos parâmetros do ESP LPV foram determinados via um problema de otimização convexa, na forma de uma LMI parametrizada (PLMI). A solução da PLMI e obtida a partir de uma relaxação via decomposição em soma de quadrados. O ESP LPV foi projetado de modo a garantir a estabilidade e o desempenho do sistema para uma ampla faixa de condições operacionais da planta, o que geralmente não e possível de obter com controladores convencionais a parâmetros fixos. A lei de controle amortecedor do ESP LPV foi implementada em um sistema embarcado baseado em um controlador digital de sinais. Os resultados experimentais mostraram um excelente desempenho do ESP LPV no amortecimento de oscilações eletromecânicas, tanto no sistema de potencia em escala reduzida, quanto em uma unidade geradora da UHE de Tucurui.

Estratégias de controle de ordem fracionária aplicadas ao amortecimento de oscilações eletromecânicas em sistemas elétricos de potência

Neste trabalho é proposta uma nova metodologia de projeto de estabilizadores de sistemas de potência baseada em teoria de sistemas de ordem fracionária (ESP-OF). A estratégia é baseada em uma generalização do projeto de compensadores do tipo rede avançoatraso (lead-lag) para o domínio de funções de transferência de ordem fracionária. Uma nova variável de projeto, a qual define a ordem da dinâmica fracionária do controlador, é sintonizada para se obter um compromisso entre um bom desempenho no amortecimento do modo eletromecânico dominante e uma robustez ampliada do ESP-OF. O desempenho do ESP-OF foi avaliado experimentalmente, em um sistema de potência em escala reduzida, localizado no Laboratório de Sistemas de Potência da Universidade Federal do Pará. A referida planta de teste apresenta uma estrutura típica do tipo gerador síncrono conectado a um barramento infinito e exibe um modo dominante de oscilação eletromecânica, de amortecimento extremamente reduzido, cujo valor da frequência natural é em torno de 1,2 Hz. O ESP-OF foi então projetado para ampliar o amortecimento relativo desse modo alvo, para toda a faixa de operação admissível. Para fins de implementação prática, primeiramente foram realizados testes experimentais para a identificação de um modelo nominal da planta, sob a forma de uma função de transferência pulsada, para uso na fase de projeto. O modelo obtido experimentalmente foi então validado e posteriormente utilizado tanto para o projeto do ESP-OF quanto para o projeto de um ESP convencional (utilizado para fins de comparação de desempenho). As leis de controle amortecedor do ESP-OF foram calculadas, convertidas para a forma de equações a diferenças e, subsequentemente, embarcadas em sistema digital baseado em microcontrolador DSPIC. Diversos testes de resposta ao impulso foram realizadas sob diferentes condições operacionais. As respectivas respostas dinâmicas dos sinais de saída da planta (desvio de potencia ativa) e do esforço de controle foram registradas para fins de análise. Os resultados experimentais mostraram que o ESP fracionário apresentou um desemprenho dinâmico e robustez similar em comparação com o desempenho obtido por um ESP convencional, para toda a faixa de operação investigada.

O difícil caminho da reforma: A polícia e os limites do processo de reforma pós-redemocratização

A transition of Brazil from a juridico-political system of exception to a democracy was accompanied by several legal and institutional reform processes, aimed at the gradual elimination of so-called authoritarian rubble and the implementation of instruments of the democratic system, based on recognized citizenship and justice. However, to this day the extent and effects of those reforms can be questioned, especially in light of the increased public demand for justice and citizenship. The article The Difficult Path to Reform: The Police and Limits of the Post-Redemocratization Reform Process shows that the route to reform, above all in the sphere of police agencies, is a tortuous one, with an extensive agenda of problems and solutions, demanding research on the part of academics in order to form an understanding of the resistance to change and to new paradigms that define the public security agenda.

Preventive diagnosis of dairy cow lameness

This research aimed to develop a Fuzzy inference based on expert system to help preventing lameness in dairy cattle. Hoof length, nutritional parameters and floor material properties (roughness) were used to build the Fuzzy inference system. The expert system architecture was defined using Unified Modelling Language (UML). Data were collected in a commercial dairy herd using two different subgroups (H-1 and H-2), in order to validate the Fuzzy inference functions. The numbers of True Positive (TP), False Positive (FP), True Negative (TN), and False Negative (FN) responses were used to build the classifier system up, after an established gold standard comparison. A Lesion Incidence Possibility (LIP) developed function indicates the chances of a cow becoming lame. The obtained lameness percentage in H-1 and H-2 was 8.40% and 1.77%, respectively. The system estimated a Lesion Incidence Possibility (LIP) of 5.00% and 2.00% in H-1 and H-2, respectively. The system simulation presented 3.40% difference from real cattle lameness data for H-1, while for H-2, it was 0.23%; indicating the system efficiency in decision-making.

Detecção de impressões digitais falsas no reconhecimento biométrico de pessoas

Pós-graduação em Ciência da Computação - IBILCE

O derramamento do Espírito : fortalecimento dos enfraquecidos

Esta tese se insere dentro da leitura bíblica latino-americana trazendo, nessa ótica, a riqueza e o desafio do que significa ler a Bíblia a partir de um contexto de opressão como é o nosso continente. Nos servimos do roteiro das ciências bíblicas e dos métodos exegéticos modernos. É uma pesquisa bibliográfica onde, eventualmente, consideramos o nível experiêncial, por exemplo quando trabalhamos o tema do derramamento do Espírito nos pentecostais chilenos. Esse capítulo, IV, segue o roteiro da hipótese central de nossa tese na medida que firmamos o princípio de que os pentecostais fazem parte do amplo e diverso grupo dos enfraquecidos como produto de um sistema excludente, baseado na exploração social. Numa situação de crise, o anúncio do derramamento do Espírito é um sinal de salvação, de perspectivas futuras, de conservação e prolongação da vida. Esta tese relê o tema do derramamento do Espírito, a partir de Jl 3,1-5. O tema é analisado num contexto social concreto, onde os enfraquecidos recebem o Espírito do Senhor. O eixo que nos permite fazer esta leitura encontra sua referencial nas pessoas setores sociais - mencionadas como beneficiadas diretas da ação do Espírito. São pessoas que representam setores diferentes; jovens, escravos e escravas, formam o grupo que sustenta e faz funcionar o sistema imperial persa grego - baseado na exploração e mão de obra barata. Eles, juntamente com os idosos que não produzem mais, são a base de sustentação da pirâmide social. Como demostraremos no decorrer da tese, nossa hipótese somente é possível se duas conjunturas se cruzam. Para isso, em num primeiro momento, localizamos e demostramos que o livro de Joel deve ser situado no contexto da literatura apocalíptica (nascimento). Em seguida, demonstramos que o livro de Joel, como produto literário final, deve ser localizado no contexto histórico do pós-exílio, isto é, no tempo dos impérios persa e grego. A confirmação destes dois aspectos desenvolvidos nos capítulos I e II, nos permitem, na análise literária, capítulo III, aprofundar, mediante a análise exegética, e confirmar a nossa hipótese central. Com estes três capítulos demostramos que o derramamento do Espírito do Senhor tem como destinatários preferenciais, senão exclusivos, os setores enfraquecidos pela política social, econômica e religiosa dos impérios persa e grego. Com estes três capítulos desenvolvidos, no quarto capítulo analisamos uma experiência concreta, de um setor majoritariamente pobre que tem se apropriado do texto de Jl 3,1-5, e encontrado nele uma alternativa social, política e religiosa para se manter fiel ao Senhor e por quase um século recria e revive a experiência do derramamento do Espírito. Os velhos, os jovens, os escravos e as escravas, formam o setor dos enfraquecidos. É o setor que nada espera, e que nada terá da parte dos impérios e que, como os pentecostais, pela sua situação de enfraquecimento, acredita que somente uma intervenção externa pode mudar o seu futuro, pode trazer de volta a esperança. Essa intervenção externa começa a ser possível pelo derramamento do Espírito e se concretiza na chegada do dia de Javé, que será grande e terrível, onde o sol e a lua se unem para indicar o monte de Sião e a cidade de Jerusalém como lugar de adoração, refúgio e salvação. Esta perspectiva da ação do Espírito é possível somente no período do pós-exílio. Nesse tempo o Espírito adquire uma dimensão ampla e inclusiva agindo sobre diversos setores sociais, independe de serem ou não judeus.(AU)

A aposta portuguesa na biotecnologia sob o impulso da integração europeia

Os grandes países científicos, em especial a partir da década de 1970, introduziram políticas estatais de incremento das novas biotecnologias, instigados pela ideia de declínio de um sistema tecnológico baseado em indústrias mecânicas e pela crise petrolífera. O presente artigo delineia uma panorâmica da implementação deste domínio científico- -tecnológico em Portugal nos finais do século xx. Da fundação da Sociedade Portuguesa de Biotecnologia (1981) até à adoção da Estratégia de Lisboa (2000), incluindo assim o momento de adesão portuguesa à então cee (1986), expõe-se a dinâmica das políticas científicas e tecnológicas, bem como a utilização de fundos europeus, orientados para o desenvolvimento das biotecnologias. Este é um processo que ilustra em Portugal tra- ços fundamentais do atual regime de produção e regulação do conhecimento.

O derramamento do Espírito : fortalecimento dos enfraquecidos

Esta tese se insere dentro da leitura bíblica latino-americana trazendo, nessa ótica, a riqueza e o desafio do que significa ler a Bíblia a partir de um contexto de opressão como é o nosso continente. Nos servimos do roteiro das ciências bíblicas e dos métodos exegéticos modernos. É uma pesquisa bibliográfica onde, eventualmente, consideramos o nível experiêncial, por exemplo quando trabalhamos o tema do derramamento do Espírito nos pentecostais chilenos. Esse capítulo, IV, segue o roteiro da hipótese central de nossa tese na medida que firmamos o princípio de que os pentecostais fazem parte do amplo e diverso grupo dos enfraquecidos como produto de um sistema excludente, baseado na exploração social. Numa situação de crise, o anúncio do derramamento do Espírito é um sinal de salvação, de perspectivas futuras, de conservação e prolongação da vida. Esta tese relê o tema do derramamento do Espírito, a partir de Jl 3,1-5. O tema é analisado num contexto social concreto, onde os enfraquecidos recebem o Espírito do Senhor. O eixo que nos permite fazer esta leitura encontra sua referencial nas pessoas setores sociais - mencionadas como beneficiadas diretas da ação do Espírito. São pessoas que representam setores diferentes; jovens, escravos e escravas, formam o grupo que sustenta e faz funcionar o sistema imperial persa grego - baseado na exploração e mão de obra barata. Eles, juntamente com os idosos que não produzem mais, são a base de sustentação da pirâmide social. Como demostraremos no decorrer da tese, nossa hipótese somente é possível se duas conjunturas se cruzam. Para isso, em num primeiro momento, localizamos e demostramos que o livro de Joel deve ser situado no contexto da literatura apocalíptica (nascimento). Em seguida, demonstramos que o livro de Joel, como produto literário final, deve ser localizado no contexto histórico do pós-exílio, isto é, no tempo dos impérios persa e grego. A confirmação destes dois aspectos desenvolvidos nos capítulos I e II, nos permitem, na análise literária, capítulo III, aprofundar, mediante a análise exegética, e confirmar a nossa hipótese central. Com estes três capítulos demostramos que o derramamento do Espírito do Senhor tem como destinatários preferenciais, senão exclusivos, os setores enfraquecidos pela política social, econômica e religiosa dos impérios persa e grego. Com estes três capítulos desenvolvidos, no quarto capítulo analisamos uma experiência concreta, de um setor majoritariamente pobre que tem se apropriado do texto de Jl 3,1-5, e encontrado nele uma alternativa social, política e religiosa para se manter fiel ao Senhor e por quase um século recria e revive a experiência do derramamento do Espírito. Os velhos, os jovens, os escravos e as escravas, formam o setor dos enfraquecidos. É o setor que nada espera, e que nada terá da parte dos impérios e que, como os pentecostais, pela sua situação de enfraquecimento, acredita que somente uma intervenção externa pode mudar o seu futuro, pode trazer de volta a esperança. Essa intervenção externa começa a ser possível pelo derramamento do Espírito e se concretiza na chegada do dia de Javé, que será grande e terrível, onde o sol e a lua se unem para indicar o monte de Sião e a cidade de Jerusalém como lugar de adoração, refúgio e salvação. Esta perspectiva da ação do Espírito é possível somente no período do pós-exílio. Nesse tempo o Espírito adquire uma dimensão ampla e inclusiva agindo sobre diversos setores sociais, independe de serem ou não judeus.(AU)

Critério de correntropia no treinamento de redes fuzzy wavelet neural networks para identificação de sistemas dinâmicos não lineares

The great interest in nonlinear system identification is mainly due to the fact that a large amount of real systems are complex and need to have their nonlinearities considered so that their models can be successfully used in applications of control, prediction, inference, among others. This work evaluates the application of Fuzzy Wavelet Neural Networks (FWNN) to identify nonlinear dynamical systems subjected to noise and outliers. Generally, these elements cause negative effects on the identification procedure, resulting in erroneous interpretations regarding the dynamical behavior of the system. The FWNN combines in a single structure the ability to deal with uncertainties of fuzzy logic, the multiresolution characteristics of wavelet theory and learning and generalization abilities of the artificial neural networks. Usually, the learning procedure of these neural networks is realized by a gradient based method, which uses the mean squared error as its cost function. This work proposes the replacement of this traditional function by an Information Theoretic Learning similarity measure, called correntropy. With the use of this similarity measure, higher order statistics can be considered during the FWNN training process. For this reason, this measure is more suitable for non-Gaussian error distributions and makes the training less sensitive to the presence of outliers. In order to evaluate this replacement, FWNN models are obtained in two identification case studies: a real nonlinear system, consisting of a multisection tank, and a simulated system based on a model of the human knee joint. The results demonstrate that the application of correntropy as the error backpropagation algorithm cost function makes the identification procedure using FWNN models more robust to outliers. However, this is only achieved if the gaussian kernel width of correntropy is properly adjusted.