A Faster 2D Technique for the design of Combinational Digital Circuits Using Genetic Algorithm

Combinational digital circuits can be evolved automatically using Genetic Algorithms (GA). Until recently this technique used linear chromosomes and and one dimensional crossover and mutation operators. In this paper, a new method for representing combinational digital circuits as 2 Dimensional (2D) chromosomes and suitable 2D crossover and mutation techniques has been proposed. By using this method, the convergence speed of GA can be increased significantly compared to the conventional methods. Moreover, the 2D representation and crossover operation provides the designer with better visualization of the evolved circuits. In addition to this, a technique to display automatically the evolved circuits has been developed with the help of MATLAB

An Improved Design of Combinational Digital Circuits with Multiplexers using Genetic Algorithm

This paper presents a new approach to the design of combinational digital circuits with multiplexers using Evolutionary techniques. Genetic Algorithm (GA) is used as the optimization tool. Several circuits are synthesized with this method and compared with two design techniques such as standard implementation of logic functions using multiplexers and implementation using Shannon’s decomposition technique using GA. With the proposed method complexity of the circuit and the associated delay can be reduced significantly

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.

Anàlisi del Cicle de Vida (ACV) del Monoestearat de Glicerina a CRODA Ibérica, S.A. – Mevisa Site

L’estudi de l’Anàlisi del Cicle de Vida (ACV) ha estat realitzat a l’empresa CRODA Ibèrica S.A - Mevisa Site, en concret a la línia productiva on s’hi fabrica el monoestearat de glicerina utilitzant una eina informàtica comercial denominada SIMAPRO que analitza i compara els aspectes mediambientals d’un producte d’una manera sistemàtica i consistent seguint les recomanacions de les normes ISO 14040

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.

Anàlisi comparativa dels processos emergents sharon i anammox per al tractament d’aigües amb una alta càrrega de nitrogen

Estudi de tractaments innovadors en aigües residuals amb elevada concentració de nitrogen mitjançant la tecnologia ANAMMOX (Anaerobic Ammonium Oxidation) i SHARON i posterior anàlisi teòrica de la gestió dels fangs residuals d’una EDAR

Anàlisi de l’ impacte ambiental i humà als espais Xarxa natura 2000 del Solsonès

Aquest projecte estudia la situació actual dels espais Xarxa Natura 2000 del Solsonès amb l’ objectiu de: proposar futures actuacions en el territori, donar propostes de gestió turística sostenible per així assegurar-ne la protecció i establir una base per a la redacció de les directrius de gestió d’aquests espais. Dels espais XN2000 del Solsonès s’han escollit dos: Les Obagues de la Riera de Madrona i el de la Ribera Salada

La Passió de Verges : anàlisi filològica dels textos

Anàlisi de textos que tracten el tema de La Passió de Verges

Instrumentació i anàlisi de dades d'assaigs de bigues de formigó armades amb barres de FRP

Estudi experimental del comportament de bigues de formigó armades amb barres de materials compostos de matriu polimèrica (FRP)

Turquia: anàlisi de la imatge turística promoguda

Estudi sobre la imatge promoguda de Turquia, analitzat des del punt de vista de les agències de viatges espanyoles i també, des dels ens organitzatius del propi país amb l'objectiu d'extreu-re'n un anàlisi comparatiu

Estudi de la relació entre qualificació i autoavaluació: anàlisi dels criteris de valoració de l'estudiant

En el marc de l’adaptació a l’Espai Europeu d’Educació Superior, l’avaluació dels aprenentatges esdevé una acció de summa importància en la qual cal tenir en compte els instruments, els mètodes i els agents. Respecte als agents o qui ha d’avaluar, una pràctica a afegir pot ser l’autoavaluació de l’estudiant. En aquesta comunicació es presenta una experiència d’avaluació en dues assignatures dels estudis de Psicologia consistent en la incorporació d’un informe d’autoavaluació de l’estudiant. S’analitza la relació entre els resultats de l’autoavaluació i els resultats de la prova oficial escrita. Així mateix s’estudien els criteris de valoració autoinformats pels alumnes en l’informe d’autoavaluació. S’extreuen conclusions respecte a la possibilitat d’incorporar l’informe d’autoavaluació en l’avaluació de les assignatures

Anàlisi, disseny i implementació de la nova web del trampolí tecnològic de la UdG

Creació d’un portal web amb informació sobre el Trampolí Tecnològic de la UdG (activitats, ofertes, etc.), i disseny d'una intranet que permeti al trampolí gestionar les diferents funcions que s'hi duen a terme (gestió dels diferents gestors de projectes, projectes que es tutelen, emprenedors i inversors que intervenen, ajudes que es poden rebre, etc.)

Disseny, anàlisi del comportament i fabricació d’un nou dissipador d’energia per a edificis sismorresistents

Definició, disseny, anàlisi del comportament i procés de fabricació d’un nou dissipador d’energia amb la finalitat de poder ser utilitzat en edificis sotmesos a situacions de moviment sísmic