Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Taming Chaotic Circuits

Control algorithms that exploit chaotic behavior can vastly improve the performance of many practical and useful systems. The program Perfect Moment is built around a collection of such techniques. It autonomously explores a dynamical system's behavior, using rules embodying theorems and definitions from nonlinear dynamics to zero in on interesting and useful parameter ranges and state-space regions. It then constructs a reference trajectory based on that information and causes the system to follow it. This program and its results are illustrated with several examples, among them the phase-locked loop, where sections of chaotic attractors are used to increase the capture range of the circuit.

Biologically Plausible Neural Circuits for Realization of Maximum Operations

Object recognition in the visual cortex is based on a hierarchical architecture, in which specialized brain regions along the ventral pathway extract object features of increasing levels of complexity, accompanied by greater invariance in stimulus size, position, and orientation. Recent theoretical studies postulate a non-linear pooling function, such as the maximum (MAX) operation could be fundamental in achieving such invariance. In this paper, we are concerned with neurally plausible mechanisms that may be involved in realizing the MAX operation. Four canonical circuits are proposed, each based on neural mechanisms that have been previously discussed in the context of cortical processing. Through simulations and mathematical analysis, we examine the relative performance and robustness of these mechanisms. We derive experimentally verifiable predictions for each circuit and discuss their respective physiological considerations.

Diagnosi ambiental d'oportunitats de minimització a l'Ajuntament de Banyoles

Aplicació d'una DAOM (Diagnosi Ambiental d’Oportunitats de Minimització)a l'Ajuntament de Banyoles. Una DAOM és una eina desenvolupada pel Centre per a l’Empresa i el Medi Ambient, que consisteix en l’avaluació d’una activitat o procés, per determinar les possibles oportunitats de prevenció i reducció en origen de la contaminació, i aportar-hi alternatives d’actuació tècnica i econòmicament viables

Preliminary Characterisation of Low-Temperature Bonded Copper Interconnects for 3-D Integrated Circuits

Three dimensional (3-D) integrated circuits can be fabricated by bonding previously processed device layers using metal-metal bonds that also serve as layer-to-layer interconnects. Bonded copper interconnects test structures were created by thermocompression bonding and the bond toughness was measured using the four-point test. The effects of bonding temperature, physical bonding and failure mechanisms were investigated. The surface effects on copper surface due to pre-bond clean (with glacial acetic acid) were also looked into. A maximum average bond toughness of approximately 35 J/m² was obtained bonding temperature 300 C.

Diagnosi de l’estat ecològic de les poblacions de nàiades als recs i rieres de l’Estany de Banyoles: propostes de gestió per la seva conservació

Estudi sobre la situació actual de les nàiades dels recs de l’estany de Banyoles, concretament de les espècies unio elongatulus penchinatianus, potomida littoralis subreniformis i anodonta cygnea. Amb les dades recollides es fa una proposta de pla de gestió per a la conservació, protecció i repoblació d’aquestes espècies a la zona

Diagnosi i propostes de millora dels trams urbans dels rius de la ciutat de Girona

Estudi dels quatre rius de la ciutat de Girona, Ter, Onyar, Güell i Galligants, realitzant una diagnosi ambiental i posteriors propostes de millora

Professionals: L'experiència d'un titulat que desenvolupa la seva activitat professional dissenyant circuits electrònics

Seguint amb l’objectiu que titulats a l’Escola Politècnica Superior expliquin detalls de la seva inserció laboral i del seu perfil professional, en aquest segon número de la revista entrevistem el Sr. Albert Pijuan Vila. En aquest cas no es tracta d’un titulat recent, ja que l’Albert va finalitzar els estudis l’any 1988. Recordem que, si bé al 1988 ja disposàvem de d’actual edifici P-I de l’EPS, l’escola encara estava vinculada a la Universitat Politècnica de Catalunya. El principal interès que ens ha mogut a entrevistar l’Albert ha estat el fet de poder presentar les característiques d’un tipus de lloc de treball que pot ser adient per a alguns dels titulats actuals de l’EPS, especialment d’Enginyeria Tècnica Industrial, especialitat Electrònica Industrial i Enginyeria Tècnica en Informàtica de Sistemes. L’entrevista també vol explorar quins són els tipus de coneixements i les competències que haurien d’adquirir els estudiants per adequar-se millor a aquest tipus de sortida professional

Diagnosi de les potencialitats silvoramaderes per a la prevenció d’incendis forestals a Fitor (EIN Gavarres)

Diagnosi ambiental de la zona de Fitor (EIN Gavarres) per tal de gestionar aquesta zona, reduint el risc d’ incendi forestal. Amb l’ objectiu de reduir el risc d’ incendi en aquesta zona es proposa la introducció d’ un ramat de 350 individus per rebaixar la fitomassa del sotabosc, tenint en compte els PEG’s (Punts Estratègics de Gestió) marcats en el PPIF (Pla de Prevenció d’ Incendis Forestals). Es proposen una sèrie de recorreguts i àrees de pastura per tal de reduir o mantenir la fitomassa del sotabosc, i unes propostes d’actuació a nivell executiu i divulgatiu per dinamitzar el sector ramader

Pla d’actuació contra l’absentisme escolar a Palafrugell: Diagnosi de la realitat socioeducativa i protocol d’actuació contra l’absentisme escolar i la desescolarització

El treball té l’objectiu de dissenyar un protocol d’actuació que contempli aspectes sobre prevenció, detecció i intervenció contra l’absentisme escolar i la desescolarització al municipi. Per a això s’ha desenvolupat una diagnosi municipal d’anàlisi de la realitat sobre el tema, fent èmfasi en la intervenció socioeducativa que s’ha de realitzar per a tractar el fenomen des d’una perspectiva holística i global

Caracterització i diagnosi de masses en imatges de mamografia

Els objectius del projecte es divideixen en tres blocs: Primerament, realitzar una segmentació automàtica del contorn d'una imatge on hi ha una massa central. Tot seguit, a partir del contorn trobat, caracteritzar la massa. I finalment, utilitzant les característiques anteriors classificar la massa en benigne o maligne. En el projecte s'utilitza el Matlab com a eina de programació. Concretament les funcions enfocades al processat de imatges del toolbox de Image processing (propi de Matlab) i els classificadors de la PRTools de la Delft University of Technology

Educació, immigració, fracàs social, qualitat educativa i èxit escolar : dades per a una diagnosi. 'Educación, inmigración, fracaso social, calidad educativa y éxito escolar : datos para una diagnosis'.

Resumen de la revista en catalán

Aproximació a una diagnosi de la competència lingüística de l'alumne fill d'immigrants al torn de nit de l'I.B. Vicenç Plantada de Mollet del Vallès. 'Aproximación a una diagnosis de la competencia lingüística del alumno hijo de inmigrantes en el turno de noche del I.B. Vicenç Plantada de Mollet del Vallès'.

Un resumen de este documento está publicado en la revista Guix, Barcelona, 1993, n 192, octubre; p. 59-60

L'educaci?? musical avui : diagnosi i reflexions

Resumen basado en el de la publicaci??n