A grande maioria das empresas possui um ecossistema de software composto por um conjunto de aplicações, para auxiliar na tomada de decisões ou na melhoria dos seus processos de negócio. O campo de estudo integração de aplicações empresariais oferece ferramentas e metodologias para criar soluções de integração que possibilita que as aplicações do ecossistema, geralmente heterogêneas, possam trabalhar de maneira conjunta e sincronizada. Esta dissertação utiliza como caso de estudo uma solução de integração projetada para o problema de integração do sistema de currículos da agência nacional e tecnologia de Portugal. Esta solução, projetada com uma linguagem de modelagem de alto nível de abstração, é caracterizada como um sistema de eventos discretos. Existem vários paradigmas para a modelagem de sistemas de eventos discretos, dentre eles aqueles baseados em modelos probabilísticos. nesta dissertação, utiliza-se uma abordagem baseada em simulação com redes de Petri estocásticas para a identificação de gargalos de desempenho em soluções de integração, caracterizando, assim, uma solução como um processo probabilístico. Para a redução desses gargalos utilizou-se as redes de Petri Estocásticas Generalizadas. A simulação de uma solução de integração, a partir do seu modelo conceitual, possibilita a análise do seu comportamento ainda na fase de projeto, reduzindo custos, riscos e tempo no desenvolvimento da solução. Os resultados da simulação mostram que os gargalos de desempenho podem ser identificados ainda na fase de projeto e que é possível reduzi-los dedicando recursos computacionais às tarefas mais críticas do modelo. / 97 f.

As empresas, em seus processos de negócio desenvolvem ou compram aplicações que servem de base para apoiar a tomada de decisões e também para aperfeiçoar seus processos de negócio. Estas aplicações, que são desenvolvidas ou adquiridas pelas empresas, compõem seu ecossistema de software. As aplicações frequentemente são desenvolvidas sem a preocupação de integração, o que dificulta a possibilidade de reutilizar aplicações. A área da integração de aplicações empresariais (EAI) fornece metodologias, técnicas e ferramentas para que as empresas possam desenvolver soluções de integração, visando associar novas aplicações com as já existentes. Assim sendo, o problema abordado nessa dissertação visa analisar o comportamento de uma solução de integração de aplicações, no contexto da administração pública da cidade de Huelva (Espanha). Essa solução é responsável por gerar certificados digitais e unificar as bases de usuários que possuem acesso aos sistemas informáticos da administração. Essa pesquisa assume que é possível identificar gargalos de desempenho com base no modelo de simulação, obtido a partir do modelo conceitual da solução de integração ainda na fase de projeto, com auxílio da técnica matemática Redes de Petri temporizadas. Se um modelo conceitual for implementado com gargalos, poderá gerar falhas, que aumentam os custos, tempo e riscos na solução implementada. A simulação realizada possibilitou a análise de duas variáveis, o tempo associado às transições, e a quantidade de mensagens (tokens) em cada lugar (slot). Gargalos foram observados em alguns cenários de execução. / 121 f.

Os anti-inflamatórios não esteroidais (AINEs) são a classe de medicamentos mais comumente utilizada na rotina clínica e cirúrgica de animais de companhia. Além de reduzirem a inflamação, possuem propriedades analgésicas e antipiréticas. O uso indiscriminado e a exposição acidental aos AINEs associados com a hipotensão gerada pela anestesia geral são situações que podem contribuir para o surgimento de lesões renais agudas e isquêmicas. Desta forma, o presente trabalho objetivou o emprego de modelagem matemática baseada na Lógica Fuzzy para análise do comportamento renal em cadelas submetidas a cirurgias eletivas e tratadas com anti-inflamatórios apresentando diferente seletividade de ação de inibição das Cicloxigenases. O emprego da Lógica Fuzzy surge como alternativa para resolver incertezas que não conseguem ser expressas prelos modelos matemáticos existentes, minimizando possíveis erros ao modelar o comportamento de cada indivíduo envolvido no processo, realizando uma análise mais precisa e fiel a realidade, não descartando as subjetividades de cada animal, sendo para a medicina veterinária uma ferramenta para pesquisadores e especialistas no desenvolvimento de um diagnóstico adequado. O estudo ocorreu no Hospital Veterinário da Unijuí. Para o desenvolvimento desse projeto foram utilizados três grupos (10 animais cada) de cães, fêmeas, hígidas, submetidas à Ovariohisterectomia eletiva e tratadas durante três dias (no dia do procedimento cirúrgico e dois dias pós-cirúrgico) à base de AINEs. Durante o período experimental, foram realizadas análises laboratoriais para a detecção de injúria renal, bem como provas de função renal (ureia, creatinina, gama-glutamil-transpeptidase urinária e urinálise). Posteriormente a coleta dos dados realizou-se a modelagem matemática, partindo dos resultados obtidos para avaliar o dano renal em relação ao medicamento através da Cicloxigenase. Através do uso da análise de variância e do teste de médias constatou-se que para os diferentes protocolos AINES ocorreu pouca variação entre si, apresentando maior variação apenas da variável Ureia Sérica, além de, comprovarmos que as únicas variáveis com significância em relação ao tempo para serem utilizadas em um modelo matemático são a GGT urinária e Creatinina Urinária. Partindo dessas variáveis é possível, através de um Sistema Baseados em Regras Fuzzy (SBRF), simular o comportamento dessas duas variáveis comparando-as entre si, onde conseguimos 13 encontrar valores que quando comparados aos obtidos através nos exames de sangue e urina, mostram-se muito semelhantes, demonstrando assim que pode ser um auxiliar para determinar uma possível lesão renal. / 57 f.

Com o avanço tecnológico, as empresas que possuem aplicações para gerenciar seus processos de negócios necessitam, normalmente, trocar informações entre seus diferentes tipos de sistemas. Muitas vezes estas aplicações foram adquiridas por diferentes fornecedores em diferentes épocas, ocasionando dificuldades para trabalharem de forma única e sincronizada. Neste contexto, surge a área de Integração de Aplicações Empresariais que visa proporcionar metodologias, técnicas e ferramentas para a concepção e a implementação de soluções de integração. Para tanto, quando há uma grande demanda de recursos computacionais, esta solução pode apresentar problemas, sendo o mais comum o acúmulo de mensagens, o que ocasiona gargalos de desempenho. Para a elaboração de uma solução de integração algumas fases precisam ser seguidas: levantamentos de requisitos, análise, projeto, implementação e testes. Atualmente, os gargalos de performance são encontrados após a implementação e teste do sistema. Entretanto, isso demanda tempo e custo. Esta pesquisa propõe a análise do comportamento e identificação de possíveis gargalos de desempenho da solução de integração, com base na identificação do tempo de permanência das mensagens no sistema e no acúmulo de mensagens nas filas (slots) considerando diferentes prioridades de processamento, ainda na fase de projeto. Para isso desenvolveu-se um modelo formal de simulação a partir de um modelo conceitual usando Redes de Petri Colorida e Temporizada. A solução de integração analisada insere-se na área de publicidade e propaganda e foi desenvolvida pela tecnologia de integração Guaraná. O modelo proposto será validado por meio de técnicas formais de verificação presentes na literatura. / 84 f.

O mercado dinâmico e altamente competitivo faz com que as empresas se esforcem na busca pela qualidade, condição fundamental para uma organização que visa expandir seus negócios. Com isso, a Tecnologia de Informação, tornou-se um importante diferencial, pois auxilia no gerenciamento do negócio, agiliza e facilita a tomada de decisão. A medida que a empresa cresce, são adquiridas novas aplicações para atender novas demandas de negócios, muitas dessas aplicações nem sempre têm a mesma linguagem e plataforma de operação gerando, por sua vez, um emaranhado de aplicações distintas com fins específicos e sem comunicação umas com as outras. Neste cenário, surge a área de Integração de Aplicações Empresariais, termo do inglês Enterprise Application Integration (EAI), que busca proporcionar metodologias, técnicas e ferramentas para a concepção e a implementação de soluções de integração. Uma solução de integração tem o objetivo de orquestrar um conjunto de aplicações para mantê-las sincronizadas ou proporcionar novas funcionalidades que possam ser construídas a partir daquelas já existentes. Este trabalho tem por objetivo desenvolver um modelo formal de simulação utilizando redes de Petri Temporizadas a partir de um modelo conceitual de reservas de viagem. O modelo conceitual utilizado como caso de estudo foi projetado utilizando a tecnologia Guaraná. Este trabalho busca encontrar o tempo mínimo e máximo que uma mensagem leva para ser processada na solução de integração antes que ela seja implementada e implantada. Com isso, é possível identificar níveis de qualidade de serviço sem que haja a necessidade de implementar a solução, baseando-se apenas, na estrutura atual do modelo conceitual. O modelo formal desenvolvido foi simulado em cenários críticos de operação, utilizando cargas de entrada diferentes usando a ferramenta CPN Tools. Neste trabalho são utilizadas técnicas formais de verificação presentes na literatura para demonstrar a equivalência entre o modelo conceitual e o modelo de simulação. / 105 f.

Este trabalho trata da modelagem matemática e da identificação experimental das características não lineares em um protótipo de atuador pneumático do tipo cabo autoguiado, assim como a simulação computacional e a validação experimental do modelo proposto. Prevê-se a aplicação deste servoposicionador pneumático de baixo custo numa estufa agrícola robotizada. Atuadores pneumáticos tem sido um novo sistema de atuação emergente para a robótica por vários motivos, entre eles a interação segura com o meio ambiente ou humano e a alta densidade de energia, mas que apresentam algumas características de comportamento dinâmico que dificultam seu controle, tais como a compressibilidade do ar, a relação não linear da vazão nos orifícios da servoválvula de controle e o atrito nos atuadores. Para a descrição do comportamento dinâmico do atuador pneumático é proposto um modelo matemático não linear de 5ª ordem que apresenta a combinação do modelo da servoválvula com a do cilindro do tipo cabo, incluindo-se as não linearidades da zona morta, da vazão nos orifícios da servoválvula, da dinâmica das pressões nas câmaras do cilindro e do atrito dinâmico. Os resultados comparativos das simulações computacionais e dos testes experimentais validam o modelo matemático proposto e ilustram as características do protótipo desenvolvido para o atuador pneumático de cabo autoguiado construído com materiais poliméricos. Os resultados do controle clássico de posição demonstram que o protótipo atende às necessidades de resposta dinâmica para aplicação no acionamento de estruturas robóticas para estufas agrícolas. Essa pesquisa tem o propósito de contribuir com o estudo dos atuadores pneumáticos visando à aplicação na mecanização da agricultura de precisão de baixo custo, bem como contribuir didaticamente com futuras pesquisas. / 115 f.

A utilidade, comodidade e facilidade presentes no uso de dispositivos eletrônicos mó- veis, como celulares, tablets e notebooks, fez com que o mercado destes aparelhos expandisse. Além das vantagens citadas, estes dispositivos também fornecem aos seus usuários a possibilidade de mobilidade durante seu uso, pois são alimentados por baterias recarreg áveis. Deste modo, a funcionalidade destes aparelhos está diretamente ligada a suas baterias, o que torna importante o estudo do tempo de vida das mesmas. Uma alternativa para tal estudo é o emprego da modelagem matemática. Na literatura técnica há várias categorias de modelos matemáticos utilizados para realizar essa predição, entre eles estão os modelos analíticos, que são caracterizados por equações fundamentadas em leis físicas ou empíricas, possuem compreensão e implementações computacionais acessíveis, além de serem considerados de boa acurácia, podendo ser adaptados a diferentes tipos de baterias. Neste sentido, a presente pesquisa tem por objetivo avaliar cinco modelos analíticos, o modelo Linear, a Lei de Peukert, a Lei de Peukert Estendida, o modelo Ki- BaM e o modelo de Rakhmatov e Vrudhula, utilizando a teoria Estatística, estabelecendo critérios e considerando diferentes conjuntos de dados para a estimação dos parâmetros empíricos dos modelos. Critérios para a validação também foram estabelecidos. Além disto, investigou-se qual a metodologia mais indicada para a estimação dos parâmetros do modelo KiBaM, e qual a medida de tendência central é mais adequada para determinar a imprecisão nal dos modelos a partir dos erros obtidos para os per s de descarga utilizados na validação. Para validar os modelos, os tempos de vida simulados foram comparados com os tempos de vida obtidos de uma plataforma de teste, considerando oito baterias novas de Lítio Íon Polímero (Li-Po) modelo PL-383562-2C. Por m, é observado que a Lei de Peukert e o modelo de Rakhmatov e Vrudhula possuem maior acurácia que os demais quando seus parâmetros empíricos são estimados pelo método dos Mínimos Quadrados não linear, observa-se também que os modelos obtiveram melhores resultados quando seus parâmetros empíricos foram estimados com conjuntos de 4 e 6 dados, e que todos os modelos apresentaram boa acurácia, pois todos os erros foram inferiores a 5%. / 99 f.

O desenvolvimento tecnológico permite que diferentes dispositivos eletrônicos sejam capazes de executar cada vez mais um número maior de tarefas. Dentre estes dispositivos estão os dispositivos móveis, que pela utilização de uma bateria, agregam mobilidade e comodidade na execução de diferentes serviços, otimizando o tempo do usuário. Desta forma, o funcionamento do dispositivo está ligado diretamente ao tempo de vida da bateria, nesse contexto é importante o estudo acerca do desempenho e do comportamento da bateria frente a diferentes cenários de descarga. A predição do tempo de vida de baterias pode ser realizada através da modelagem matemática, que permite realizar a simulação de um processo de descarga real através de modelos matemáticos. Estes modelos são classificados em categorias: os modelos eletroquímicos, os modelos elétricos, os modelos analíticos, os modelos estocásticos, os modelos via teoria de identificação de sistemas e os modelos híbridos. Este trabalho é realizado utilizando a categoria de modelos híbridos. Estes modelos são constituídos através da união de pelo menos dois modelos pertencentes a categorias diferentes, conseguindo agregar as vantagens dos modelos utilizados nesta união. Neste sentido, o objetivo deste trabalho é realizar a modelagem matemática do tempo de vida de baterias utilizando os modelos híbridos encontrados na literatura técnica, realizando uma análise comparativa entre o nível de acurácia dos mesmos. São usados perfis de descarga constantes e os dados experimentais são obtidos de uma plataforma de testes, considerando baterias de Lítio Íon Polímero. Nos dados experimentais é realizado um tratamento estatístico, a fim de identificar a presença de valores outliers e médias experimentais diferentes estatisiticamente. As simulações computacionais são realizadas no software MatLab e as validações dos modelos híbridos ocorre através da comparação dos resultados das simulações com os dados obtidos da plataforma de testes. Após as validações, constatou-se que todos os modelos híbridos utilizados neste trabalho são acurados, apresentando erro médio inferior a 5%, independente da presença de valores outliers. Por fim, comparando os valores dos erros, é concluído que o modelo híbrido proposto por Zhang é o modelo mais acurado, seguido pelo modelo híbrido de Kim e de Gomes. Também foi possível observar que os menores erros foram encontrados na presença de valores outliers. / 99 f.

As condições dos grãos durante o período de colheita não são propícias ao armazenamento dos mesmos, pois estes apresentam índices elevados de umidade e impurezas, que podem ocasionar perdas significativas caso não sejam realizados os procedimentos de limpeza e secagem dos mesmos antes de armazená-los. Dentre as medidas preventivas contra a perda de grãos póscolheita, a principal é a secagem, que consiste em retirar o excesso de água presente nos grãos sem alterar suas propriedades físicas, químicas e biológicas. Este trabalho tem como objetivo modelar matemática e computacionalmente o escoamento de grãos em um secador de calhas com fluxo misto, utilizando-se para isso o método dos elementos discretos (MED), a fim de investigar os efeitos que as propriedades físicas e morfológicas dos grãos exercem sobre seu escoamento. A fim de validar os parâmetros inseridos no modelo, inicialmente foram realizados experimentos e estes foram replicados com a utilização do método dos elementos discretos em simulações computacionais 3D e quasi-2D (com espessuras de 4 a 7 partículas na dimensão reduzida). Posteriormente, os resultados das simulações foram confrontados com resultados de experimentais. Os resultados indicam que o método dos elementos discretos foi capaz de simular corretamente o escoamento de grãos nos aparatos experimentais, tanto para simulações 3D, quanto para simulações quasi-2D, apresentando uma pequena divergência entre os dados experimentais e os dados das simulações, contudo, pode-se observar que entre os ambientes 3D e quasi-2D com espessura de 7 partículas os resultados são praticamente idênticos. A partir desta constatação, um ambiente de simulação quasi-2D com espessura de 7 partículas, replicando a geometria interna de um secador de fluxo misto foi desenvolvido, utilizando fronteiras periódicas em todos os eixos. Os resultados apresentam concordância com os dados apresentados na literatura por autores que realizaram experimentos de escoamento de grãos em geometrias de secadores de fluxo misto. Além disso, pode-se constatar que o fluxo de grãos apresenta escoamento consideravelmente mais lento nas regiões abaixo das calhas de entrada e saída de ar. Desta forma, pode-se concluir que a utilização de simulações quasi-2D com esta espessura podem ser utilizadas para simular experimentos com acurácia similar à obtida em simulações 3D. / 90 f.

O uso de aplicações é importante para dar suporte aos processos de negócios das empresas. No entanto, a maior parte destas aplicações não foram projetadas para trabalhar de forma colaborativa. Uma solução de integração orquestra um grupo de aplicações, permitindo a reutilização de dados e funcionalidades presentes nas mesmas. O desempenho de uma solução de integração depende da configuração correta do número de threads no motor de execução fornecido pelas plataformas de integração. Essa configuração tem impacto direto no desempenho das soluções de integração e é normalmente realizada a partir do conhecimento empírico dos engenheiros de software. Este número correto de threads pode ser encontrado por meio de modelos de simulação. Este trabalho apresenta uma metodologia e uma ferramenta para auxiliar na geração de modelos de simulação, com o objetivo de encontrar o número correto de threads para executar uma solução de integração e assim contribuir com a melhoria do desempenho das soluções. Também foram realizados diversos experimentos com um caso de estudo, para avaliar e validar o modelo de simulação gerado. / 83 f.