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.

An improved reliability Cuk based solar inverter with sliding mode control

Many photovoltaic inverter designs make use of a buck based switched mode power supply (SMPS) to produce a rectified sinusoidal waveform. This waveform is then unfolded by a low frequency switching structure to produce a fully sinusoidal waveform. The Cuk SMPS could offer advantages over the buck in such applications. Unfortunately the Cuk converter is considered to be difficult to control using classical methods. Correct closed loop design is essential for stable operation of Cuk converters. Due to these stability issues, Cuk converter based designs often require stiff low bandwidth control loops. In order to achieve this stable closed loop performance, traditional designs invariably need large, unreliable electrolytic capacitors. In this paper, an inverter with a sliding mode control approach is presented which enables the designer to make use of the Cuk converters advantages, while ameliorating control difficulties. This control method allows the selection of passive components based predominantly on ripple and reliability specifications while requiring only one state reference signal. This allows much smaller, more reliable non-electrolytic capacitors to be used. A prototype inverter has been constructed and results obtained which demonstrate the design flexibility of the Cuk topology when coupled with sliding mode control.

Fractional order modeling of large three-dimensional RC networks

An incidence matrix analysis is used to model a three-dimensional network consisting of resistive and capacitive elements distributed across several interconnected layers. A systematic methodology for deriving a descriptor representation of the network with random allocation of the resistors and capacitors is proposed. Using a transformation of the descriptor representation into standard state-space form, amplitude and phase admittance responses of three-dimensional random RC networks are obtained. Such networks display an emergent behavior with a characteristic Jonscher-like response over a wide range of frequencies. A model approximation study of these networks is performed to infer the admittance response using integral and fractional order models. It was found that a fractional order model with only seven parameters can accurately describe the responses of networks composed of more than 70 nodes and 200 branches with 100 resistors and 100 capacitors. The proposed analysis can be used to model charge migration in amorphous materials, which may be associated to specific macroscopic or microscopic scale fractal geometrical structures in composites displaying a viscoelastic electromechanical response, as well as to model the collective responses of processes governed by random events described using statistical mechanics.

System identification algorithms for the analysis of dielectric responses from broadband spectroscopies

We discuss the modeling of dielectric responses for an electromagnetically excited network of capacitors and resistors using a systems identification framework. Standard models that assume integral order dynamics are augmented to incorporate fractional order dynamics. This enables us to relate more faithfully the modeled responses to those reported in the Dielectrics literature.

Metabifurcation analysis of a mean field model of the cortex

Mean field models (MFMs) of cortical tissue incorporate salient, average features of neural masses in order to model activity at the population level, thereby linking microscopic physiology to macroscopic observations, e.g., with the electroencephalogram (EEG). One of the common aspects of MFM descriptions is the presence of a high-dimensional parameter space capturing neurobiological attributes deemed relevant to the brain dynamics of interest. We study the physiological parameter space of a MFM of electrocortical activity and discover robust correlations between physiological attributes of the model cortex and its dynamical features. These correlations are revealed by the study of bifurcation plots, which show that the model responses to changes in inhibition belong to two archetypal categories or “families”. After investigating and characterizing them in depth, we discuss their essential differences in terms of four important aspects: power responses with respect to the modeled action of anesthetics, reaction to exogenous stimuli such as thalamic input, and distributions of model parameters and oscillatory repertoires when inhibition is enhanced. Furthermore, while the complexity of sustained periodic orbits differs significantly between families, we are able to show how metamorphoses between the families can be brought about by exogenous stimuli. We here unveil links between measurable physiological attributes of the brain and dynamical patterns that are not accessible by linear methods. They instead emerge when the nonlinear structure of parameter space is partitioned according to bifurcation responses. We call this general method “metabifurcation analysis”. The partitioning cannot be achieved by the investigation of only a small number of parameter sets and is instead the result of an automated bifurcation analysis of a representative sample of 73,454 physiologically admissible parameter sets. Our approach generalizes straightforwardly and is well suited to probing the dynamics of other models with large and complex parameter spaces.

Realistic mean field forward predictions for the integration of co-registered EEG/fMRI

Brain activity can be measured non-invasively with functional imaging techniques. Each pixel in such an image represents a neural mass of about 105 to 107 neurons. Mean field models (MFMs) approximate their activity by averaging out neural variability while retaining salient underlying features, like neurotransmitter kinetics. However, MFMs incorporating the regional variability, realistic geometry and connectivity of cortex have so far appeared intractable. This lack of biological realism has led to a focus on gross temporal features of the EEG. We address these impediments and showcase a "proof of principle" forward prediction of co-registered EEG/fMRI for a full-size human cortex in a realistic head model with anatomical connectivity, see figure 1. MFMs usually assume homogeneous neural masses, isotropic long-range connectivity and simplistic signal expression to allow rapid computation with partial differential equations. But these approximations are insufficient in particular for the high spatial resolution obtained with fMRI, since different cortical areas vary in their architectonic and dynamical properties, have complex connectivity, and can contribute non-trivially to the measured signal. Our code instead supports the local variation of model parameters and freely chosen connectivity for many thousand triangulation nodes spanning a cortical surface extracted from structural MRI. This allows the introduction of realistic anatomical and physiological parameters for cortical areas and their connectivity, including both intra- and inter-area connections. Proper cortical folding and conduction through a realistic head model is then added to obtain accurate signal expression for a comparison to experimental data. To showcase the synergy of these computational developments, we predict simultaneously EEG and fMRI BOLD responses by adding an established model for neurovascular coupling and convolving "Balloon-Windkessel" hemodynamics. We also incorporate regional connectivity extracted from the CoCoMac database [1]. Importantly, these extensions can be easily adapted according to future insights and data. Furthermore, while our own simulation is based on one specific MFM [2], the computational framework is general and can be applied to models favored by the user. Finally, we provide a brief outlook on improving the integration of multi-modal imaging data through iterative fits of a single underlying MFM in this realistic simulation framework.

New opportunities for secure communication networks using shaped femtosecond laser pulses inducing filamentation processes in the atmosphere

The current study discusses new opportunities for secure ground to satellite communications using shaped femtosecond pulses that induce spatial hole burning in the atmosphere for efficient communications with data encoded within super-continua generated by femtosecond pulses. Refractive index variation across the different layers in the atmosphere may be modelled using assumptions that the upper strata of the atmosphere and troposphere behaving as layered composite amorphous dielectric networks composed of resistors and capacitors with different time constants across each layer. Input-output expressions of the dynamics of the networks in the frequency domain provide the transmission characteristics of the propagation medium. Femtosecond pulse shaping may be used to optimize the pulse phase-front and spectral composition across the different layers in the atmosphere. A generic procedure based on evolutionary algorithms to perform the pulse shaping is proposed. In contrast to alternative procedures that would require ab initio modelling and calculations of the propagation constant for the pulse through the atmosphere, the proposed approach is adaptive, compensating for refractive index variations along the column of air between the transmitter and receiver.

Immunohistochemical, tomographic and histological study on onlay bone graft remodeling. Part II: calvarial bone

Objectives Little information is available on the molecular events that occur during graft incorporation over time. The calvarial bone (Cb) grafts have been reported to produce greater responses compared with other donor regions in maxillofacial reconstructions, but the scientific evidences for this are still lacking. The objectives of this study are (1) to study the morphological pattern of Cb onlay bone grafts and compare them with the biological events through immunohistochemical responses and (2) to establish the effects of perforations in maintaining the volume and bone density of the receptor bed. Material and methods Sixty New Zealand White rabbits were submitted to Cb onlay bone grafts on the mandible. In 30 rabbits, the receptor bed was perforated (perforated group), while for the remaining animals the bed was kept intact (non-perforated group). Six animals from each group were sacrificed at 5, 7, 10, 20 and 60 days after surgery. Histological sections from the grafted area were prepared for immunohistochemical and histological analyses. Immuno-labeling was found for proteins Osteoprotegerin (OPG), receptor activator of nuclear factor-kappa beta ligand (RANKL), alkaline phosphatase (ALP), osteopontin (OPN), vascular endothelial growth factor (VEGF), tartrate-resistant acid phosphatase (TRAP), Type I collagen (COL I) and osteocalcin (OC). The tomography examination [computerized tomography (CT) scan] was conducted just after surgery and at the sacrifice. Results The histological findings revealed that the perforations contributed to higher bone deposition during the initial stages at the graft-receptor bed interface, accelerating the graft incorporation process. The results of the CT scan showed lower resorption for the perforated group (P < 0.05), and both groups showed high bone density rates at 60 days. This set of evidences is corroborated by the immunohistochemical outcomes indicating that proteins associated with revascularization and osteogenesis (VEGF, OPN, TRAP and ALP) were found in higher levels in the perforated group. Conclusions These findings indicate that the bone volume of calvarial grafts is better maintained when the receptor bed is perforated, probably resulting from more effective graft revascularization and greater bone deposition. The process of bone resorption peaked between 20 and 60 days post-operatively in both groups although significantly less in the perforated group. To cite this article:Pedrosa Jr WF, Okamoto R, Faria PEP, Arnez MFM, Xavier SP, Salata LA. Immunohistochemical, tomographic and histological study on onlay bone grafts remodeling. Part II: calvarial bone.Clin. Oral Impl. Res. 20, 2009; 1254-1264.doi: 10.1111/j.1600-0501.2009.01747.x.

Leakage current, ferroelectric and structural properties in Pb(1-x)Ba(x)TiO(3) thin films prepared by chemical route

Single-phase perovskite structure Pb(1-x)Ba(x)TiO(3) thin films (x = 0.30, 0.50 and 0.70) were deposited on Pt/Ti/SiO(2)/Si substrates by the spin-coating technique. The dielectric study reveals that the thin films undergo a diffuse type ferroelectric phase transition, which shows a broad peak. An increase of the diffusivity degree with the increasing Barium contents was observed, and it was associated to a grain decrease in the studied composition range. The temperature dependence of the phonon frequencies was used to characterize the phase transition temperatures. Raman modes persist above tetragonal to cubic phase transition temperature, although all optical modes should be Raman inactive. The origin of these modes was interpreted in terms of breakdown of the local cubic symmetry by chemical disorder. The absence of a well-defined transition temperature and the presence of broad bands in some interval temperature above FE-PE phase transition temperature Suggested a diffuse type phase transition. This result corroborates the dielectric constant versus temperature data, which showed a broad ferroelectric phase transition in these thin films. The leakage Current density of the PBT thin films was studied at different temperatures and the data follow the Schottky emission model. Through this analysis the Schottky barrier height values 0.75, 0.53 and 0.34 eV were obtained to the PBT70, PBT50 and PBT30 thin films, respectively. (C) 2008 Elsevier Ltd. All rights reserved.

Uma interface para o aumento da faixa de freqüências de operação de FPAAS

O crescente avanço nas mais diversas áreas da eletrônica, desde instrumentação em baixa freqüência até telecomunicações operando em freqüências muito elevadas, e a necessidade de soluções baratas em curto espaço de tempo que acompanhem a demanda de mercado, torna a procura por circuitos programáveis, tanto digitais como analógicos, um ponto comum em diversas pesquisas. Os dispositivos digitais programáveis, que têm como grande representante os Field Programmable Gate Arrays (FPGAs), vêm apresentando um elevado e contínuo crescimento em termos de complexidade, desempenho e número de transistores integrados, já há várias décadas. O desenvolvimento de dispositivos analógicos programáveis (Field Programmable Analog Arrays – FPAAs), entretanto, esbarra em dois pontos fundamentais que tornam sua evolução um tanto latente: a estreita largura de banda alcançada, conseqüência da necessidade de um grande número de chaves de programação e reconfiguração, e a elevada área consumida por componentes analógicos como resistores e capacitores, quando integrados em processos VLSI Este trabalho apresenta uma proposta para aumentar a faixa de freqüências das aplicações passíveis de serem utilizadas tanto em FPAAs comerciais quanto em outros FPAAs, através da utilização de uma interface de translação e seleção de sinais, mantendo características de programabilidade do FPAA em questão, sem aumentar em muito sua potência consumida. A proposta, a simulação e a implementação da interface são apresentadas ao longo desta dissertação. Resultados de simulação e resultados práticos obtidos comprovam a eficácia da proposta.

Estudo e desenvolvimento de um capacitor eletrolítico de nióbio

It seeks to find an alternative to the current tantalum electrolytic capacitors in the market due to its high cost. Niobium is a potential substitute, since both belong to the same group of the periodic table and because of this have many similar physical and chemical properties. Niobium has several technologically important applications, and Brazil has the largest reserves, around 96%. There are including niobium in reserves of tantalite and columbite in Rio Grande do Norte. These electrolytic capacitors have high capacitance specifies, ie they can store high energy in small volumes compared to other types of capacitors. This is the main attraction of this type of capacitor because is growing demand in the production of capacitors with capacitance specifies increasingly high, this because of the miniaturization of various devices such as GPS devices, televisions, computers, phones and many others. The production route of the capacitor was made by powder metallurgy. The initial niobium powder supplied by EEL-USP was first characterized by XRD, SEM, XRF and laser particle size, to then be sieved into three particle size, 200, 400 e 635mesh. The powders were then compacted and sintered at 1350, 1450 and 1550°C using two sintering time 30 and 60min. Sintering is one of the most important parts of the process as it affects properties as porosity and surface cleaning of the samples, which greatly affected the quality of the capacitor. The sintered samples then underwent a process of anodic oxidation, which created a thin film of niobium pentóxido over the whole porous surface of the sample, this film is the dielectric capacitor. The oxidation process variables influence the performance of the film and therefore the capacitor. The samples were characterized by electrical measurements of capacitance, loss factor, ESR, relative density, porosity and surface area. After the characterizations was made an annealing in air ate 260ºC for 60min. After this treatment were made again the electrical measurements. The particle size of powders and sintering affected the porosity and in turn the specific area of the samples. The larger de area of the capacitor, greater is the capacitance. The powder showed the highest capacitance was with the smallest particle size. Higher temperatures and times of sintering caused samples with smaller surface area, but on the other hand the cleaning surface impurities was higher for this cases. So a balance must be made between the gain that is achieved with the cleaning of impurities and the loss with the decreased in specific area. The best results were obtained for the temperature of 1450ºC/60min. The influence of annealing on the loss factor and ESR did not follow a well-defined pattern, because their values increased in some cases and decreased in others. The most interesting results due to heat treatment were with respect to capacitance, which showed an increase for all samples after treatment

Obtenção de uma porcelana dielétrica a partir de matérias-primas do Rio Grande do Norte

The dielectric porcelain is usually obtained by mixing various raw materials proportions and is used in the production of electronic equipment for various applications, from capacitors of high and low Power to insulators for low, medium, high and extra high voltage, which are used in distribution lines and transmission of electricity.This work was directed to the s tudy of technological properties of technic porcelain, made from raw materials extracted from pegmatites found in the regions of Seridó and the Alto Oeste of Rio Grande do Norte, which are made of kaolin, quartz and feldspar, abundant and high quality in these regions. The technic ceramics were obtained by mixing in appropriate levels, kaolin, feldspar, quartz and clay, the last item from a pottery in the city of Sao Gonçalo do Amarante, Rio Grande do Norte. During the development the following characterizations correlated to raw materials were made: laser particle sizing, x-ray diffraction, DTA and TG. The compositions studied were formed by uniaxial pressing at a pressure of 50 MPa and sintered at temperatures ranging from 1150 to 1350ºC and levels (times) of sintering between 30, 60, 90 and 120 minutes. The characterization of the samples were taken from the analysis of weight loss, linear shrinkage, porosity, stoneware curve, bulk density, flexural strength of three points, SEM and X-ray diffraction, TMA, Dielectric and cross Resistivity. The studied materials can be employed in producing the objects used in electrical engineering such as: insulators for low, medium and high-voltage electrical systems, command devices, bushing insulation for transformers, power capacitors, spark plugs, receptacles for fluorescent and incandescent light bulbs and others

Obtenção de pós de tântalo metálico a partir da redução aluminotérmica com ignição a plasma

Metallic tantalum has a high commercial value due to intrinsic properties like excellent ductility, corrosion resistance, high melt and boiling points and good electrical and thermal conductivities. Nowadays, it is mostly used in the manufacture of capacitors, due to excellent dielectric properties of its oxides. In the nature, tantalum occurs in the form of oxide and it is extracted mainly from tantalite-columbite ores. The tantalum is usually produced by the reduction of its oxide, using reductants like carbon, silicon, calcium, magnesium and aluminum. Among these techniques, the aluminothermic reduction has been used as the industrial method to produce niobium, tantalum and their alloys, due to the easy removal of the Al and Al2O3 of the system, easing further refining. In conventional aluminothermic reduction an electrical resistance is used to trigger the reaction. This reaction self-propagates for all the volume of material. In this work, we have developed a novel technique of aluminothermic reduction that uses the hydrogen plasma to trigger the reaction. The results obtained by XRD, SEM and EDS show that is possible to obtain a compound rich in tantalum through this technique of aluminothermic reduction in the plasma reactor

Electrical characterization of poly(amide-imide) for application in organic field effect devices

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Enhanced ferroelectric properties of La-substituted BiFeO3 thin films on LaSrCoO3/Pt/TiO2/SiO2/Si (100) substrates prepared by the soft chemical method

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)