Orientador: Arnaldo Vieira Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-26T17:52:58Z (GMT). No. of bitstreams: 1 Bonifacio_AdilsonLuiz_M.pdf: 21453626 bytes, checksum: de7be74dafd77bc551c7395989d64b6f (MD5) Previous issue date: 2000 / Resumo: Sistemas distribuídos híbridos advêm da interconexão de sistemas de dinâmica contínua com sistemas de dinâmica discreta. A noção de autômatos híbridos oferece meios para a construção de especificações formais para tais sistemas. Autômatos híbridos são autômatos finitos, onde cada estado descreve um perfil dinâmico do sistema e cujas transições entre estados provocam alterações nestes perfis dinâmicos. Neste trabalho, alguns sistemas híbridos reais são modelados através de autômatos híbridos. Em seguida, os modelos construídos são verificados, usando-se das facilidades de uma ferramenta computacional. Além disso, alguns parâmetros importantes, que afetam o comportamento operacional dos modelos, têm seus valores sintetizados. Os sistemas alvo desse trabalho são segmentos de via de uma malha metroviária e um sistema de gerenciamento de tráfego aéreo. As verificações foram sempre conduzidas de maneira a garantir uma operação segura dos sistemas estudados. As sínteses realizadas contribuíram para determinar valores mais justos para os parâmetros operacionais enfocados, mantendo a segurança na operação dos sistemas alvo. / Abstract: Distributed hybrid systems result from the interplay of continuous and discrete dynamics systems. The notion of hybrid automata offers a way to formally specify such systems. A hybrid automaton is a finite state automaton, where each state is extended to contain a description for a system dynamie profile. Transitions between states model a change in the system dynamies. In this work, some real hybrid systems are modeled using the formalism of hybrid automata. Next, the models constructed are verified, using the support of a computational tool. Moreover, values are synthesized for some important parameters that affect the system operational behavior. The target systems treated here are segments of a subway mesh and an air traffice control system. The verification sessions aimed at certifying that the system operates safely. Results from the synthesis contributed to obtain tighter values for operational system parameters, while still guaranteeing its safe operation. / Mestrado / Mestre em Ciência da Computação

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-10-05T22:42:51Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Inácio de Loiola Souza Silva.pdf: 2266479 bytes, checksum: 3288881e18eafc0d69046b9517f0bf93 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-14T21:54:28Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Inácio de Loiola Souza Silva.pdf: 2266479 bytes, checksum: 3288881e18eafc0d69046b9517f0bf93 (MD5) / Made available in DSpace on 2018-11-14T21:54:28Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Inácio de Loiola Souza Silva.pdf: 2266479 bytes, checksum: 3288881e18eafc0d69046b9517f0bf93 (MD5) Previous issue date: 2017-08-28 / A persistência poliglota refere-se ao uso de diversos SGBD com modelos de dados diferentes em uma mesma aplicação. Uma das motivações para a utilização da persistência poliglota vem da crescente quantidade de dados de variados tipos (estruturados, semiestruturados e não estruturados) que são manipulados em aplicações como: redes sociais, comércio eletrônico, aplicativos móveis. Os SGBD NoSQL (Not Only SQL) representam um conjunto de sistemas de bancos de dados não relacionais e de alto desempenho, projetados para manipular vastos volumes de dados, além de possibilitarem o armazenamento de dados semiestruturados e não estruturados. Diversas pesquisas propõem modelos conceituais para auxiliar o projeto de bancos de dados NoSQL, entretanto, não foi encontrada qualquer proposta na literatura que aborde o projeto conceitual de dados de aplicações de persistência poliglota. Portanto, este trabalho especifica um modelo conceitual de dados, chamado de ERNoSQL, o qual estende o modelo Entidade-Relacionamento (ER) adicionando construtores específicos para possibilitar a modelagem de aplicações de BD com persistência poliglota. Para fornecer uma visão geral do modelo conceitual proposto, apresenta-se um metamodelo especificado em UML que fornece um entendimento sobre como os construtores do ERNoSQL se relacionam. O trabalho também especifica um conjunto de regras de mapeamento do modelo ERNoSQL para as estruturas lógicas dos modelos NoSQL (documentos, grafos, chave-valor e família de colunas). Para auxiliar as atividades de modelagem de esquemas poliglotas, este trabalho propõe, ainda, uma ferramenta CASE para a construção de esquemas conceituais de dados a partir dos construtores de modelagem de ERNoSQL. A ferramenta, intitulada NoSQLCASE, possui um ambiente gráfico para a construção do esquema conceitual e provê funcionalidades de exportação para scripts expressos em linguagens de SGBD NoSQL. Finalmente, um estudo de caso foi realizado para comparação entre esquemas conceituais de dados construídos por duas ferramentas CASE existentes e baseadas no modelo ER, e esquemas conceituais de dados projetados pela ferramenta NoSQLCASE proposta. Além disso, as funcionalidades de exportação de NoSQLCASE foram ilustradas pela implementação de scripts gerados pela ferramenta proposta no SGBD MongoDB. / The polyglot persistence refers to the use of several DBMS with different data models in the same application. One of the motivations for the use of polyglot persistence comes from the growing amount of data of any types (structured, semistructured and unstructured) that are handled in applications such as: social networking, e-commerce, mobile applications. NoSQL DBMS represent a set of non-relational database systems of high performance designed to handle vast volumes of data, besides allowing the storage of semi-structured and unstructured data. Several researches propose conceptual models to support the design of NoSQL databases. However, no proposal that addresses the conceptual data design of polyglot persistence applications was found in the literature. Therefore, this work specifies a conceptual data model, called ERNoSQL, that extends the Entity-Relationship model by adding specific constructors to enable the modeling of DB applications with polyglot persistence. To provide an overview of the proposed conceptual model, a meta-model that provides an understanding of how ERNoSQL constructors are related was specified in UML. The work also specifies a set of mapping rules of the ERNoSQL model for the logical structures of the NoSQL models (documents, graphs, key-value and family of columns). To support the activities of modeling polyglot schemes, this paper also proposes a CASE tool for the construction of conceptual data schemas from the ERNoSQL modeling constructors. The tool, called NoSQLCASE, has a graphical environment for constructing the conceptual schema that provides export functionality for scripts expressed in NoSQL DBMS languages. Finally, a case study was conducted to compare conceptual data schemas constructed by two existing CASE tools that are based on the ER model and conceptual schemas of data designed by the proposed NoSQLCASE tool. In addition, the export functionality of NoSQLCASE was illustrated by the implementation of scripts generated by the proposed tool in the MongoDB DBMS.

Neste trabalho tratamos da solução de um problema não linear do tipo tração-difusão, na modelagem de dispersão de insetos. Começamos estabelecendo uma lei de conservação e a partir desta, deduzimos algumas equações importantes para o desenvolvimento do nosso estudo, tais como a equação de convecção, de difusão e simultaneamente convecção e difusão. Se considerarmos uma escala de tempo que possibilite a adição ou retirada de indivíduos no meio, conforme seja considerada reprodução, migração ou morte, podemos acrescentar ao processo difusivo um termo de reação, obtendo então, a equação do tipo reação-difusão. Se o temp de reação for deendendee da densidade populacional e do tipo logístico, obtém-se a equação de Fischer. Dessa equação abordamos alguns aspectos, tais como, determinação dos estados estacionários, análise da estabillidade dos mesmos, representação gráfica no plano de fase e por último investigamos a existência de solução do tipo onda viajante. Abordamos, também, alguns exemplos apresentados na literatura, envolvendo equação da difusão com coeficiente constante e com coeficiente dependente da densidade populacional. Além disso, apresentamos o resultados obtidos com a modelagem em tempo discreto, a partir de um trabalho experimental com besouros marcados para o experimento e depois liberados Banks et al (1985) , em que os autores admitiram uma variação temporal e a partir dos dados obtidos fizeram uma estimativa para o coeficiente de difusão D (t), bem como para o coeficiente de decaimento α(t) do termo de reação linear em u. Construimos curvas que se ajustam a essas alternativas e apresentamos esses coeficientes em versão continua D (t) e α(t), dependentes da variável tempo t. Através de uma abordagem numérica, os modelos foram comparadas da variável tempo t. Através de uma abordagem numérica, os modelos foram comparados para diversos casos, usando diferentes combinação de D constante e D variando no tempo, a constante e a variando no tempo. Além disso, analisamos tambén, o efeito da substituição do coeficiente de difusão D constante por D(t) na equação de Fisher.

Submitted by Almir Azevedo (barbio1313@gmail.com) on 2014-07-07T14:08:51Z No. of bitstreams: 0 / Made available in DSpace on 2014-07-07T14:08:52Z (GMT). No. of bitstreams: 0 Previous issue date: 2014 / O pressurizador de um reator nuclear é o dispositivo presente no circuito primário de reatores do tipo PWR que acomoda as oscilações na pressão que o refrigerante sobre quando ocorrem transientes na operação do reator. O objetivo deste trabalho é a análise e modelagem do comportamento pressurizador de um reator compacto. Foi realizada a modelagem simplificada baseada nos aspectos termodinâmicos do refrigerante, nas características geométricas do pressurizador utilizado e no sistema de controle proposto para o conjunto de aquecedores utilizados. As simulações foram realizadas por meio do software Matlab, ferramenta computacional que possibilita trabalhar com variáveis contínuas e discretas, além do uso de declarações e rotinas para obtenção das propriedades termodinâmicas da água e para a determinação de solução raízes de equações não lineares encontradas no decorrer da simulação. Os resultados obtidos forma encontrados com valores presentes em simulações que contemplavam fenômenos mais complexos, como a variação de energia devido à formação de bolhas na região de líquido e a formação de condensado na região de vapor. Estudos de caso foram realizados sobre o desempenho do pressurizador quando sujeito a falhas nos controladores presentes em seus aquecedores por problemas de instrumentação, bem como a análise de propostas diferentes de controladores e por fim é sugerida uma breve análise do fenômeno de elevação ebulioscópica que ocorre no refrigerante devido à presença do ácido bórico, utilizado como absorvedor de nêutrons do reator nuclear e que pode ser considerado um solvente não volátil / The pressurizer of a nuclear reactor is the device located in primary coolant system of PWR that accommodates the oscillations in the pressure of the coolant when transients occur in the operation of the reactor. The subject of this work is the analysis and the modeling of the behavior pressurizer of a compact nuclear reactor. The simplified modeling was done based on thermodynamics properties of the coolant, on the geometric features of the pressurizer and on the control system suggested to the set of heaters. Simulations were done in Matlab, a computational tool that enables the handling of continuous and discrete data, besides the use of statements and routines to request thermodynamics data of water from steam tables and to determine the solution of the roots of non-linear equations observed in the simulation. The results were compared with simulations that contemplate more complex phenomena such as energy changes associated to the motion of bubbles formed in the water region and drops condensed in the steam region. Case studies were done about the performance of the pressurizer when it undergoes to failures in the controllers presented in its heaters due instrumentation problems, as well as the analysis of proposals for different controllers and ultimately it is suggested a simple analysis of the ebullioscopic elevation that happens in the coolant due the presence of boric acid, used as a neutron absorber of the nuclear reactor and considerate as a non-volatile solvent

Orientador: Sergio Marangoni / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Biologia / Made available in DSpace on 2018-08-03T16:43:16Z (GMT). No. of bitstreams: 1 Silva_SauloLuis_D.pdf: 1216004 bytes, checksum: e1310bf56acbc81d5dd8330776134906 (MD5) Previous issue date: 2003 / Doutorado

Made available in DSpace on 2014-06-12T23:14:52Z (GMT). No. of bitstreams: 2 arquivo2703_1.pdf: 1309644 bytes, checksum: 86b0cb830591cd451fdaf944c055c9ee (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O feijão caupi (Vigna unguiculata L. Walp.) é uma cultura que apresenta enorme importância econômica e social para os agricultores da região nordeste do Brasil por ser o alimento básico das populações mais pobres dessa região. O feijoeiro é uma planta sensível ao déficit hídrico e ao excesso de água no solo, portanto, o conhecimento da dinâmica da água no solo é fundamental para os estudos sobre o uso de água pela cultura, proporcionando a otimização da produção. Os processos envolvidos nas trocas de água no sistema solo-planta-atmosfera são geralmente complexos e numerosos, o que dificulta sua medição de forma direta, contínua e por grandes intervalos de tempo. Assim, os modelos numéricos tornam-se ferramentas importantes na busca por conhecimento e possibilita a previsão de alguns resultados. Desta forma, o objetivo geral deste trabalho é simular a dinâmica da água no solo cultivado com feijão caupi por meio do programa Hydrus1D, em períodos com diferentes condições climáticas e nas quatro fases fenológica da cultura (emergência, vegetativa, reprodutiva e maturação). Os dados necessários para a simulação foram obtidos numa área de 4,0 ha do Centro de Ciências Agrárias, da UFPB, no município de Areia, PB (6o 58 12 S, 35o 42 15 O). A área foi instrumentada com uma torre micrometeorológica automática, além de sensores instalados para a determinação dos perfis de umidade volumétrica do solo. Foi feita uma análise de sensibilidade do programa Hydrus1D relativa aos parâmetros do solo e aos parâmetros do modelo de Feddes de extração de água pela raiz do feijão caupi. O programa foi calibrado em dois períodos, um com o solo sem vegetação e outro com o solo vegetado, e depois utilizado em sete dias representativos dentro das quatro fases fenológicas da cultura. O programa Hydrus1D simulou de forma satisfatória a evolução da umidade volumétrica do solo nas profundidades de 20, 40, 60 e 80 cm, apesar da subestimativa feita pelo programa na profundidade de 40 cm. As simulações da evolução do armazenamento de água e a evapotranspiração apresentaram bons resultados quando comparado com os valores medidos em campo, permitindo simular o balanço hídrico nas suas fases fenológicas e em diferentes eventos de precipitação

Made available in DSpace on 2014-06-12T23:16:41Z (GMT). No. of bitstreams: 2 arquivo9043_1.pdf: 3666019 bytes, checksum: 8de16a0b018c98e5835509efad353569 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Universidade Federal de Pernambuco / A modelagem hidrológica das vazões de saída em uma bacia hidrográfica pode ser mais precisa quando se usa parâmetros distribuídos ao longo da bacia e se leva em consideração suas características fisiográficas. model TOPMODEL utiliza o modelo digital do terreno, leva em consideração a área de contribuição a montante de cada célula e a declividade da célula, incorporando-os no índice topográfico que representa a potencialidade da célula em saturar. Assim, de acordo com a precipitação pluviométrica, com o estado de saturação do solo e com o déficit hídrico das células, calcula-se a vazão na seção exutória da bacia estudada. Para resolver alguns problemas existentes em aplicações do TOPMODEL a casos reais, foi feito o desenvolvimento teórico para implantar a distribuição espacial do déficit hídrico máximo, e realizada a implementação computacional no modelo. Neste caso foi utilizado o modelo TOPSIMPL, uma variante do modelo TOPMODEL que utiliza apenas 4 parâmetros. Esta nova versão foi aplicada à bacia do riacho Gameleira, afluente do rio Tapacurá, em Pernambuco. Para isto foi elaborado o modelo digital de terreno, instalado um sistema de aquisição automática de dados e, ao longo de 32 meses, foram armazenados os dados de precipitação pluviométrica e vazão a cada minuto. Foi realizada a calibração e validação das duas versões do TOPSIMPL com alguns eventos chuvosos na bacia do Gameleira e os resultados mostraram que as vazões na seção exutória tem seus valores calculados bastante semelhantes, tanto na versão 2 como na versão nova. Entretanto a versão nova mostrou uma melhor representação do estado de saturação das células. O déficit máximo, com sua distribuição espacial, propicia a aplicação do modelo em regiões semi-áridas, como é o caso do nordeste brasileiro, onde a camada de solo é rasa e a mesma pode atingir o limite máximo do déficit

Made available in DSpace on 2014-06-12T23:17:06Z (GMT). No. of bitstreams: 2 arquivo9115_1.pdf: 1488963 bytes, checksum: fe600c07b887c39d60cf42c2857a21b0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / No Brasil, particularmente em sua região Nordeste, as medidas de iluminância não fazem parte da rotina de medidas nas estações meteorológicas, portanto, a disponibilidade de informações sobre a iluminância são mais raras do que as medidas efetuadas sobre irradiação solar. Neste contexto, duas estações de medição de iluminância e irradiação solar foram instaladas em Pernambuco: uma em Recife (clima tropical marítimo), em abril de 2003, e outra em Pesqueira (semiárido), em setembro de 2004 com objetivo de realizar medidas simultâneas da irradiação solar diária e iluminância, de tal forma a permitir a modelagem e a validação estatística da relação entre estes dois parâmetros e, com isto, possibilitar a estimativa da iluminância onde existam somente informações sobre irradiação solar. A avaliação dos registros das medidas de iluminância e irradiação solar confirmou o ótimo potencial da utilização da iluminação natural em Pernambuco. Os valores de iluminância são suficientemente altos, de maneira que poderiam suprir sozinhos a necessidade de iluminação diurna de um escritório comercial durante 80% das horas anuais de seu funcionamento (8 17 horas). A comparação entre os modelos de eficiência luminosa mostraram que os modelos de Perez local e de Alados são os melhores para as localidades de Recife e Pesqueira, produzindo respectivamente, desvios médios quadráticos de 10% e 3% e com viés da ordem de 3% e 1%. Adicionalmente, cabe considerar que as estimativas estão dentro dos erros experimentais, desde que os sensores de iluminância e de irradiação solar que foram utilizados possuem um erro de calibração máximo de 5% e uma deriva anual máxima de 2% e que, portanto, as medidas experimentais das eficiências luminosas estariam com um erro associado da ordem de 10 a 12%, após um ano de medidas

Orientador: Franco Giuseppe Dedini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-04T00:52:54Z (GMT). No. of bitstreams: 1 Morais_RicardoFerraride_M.pdf: 12492278 bytes, checksum: f32f59831e5bafe79dc0254d8038f3e7 (MD5) Previous issue date: 2004 / Resumo: As transmissões veiculares são a forma de adaptar o torque fornecido pelo motor ao necessário para cada momento do percurso de um veículo. Dentre as várias formas possíveis de transmissões existentes estão os câmbios automáticos. Nas transmissões automáticas, os trens de engrenagens planetárias são componentes fundamentais. Esses mecanismos foram exaustivamente estudados ao longo dos anos. Seu estudo de forma combinada de dois ou mais conjuntos é recente e ainda incipiente. Este trabalho apresenta uma modelagem, dentre as possíveis, para a caixa Wilson. A caixa Wilson é uma das maneiras possíveis para a montagem de uma transmissão automática. Essa modelagem é feita com a equação de Lagrange. Uma vez feita a modelagem dinâmica é feita a modelagem do fluxo de torque. A modelagem permite a realização de simulações numéricas para a avaliação preliminar do modelo. A primeira simulação realizada forma um conjunto de dados que serve como parâmetro de comparação para os dados subseqüentes. Os resultados obtidos dessa simulação inicial apresentam são incoerentes com o esperado, desacelerações durante o acionamento das relações de transmissão. Nas simulações posteriores são realizadas variações nos parâmetros inicialmente impostos para o modelo sem carga. Essa variação de valores serve para perceber a necessidade da seleção correta dos parâmetros construtivos da transmissão e mostra, ainda, a necessidade de uma estratégia de controle para a obtenção de melhor desempenho da transmissão. Após a variação de parâmetros, partiu-se para a simulação utilizando dados realistas, cujos resultados foram qualitativamente próximos da realidade, aceleração durante o acionamento das relações de transmissão. A última etapa de simulação é a aplicação de uma carga à transmissão. Apesar de ser uma carga arbitrária, ela mostra que há uma influência significativa do carregamento no comportamento e no desempenho da transmissão / Abstract: Vehicular transmissions are the way to adapt the torque supplied by the engine to that required at each moment of the path of a vehicle. Automatic gearboxes are among severa! types oftransmissions. Epicyclic Gear Trains, EGTs, are fundamental components ofthis kind of mechanical transmission. This kind of mechanism have been studied exhaustively trough the years. The study oftwo or more EGTs is very recent indeed. This work presents a model procedure of the Wilson gearbox. The Wilson gearbox is one in severa! ways to build combinations ofEGTs in automatic gearbox. This modeling is done with the Lagrangean processo Once that the dynamic model was done it was time to model the torque flow across the transmission. Modelling allows the numerica1 simulations in order to have primary results of the model. The very first set of results was used as comparison parameter for the subsequent result sets. The results obtained in this initial simulation were not as expected deceleration whi1e setting the gear ratios. Others simulations were done with variation on the values of the initially imposed parameters. Those variations are useful to know that a real need to do an appropriated selection of the constructive parameters of the transmissions. Other important result that was got from the parameter variation was to know that a control strategy is indicated to avoid some irregular behavior of the transmission. After the parameter variation realistc data are used. These data provide result that are expected, acceleration during the gear ratio setting. The last simulations done was that one were there was a loading applied to the transmission. It was an arbitrary loading, but it showed that there is a significant influence on the behavior and performance of the Wilson gearbox / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

[pt] Modelagem de elementos da natureza é uma área de pesquisa atual e com crescente importância para a Computação Gráfica. O objetivo deste trabalho consiste em apresentar uma ampla pesquisa bibliográfica sobre o assunto, definir conceitos fundamentais e propor soluções e novas técnicas para alguns problemas. Embora a pesquisa enfatize principalmente a modelagem procedimental, também serão apresentados métodos de iluminação e visualização adequados para certos tipos de elementos.