Plataforma de desenvolvimento de circuitos eletrônicos adaptativos.

Este trabalho apresenta uma arquitetura geral para evolução de circuitos eletrônicos analógicos baseada em algoritmos genéticos. A organização lógica privilegia a interoperabilidade de seus principais componentes, incluindo a possibilidade de substituição ou melhorias internas de suas funcionalidades. A plataforma implementada utiliza evolução extrínseca, isto é, baseada em simulação de circuitos, e visa facilidade e flexibilidade para experimentação. Ela viabiliza a interconexão de diversos componentes aos nós de um circuito eletrônico que será sintetizado ou adaptado. A técnica de Algoritmos Genéticos é usada para buscar a melhor forma de interconectar os componentes para implementar a função desejada. Esta versão da plataforma utiliza o ambiente MATLAB com um toolbox de Algoritmos Genéticos e o PSpice como simulador de circuitos. Os estudos de caso realizados apresentaram resultados que demonstram a potencialidade da plataforma no desenvolvimento de circuitos eletrônicos adaptativos.

Diseño de un sistema de monitorización de estructuras de procesamiento paralelo.

[ES]Este proyecto consiste en el diseño de un sistema de monitorización de estructuras (SHM) con procesamiento paralelo. Los sistemas SHM sirven para analizar la integridad de estructuras y detectar daños en las mismas. El sistema diseñado utiliza la técnica de ondas ultrasónicas superficiales. Integra todos los circuitos electrónicos para generar y adquirir las señales. También incluye un procesador para tratar las señales y detectar los daños de la estructura. El sistema se ha diseñado para conectar varios equipos en paralelo

Síntese evolucionária de circuitos sequenciais inspirada nos princípios da computação quântica.

Esta dissertação investiga a aplicação dos algoritmos evolucionários inspirados na computação quântica na síntese de circuitos sequenciais. Os sistemas digitais sequenciais representam uma classe de circuitos que é capaz de executar operações em uma determinada sequência. Nos circuitos sequenciais, os valores dos sinais de saída dependem não só dos valores dos sinais de entrada como também do estado atual do sistema. Os requisitos cada vez mais exigentes quanto à funcionalidade e ao desempenho dos sistemas digitais exigem projetos cada vez mais eficientes. O projeto destes circuitos, quando executado de forma manual, se tornou demorado e, com isso, a importância das ferramentas para a síntese automática de circuitos cresceu rapidamente. Estas ferramentas conhecidas como ECAD (Electronic Computer-Aided Design) são programas de computador normalmente baseados em heurísticas. Recentemente, os algoritmos evolucionários também começaram a ser utilizados como base para as ferramentas ECAD. Estas aplicações são referenciadas na literatura como eletrônica evolucionária. Os algoritmos mais comumente utilizados na eletrônica evolucionária são os algoritmos genéticos e a programação genética. Este trabalho apresenta um estudo da aplicação dos algoritmos evolucionários inspirados na computação quântica como uma ferramenta para a síntese automática de circuitos sequenciais. Esta classe de algoritmos utiliza os princípios da computação quântica para melhorar o desempenho dos algoritmos evolucionários. Tradicionalmente, o projeto dos circuitos sequenciais é dividido em cinco etapas principais: (i) Especificação da máquina de estados; (ii) Redução de estados; (iii) Atribuição de estados; (iv) Síntese da lógica de controle e (v) Implementação da máquina de estados. O Algoritmo Evolucionário Inspirado na Computação Quântica (AEICQ) proposto neste trabalho é utilizado na etapa de atribuição de estados. A escolha de uma atribuição de estados ótima é tratada na literatura como um problema ainda sem solução. A atribuição de estados escolhida para uma determinada máquina de estados tem um impacto direto na complexidade da sua lógica de controle. Os resultados mostram que as atribuições de estados obtidas pelo AEICQ de fato conduzem à implementação de circuitos de menor complexidade quando comparados com os circuitos gerados a partir de atribuições obtidas por outros métodos. O AEICQ e utilizado também na etapa de síntese da lógica de controle das máquinas de estados. Os circuitos evoluídos pelo AEICQ são otimizados segundo a área ocupada e o atraso de propagação. Estes circuitos são compatíveis com os circuitos obtidos por outros métodos e em alguns casos até mesmo superior em termos de área e de desempenho, sugerindo que existe um potencial de aplicação desta classe de algoritmos no projeto de circuitos eletrônicos.

Lógica nebulosa aplicada a um sistema de detecção de intrusos em computação em nuvem.

O objetivo deste trabalho é avaliar os riscos de ocorrências de intrusos em um sistema de computação em nuvem para sistemas distribuídos utilizando lógica nebulosa. A computação em nuvem é um tema que vem sendo bastante abordado e vem alavancando discussões calorosas, tanto na comunidade acadêmica quanto em palestras profissionais. Embora essa tecnologia esteja ganhando mercado, alguns estudiosos encontram-se céticos afirmando que ainda é cedo para se tirar conclusões. Isto se deve principalmente por causa de um fator crítico, que é a segurança dos dados armazenados na nuvem. Para esta dissertação, foi elaborado um sistema distribuído escrito em Java com a finalidade de controlar um processo de desenvolvimento colaborativo de software na nuvem, o qual serviu de estudo de caso para avaliar a abordagem de detecção de intrusos proposta. Este ambiente foi construído com cinco máquinas (sendo quatro máquinas virtuais e uma máquina real). Foram criados dois sistemas de inferência nebulosos, para análise de problemas na rede de segurança implementados em Java, no ambiente distribuído. Foram realizados diversos testes com o intuito de verificar o funcionamento da aplicação, apresentando um resultado satisfatório dentro dessa metodologia.

Channels that heat up

This paper considers an additive noise channel where the time-κ noise variance is a weighted sum of the squared magnitudes of the previous channel inputs plus a constant. This channel model accounts for the dependence of the intrinsic thermal noise on the data due to the heat dissipation associated with the transmission of data in electronic circuits: the data determine the transmitted signal, which in turn heats up the circuit and thus influences the power of the thermal noise. The capacity of this channel (both with and without feedback) is studied at low transmit powers and at high transmit powers. At low transmit powers, the slope of the capacity-versus-power curve at zero is computed and it is shown that the heating-up effect is beneficial. At high transmit powers, conditions are determined under which the capacity is bounded, i.e., under which the capacity does not grow to infinity as the allowed average power tends to infinity. © 2009 IEEE.

A finite element model of magnetization of superconducting bulks using a solid-state flux pump

Superconductors have a bright future; they are able to carry very high current densities, switch rapidly in electronic circuits, detect extremely small perturbations in magnetic fields, and sustain very high magnetic fields. Of most interest to large-scale electrical engineering applications are the ability to carry large currents and to provide large magnetic fields. There are many projects that use the first property, and these have concentrated on power generation, transmission, and utilization; however, there are relatively few, which are currently exploiting the ability to sustain high magnetic fields. The main reason for this is that high field wound magnets can and have been made from both BSCCO and YBCO, but currently, their cost is much higher than the alternative provided by low-Tc materials such as Nb3Sn and NbTi. An alternative form of the material is the bulk form, which can be magnetized to high fields. This paper explains the mechanism, which allows superconductors to be magnetized without the need for high field magnets to perform magnetization. A finite-element model is presented, which is based on the E-J current law. Results from this model show how magnetization of the superconductor builds up cycle upon cycle when a traveling magnetic wave is induced above the superconductor. © 2011 IEEE.

HIRFL-CSR前端总线控制器的SD驱动

The HIRFL-CSR EVME bus controller, which runs Embedded Linux OS, is based on AT91RM9200 microprocessor, whose core is ARM920T. There are hardware interface electronic circuits connecting AT91RM9200 microprocessor and Security Digital Memory Card (SD Card). This article analyzes Operation System kernel and Linux device driver’s structure, designs SD Card driver based on Embedded Linux, which runs on AT91RM9200 microprocessor.中文文摘：简要论述了用于兰州重离子加速器冷却储存环(HIRFL-CSR)控制系统的前端总线控制器。该控制器是基于ARM920T核心的AT91RM9200处理器,运行嵌入式Linux操作系统。描述了AT91RM9200处理器与Security Digital MemoryCard(SD卡)的硬件接口电路,分析了操作系统内核和Linux驱动程序结构,设计和实现了嵌入式Linux下基于AT91RM9200处理器的SD卡驱动程序。

The effect of some triazole derivatives as inhibitors for the corrosion of mild steel in 1 M hydrochloric acid

Corrosion inhibition by some new triazole derivatives on mild steel in 1 M hydrochloric acid solutions has been investigated by weight loss test, electrochemical measurement, scanning electronic microscope analysis and quantum chemical calculations. The results indicate that these compounds act as mixed-type inhibitors retarding the anodic and cathodic corrosion reactions and do not change the mechanism of either hydrogen evolution reaction or mild steel dissolution. The studied compounds following the Langmuir adsorption isotherm, and the thermodynamic parameters were determined and discussed. The effect of molecular structure on the inhibition efficiency has been investigated by ab initio quantum chemical calculations. The electronic properties such as highest occupied molecular orbital (HOMO), lowest unoccupied molecular orbital (LUMO) energy levels, energy gap (LUMO-HOMO), dipole moment and molecular orbital densities were calculated. (C) 2009 Published by Elsevier B.V.

博兴洼陷新生代构造-沉积演化及其对鲁西隆起的响应

The West Shandong Uplift and its adjacent basins, with same evolutional history before Mesozoic, are an important basin-orogenic systems in North China. After late Mesozoic, tectonic differentiation between basin and orogenic belt gradually displayed in the study area. The Boxing sag is a part of Jiyang Depression near to West Shandong Uplift, in which the whole Mesozoic and Cenozoic strata are preserved. Based on the analysis of sedimentary records in the Boxing sag, the Cenozoic structural and sedimentary evolutions in Boxing Sag and its response to Western Shandong uplift are discussed in this dissertation. The main conclusions in this research are presented as follows. Based on Seismic and well logging profile interpretation, fault growth index, thickness difference between bottom wall and top wall and fault activity rate from Eocene to Pliocene are studied. Boxing sag had three main faults, NE, NW and NEE trending faults. Research shows that the activity of the NW trending fault in the Boxing sag became weaken from E1-2S4 to N2m gradually. The evolution of NE and the NEE trending fault can be divided into three episodes, from E1-2k to E2s4, from E2s3 to E3s1, from N2m to E3d. The analysis of Paleogene samples of heavy mineral assemblages shows that metamorphic rocks represented by garnet, intermediate-acid igneous rocks represented by the assemblage of apatite, zircon and tourmaline became less from E1-2k to N2g, and sedimentary rocks represented by the assemblage of pyrite, barite and limonite also became less. Intermediate-basic igneous rocks represented by the assemblage of leucoxene, rutile and ilmenite and metamorphic rocks represented by epidote became more and more. Electronic microprobe analysis shows that glaucophane and barroisite are existed in Kongdian Formation and the 4th member of Shahejie Formation, and they demonstrate that Western Shandong and Eastern Shandong are all the source regions of the Boxing Sag, and they also indicate that oceanic crust existed before the collision between the Yangtze and North China continent. The fact that Eastern Shandong is the source region of Boxing Sag also indicates that Western Shandong was not high enough to prevent sediment from Eastern Shandong at E1-2k and E2s4. The results of the dating of five detrital zircons of Boxing Sag show Kongdian Formation and the 4th member of Shahejie Formation have the age peaks of 2800Ma and 700-800. It means that Eastern Shandong is the source region of Boxing Sag at early Paleogene and Western Shandong is not high enough to prevent the sediment from Eastern Shandong. The ages of 160-180 and 220-260 Ma, which exist in the Guantao Formation and Paleogene, are common in Eastern Shandong and rare in Western Shandong,and it implied that Western Shandong is a low uplift at 24Ma. The Paleogene strata have almost same age groups, while the Guantao Formation has significant variations of age groups, and this indicates that Boxing Sag and Western Shandong uplift had taken place tremendous changes. The results of apatite fission track in Boxing sag show that three times uplifts happened at the source region at 60 Ma, 45Ma and 15Ma respectively, and the Boxing sag experienced two subsidences at 60Ma, 45Ma and one uplift at 20Ma.

Reasoning Modeled as a Society of Communicating Experts

This report describes a domain independent reasoning system. The system uses a frame-based knowledge representation language and various reasoning techniques including constraint propagation, progressive refinement, natural deduction and explicit control of reasoning. A computational architecture based on active objects which operate by exchanging messages is developed and it is shown how this architecture supports reasoning activity. The user interacts with the system by specifying frames and by giving descriptions defining the problem situation. The system uses its reasoning capacity to build up a model of the problem situation from which a solution can interactively be extracted. Examples are discussed from a variety of domains, including electronic circuits, mechanical devices and music. The main thesis is that a reasoning system is best viewed as a parallel system whose control and data are distributed over a large network of processors that interact by exchanging messages. Such a system will be metaphorically described as a society of communicating experts.

COMPLETELY ITERATIVE, PIPELINED MULTIPLIER ARRAY SUITABLE FOR VLSI.

A pipelined array multiplier which has been derived by applying 'systolic array' principles at the bit level is described. Attention is focused on a circuit which is used to multiply streams of parallel unsigned data. Then an algorithm is given which demonstrates that, with only a simple modification to the basic cell, the same array can cope with two's complement numbers. The resulting structure has a number of features whch make it attractive to LSI and VLSI. These include regularity and modularity.

BIT-LEVEL SYSTOLIC ARRAY CIRCUIT FOR MATRIX VECTOR MULTIPLICATION.

A bit-level systolic array for computing matrix x vector products is described. The operation is carried out on bit parallel input data words and the basic circuit takes the form of a 1-bit slice. Several bit-slice components must be connected together to form the final result, and authors outline two different ways in which this can be done. The basic array also has considerable potential as a stand-alone device, and its use in computing the Walsh-Hadamard transform and discrete Fourier transform operations is briefly discussed.

Coordination chemistry for information acquisition and processing

In the 21st century, information has become the most valuable resource that is available to modern societies. Thus, great efforts have been made to develop new information processing and storage techniques. Chemistry can offer a wide variety of computing paradigms that are closely related to the natural processes found in living organisms (e.g., in the nervous systems of animals). Moreover, these phenomena cannot be reproduced easily by solely using silicon-based technology. Other great advantages of molecular-scale systems include their simplicity and the diversity of interactions that occur among them. Thus, devices constructed using chemical entities may be programmed to deal with different information carriers (photons, electrons, ions, and molecules), possibly surpassing the capabilities of classic electronic circuits.

Tratamento de cor em pós-produção televisiva: o caso da produtora de conteúdos SP Televisão

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Fully transparent ZnO thin-film transistor produced at room temperature

Advanced Materials, Vol. 17, nº 5