O presente trabalho é parte integrante de um projeto multidisciplinar cujo objetivo é construir uma ferramenta computacional capaz de simular a operação de uma Usina Termoelétrica tratando, especificamente, da câmara de reação (local da caldeira onde se desenvolve a queima do combustível). Foi desenvolvido um modelo matemático dinâmico, pseudo-homogêneo, unidimensional e, com propriedades físicas variáveis, com o objetivo de descrever a conversão do calor gerado pela combust em energia térmica, que está baseado em balanços de massa e energia. Este modelo foi implementado no simulador gPROMS e seus parâmetros foram estimados utilizando o módulo gEST deste software (método da máxima verossimilhança), com base em dados de operação da Usina e dados cinéticos de literatura. Para a simulação dinâmica da câmara de reação foi utilizado um método de integração implícita de passos múltiplos com ordem e passo variáveis. A câmara de combustão foi dividida em três zonas, sendo realizados, em cada zona, os balanços de massa e energia, adotando-se a hipótese de mistura perfeita. O modelo desenvolvido prevê o perfil de temperatura ao longo da câmara, as correntes de saída e a composição dos gases de combustão em cada zona; incluindo uma previsão aproximada da concentração dos poluentes formados, principalmente monóxido de nitrogênio e dióxido de enxofre. Os resultados apresentados mostraram que o modelo prediz satisfatoriamente a composição do gás de combustão na saída da câmara de reação e que a divisão da câmara em diferentes zonas de combustão é apropriada para avaliar a geração e o aproveitamento energético na caldeira.

Este trabalho tem como objetivo o levantamento e análise de fatores intervenientes na capacidade de processamento de veículos em cabines de praças de pedágio com o recolhimento manual de tarifas. Buscando o entendimento de como estes fatores interferem nos tempos de atendimento nas cabines foi realizada uma análise estatística e posterior modelagem, que utilizou redes neurais artificiais. Redes neurais artificiais são úteis no entendimento de problemas com alto grau de complexidade, que agregam diversas variáveis de entrada com relações não-lineares entre si. As variáveis de entrada escolhidas para a modelagem foram forma de pagamento, intensidade de fluxo, valor das tarifas e classes de veículos. A variável de saída foi o tempo de atendimento nas cabines de cobrança de pedágios. Foram obtidos três modelos que buscaram refletir a variação dos tempos de atendimento para um mesmo conjunto de dados de entrada: Modelo de Tempos Mínimos de Atendimento; Modelo de 85° Percentil de Tempos de Atendimento, e; Modelo de Tempos Máximos de Atendimento. As análises de sensibilidade dos modelos indicaram que tempos de atendimento são fortemente influenciados pelo fluxo de veículos nas praças. Quanto mais intenso o fluxo de veículos, tempos mínimos de atendimento tendem a sofrer leve aumento, indicando pequena perda de rendimento do processo. Perda de rendimento pode ser resultado de (i) necessidade de digitação das placas de licença dos veículos no sistema operacional das praças-dificuldade de visualização das mesmas em situação de filas, e (ii) desgaste físico dos arrecadadores. O desgaste físico dos arrecadadores também se apresenta como provável causa para o aumento de tempos mínimos de atendimento para fluxos altos. Quanto mais intenso o fluxo de veículos, menores são os tempos máximos de atendimento. Quanto maior o fluxo de veículos nas praças, as modelagens indicam uma maior estabilidade do sistema com relação ao processamento de veículos.

Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-11T12:30:10Z No. of bitstreams: 2 (dissertação_José_Eustáquio_Brainer_Neto).pdf: 7640320 bytes, checksum: 583b95d34c635c860bbb781613e515a6 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T12:30:10Z (GMT). No. of bitstreams: 2 (dissertação_José_Eustáquio_Brainer_Neto).pdf: 7640320 bytes, checksum: 583b95d34c635c860bbb781613e515a6 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-01-31 / O biorrefino da glicerina oriunda da fabricação do biodiesel, tornando a produção do biodiesel economicamente mais viável, leva à formação de produtos com elevados valores agregados. A primeira rota de valorização da glicerina estudada foi o processo de oxidação catalítica, onde os catalisadores com variados teores de platina, paládio e bismuto e suportados em carvão ativado, mostraram um bom desempenho em relação à formação de ácido glicérico. Nessa rota foram obtidos resultados expressivos da ordem de 83,5% de conversão e 81% em quimiosseletividade a T=40ºC e a P=1atm, já com o aumento da temperatura para T=60ºC, houve um aumento na conversão para 98,9% com uma diminuição na seletividade para 71,4%. Com isso, gerou-se uma boa perspectiva para produção em grande escala do ácido glicérico, a baixos custos de produção. A segunda rota de valorização da glicerina se deu a partir do processamento por hidrogenólise usando catalisadores constituídos de rutênio e níquel, com o objetivo do aumento de seletividade e rendimento na produção do 1,2-propanodiol. Os resultados obtidos com os catalisadores Ru(4%)-Ni(10%)/C e Ru(2%)-Ni(20%)/C estudados na hidrogenólise da glicerina mostraram seletividade em torno de 71,6% e 63,0% e rendimento em torno de 54,4% e 50,7%, respectivamente, quando comparados nas mesmas condições operacionais. Por fim, foi efetuada a modelagem cinética dos dados experimentais para a determinação dos parâmetros cinéticos e de equilíbrio envolvidos no processo.

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-11T19:46:33Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Ermeson Carneiro De Andrade.pdf: 4074311 bytes, checksum: 6b5b5cf26bd00821abaad692e167ee43 (MD5) / Made available in DSpace on 2015-03-11T19:46:34Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Ermeson Carneiro De Andrade.pdf: 4074311 bytes, checksum: 6b5b5cf26bd00821abaad692e167ee43 (MD5) Previous issue date: 2014 / Os softwares possuem defeitos. Os computadores falham. Os v´ırus se propagam. Os pr´edios pegam fogo. As pessoas cometem erros. Os desastres acontecem. Embora gostar ´ıamos que tais eventos nunca acontecessem, ´e prudente prover mecanismos que tratem as interrup¸c˜oes dos servi¸cos, pois o custo do downtime pode ser extremamente elevado. Dessa forma, as empresas tˆem investido cada vez mais em mecanismos de tratamento de interrup¸c˜oes, visto que as interrup¸c˜oes, sejam elas brandas ou severas, podem acontecer em qualquer lugar, a qualquer momento, com pouco ou nenhum aviso. Os sistemas distribu´ıdos (ex.: computa¸c˜ao em nuvem) tˆem sido largamente usados nos ´ultimos anos como um meio de recupera¸c˜ao de interrup¸c˜oes de modo que o sistema (infraestrutura e dados) ´e distribu´ıdo sobre um conjunto de servidores dispersos geograficamente e na ocorrˆencia de interrup¸c˜oes, outros servidores assumir˜ao a operacionalidade do sistema. A forma mais amplamente usada para modelar sistemas complexos (ex.: sistemas distribu´ıdos) ´e atrav´es das linguagens semiformais, tais como SysML (System Modelling Language) ou UML (Unified Modeling Language), devido principalmente `a sua nota¸c˜ao amig´avel e intuitiva. Os modelos semiformais gerados por essas linguagens, por si s´os n˜ao fornecem suporte para avalia¸c˜ao de dependabilidade/desempenho das especifica¸c˜oes dos sistemas. Dessa forma, faz-se necess´ario o mapeamento desses modelos semiformais para modelos anal´ıticos, pois modelos anal´ıticos s˜ao apoiados por fundamentos matem´aticos s´olidos, que suportam sua semˆantica precisa, estimulam a avalia¸c˜ao de desempenho/ dependabilidade e fornecem suporte para verifica¸c˜oes das propriedades qualitativas e an´alises. Os modelos anal´ıticos, no entanto, n˜ao s˜ao intuitivos e requerem um consider´avel esfor¸co por parte dos projetistas para entenderem a nota¸c˜ao usada. Portanto, ´e sensato adotar o uso colaborativo dos modelos semiformais e anal´ıticos. Este trabalho prop˜oe um framework baseado em m´etricas, modelos e ferramentas que auxilia os projetistas, os quais n˜ao possuem (ou possuem pouca) expertise em modelagem estoc´astica, a modelar e estudar os mecanismos de tratamento de interrup¸c˜oes e as infraestruturas dos sistemas distribu´ıdos, a partir de especifica¸c˜oes de alto n´ıvel, descritas atrav´es da SysML e MARTE. Para alcan¸car esse objetivo, prop˜oe-se o mapeamento dos diagramas anotados da SysML em modelos DSPN (Rede de Petri Determin´ıstica e Estoc´astica). Essa abordagem resulta num modelo cujas propriedades s˜ao garantidas e provˆe um conjunto de indicadores de dependabilidade dos mecanismos e do sistema. Ademais, a fim de mostrar a corretude e aplicabilidade do framework proposto, estudos de casos s˜ao apresentados.

Submitted by Chaylane Marques (chaylane.marques@ufpe.br) on 2015-03-12T19:50:41Z No. of bitstreams: 2 JoaoPacificoBezerraNeto_Dissertação_Mestrado_PPGG2012.pdf: 5337016 bytes, checksum: dd95563c1fc978c7a83bb7ff2526ef28 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-12T19:50:41Z (GMT). No. of bitstreams: 2 JoaoPacificoBezerraNeto_Dissertação_Mestrado_PPGG2012.pdf: 5337016 bytes, checksum: dd95563c1fc978c7a83bb7ff2526ef28 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012 / CAPES; CNPQ; FACEPE; BNB; FINEP / O feijão-caupi é uma das mais antigas leguminosas cultivadas, com destacada importância em áreas tropicais e subtropicais. No Brasil, é uma das principais fontes de nutrientes para a dieta humana e animal, representando 80% da produção de grãos nas regiões norte e nordeste. Entretanto, fatores como seca e salinidade (as duas principais adversidades ambientais em regiões semiáridas) têm prejudicado tanto a quantidade quanto a qualidade da produção do feijão-caupi. Neste sentido, o estudo de proteínas que agem como facilitadoras da passagem de água entre as membranas biológicas e na prevenção da passagem de íons e outros solutos na célula é fundamental para o entendimento de como algumas plantas respondem a tais adversidades. Entre estas proteínas as aquaporinas merecem atenção, tratandose de uma família de pequenas proteínas transmembranas (24-30 kDa), dividida em quatro subfamílias, incluindo as Proteínas de Membrana Plasmática (PIP), Proteínas de Membrana de Tonoplasto (TIP), Proteínas de Membrana de Nódulos (NIP) e Pequenas Proteínas Básicas Intrínsecas de Membrana (SIP). Apesar da grande quantidade de dados sobre aquaporinas nos vegetais, nada se sabe sobre estes transportadores em algumas culturas de importância econômica, como o feijãocaupi. Utilizando dados de EST (Expressed Sequence Tags), 37 transcritos candidatos a aquaporinas foram identificados em feijão-caupi por meio de buscas com ferramentas de bioinformática, onde 27 apresentavam o domínio íntegro e 10 encontravam-se incompletas. Análises fenéticas das sequências de aminoácidos dividiram esta família nas quatro subfamílias já conhecidas para outras espécies vegetais, sendo 11 PIPs (cinco PIP1 e seis PIP2), 10 TIPs (quatro TIP3 e seis TIP), quatro NIPs e duas SIPs. Os alinhamentos múltiplos gerados a partir das sequências com domínio MIP completo, indicaram que as regiões ar/R das aquaporinas do feijão-caupi, em sua maioria, são similares às presentes em Arabidopsis, milho e arroz, apontando para afinidades com o mesmo tipo de soluto transportado. A expressão dos transcritos foi observada em todos os tecidos vegetais, estando associadas ao transporte de diferentes tipos de solutos nos compartimentos celulares. As aquaporinas identificadas neste estudo representam um importante recurso genético, fornecendo alvos em potencial para modificar as propriedades do uso de água em feijão-caupi ou em outras leguminosas relacionadas.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-04-10T15:44:04Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Wamberto Raimundo da Silva Júnior.pdf: 1940210 bytes, checksum: 971f5df0600123a2580179a8fb6cec85 (MD5) / Made available in DSpace on 2015-04-10T15:44:04Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Wamberto Raimundo da Silva Júnior.pdf: 1940210 bytes, checksum: 971f5df0600123a2580179a8fb6cec85 (MD5) Previous issue date: 2013-02-27 / CNPq / Os reservatórios públicos de abastecimento de água na região do semiárido nordestino são considerados polos de subsistência da população local e do desenvolvimento regional. Nesses corpos hídricos, a degradação da qualidade ambiental e alteração do estado trófico vêm comprometendo o uso da água para diversos fins. Destarte, a existência de uma gestão integrada e o desenvolvimento de ferramentas de apoio são de suma importância para o processo de tomada de decisão na gestão dos recursos hídricos sob os aspectos quantitativos e qualitativos. Nesse contexto, o objetivo do estudo foi analisar o estado trófico e a dinâmica de nutrientes do Epitácio Pessoa, principal reservatório da bacia do rio Paraíba, localizado no município de Boqueirão, estado da Paraíba. A etapa preliminar do estudo foi fundamentado na avaliação da qualidade ambiental através das variáveis de qualidade da água, traçado do perfil térmico na coluna de água e avaliação do estado trófico. Na etapa de planejamento, foi utilizado o modelo computacional BATHTUB como ferramenta de apoio no processo de simulação de cenários prognósticos de intervenções antrópicas na bacia de contribuição. Informações hidrológicas, morfológicas e de qualidade da água foram utilizadas para calibrar o modelo. A calibração com as informações regionais resultou num excelente ajuste entre as séries previstas e as observadas. Os resultados obtidos revelam predominância do reservatório no estado de eutrofia. Os cenários hipotéticos de simulação traçados demonstram a necessidade imediata de ações de curto, médio e longo prazo que visem a redução do aporte de nutrientes na bacia de contribuição do reservatório Epitácio Pessoa e consequentemente, o atendimento aos padrões ambientais. Considerando a limitação de informações técnicas disponíveis no sistema analisado, a performance dos resultados obtidos evidencia a aplicabilidade do modelo na região semiárida, como uma ferramenta promissora no auxílio à tomada de decisão nos processos relacionados ao gerenciamento da qualidade da água.

Made available in DSpace on 2014-06-12T15:48:27Z (GMT). No. of bitstreams: 2 arquivo4378_1.pdf: 3567361 bytes, checksum: 02c054bf9cd6c0778221cb74218b3aed (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Os núcleos imidazolidínicos, tiazolidínicos e acridínicos apresentam uma variedade de atividades biológicas, destacando-se: citotóxica, inibidora de aldose redutase, hipoglicemiante, antiinflamatória, anticonvulsivante, antimicrobiana e antiulcerativa. Buscando-se novos agentes terapêuticos, a síntese de novos derivados acridinoimidazolidínicos e benzilideno-tiazolidínicos se faz necessária com o intuito de potencializar determinada atividade biológica e simultânea redução dos efeitos colaterais indesejáveis. Neste trabalho, desenvolveu-se a síntese de novos derivados acridino-imidazolidínicos e benzilidino-tiazolidínicos, avaliou-se a atividade biológica de um derivado benzilideno-tiazolidínico e procedeu-se um estudo de modelagem molecular para os derivados preparados. O novo derivado acridinoimidazolidínico foi obtido através da oxidação da 9-metil-acridina em acridina-9- carboxaldeído, seguindo-se uma condensação com o cianoacetato de etila para obtenção do composto ciano-acridina-9-il-acrilato de etila, o qual, é condensado com o derivado imidazolidínico apresentando um grupamento benzil em posição 3 e um grupo tioxo na posição 4, obtido pela ação do pentassulfeto de fósforo. Os derivados tiazolidínicos foram obtidos pela condensação com benzaldeídos substituídos. As estruturas químicas foram devidamente comprovadas por espectrometria de massas, infravermelho e ressonância magnética nuclear de hidrogênio. Realizaramse testes para avaliação da atividade hipoglicêmica da 5-(5-bromo-2-metoxibenzilideno)- 3-(4-metil-benzil)-tiazolidina-2,4-diona em camundongos albinos Mus musculus diabéticos induzidos pela aloxana. Finalmente, realizaram-se cálculos de modelagem molecular, usando o método semi-empírico AM1, o qual se apresenta devidamente parametrizado, como menor demanda computacional, para se obter maiores esclarecimentos sobre a estrutura tridimensional dos compostos sintetizados

Made available in DSpace on 2014-06-12T15:50:11Z (GMT). No. of bitstreams: 2 arquivo1930_1.pdf: 1742136 bytes, checksum: 9293c4cc8bc9198633a8db952346915b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os cálculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estão associadas com os parâmetros do sistema, a caracterização pontual dos parâmetros pode ser inadequada. As incertezas podem estar associadas a parâmetros que não são conhecidos antecipadamente, especialmente em estágios iniciais de projetos de sistemas. Um dos objetivos deste trabalho é a concepção do formalismo ISPN para análise quantitativa desses sistemas. Para alcançar este objetivo, desenvolveu-se a fundamentação teórica ISPN e foram adaptados algoritmos apropriados para análise dos modelos. A análise intervalar foi usada como método de análise do estado estacionário dos modelos ISPN, nos quais as taxas das transições exponenciais e os pesos das transições imediatas são intervalos. A ISPN é aplicada principalmente para modelar as situações em que os dados de entrada estão num determinado nível da exatidão. As incertezas das taxas são especificadas através de intervalos. Este ambiente de modelagem fornece uma maneira para formalizar e estudar os problemas relacionados à presença das incertezas. Tais incertezas incluem os erros dos dados que ocorrem durante os processos de medida e os erros de arredondamento gerados durante cálculos. O modelo proposto e o método de análise relacionado permitem que a análise de desempenho seja realizada, considerando variações simultâneas nos parâmetros. Os métodos intervalares foram aplicados na estimativa exterior do conjunto solução para sistemas de equações lineares intervalares resolvidas pela aritmética intervalar clássica e pela aritmética de Kaucher dentro do ambiente do MATLAB toolbox INTLAB. Usamos ISPN como uma ferramenta de alto nível para modelagem e análise. O poder de modelagem ISPN foi avaliado em diversos estudos de caso apresentados

Made available in DSpace on 2014-06-12T15:53:57Z (GMT). No. of bitstreams: 2 arquivo6411_1.pdf: 5236344 bytes, checksum: eb8f36005a668c44d22d18f4691ce07e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / As interações realizadas através de Ambientes de Aprendizagem Colaborativa suportados por Computador (AAC) são um dos aspectos visíveis mais importantes da colaboração. A análise dessas interações pode dar suporte aos processos de reflexão e autoavaliação dos estudantes e às atividades dos professores. Porém, para executar o processo de análise, é importante descobrir e registrar o contexto onde cada interação ocorreu, a fim de entender o verdadeiro significado das interações dos usuários. Entretanto, faltam métodos e ferramentas para a Análise de Interações em AAC que considerem: (1) o contexto onde as interações ocorreram; (2) a diferença de necessidades do ponto de vista do professor e do estudante; e (3) a necessidade de informações históricas contextualizadas, para produzir relatórios mais completos para estudantes e professores. Neste cenário, objetivando prover suporte de boa qualidade para estudantes e professores, essa tese apresenta um Processo para Análise de Interações baseado em Contexto, que estrutura as interações, levando em consideração o contexto onde elas ocorreram. Depois disso, ele armazena as interações em um repositório multidimensional chamado LIM (Memória de Interações de Aprendizagem) e, finalmente, usa consultas analíticas para explorar e analisar as informações armazenadas sob diferentes perspectivas (dimensões), de acordo com as necessidades dos usuários. Essa tese também apresenta um Ambiente Analítico baseado em Contexto chamado SmartChat+: um ambiente para discussões colaborativas de assuntos específicos que segue o Processo baseado em Contexto definido. A experimentação inicial desse ambiente é detalhada e os resultados dos experimentos são discutidos, indicando a viabilidade do processo proposto e seu potencial para apoiar ao aprendizado

Made available in DSpace on 2014-06-12T15:57:31Z (GMT). No. of bitstreams: 2 arquivo3202_1.pdf: 3137271 bytes, checksum: ee35d8f49002ce18fcf24ada86aea4a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / O envolvimento dos usuários, a definição de objetivos de negócios claros e a otimização do escopo e dos requisitos estão entre os principais fatores de sucesso em projetos de desenvolvimento de software. Na fase de levantamento de requisitos, em que a solução a ser desenvolvida começa a ser definida, estes três fatores se tornam essenciais e desconsiderá-los pode impactar diretamente todo o projeto. O entendimento dos processos de negócios em que o sistema desenvolvido será utilizado é fundamental para atender às necessidades e expectativas dos clientes. Através da gestão de processos de negócios, as empresas buscam otimizar seus processos para obterem vantagens competitivas e uma das formas de obter melhorias nos processos é através da utilização de sistemas para automatizar atividades. Neste contexto, a gestão de processos de negócios pode ser utilizada como uma boa forma para obter o entendimento do problema antes de automatizá-lo e a utilização de modelos de processos de negócios na fase de levantamento de requisitos representa uma boa alternativa para facilitar este entendimento. Desta forma, esta dissertação apresenta uma abordagem de levantamento de requisitos baseada em modelagem de processos de negócio e com o envolvimento direto dos usuários através da realização de workshops para o levantamento de requisitos. A abordagem proposta foi desenvolvida e aplicada em uma empresa de desenvolvimento de soluções para gestão hospitalar. Por se tratar de uma área que envolve processos complexos, a abordagem de levantamento de requisitos proposta teve o objetivo de aproximar os processos de negócios dos requisitos de sistema e envolver os usuários na construção da solução. Estes fatores contribuíram diretamente para resolver problemas de entendimento do negócio e de comunicação entre os envolvidos no processo de desenvolvimento e, desta forma, permitiu que as soluções fossem desenvolvidas de forma a atender às necessidades e expectativas dos clientes