Esta dissertação de mestrado aborda o problema de balanceamento de carga em ambientes paralelos virtuais, com aplicações desenvolvidas em PVM-W95. São considerados no desenvolvimento deste trabalho algoritmos de balanceamento estáticos e dinâmicos, incluindo métodos de distribuição e de migração de tarefas. O trabalho apresenta uma vasta revisão bibliográfica que cobre os principais métodos e algoritmos de balanceamento de cargas em ambientes distribuídos e paralelos, propostos nos últimos anos. Os métodos e algoritmos relevantes para o domínio de aplicação considerado são cuidadosamente investigados. Os algoritmos estudados são implementados como parte dos programas de aplicação e o estudo desenvolvido abrange fundamentalmente programas com alto processamento numérico. Os resultados obtidos mostram claramente que o método gradiente e os algoritmos globais são os mais eficientes para os programas aplicativos desenvolvidos e para o ambiente paralelo virtual adotado. / This MSc dissertation approaches the load balancing problem in parallel virtual environments, with applications developed in the PVM-W95. Static and Dynamic load balancing algorithms are considered in the developement of this work, including methods for both task distribution and task migration. The work shows a wide literature review covering the main methods and algorithms for load balancing in distributed and parallel environments, proposed over the last few years. The relevant methods and algorithms for the application domain considered are carefully investigated. The algorithms studied are implemented inbeded into the application programs and the study developed mainly covers programs with high numerical processing tasks. The results obtained clearly shows that the gradient method and the global algorithms are the more efficient ones for the application programs developed and for the parallel virtual environment adopted.

Este trabalho apresenta um método numérico para resolver escoamentos axisimétricos não-Newtonianos com superfícies livres. A metodologia empregada é uma extensão do código bidimensional GENSMAC para problemas axisimétricos. O código GENSMAC é uma técnica numérica que utiliza o método das particulas marcadoras ( \"marker-and-cell\" ) para simular escoamentos incompressíveis transientes. As equações governantes são resolvidas usando o método de diferenças finitas numa malha diferenciada ( \"staggered grid\" ). O fluido é representado por partículas marcadoras, as quais permitem a localização e visualização da superfície livre do fluido. Vários exemplos que demonstram a aplicação dessa nova técnica são apresentados. Em particular, a simulação de enchimento de moldes, do \"die-swell\" e do \"splashing drop\" são apresentados. / This work presents a numerical method for solving axisymmetric non-Newtonian flows. The methodology is an extension of the two-dimensional GENSMAC code to axisymmetric flows. GENSMAC is a marker-and-cell technique for investigating the dynamics of an incompressible fluid. It solves the governing equations using the finite difference method on a staggered grid. The fluid is represented by marker particles which provide the location and visualization of the free surface. Various results demonstrating the applicability of this new technique is presented. In particular, the simulation of die-swell, container filling and the splashing drop is given.

A proposta deste trabalho é o desenvolvimento de um Gerador de Códigos baseado em Statechart integrado ao ambiente gráfico StatSim, desenvolvido pelo grupo de Engenharia de Software do ICMC-USP. Para isso, estudos sobre ferramentas e ambientes de sistemas baseados em Statecharts foram realizados. Durante o desenvolvimento do projeto, a partir da análise dos métodos existentes, foram desenvolvidos dois protótipos de código a serem gerado pela ferramenta pretendida, com o intuito de avaliar o algoritmo a ser empregado. Um protótipo foi implementado em Occarn e o outro em C++. Paralelamente foi desenvolvida uma ferramenta gráfica denominada HySChart (Hyperdocument System Based on stateCharts) para apoio ao modelo HMBS (Hypertext Model Based on Statechart), e validação de hiperdocumentos. Com base nesse ambiente, foi desenvolvido um gerador de código que transforma o hiperdocumento criado pelo HySChart em um hiperdocumento em HTML, que pode ser navegado com auxilio de um navegador HTML qualquer. Duas implementações foram feitas para esse gerador: uma que preserva a semântica de navegação do HMBS e outra que não preserva. / The proposal of this dissertation is the development of a Code Generator based on Statechart and integrated to the tool StatSim, developed by the Software Engineering group of the ICMC-USP with this aim, tools and environments that support statecharts were reviewed. During the development this project, starting from the analysis of the existent methods, two prototypes of code to be generated by the intended tool, aiming at evaluating the algorithm to be used. The two prototypes were implemented one in Occam and the another in C++. Simultaneously a denominated graphic tool called HySCharts (Hyperdocument System Based on stateCharts) was developed to HMBS (Hypertext Model Based on Statechart). Based on this environment, a a code generator was developed that transforms the hiperdocument created with HySCharts in a HTML document, that can be browsed by any HTML browser. Two implementations were done: one that preserves the browsing semantics of HMBS and another that doesn\'t preserve.

Neste trabalho estudamos os contatos genéricos de superfícies com famílias de hiperplanos e utilizamos os resultados para descrever os duais destas superfícies e as singularidades da aplicação de Gauss. Apresentamos duas abordagens para este estudo: o estudo dos teoremas de genericidade para famílias de funções altura definidas em hipersuperficies em espaços euclidianos, e os correspondentes resultados para hipersuperficies projetivas. A interpretação geométrica das singularidades destas famílias é discutida nos casos especiais de curvas planas, superfícies em R3 e superfícies em P3. Como aplicação, descrevemos os conjuntos duais nestas dimensões e estudamos as cúspides da aplicação de Gauss projetiva. / In this work we study the generic contacts of hypersurfaces with families of hyperplanes and we use these results to describe the duals of these surfaces and the singularities of the Gauss map. We discuss the genericity theorems for the family of height functions of embeddings of hypersurfaces in euclidian spaces and the corresponding results for projective hypersurfaces. The geometric interpretations of the singularities of these families are presented for the cases of plane curves, surfaces in R3 and projective hypersurfaces in P3. As final example, we study the cusps of the projective Gauss map.

Esta dissertação de mestrado aborda o problema de balanceamento de carga em ambientes paralelos virtuais, com aplicações desenvolvidas em PVM-W95. São considerados no desenvolvimento deste trabalho algoritmos de balanceamento estáticos e dinâmicos, incluindo métodos de distribuição e de migração de tarefas. O trabalho apresenta uma vasta revisão bibliográfica que cobre os principais métodos e algoritmos de balanceamento de cargas em ambientes distribuídos e paralelos, propostos nos últimos anos. Os métodos e algoritmos relevantes para o domínio de aplicação considerado são cuidadosamente investigados. Os algoritmos estudados são implementados como parte dos programas de aplicação e o estudo desenvolvido abrange fundamentalmente programas com alto processamento numérico. Os resultados obtidos mostram claramente que o método gradiente e os algoritmos globais são os mais eficientes para os programas aplicativos desenvolvidos e para o ambiente paralelo virtual adotado. / This MSc dissertation approaches the load balancing problem in parallel virtual environments, with applications developed in the PVM-W95. Static and Dynamic load balancing algorithms are considered in the developement of this work, including methods for both task distribution and task migration. The work shows a wide literature review covering the main methods and algorithms for load balancing in distributed and parallel environments, proposed over the last few years. The relevant methods and algorithms for the application domain considered are carefully investigated. The algorithms studied are implemented inbeded into the application programs and the study developed mainly covers programs with high numerical processing tasks. The results obtained clearly shows that the gradient method and the global algorithms are the more efficient ones for the application programs developed and for the parallel virtual environment adopted.

Este trabalho apresenta um método numérico para resolver escoamentos axisimétricos não-Newtonianos com superfícies livres. A metodologia empregada é uma extensão do código bidimensional GENSMAC para problemas axisimétricos. O código GENSMAC é uma técnica numérica que utiliza o método das particulas marcadoras ( \"marker-and-cell\" ) para simular escoamentos incompressíveis transientes. As equações governantes são resolvidas usando o método de diferenças finitas numa malha diferenciada ( \"staggered grid\" ). O fluido é representado por partículas marcadoras, as quais permitem a localização e visualização da superfície livre do fluido. Vários exemplos que demonstram a aplicação dessa nova técnica são apresentados. Em particular, a simulação de enchimento de moldes, do \"die-swell\" e do \"splashing drop\" são apresentados. / This work presents a numerical method for solving axisymmetric non-Newtonian flows. The methodology is an extension of the two-dimensional GENSMAC code to axisymmetric flows. GENSMAC is a marker-and-cell technique for investigating the dynamics of an incompressible fluid. It solves the governing equations using the finite difference method on a staggered grid. The fluid is represented by marker particles which provide the location and visualization of the free surface. Various results demonstrating the applicability of this new technique is presented. In particular, the simulation of die-swell, container filling and the splashing drop is given.

Neste trabalho estudamos os contatos genéricos de superfícies com famílias de hiperplanos e utilizamos os resultados para descrever os duais destas superfícies e as singularidades da aplicação de Gauss. Apresentamos duas abordagens para este estudo: o estudo dos teoremas de genericidade para famílias de funções altura definidas em hipersuperficies em espaços euclidianos, e os correspondentes resultados para hipersuperficies projetivas. A interpretação geométrica das singularidades destas famílias é discutida nos casos especiais de curvas planas, superfícies em R3 e superfícies em P3. Como aplicação, descrevemos os conjuntos duais nestas dimensões e estudamos as cúspides da aplicação de Gauss projetiva. / In this work we study the generic contacts of hypersurfaces with families of hyperplanes and we use these results to describe the duals of these surfaces and the singularities of the Gauss map. We discuss the genericity theorems for the family of height functions of embeddings of hypersurfaces in euclidian spaces and the corresponding results for projective hypersurfaces. The geometric interpretations of the singularities of these families are presented for the cases of plane curves, surfaces in R3 and projective hypersurfaces in P3. As final example, we study the cusps of the projective Gauss map.

A proposta deste trabalho é o desenvolvimento de um Gerador de Códigos baseado em Statechart integrado ao ambiente gráfico StatSim, desenvolvido pelo grupo de Engenharia de Software do ICMC-USP. Para isso, estudos sobre ferramentas e ambientes de sistemas baseados em Statecharts foram realizados. Durante o desenvolvimento do projeto, a partir da análise dos métodos existentes, foram desenvolvidos dois protótipos de código a serem gerado pela ferramenta pretendida, com o intuito de avaliar o algoritmo a ser empregado. Um protótipo foi implementado em Occarn e o outro em C++. Paralelamente foi desenvolvida uma ferramenta gráfica denominada HySChart (Hyperdocument System Based on stateCharts) para apoio ao modelo HMBS (Hypertext Model Based on Statechart), e validação de hiperdocumentos. Com base nesse ambiente, foi desenvolvido um gerador de código que transforma o hiperdocumento criado pelo HySChart em um hiperdocumento em HTML, que pode ser navegado com auxilio de um navegador HTML qualquer. Duas implementações foram feitas para esse gerador: uma que preserva a semântica de navegação do HMBS e outra que não preserva. / The proposal of this dissertation is the development of a Code Generator based on Statechart and integrated to the tool StatSim, developed by the Software Engineering group of the ICMC-USP with this aim, tools and environments that support statecharts were reviewed. During the development this project, starting from the analysis of the existent methods, two prototypes of code to be generated by the intended tool, aiming at evaluating the algorithm to be used. The two prototypes were implemented one in Occam and the another in C++. Simultaneously a denominated graphic tool called HySCharts (Hyperdocument System Based on stateCharts) was developed to HMBS (Hypertext Model Based on Statechart). Based on this environment, a a code generator was developed that transforms the hiperdocument created with HySCharts in a HTML document, that can be browsed by any HTML browser. Two implementations were done: one that preserves the browsing semantics of HMBS and another that doesn\'t preserve.