The thesis presents a new approach to the decomposition of incompletely specified functions and its application to FPGA (Field Programmable Gate Array) mapping. Five methods: Variable Partitioning, Graph Coloring, Bond Set Encoding, CLB Reusing and Local Transformation are developed in order to efficiently perform decomposition and FPGA (Lookup-Table based FPGA) mapping. 1) Variable Partitioning is a high quality hemistic method used to find the "best" partitions, avoiding the very time consuming testing of all possible decomposition charts, which is impractical when there are many input variables in the input function. 2) Graph Coloring is another high quality heuristic\ used to perform the quasi-optimum don't care assignment, making the program possible to accept incompletely specified function and perform a quasi-optimum assignment to the unspecified part of the function. 3) Bond Set Encoding algorithm is used to simplify the decomposed blocks during the process of decomposition. 4) CLB Reusing algorithm is used to reduce the number of CLBs used in the final mapped circuit. 5) Local Transformation concept is introduced to transform nondecomposable functions into decomposable ones, thus making it possible to apply decomposition method to FPGA mapping. All the above developed methods are incorporated into a program named TRADE, which performs global optimization over the input functions. While most of the existing methods recursively perform local optimization over some kinds of network-like graphs, and few of them can handle incompletely specified functions. Cube calculus is used in the TRADE program, the operations are global and very fast. A short description of the TRADE program and the evaluation of the results are provided at the_ end of the thesis. For many benchmarks the TRADE program gives better results than any program published in the literature.

La richesse des réponses aux requêtes posées aux systèmes pair-à-pair de gestion de données (PDMS) dépend du nombre de mappings entre les ontologies des différents pairs. Augmenter ce nombre permet d'améliorer les réponses aux requêtes. C'est à ce problème que nous nous intéressons dans cette thèse. Il s'agit de découvrir des liens sémantiques entre les ontologies des différents pairs du système. Ce problème, connu sous le nom d'alignement d'ontologies, est spécifique dans les systèmes pair-à-pair, au sein desquels les ontologies ne sont pas a priori complètement connues, le nombre d'ontologies à aligner est très important et l'alignement doit s'opérer en l'absence de contrôle centralisé. Nous proposons des techniques semi-automatiques pour identifier : (1) des raccourcis de mappings correspondant à une composition de mappings existants et (2) des mappings nouveaux ne pouvant être inférés en l'état actuel du système. Ces techniques sont basées sur l'exploitation des mécanismes de raisonnement des PDMS et sur des critères de filtrage restreignant le nombre de couples d'éléments à aligner. Les raccourcis de mappings sont identifiés à partir de l'analyse de la trace des requêtes posées par les utilisateurs, mais également après application de critères estimant leur utilité. La découverte de nouveaux mappings consiste à identifier les éléments de l'ontologie d'un pair donné qui permettent d'identifier des mises en correspondance jugées intéressantes puis à sélectionner les éléments de pairs distants avec lesquels il est pertinent de les aligner. Les techniques d'alignement proposées sont soit des adaptations de techniques existantes soit des techniques innovantes tirant parti des spécificités de notre cadre de travail

Studying chaotic behavior in nonlinear systems requires numerous computations in order to simulate the behavior of such systems. The Standard Map Machine was designed and implemented as a special computer for performing these intensive computations with high-speed and high-precision. Its impressive performance is due to its simple architecture specialized to the numerical computations required of nonlinear systems. This report discusses the design and implementation of the Standard Map Machine and its use in the study of nonlinear mappings; in particular, the study of the standard map.

Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.

Parmi tous les leviers à disposition des entreprises, la prise en compte de la perception par les clients est aujourd'hui centrale, dès la conception des produits. En effet, le consommateur est aujourd'hui mieux informé et attentif à ce qu'il perçoit de la qualité d'un produit et cette perception lui permet d'établir une valeur d'estime de la qualité esthétique des produits, mais aussi de ses fonctionnalités techniques. La méthodologie de l'analyse de la qualité d'aspect des surfaces est donc un enjeu essentiel pour l'industrie. Deux approches de la fonctionnalité des surfaces sont proposées afin de formaliser la méthodologie de détection, et d'apporter aux experts des critères objectifs d'évaluation des anomalies. La première approche proposée est basée sur la métrologie des surfaces. Elle consiste à analyser les topographies mesurées pour lier la fonction aspect aux caractéristiques géométriques extraites. Une approche multi-échelle basée sur la Décomposition Modale Discrète est mise en oeuvre afin de séparer efficacement les différents ordres de variations géométriques d'une surface, et ainsi d'isoler les anomalies d'aspect. D'autre part, cette méthode permet la mise en oeuvre du calcul des courbures sur une surface de façon simplifiée et robuste. On montre que cet attribut géométrique apporte une information supplémentaire et pertinente en lien avec la fonction aspect. Enfin, ces travaux ont mis en évidence l'importance de la qualité des données sources pour analyser l'aspect, et particulièrement deux difficultés d'ordre métrologiques, liées à la présence de points aberrants (hautes fréquences) et de variations géométriques non intrinsèques aux surfaces, générées par le moyen de mesure (basses fréquences). Une méthode innovante d'identification des points aberrants dédiée à la métrologie des surfaces et basée sur une approche statistique multi-échelle est proposée. La problématique des variations géométriques liées aux tables de positionnement du moyen de mesure est traitée au moyen de la Décomposition Modale, et un protocole pour corriger ces variations est présenté. La seconde approche, plus globale, est basée sur l'interaction entre les surfaces et l'environnement lumineux. L'objet de cette approche de l'analyse de l'aspect est d'apporter une aide aux experts pour mieux détecter les anomalies. Les travaux présentés sont basés sur la technique Polynomial Texture Mappings et consistent à modéliser la réflectance en chaque point des surfaces afin de simuler le rendu visuel sous un éclairage quelconque, à la manière de ce que font les opérateurs en analyse sensorielle pour faciliter la détection. Un dispositif d'aide à l'inspection des surfaces basé sur ce principe est présenté. Enfin, une approche industrielle est proposée afin de montrer comment ces 2 axes de recherche peuvent être complémentaires dans le cadre d'une méthodologie globale, industrielle, de l'analyse de la qualité d'aspect de surfaces.

The intent of this paper is to present the reader will enough information to spark a curiosity in to the subject. By no means is the following a complete formulation of any of the topics covered. I want to give the reader a tour of the mathematical landscape. There are plenty of further details to explore in each section, I have just touched the tip the iceberg. The work is basically in four sections: Numbers, Geometry, Functions, Sets and Logic, which are the basic building blocks of Math. The first sections are a exposition into the mathematical objects and their algebras. The last section dives into the foundation of math, sets and logic, and develops the ``language'' of Math. My hope is that after this, the reader will have the necessary (maybe not sufficient) information needed to talk the language of Math.

The site analysis and mapping methods in the design and planning professions follow a standardized quantitative and qualitative analyis of place that favors a design process which can limit creativity and render it difficult to do anything with the normative. This work is an exploration of the development of a design approach and method that uses voice mapping as a basis for design. The voice maps contain oral histories and personal accounts of landscape experiences. Voice mapping is employed not only as a method or for site analysis but also as a generator or ideas. Voice Map Trekking is explored through a trek in the Canadian Arctic and across the Canadian Prairies. Two specific landscapes were chosen as bases for testing concepts - one near St. Gertrude SK and the other near Morinville AB. / February 2008

This dissertation creates practical methods for Poincaré return mappings of individual and networked neuron models. Elliptic bursting models are found in numerous biological systems, including the external Globus Pallidus (GPe) section of the brain; the focus for studies of epileptic seizures and Parkinson's disease. However, the bifurcation structure for changes in dynamics remains incomplete. This dissertation develops computer-assisted Poincaré ́maps for mathematical and biologically relevant elliptic bursting neuron models and central pattern generators (CPGs). The first method, used for individual neurons, offers the advantage of an entire family of computationally smooth and complete mappings, which can explain all of the systems dynamical transitions. A complete bifurcation analysis was performed detailing the mechanisms for the transitions from tonic spiking to quiescence in elliptic bursters. A previously unknown, unstable torus bifurcation was found to give rise to small amplitude oscillations. The focus of the dissertation shifts from individual neuron models to small networks of neuron models, particularly 3-cell CPGs. A CPG is a small network which is able to produce specific phasic relationships between the cells. The output rhythms represent a number of biologically observable actions, i.e. walking or running gates. A 2-dimensional map is derived from the CPGs phase-lags. The cells are endogenously bursting neuron models mutually coupled with reciprocal inhibitory connections using the fast threshold synaptic paradigm. The mappings generate clear explanations for rhythmic outcomes, as well as basins of attraction for specific rhythms and possible mechanisms for switching between rhythms.

Time Memory Trade O (TMTO) is a cryptanalytic method that aims to develop an attack which has a lower memory complexity than lookup table and a lower online time complexity than exhaustive search. TMTO methods are widely studied in the literature and used for inverting various cryptosystems. We focus on the design and the analysis of TMTO on symmetric ciphers in this thesis. Firstly, the summary of the random mapping statistics from the view point of TMTO is presented. We also recalculate some expected values with a simpler approach than the existing proofs. Then, we propose some variant constructions and also present three new distinguishers based on random mappings. Next, we provide a detailed analysis of the success rate of two main improvements of the attack / Distinguished Point Method and Rainbow Method. Finally, we discuss the adjustment of the parameters to achieve a high success rate. To support our theoretical framework, we also present empirical results of our analysis to actual ciphers.

Thesis (Ph.D.)--Ohio University, June, 2009. / Includes bibliographical references (leaves 146-149)