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

Foi desenvolvido um sistema posicionador plano de precisão da ordem de micrometros concebido para possuir as qualidades revelantes e a versatilidade necessária a possibilitar várias aplicações em inspeção visual automática. As aplicações consideradas foram inspeção visual automática em ambiente industrial para análise de falhas em linhas de montagem, subsistemas digitalizadores (microdensitômetros) de imagens médicas, geração de circuitos impressos multicamadas / It has been developed a positioning system in the plane, with a precision around micrometers. The system was designed to have quality and versatility that are need in several automatical visual analisys. The applications considered were automatical visual analisys in industry for detection of faitures in assembly lines, digitalization system (in microdensitometry) of medical images, generation of mult-layer printed circuits

Um novo espectrômetro para estudo de EXAFS em laboratórios, com tubos convencionais de raios-X, é apresentado. Este equipamento faz uso de um monocromador curvo para focalização sagital e usa a divergência na outra direção para fazer a dispersão em energia, permitindo que todos os pontos do espectro sejam coletados simultaneamente. O desempenho do espectrômetro para EXAFS foi avaliado com monocromadores planos e curvos. Aspectos como resolução em energia, redução no tempo de aquisição dos dados experimentais e calibração de energia, foram abordados, mostrando que monocromadores com raios de curvatura tão baixos quanto 60mm apresentam praticamente a mesma resolução em energia que os planos. Nos testes foram utilizadas amostras de Cobre e filmes como detectores unidimensionais / A new dispersive EXAFS spectrometer, for use with conventional laboratory x-ray sources, is presented. The equipment uses curved silicon monochromators for simultaneous focusing and dispersion of the available radiation, so that the whole spectrum is collected at one time. The performance of the spectrometer was studied with both curved and plane monochromators with respect to energy resolution, collection time reduction and energy calibration. The results show that there is practically no resolution deterioration, with respect to the plane monochromators, for radios of curvature as low as 60mm. For these tests x-ray films were used as linear detectors, which can be replaced by other low parallax unidimensional detectors, such as CCd type