Uma grande variedade de materiais são produzidos e estocados em grandes unidades que posteriormente são cortadas em unidades menores encomendadas por clientes. Evidentemente os processos de No corte estão restritos pela natureza das maquinas utilizadas. O Problema do Corte de Estoque Bidimensional consiste em cortar em função de um dado objetivo grandes placas de estoque em determinadas peças menores satisfazendo a demanda dos clientes. Associado a este problema, aparece um importante sub-problema que consiste em gerar um bom padrão numero de peças encomendadas de Este estudo revisa algumas de corte para cortar UM certo uma única placa de estoque. técnicas que tem sido aplicadas para estes problemas incluindo algumas modificações. Também e sugerida uma nova representação do sub-problema em um grafo-e-ou que possibilitara outras abordagens para a solução / A wide variety of materiais are produced and supplied in large units, that will be cut into smaller order units. Evidently, cutting processes are constrained by the nature of the machinery being used. Two-Dimensional Cutting-Stock Problem consists in cutting the stock plates into required smaller pieces to satisfy an order book, in such a way to optimize a given objective. Associated to this problem, there is an important sub-problem which consists to generate a good cutting pattern to cut a number of smaller pieces from a single stock plate. This study reviews the techniques that have been applied to these problems including some modifications. Also, it sugests a new and-or-graph representation for the sub-problem which may provide other approaches to the solution.

Não disponível / The main purpose of this work is to describe the primary obstruction of the existence of sections in a (n-1)-oriented fiber bundle whose fiber is (n-2)-conected. We start generalizing the concept of the Euler Class, for (n-1)-oriented fiber bundle and then we prove that this class is the primary obstruction if the fiber is (n-2)-conected. As an application we exhibit result about the topological classification of three dimensional manifolds.

Neste trabalho, mostramos a importância da pragmática em Sistemas de Processamento de Linguagem Natural. Estamos interessados, principalmente, em utilizá-la na eliminação da ambigüidade inerente à ordem dos quantificadores na representação do significado de sentenças. Desse modo, analisamos dois algoritmos geradores de escopos - um deles, baseado na geração de todos os escopos combinatoriamente possíveis; e, um segundo que suprime leituras falsas baseando-se na formação das fórmulas lógicas. Para os dois algoritmos acima, realizamos medidas para análise de eficiência e apresentamos as implementaçôes Prolog dos mesmos. O problema da eficácia dos algoritmos não pode ser ignorado desde que o problema de encontrar a representação correta de uma sentença não termina com a geração de escopos alternativos. O conhecimento pragmático deve ser acionado após a geração dos escopos para encontrarmos a interpretação mais pláusivel para uma data sentença. / Pragmatics is important to handle ambiguity in Natutal Language Processing. In particular, pragmatics can be used for quantifier scoping\'s correct interpretation in natural language sentences. In this work we treat the problem of handling quantifier scoping in natural language sentences that are assigned a logic meaning representation. In particular, we concentrate in two algorithms that generate quantifier scopings for portuguese. sentences. We address the scoping algorithm where all potential alternative scoping are generated obtaining the logical form that would correspond to each permutation as well as the scoping algorithm to generate logical forms where exceptions are taken into account to further constraint the number of possibilities. The two algorithms are presented together with its implementation in Prolog and measures of their efficiency. Although these measures show that the first algorithm is much more efficient than the second algorithm, the problem of efficacy - since after generating the scoping for some sentences, pragmatic information specific to the domain may be essencial for deriving the correct reading - can not be ignored.

Não disponível / We study φ-equivalence, and the corresponding concepts of finite determinacy and transversal unfoldings. This equivalence was introduced by L. Favaro and C. Mendes who studied φ - stability. We obtain necessary and sufficient conditions for finite φ - determinacy of map-germs that apply to a special class of infinitesimally stable germs w. Building upon results of Egúsquiza for π - stable paths of mappings, we prove genericity theorems for an auxiliary equivalence relation, namely Ã-- equivalence, and for φ equivalence. The main result shows that the evolution of the singularities from a manifold N into the plane can be realized by preserving a foliation defined by a fixed Morse function φ : N → R. Moreover, the generic bifurcations are classified.

A literatura apresenta regras de usabilidade para orientar o projeto de interfaces de sistemas de software. No entanto, essas regras geralmente estão relacionadas a aspectos de apresentação de mídias de informação isoladas, mostrando-se limitadas quando analisadas sob a perspectiva de diferentes mídias. Propõe-se, a partir de regras de usabilidade propostas na literatura e da avaliação de usabilidade de hiperdocumentos multimídia de um sistema Web, um conjunto de regras que se aplica ao projeto de hiperdocumentos multimídia voltados para o contexto da World Wide Web. As novas regras foram utilizadas para orientar a implementação de uma nova versão de hiperdocumentos para o sistema originariamente avaliado. No contexto do mesmo sistema, as regras propostas foram comparadas com um conjunto clássico de regras de usabilidade. Finalmente, as novas regras foram investigadas em termos de sua adequação à avaliação de hiperdocumentos multimídia de outros dois sistemas Web. / Usability rules have been proposed in the literature to guide the design of software interfaces. However, these rules generally pertain to the presentation aspects of a particular information media, with limitations revealed when applied across different media. From the usability rules found in the literature and from the usability evaluation of multimédia hyperdocuments for a single system on the Web, we propose a set of rules to apply to a project containing multimédia hyperdocuments focused in the context of the World Wide Web. The new set of rules were used to guide the implementation of a new version of hyperdocuments for the system evaluated. In the context of that same system, the new rules were compared to a classic set of usability rules. Finally, the set proposed was investigated with respect to their adequation to the evaluation of hypermedia documents of two other web systems.

O desenvolvimento de recursos computacionais para PLN é, na maioria das vezes, uma tarefa árdua e demorada, principalmente na fase inicial, de aquisição de conhecimento. Esta tarefa pode ser simplificada com a centralização dos dados em um repositório que armazene todas as informações lexicais disponíveis de uma determinada língua. Este trabalho documenta o desenvolvimento da DlADORIM, uma base relacional de dados lexicais para a língua portuguesa, com cerca de 1.5 milhão de entradas. Os desafios linguísticos e computacionais encontrados durante todo o processo são discutidos. Várias interfaces de acesso e edição foram implementadas e avaliadas. / The development of computational resources of NLP is usually an expensive task in terms of time complexity, mainly in knowledge acquisition phase. This task can be simplified by keeping the data in a central repository, which stores all the available lexical information of a particular language. This work describes the development process of DIADORIM, a relational lexical database for Brazilian Portuguese with around 1.5 million entries. Linguistics and computational development problems are deeply discussed. Interfaces for accessing and editing data were implemented and evaluated.

Neste trabalho, fazemos uma releitura crítica do problema do aconselhamento ortográfico para o português do Brasil, entendido como a correção interativa de erros ortográficos ortográficos em palavras isoladas, e reagimos. Em primeiro lugar, identificamos um parâmetro de qualidade importante - utilidade - e argumentamos que as soluções correntes o negligenciam. Procuramos meios de maximizar esse parâmetro, um dos quais justificamos ser o embasamento linguístico e daí propomos uma arquitetura genérica de sistema corretor interativo centrado em utilidade. Continuamos o trabalho levantando conhecimentos linguísticos relevantes e fazendo considerações úteis ao desenvolvimento de um conselheiro ortográfico segundo o modelo proposto. / In this work, we review the situation of spell-checking for Brazilian Portuguese from a (very) critical point of view and react. We identify an important quality factor - utility - and argue that it has been neglected by current solutions. We search for ways to maximize that factor, one of which we justify to be massive employment of linguistic knowledge, and hence propose a generic architecture for utility-centered interactive error correctors. Then we go on to gather relevant linguistic knowledge, and give useful pointers on the development of a spell-checker according to our model.

Nós estudamos análogos quânticos unidimensionais de modelos de Ising em duas dimensões com defeito linear do tipo linha e escada. A abordagem foi a do Grupo de Renormalização Fenomenológico mas argumentos de invariância conforme tiveram que ser utilizados para relacionar o expoente crítico nH* (da função de correlação temporal do spin no defeito) a uma razão de diferenças de energia para cadeias finitas. Para diaginalizar os Hamiltonianos utilizamos o método da tridiagonalização de Lanczos. Os resultados obtidos estão em absoluta concordância com a fórmula de Peschel e Schotte obtida pelo método da bosonização / We study quantum analogs of two-dimensional Ising models with a linear defect. Conformal invariance and scaling arguments are used to relate the expoent nH* to a finite chain mass-gap ratio. Close agreement is found with the pertinent exact results

Este trabalho estuda as redes de interconexão da arquitetura a fluxo de dados Proto-WOLF, descreve suas implementações através do simulador da arquitetura (SAW Simulador da Arquitetura Proto-WOLF) e identifica qual tipo de chave é mais adequada. A fim de contextualizar o trabalho, são apresentados os fundamentos de redes de interconexão e as topologias mais amplamente utilizadas em arquiteturas MIMD, também são dadas as descrições de algumas das mais conhecidas máquinas a fluxo de dados.São dadas as descrições do estágio atual do simulador SAW e da arquitetura Proyo-WOLF a fim de definir as características das chaves de interconexão mais adequadas à arquitetura. Os resultados da implementação dessas redes são apresentados e analisados, verificando-se que a combinação Crossl-Gsn apresenta o melhor desempenho / This work presents the Proto-WOLF interconnection networks and describes the implementations in the simulator SAW and identifying the best network configuration. A survey of interconnection networks and a description of some dataflow machines is presented in order to contextualize the work. The current version of the simulator is presented in order to define the features of the interconnection networks that best fit the Proto-WOLF architecture. Simulation results are presented and analyzed to validate the work, and indicate that the Crossl-Gsn combination has the best characteristics

A detecção precoce do câncer de mama é dificultada pela falta de contraste das imagens fornecidas pelos sistemas mamográficos. Com esta pesquisa procuramos auxiliar o diagnostico, reconhecendo a forma das micro-calcificações associadas aos tumores. As micro-calcificações, principalmente as vermiformes e anelares, são indícios decisivos da presença, ou não, dos carcinomas. o reconhecimento da forma das micro-calcificações e feito por processamento computacional, aplicando algoritmos baseados na transformada de Hough. Desenvolvemos para esta finalidade algoritmos de segmentação, detecção de formas vermiculares e elípticas anelares / Breast cancer early detection is difficult due the problems with the mammography systems images contrast. This research aims to aid the diagnostic by recognizing the micro-calcifications shape. The micro-calcifications, mainly the vermiculated and the ring shaped, are positive indications of existence, or not, of carcinomas. The recognition of micro-calcifications shape is performed by a computer processing, by applying Hough transform-based algorithms developed to this purpose