Neste trabalho estudamos o problema de corte de estoque inteiro. Para o caso unidimensional, apresentamos alguns métodos heurísticos selecionados por Wãscher e Gau (1996), os quais realizaram um estudo computacional. Tais métodos partem da solução ótima do problema relaxado por programação linear e buscam uma solução inteira em sua \'vizinhança\'. Neste presente trabalho, estendemos um dos métodos para o caso bidimensional, que consiste em resolver o problema original relaxado, impondo padrões de corte 2-estágios e irrestritos e utilizando a geração de colunas proposta por Gilmore e Gomory (1965). Em seguida, um arredondamento para o inteiro inferior é feito, resultando em um problema residual. Para resolução deste problema, abandonamos novamente a condição de integralidade e utilizamos a técnica de geração de colunas impondo agora padrões de corte 2-estágios e restritos. O arredondamento é realizado, resultando em um novo problema residual, que será tratado da mesma forma. Este procedimento é repetido até que o arredondamento\' resulte somente em freqüências nulas. Por fim, padrões restritos são utilizados até toda a demanda restante ser atendida. Os resultados dos testes computacionais obtidos com a implementação deste método são apresentados, onde foram observadas fortes indicações da propriedade M1RUP ser também válida para problemas de corte bidimensional 2-estágios. / This work is concemed with the integer cutting stock problem. For the one-dimensional case, we present some heuristic methods selected by Wãscher and Gau (1996), who worked on a computational study. These methods start from an optimal solution for the relaxation problem by linear programming and search for an integer solution in lis `neighbourhood\'. In the present work, we extend one of the methods to the two-dimensional case, which consists of solving the relaxation original problem, imposing unconstrained 2-stage cutting patterns and doing use of the column generation method proposed by Gilmore and Gomory (1965). Then a rounding down is made, resulting in a residual problem. To solve this problem, we abandon again the integer condition and utilize the column generation technique, imposing now constrained 2-stage cutting pattems. The rounding down is made, resulfing in a new residual problem, that will be treated in the same way. This procedure is repeated \' until the rounding down only results in zero frequencies. Finally, constrained panem are used until ali the remaining demand be attended. The results of the computational tests obtained with the implementation of this method are presented, where we observed strong indication that the MIRUP property is also valid to 2-stage two-dimensional cutting problems.

Atividades sistemáticas e rigorosas no processo de desenvolvimento são fundamentais para a obtenção de produtos de software de qualidade, entre elas a utilização de técnicas formais. Apesar do rigor estabelecido pelo uso dessas técnicas nas fases iniciais de desenvolvimento, a qualidade da especificação pode não ser satisfatória. A condução de atividades de W&T Verificação, Validação e Teste, paralelamente às atividades de desenvolvimento, visa a assegurar a qualidade adequada a cada passo do processo. Este trabalho tem como objetivo contribuir para o teste de especificações SDL. SDL é uma técnica formal que surgiu da necessidade de se desenvolver uma linguagem padrão de especificação para a área de telecomunicações. Mais recentemente, SDL tem sido utilizada para a descrição de arquiteturas de software. Diversas técnicas têm sido propostas e utilizadas para garantir a qualidade de especificações SDL, como simulação e model checking; no entanto, não propiciam a análise quantitativa da atividade de validação, como por exemplo, a análise de cobertura, um dos aspectos fundamentais reconhecidos por diversos pesquisadores para avaliar a qualidade das atividades de teste e validação. Neste trabalho foram propostos critérios de teste baseados em fluxo de controle, em fluxo de dados e em mutação, além de estratégias de teste associadas para o teste dos processos de especificações SDL. Também foi definida uma família de critérios de fluxo de controle, FCCSDL, considerando o comportamento de todo o sistema, representado pela Arvore de Alcançabilidade para SDL proposta no escopo deste trabalho. Também foram definidas facilidades para a depuração de especificações SDL, com base nas informações de cobertura de teste. As ferramentas CATSDL e SmartDsDL foram desenvolvidas para apoiar as atividades de teste e depuração de especificações SDL. Com base no estudo de caso conduzido, foram fornecidas evidências da viabilidade da aplicação dos critérios de teste definidos e estabelecida uma estratégia de teste para guiar a atividade de teste de especificações SDL. / Systematic and rigorous activities during the development process are fundamental to the quality of the final software product. One of these activities is the use of formal techniques. Although formal techniques can provide rigor in the initial phases of development, the quality of the specification can be unsatisfactory. To guarantee the quality to each development process phase, VV&T - Verification, Validation and Testing - activities should be conducted. This work aims at contributing to the testing activity of SDL specifications. SDL is a formal technique proposed to be a standard specification language for the telecommunication area. Recently, SDL has been used to describe software architecture. Many techniques have been proposed to guarantee the quality of SDL specifications, such as simulation and model checking. However, these techniques do not provide a quantitative measure for the validation activity Many researchers have consider coverage analysis as a fundamental aspect to assess the quality of testing and validation activities. In this work, testing criteria based on control flow, data flow and mutation were proposed to test SDL processes. Testing strategies associated to these criteria were also established. To test the behavior of the SDL system modelled by a reachability tree, a family of control flow-based criteria were defined. Aiming at aiding the SDL debugging activity, some facilities were defined based on testing coverage information. Two tools were developed to support testing and debugging of SDL specifications, CATSDL and SmartDsDL, respectively. A case study was conducted and its results have shown that to use the testing criteria defined in this work to test SDL specifications is feasible. Based on the results of this case study, an incremental testing strategy was defined to guide the testing of SDL specifications.

Num cenário mundial de rápida expansão das relações interculturais e da transmissão de conhecimento científico e tecnológico, a língua muitas vezes representa uma barreira para a comunicação. Ferramentas computacionais, como os tradutores automáticos, podem acelerar e facilitar a comunicação escrita e oral entre povos de línguas e culturas diversas. Algoritmos e técnicas de alinhamento de textos paralelos têm recebido muita atenção nesse cenário. Neste projeto foram implementadas algumas técnicas de alinhamento lexical de textos paralelos para um corpus em português do Brasil e inglês, que foram avaliadas segundo as métricas de revocação e precisão, e seus resultados foram analisados. / In a scenario of fast expansion of intercultural relations and transmission of scientific and technological knowledge, the language can represent a communication barrier. Software applications, such as machine translation systems, can accelerate and facilitate written and verbal communication between people of different languages and cultures. Algorithms and techniques of parallel texts alignment has been received a lot of attention in this context. In this project some techniques of parallel texts lexical alignment for a Brazilian Portuguese and English corpus were implemented and evaluated according to recall and precision metrics, and the results were analyzed.

Neste projeto estudamos bifurcações de pontos de equilíbrio em sistemas de N células acopladas que possuem um grupo de simetria \"global\" G e cada célula possui sua simetria \"interna\" L, onde G é um subgrupo do grupo SN das permutações de N elementos e L é um grupo de Lie compacto. O acoplamento que consideramos é invariante segundo as simetrias internas de cada célula; neste caso, a combinação dos grupos L e G que leva à simetria total do sistema é a do grupo L produto coroa G, L ≀ G, ou seja, LN ∔ G Relacionamos as bifurcações de pontos de equilíbrio que ocorrem cm sistemas acoplados com grupo de simetria L ≀ G às bifurcações com simetria L ou G. Fazemos um aplicação dos resultados obtidos para um caso não degenerado de N células acopladas com simetria 0(2) ≀ SN. Vemos como a teoria invariante para O(2) ≀ SN está relacionada às teorias invariantes para os grupos O(2) e SN. Verificamos que, a menos de conjugação, existem exatamente N ramos de soluções, a saber, as com subgrupos de isotropias axiais. Além disso, discutimos a estabilidade das soluções e direção dos ramos. / In this project we study steady-state bifurcation in system of N coupled cells that possess a \"global\" symmetry group G, and in which each cell possess its own \"internai\" symmetry group L, where G is a subgroup of thc permutation group SN of N elements and L is a compact Lie group. The coupling we consider is invariant under the internai symmetries of each cell and the combination of the groups L and G leads to the total symmetry group given by L wreath product G, L ≀ G, i. e., LN ∔ G. We relate the steady-state bifurcations that occur in the coupled system with symmetry group L ≀ G to bifurcations with symmetry L or G. We apply the results to a non-degenerate system of N coupled cells with symmetry O (2) ≀ SN. We see how the invariant theory for O (2) ≀ SN is related to the invariant theories for O(2) and SN. We check that, up to conjugacy, there are exactly N branches, namely, those with axial subgroup. Moreover, we discuss stability and directions of the solution branches.

Seja M o produto de ri cópias da esfera p-dimensional SP com p ≥ 1 e n ≥ 2. Estudaremos nesta dissertação todos os automorfismos de Hp(M; Z) ≅ Zn que são realizados por difeomorfismos de M, fazendo uma classificação destes. Como uma aplicação, veremos uma classificação completa das esferas p-dimensionais mergulhadas suavemente em M a menos de difeomorfismos de M. / Let M be the product of n copies of the p-dimensional sphere SP with p ≥ 1 and n ≥ 2. We will study in this work all automorphisms of Hp(M; Z) ≅ Zn which can be realized by a diffeomorphism of M, making a classification of them. As an application, we will see a complete classification of smoothly embedded p-dimensionai spheres in M up to diffeomorphisms of M.

Este estudo objetiva contribuir para o conhecimento da evolução geológica e paleo-geográfica da planície costeira do Estado do Paraná. Contém uma caracterização geral da área, abordando aspectos climáticos, oceanográficos, florísticos, hidrográficos, geomorfológicos e da geologia do embasamento, visando auxiliar a compreensão da evolução da planície costeira; cartografia da planície costeira, apresentada nas escalas 1:50.000 e 1:100.000 e descrição das diversas unidades sedimentares que compõem a planície costeira e dos ambientes de sedimentação atuais associados. Dentre as unidades analisadas, destacam-se: Formação Alexandra (Mioceno inferior), planície costeira com cordões litorâneos (Pleistoceno superior e Holoceno), dunas frontais, depósitos paleo-estuarinos e as unidades correspondentes a alguns ambientes atuais de sedimentação, como planície de maré e deltas de maré. O trabalho apresenta, ainda, um estudo dos indicadores espaciais e temporais, morfológicos, sedimentológicos, biológicos e arqueológicos de paleoníveis marinhos encontrados no litoral paranaense. A análise dos indicadores possibilitou a obtenção de novas informações para a construção da curva de variação relativa do nível do mar no litoral paranaense durante os últimos 6.500 anos, principalmente em relação à altura dos máximos. Finalmente, são apresentados aspectos da evolução de alguns setores do litoral e o esboço de um modelo geral da planície costeira. / This study aims to contribute to the knowledge of geologic and paleogeographic evolution of the coastal plain of the State of Parana. The study contains a general characterization of the area, dealing with climatic, oceanographic, floristic, hydrographic, geomorphic and basament complex aspects aiming to help the comprehension of the coastal plain evolution, a coastal plain cartography is presented in scale of 1:50.000 and 1:100.000; and a description of several sedimentary units that form the coastal plain and the present associated sedimentary environments. Among the analised unities, it stand out the Alexandra Formation (Lower Miocene), the strand plain (Upper Pleistocene and Holocene), foredunes, paleoestuarine deposits and the correspondant unities to some present sedimentary environments as the tidal flats and tidal deltas. It is also in presented a study of the spatial and temporal, archeologic, biologic, sedimentologic, morphologic indicators of the marine paleo sea-levels found in the coast of the State of Parana. The analysis of the indicators made possible to obtain new information for the construction of the sea-level variation curve in the coast of the State of Parana during the last 6.500 years, mainly related to the height of the maximuns. Finally, aspects of the evolution of some coastal sectors and an outline of a model of the coastal plain evolution are presented.

O objetivo deste trabalho é progredir na teoria de raízes para aplicações f : K → M entre complexos K e variedades fechadas M. ambas de mesma dimensão r ≥ 3. Duas direções são abordadas. Na primeira, o conceito de classes mínimas é definido, e buscamos condições sobre os espaços K e M para que exista uma aplicação na classe de homotopia de f, onde todas as classes são mínimas. Na segunda, supondo que Hr(K; Z) = 0, gostaríamos de saber se é possível existir f : K → M tal que MR[f, a ≠ 0, onde a ∈ M é um ponto arbitrário. / The goal of this work is to progress in the roots theory to maps f : K → M between complexes K and closed manifolds M, both with the same dimension r ≥ 3. Two directions are treated. In the first direction, the concept of minimal classes is defined, and we seek conditions under the spaces K and M so that there exists a map in the homotopy class of f , where all the classes are minimals. In the second direction, we are supposing that Hr(K; Z) = 0, we will like to know if it is possible to exist f : K → M such that MR[f, a ≠ 0, where a ∈ M is an arbitrary point.

Consideramos ações de classe Cr. r &ge; 2, do grupo IRn em variedades diferenciáveis fechadas Mm de dimensão m com 2 &le; n &le; m &le; 3. Introduzimos o conceito de órbita compacta normalmente hiperbólica e para n = m obtemos alguns resultados de estabilidade estrutural em torno de uma órbita singular compacta. Combinando estes resultados com os resultados de C. Camacho obtemos também alguns resultados de estabilidade estrutural global. Também demonstramos que em alguns casos o tipo topológico das órbitas de uma ação impõe restrições sobre a topologia da variedade Mm. Finalmente, definimos o conceito de órbita compacta centro para órbitas compactas singulares e obtemos alguns resultados de estabilidade estrutural global de ações singulares analíticas reais. / We consider Cr<sup r &ge; 2, actions of IRn on closed ra-manifolds with 2 &le; n &le; m &le; 3. We introduce the concept of normally hyperbolic compact orbit and for n = m obtain some results on local structural stability. Combining these resnlts with others of C. Camacho we obtain also some results on global structural stability. We also show that the topological type of the orbits imposes restrictions on the topology of the manifold. Finally. we define the concept of center for compact singular orbits and obtain some results on the global structural stability of analytic singular actions.

Nesta dissertação é apresentado um método para o projeto de células de manufatura baseado em coloração em grafos. O método proposto calcula as dissimilaridades entre as peças e organiza o sistema de produção em famílias de peças e grupos de máquinas. Um grafo correspondente ao sistema de produção é gerado e um algoritmo de coloração acionado para obter um número de cores igual ao número desejado de células. O programa correspondente foi escrito em linguagem Delphi e está implementado em microcomputador. Os resultados obtidos sobre vários exemplos da literatura são equivalentes ou melhores do que aqueles propostos até o presente momento, em termos do número de movimentos inter-células e da dimensão das células. / A method for cellular manufacturing is presented in this paper. The proposed method computes the dissimilarities between parts and organizes the production system in partfamilies and group-machines. A graph corresponding to the production system is generated and a coloring algorithm is activated in order to obtain a number of cells equal to the desired number of cells. The corresponding program was written in Language Delphi and runs on a microcomputer. The results obtained on several examples found in the literature are consistently equivalent to or even better than those hitherto proposed, in terms of intercell moves and dimensions of the cells.

A exigência por produtos de software com qualidade tem-se mostrado recorrente no mercado dos dias atuais. A fim de que essa qualidade possa se manifestar, vários processos que concorrem para a \"fabricação\" do software necessitam ser muito bem definidos, executados e gerenciados. É, pois, imperativo, que se tenha uma abordagem para Garantia de Qualidade de Software, bem planejada e sistemática, para ser utilizada na avaliação dos produtos e dos processos envolvidos no desenvolvimento de software, e que permita e assegure o uso dos resultados dessa avaliação pelos gerentes e desenvolvedores ao longo de todo o ciclo de desenvolvimento. O que o presente trabalho propõe, então, é a abordagem GQS-AE (uma abordagem evolucionista para garantir a qualidade do software), que descreve a forma como manipular, organizar e gerenciar os recursos - técnicos e humanos - disponíveis em uma empresa de software, sob uma base pré-estabelecida, a fim de que sejam alcançados os objetivos de melhoria da qualidade de tal software. Ressalta-se, porém, que essa abordagem foi concebida de forma simplificada e presa às restrições que normalmente apresenta uma pequena empresa, incapacitada, na grande maioria das vezes, de adaptar modelos já existentes por serem eles mais adequados à realidade de empresas de maior porte. / The demand for high-quality software products has shown itself to be recurring nowadays. In order to accomplish such quality, various processes that concur in software \"manufacturing\" have to be very well defined, carried out and managed. It is therefore imperative that there be a systematic Software Quality Assurance approach, catering for the evaluation of ali the products and processes involved in software development and ensuring that evaiuation results are lifecycle-widely available and useful to managers and developers. In response, this work proposes GQS-AE an evolutionary software quality assurance approach describing how to organize and manage the resources - both human and technical - available in a software enterprise, on an aprioristic basis, so as to achieve quality enhancement goals. It is worth noticing that GQS-AE has been designed to be simple and friendly to small businesses, which are seldom at ease to adapt existing models, usually best fit to bigger enterprises.