Orientador: Denis Schiozer / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-23T02:14:24Z (GMT). No. of bitstreams: 1 Leitao_HelioChagas_M.pdf: 1880686 bytes, checksum: 4a6853f85aace28655871068eb61a3e9 (MD5) Previous issue date: 1997 / Mestrado

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T20:02:45Z (GMT). No. of bitstreams: 1 Takahara_JhuliMeire_M.pdf: 7907623 bytes, checksum: f0ee58157a29c65edf588b0c2fd815be (MD5) Previous issue date: 1998 / Resumo: Nesta tese são apresentadas a especificação formal, validação e simulação dos protocolos IP Clássico e NHRP (Next Hop Resolution Protocol), de interconexão de redes locais e ATM segundo recomendações do IETF (Internet Engineering Task Force). É proposta uma metodologia para construção de especificações formais que combina a técnica de orientação a objetos ? OMT (Object Modeling Technique) com a potencialidade da linguagem SDL (Specification and Description Language) padronizada pelo ITU-T (antigo CCITT), com o propósito de evoluir os protocolos especificados. Os sistemas referentes aos protocolos e as suas evoluções foram especificados, validados e simulados utilizando a ferramenta CASE SDT* (SDL Design Tool, Telelogic-Suécia). Palavras Chaves: Redes de computadores, Protocolos de Comunicação, Especificação Formal, Rede ATM, Redes Locais, TCP/IP, OMT - Object Modeling Technique, SDL - Specification and Description Language, MSC - Message Sequence Chart, Validação, Simulação, Projeto Orientado a Objeto...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: This thesis presents a formal specification, validation and simulation of IP over ATM and NHRP (Next Hop Resolution Protocol) for the internetworking of LANs and ATM based upon IETF's recomendation (Internet Engineering Task Force). 1t is proposed a methodology to construct formal specifications that combines the object-oriented technique OMT (Object Modeling Technique) and the potenciality of SDL (Specification and Description Language) with the purpose of developing and evolving the specified protocols. The systems concerning the protocols and their evolutions were specified, validated and simulated using the SDT* (SDL Design Tool, Telelogic - Sweden) tool CASE...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Orientador: Denis Jose Schiozer / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-26T02:04:25Z (GMT). No. of bitstreams: 1 Santos_JosePedroMourados_M.pdf: 1302809 bytes, checksum: 654d68b213751708db80f051f579382b (MD5) Previous issue date: 2000 / Mestrado

Orientador: Yuzo Iano / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-27T10:52:04Z (GMT). No. of bitstreams: 1 KemperVasquez_GuillermoLeopoldo_D.pdf: 894135 bytes, checksum: a3bfa5b467763d2daac23c7f5a6ba1c6 (MD5) Previous issue date: 2001 / Doutorado

Orientador: Rubens Maciel Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-02T03:22:50Z (GMT). No. of bitstreams: 1 Stremel_DilePontarolo_D.pdf: 8166802 bytes, checksum: 6acff867d6e48493e2e66cce42d9d5ac (MD5) Previous issue date: 2001 / Resumo: Comparado com o estudo de crescimento de populações de microorganismo, poucos avanços tem até então aparecido sobre o desenvolvimento de modelos estruturados para a formação de produtos. O objetivo do presente trabalho é o desenvolvimento de modelos estruturados alternativos a partir da adaptação de modelos estruturados de crescimento para o processo de fermentação etanólica realizado em um biorreator do tipo torre com células imobilizadas de alta produtividade. A metodologia do trabalho envolveu a adaptação de modelos estruturados de crescimento de Saccharomyces cerevisae, os quais incluem cinética complexa para as rotas metabólicas fermentativa e respiratória. Neste procedimento aplicou-se o método de Plackett e Burman, que possibilitou analisar um grande número de parâmetros e selecionar aqueles mais importantes. As equações diferenciais parciais descrevendo os fenômenos intraparticulares e ao longo do biorreator foram resolvidas utilizando o método de colocação ortogonal e o sistema de equações diferenciais ordinárias resultante foi integrado com respeito ao tempo pela "subrotina lsodaroo. Comparou-se os resultados simulados com dados experimentais, possibilitando escolher a cinética estruturada mais adequada. Técnicas de redução foram aplicadas na direção radial particular e o modelo reduzido foi simulado sob perturbações em malha aberta para definições dos pontos de controle e variáveis manipuladas. Devido à dinâmica ser lenta, foi necessário estabelecer através de planejamento experimental, uma relação entre a variável manipulada, a concentração de substrato de entrada e o objetivo de controle (modelo feedforward). O projeto do controlador envolveu, na forma SISO, os algoritmos do tipo clássico (PID), avançados do tipo preditivo (DMC) e preditivo adaptativo (STDMC) avaliados isolados e acoplados ao modelo feedforward obtido com procedimentos estatísticos. Em conclusão, considerar a célula como um único componente é insuficiente para descrever a dinâmica do metabolismo, principalmente em culturas que sofrem mudanças drásticas nas condições operacionais. Resultados mostraram que o modelo de Rotboll adaptado foi superior, principalmente quanto na representação da variável celular. Comparou-se os resultados obtidos com os modelos reduzidos para diferentes técnicas de redução, frente aos modelos bidimensionais(não reduzidos) e dados experimentais. A aplicação de diferentes técnicas de redução foi útil na obtenção de um modelo estruturado para aplicações em simulação e controle. O estudo de controle de processo mostrou que uma ação antecipada que relacione a variável manipulada e o set-point acoplada a algoritmos de controle feedback é a melhor forma de estabilizar o processo rapidamente / Abstract: Compared with growing studies of microorganism populations, few improvements on the development of structured models for product formation have appeared. The objective of the presenting work is the development of altemative dynamic structured models adapted from structured growth models for the ethanol production by fermentation accomplished on a high productivity tower bioreactor with immobilized cells. The methodology of the work involved structured models of Sacharomyces cerevisae growth that include complex kinetic for the respiratory and glicolitic metabolic pathways. In this procedure it was applyed the method of Plackett and Burman, possibiliting to analyze a large number of parameters and to identify those that may be more important. The partial differential equations describing the inside particle and the bioreactor lenght phenomena were solved by orthogonal collocation method and the resulting system of differential ordinary equations was integrated, in respect to time, through lsodar subroutine. The simulated results was compared with experimental data, possibiliting to choose the most appropriate structured kinetic. Reduction techniques were applied in the particle direction and the reduced model was simulated under disturbances in the inlet variables with open loop to define the control point and manipulated variable. Because the slow dynamic, it was necessary to establish through experimental planning, a relationship among the manipulated variable, entrance substrate concentration and the control objective (feedforward model). The controller design involved in a SISO form, the classic (PID), advanced predictive (DMC) and predictive adaptive (SIDMC) control algorithms evaluated isolated and coupled to the feedforward model obtained with statistical procedures. In conclusion, considering the cell as an only component, it is not enough to describe the metabolism dynamics mainly in cultures that suffer drastic changes in the operational conditions. Results showed that the Rotboll adapted was superior, mainly as in the representation of the cell behaviour. It was compared the results obtained with the reduced models for different reduction techniques front to the reduced ones and experimental data, verifying the possibility of using them without loosing information of the processo The application of reduction techniques was useful in obtaining an useful structured model for applications in simulation and control. The study of control showed that an early action relating the manipulated variable and the set-point coupled to control feedback algorithms is the best form of stabilizing quickly the processo / Doutorado / Desenvolvimento de Processos Químicos / Doutor em Engenharia Química

Orientador: Leonardo de Souza Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:22:47Z (GMT). No. of bitstreams: 1 Alberti_AntonioMarcos_D.pdf: 12575117 bytes, checksum: fcca25cad46e546f8d3faf1a91cd78c1 (MD5) Previous issue date: 2003 / Doutorado

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:33:45Z (GMT). No. of bitstreams: 1 Chung_StellaWingKwan_M.pdf: 1574709 bytes, checksum: 0da0dcfc25970e0c769f10026ff0c99f (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta propostas de mobilidade para os protocolos H.323 e SIP. Para o protocolo H.323, são desenvolvidos sistemas com mobilidade intra-dominio, inter-dominios e inter-dominios em conjunto com os novos conceitos do protocolo H.510. Estas propostas se basearam na solução de mobilidade desenvolvida por Liao utilizando a expansão da conferencia ad hoc multiponto para realizar roaming e handoff em um estabelecimento de chamada entre terminais moveis H.323. Para o SIP, é desenvolvido o sistema com mobilidade inter-dominios para o estabelecimento de sess~ao entre terminais moveis SIP. Esta proposta se baseia na solução de mobilidade desenvolvida por Chen, Moh e Berquin utilizando a conferencia multiponto com a presença da MCU para realizar roaming e handoff. Todos estes sistemas foram especificados utilizando a linguagem de especificação formal SDL orientada a objeto a partir da ferramenta SDL TAU Suite. Esta ferramenta permite simular os sistemas a partir dos diagramas em MSC e validar os sistemas para detecção e correção de eventuais erros de logica e de especificação / Abstract: This work describes some proposals for mobility extension to H.323 and SIP protocols. The new proposals for H.323 involve intrazone and interzone mobility, and interzone mobility using resources with new entities, signallings and functions from H.510. Based on the mobility solution developed by Liao, these new systems have demonstrated how H.323 could be extended in order to offer mobility using ad hoc multipoint conference for roaming and handoff during a call establishment between H.323 mobile terminals. The other proposal is a system with interzone mobility using multipoint conference with MCU for roaming and handoff during a call establishment between SIP mobile terminals. This system is based on Chen, Moh and Berquin mobility solution. All these systems were specified using the SDL object-oriented formal language with SDL TAU Suite tool. This tool allows the simulation of the systems with MSC diagrams and the validation of the systems by detecting and correcting logical and specification errors / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientadores: Sergio Nascimento Bordalo, Denis Jose Schiozer / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-24T03:21:33Z (GMT). No. of bitstreams: 1 Paiva_RonaldoOliveirade_M.pdf: 5372317 bytes, checksum: 87a623d365c62b997b5436706619b759 (MD5) Previous issue date: 1997 / Resumo: Os custos envolvidos em intervenções de sonda e a perda de receita nos poços aguardando intervenções são elevados. Este trabalho propõe métodos para analisar profundamente a priorização dos poços em que a sonda deverá intervir. Para determinar a seqüência de intervenção nos poços, é necessário comparar o gasto de sonda com as perdas dos poços. Para calcular as perdas dos poços, é necessário analisar a influência monetária do fechamento dos poços nas curvas de produção dos reservatórios. Neste trabalho, esta análise é feita utilizando-se um simulador numérico de reservatórios. São apresentadas, também, simplificações possíveis para um cálculo expedito. A priorização dos poços é baseada na redução do custo total do caminho, que se constitui da soma das perdas devidas à espera da intervenção, somadas aos custos das sondas. Para determinar o itinerário ideal das sondas, existem muitos algoritmos. Neste trabalho, são implementados e comparados alguns algoritmos considerados intuitivos e de simples implementação. Recomenda-se o algoritmo da Têmpera Simulada para priorizar os poços. Este algoritmo foi implementado para rotear sondas terrestres em uma região petrolífera brasileira. Otimizando as seqüências de intervenção realizadas no ano de 1996, nesta região, identificou-se uma economia potencial de 15%nas perdas de produção, equivalente a 4.000 metros cúbicos/anode petróleo (25.000 bbl/ano) / Abstract: The costs of workover and the loss of revenue in wells waiting workover rigs are very high. This work proposes methods to prioritize these wells in order to minimize the total cost. To determine the workover sequence it is necessary to compare the rig expense with the wells'losses. To ca1culatethe wells' losses, it is necessary to analyze the monetary influence of the well shutdown in the production curves. In this work, this analysis is made by using a numerical reservo ir simulator. Simplified ca1culation procedures are also presented. The priority of the wells is based on the reduction of the total cost, which consists of the rig costs plus the revenue losses due to workover waiting. There are many algorithms able to determine the ideal rig path. In this work, simple and intuitive algorithms, are implemented and ,)mpared. The Simulated Annealing algorithm is recommended. This algorithm was implemented to optimize workover rig routes in a brazilian production region. Otimization of the workover sequence carried out in that region in 1996 identified a potential economy of 15% in the production losses, equivalent to 4.000 'm POT. 3¿/year ofoil (25.000 bbl/year) / Mestrado / Mestre em Engenharia de Petróleo

Orientadores: Rodolfo Jardim de Azevedo, Sandro Rigo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-27T12:16:48Z (GMT). No. of bitstreams: 1 Cardoso_RogerioAlves_M.pdf: 7699903 bytes, checksum: be514fda4ed9849ea41a1899010841c7 (MD5) Previous issue date: 2015 / Resumo: Com o aumento da complexidade dos sistemas eletrônicos, novos desafios foram surgindo na fase de projeto desses sistemas; assim, os requisitos de projeto estão cada vez mais complexos, implicando diretamente no time-to-market que torna-se cada vez mais difícil de ser cumprido. As abordagens tradicionais como o projeto RTL tornaram-se impraticáveis visto que é cada vez mais evidente a necessidade da criação de software paralelamente ao projeto de hardware. Nesse contexto, metodologias modernas como ESL têm sido utilizadas com sucesso, para que os projetistas possam solucionar esses problemas. Com o crescente numero de funcionalidades que os novos dispositivos implementam e o aumento da complexidade das aplica coes, muitas vezes exigem que esses dispositivos rodem um sistema operacional embarcado. Isso dificulta ainda mais o desenvolvimento homogêneo hardware/software, pois demanda a criação de plataformas virtuais completas capazes de executarem um sistema operacional e suas aplicações, e o desenvolvimento dessas plataformas não é uma tarefa trivial. Este trabalho apresenta a implementação de uma plataforma, em nível de sistema, completa da arquitetura LEON, utilizando a ferramenta ArchC. A plataforma apresentada permite executar um sistema operacional Linux e suas aplica coes, com suporte a gerenciamento de memoria virtual. Além de demonstrar as dificuldades e as limitações da ferramenta ArchC na geração desse tipo plataformas / Abstract: Design challenges in electronic systems increase with their size and the design require- ments, leading to even more pressure in time-to-market issues. Traditional approaches like RTL become unaffordable, due to the need for parallel development of hardware and software necessity. In this context, modern methodologies like ESL have been success- fully used to tackle this kind of problem. With the increasing number of features and the complexity of the applications to that new devices, these devices, in major, may need an embedded operating system. This poses a challenge in the homogeneous development of hardware and software, demanding a complex virtual platform development, capable of running an operating system and its applications. But, developing this kind of platform is not a simple task. This work presents an ArchC System Level Platform implementation, based on LEON architecture. This platform can execute a Linux operating system and user applications with virtual memory support. It besides demonstrates the challenges and limitations of the ArchC tools on development of this type of platform / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Orientador: Renata Spolon Lobato / Banca: Alexandro José Baldassin / Banca: Henrique Mongelli / Resumo: A busca por aprimorar o desenvolvimento de aplicações complexas tem aumentado gradativamente. Além disso, procura-se a redução de gastos ao implementar a aplicação, como também o aumento da segurança, o que torna muito importante a técnica de solução de modelos e a simulação de sistemas. Isso ocorre principalmente nas áreas comerciais, industriais e com finalidade de pesquisa. Visando facilitar a utilização da técnica de solução de modelos e a simulação de sistemas, neste projeto é apresentado o desenvolvimento de um gerador de simuladores baseado em filas, o Yasc (Yes, a simulator's compiler). Esta ferramenta possibilita a construção de aplicações capazes de solucionar os problemas ditos anteriormente de maneira simples e sem a necessidade de codificação. Assim, a partir de parâmetros informados pelo usuário como entrada, o gerador fornece, como saída, uma ferramenta de simulação. Apresenta-se também um estudo de caso de redes de computadores em que o Yasc, com sua implementação já finalizada, foi utilizado para gerar simuladores de redes e para realizar a solução de modelos e simulação de ambientes reais, cujos resultados foram comparados aos de outro simulador específico da área, o NS-3 (Network Simulator) / Abstract: The search to improve the development of complex applications has gradually increased. It also seeks to reduce costs by implementing the application, and seeks as well to increase security, which makes it very important to model solution technique and systems simulation. This occurs in the commercial, industrial and research-purposed areas. To facilitate the models solution technique and the simulation of systems, this project presented the development of a simulator generator based on queues, the Yasc (Yes, a simulator's compiler). This tool makes it possible to generate applications that can simply solve problems mentioned before without coding. Thus, based on parameters from the user's input, the generator provide, as output, a simulation tool. Furthermore, we present a case study of computer networks where the Yasc, with your finished implementation, was used to generate network simulators and to perform models solution and simulations of real enviroments, whose results were compared to other specific simulator area, the NS-3 (Network Simulator) / Mestre