Verification of analog circuits in power-down mode

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e Computadores

Investigation of Novel Circuits Involved in Virgin Female Receptivity of Drosophila melanogaster

Courtship is a behavior that allows the display of fitness of one sex to the other and gates possible subsequent mating. This behavior is crucial for reproduction and has strong innate components in all animals. Courtship in Drosophila melanogaster consists of a series of highly stereotyped actions that the male performs towards the female. He sings with vibrations of the wings, touches and licks her abdomen, while she evaluates the information presented to her.(...)

Emergence of oriented circuits driven by synaptic pruning associated with spike-timing-dependent plasticity (STDP)

ABSTRACT: Massive synaptic pruning following over-growth is a general feature of mammalian brain maturation. Pruning starts near time of birth and is completed by time of sexual maturation. Trigger signals able to induce synaptic pruning could be related to dynamic functions that depend on the timing of action potentials. Spike-timing-dependent synaptic plasticity (STDP) is a change in the synaptic strength based on the ordering of pre- and postsynaptic spikes. The relation between synaptic efficacy and synaptic pruning suggests that the weak synapses may be modified and removed through competitive "learning" rules. This plasticity rule might produce the strengthening of the connections among neurons that belong to cell assemblies characterized by recurrent patterns of firing. Conversely, the connections that are not recurrently activated might decrease in efficiency and eventually be eliminated. The main goal of our study is to determine whether or not, and under which conditions, such cell assemblies may emerge out of a locally connected random network of integrate-and-fire units distributed on a 2D lattice receiving background noise and content-related input organized in both temporal and spatial dimensions. The originality of our study stands on the relatively large size of the network, 10,000 units, the duration of the experiment, 10E6 time units (one time unit corresponding to the duration of a spike), and the application of an original bio-inspired STDP modification rule compatible with hardware implementation. A first batch of experiments was performed to test that the randomly generated connectivity and the STDP-driven pruning did not show any spurious bias in absence of stimulation. Among other things, a scale factor was approximated to compensate for the network size on the ac¬tivity. Networks were then stimulated with the spatiotemporal patterns. The analysis of the connections remaining at the end of the simulations, as well as the analysis of the time series resulting from the interconnected units activity, suggest that feed-forward circuits emerge from the initially randomly connected networks by pruning. RESUME: L'élagage massif des synapses après une croissance excessive est une phase normale de la ma¬turation du cerveau des mammifères. L'élagage commence peu avant la naissance et est complété avant l'âge de la maturité sexuelle. Les facteurs déclenchants capables d'induire l'élagage des synapses pourraient être liés à des processus dynamiques qui dépendent de la temporalité rela¬tive des potentiels d'actions. La plasticité synaptique à modulation temporelle relative (STDP) correspond à un changement de la force synaptique basé sur l'ordre des décharges pré- et post- synaptiques. La relation entre l'efficacité synaptique et l'élagage des synapses suggère que les synapses les plus faibles pourraient être modifiées et retirées au moyen d'une règle "d'appren¬tissage" faisant intervenir une compétition. Cette règle de plasticité pourrait produire le ren¬forcement des connexions parmi les neurones qui appartiennent à une assemblée de cellules caractérisée par des motifs de décharge récurrents. A l'inverse, les connexions qui ne sont pas activées de façon récurrente pourraient voir leur efficacité diminuée et être finalement éliminées. Le but principal de notre travail est de déterminer s'il serait possible, et dans quelles conditions, que de telles assemblées de cellules émergent d'un réseau d'unités integrate-and¬-fire connectées aléatoirement et distribuées à la surface d'une grille bidimensionnelle recevant à la fois du bruit et des entrées organisées dans les dimensions temporelle et spatiale. L'originalité de notre étude tient dans la taille relativement grande du réseau, 10'000 unités, dans la durée des simulations, 1 million d'unités de temps (une unité de temps correspondant à une milliseconde), et dans l'utilisation d'une règle STDP originale compatible avec une implémentation matérielle. Une première série d'expériences a été effectuée pour tester que la connectivité produite aléatoirement et que l'élagage dirigé par STDP ne produisaient pas de biais en absence de stimu¬lation extérieure. Entre autres choses, un facteur d'échelle a pu être approximé pour compenser l'effet de la variation de la taille du réseau sur son activité. Les réseaux ont ensuite été stimulés avec des motifs spatiotemporels. L'analyse des connexions se maintenant à la fin des simulations, ainsi que l'analyse des séries temporelles résultantes de l'activité des neurones, suggèrent que des circuits feed-forward émergent par l'élagage des réseaux initialement connectés au hasard.

The octagon, the hendecagon and the approximation of pi: the geometric design of the clypeus in the enclosure of Imperial cult in Tarraco

The ancient temple dedicated to the Roman Emperor Augustus on the hilltop of Tarraco (today’s Tarragona), was the main element of the sacred precinct of the Imperial cult. It was a two hectare square, bordered by a portico with an attic decorated with a sequence of clypeus (i.e. monumental shields) made with marble plates from the Luni-Carrara’s quarries. This contribution presents the results of the analysis of a three-dimensional photogrammetric survey of one of these clipeus, partially restored and exhibited at the National Archaeological Museum of Tarragona. The perimeter ring was bounded by a sequence of meanders inscribed in a polygon of 11 sides, a hendecagon. Moreover, a closer geometric analysis suggests that the relationship between the outer meander rim and the oval pearl ring that delimited the divinity of Jupiter Ammon can be accurately determined by the diagonals of an octagon inscribed in the perimeter of the clypeus. This double evidence suggests a combined layout, in the same design, of an octagon and a hendecagon. Hypothetically, this could be achieved by combining the octagon with the approximation to Pi used in antiquity: 22/7 of the circle’s diameter. This method allows the drawing of a hendecagon with a clearly higher precision than with other ancient methods. Even the modelling of the motifs that separate the different decorative stripes corroborates the geometric scheme that we propose.

Development and plasticity of locomotor circuits in the zebrafish spinal cord

A fundamental goal in neurobiology is to understand the development and organization of neural circuits that drive behavior. In the embryonic spinal cord, the first motor activity is a slow coiling of the trunk that is sensory-independent and therefore appears to be centrally driven. Embryos later become responsive to sensory stimuli and eventually locomote, behaviors that are shaped by the integration of central patterns and sensory feedback. In this thesis I used a simple vertebrate model, the zebrafish, to investigate in three manners how developing spinal networks control these earliest locomotor behaviors. For the first part of this thesis, I characterized the rapid transition of the spinal cord from a purely electrical circuit to a hybrid network that relies on both chemical and electrical synapses. Using genetics, lesions and pharmacology we identified a transient embryonic behavior preceding swimming, termed double coiling. I used electrophysiology to reveal that spinal motoneurons had glutamate-dependent activity patterns that correlated with double coiling as did a population of descending ipsilateral glutamatergic interneurons that also innervated motoneurons at this time. This work (Knogler et al., Journal of Neuroscience, 2014) suggests that double coiling is a discrete step in the transition of the motor network from an electrically coupled circuit that can only produce simple coils to a spinal network driven by descending chemical neurotransmission that can generate more complex behaviors. In the second part of my thesis, I studied how spinal networks filter sensory information during self-generated movement. In the zebrafish embryo, mechanosensitive sensory neurons fire in response to light touch and excite downstream commissural glutamatergic interneurons to produce a flexion response, but spontaneous coiling does not trigger this reflex. I performed electrophysiological recordings to show that these interneurons received glycinergic inputs during spontaneous fictive coiling that prevented them from firing action potentials. Glycinergic inhibition specifically of these interneurons and not other spinal neurons was due to the expression of a unique glycine receptor subtype that enhanced the inhibitory current. This work (Knogler & Drapeau, Frontiers in Neural Circuits, 2014) suggests that glycinergic signaling onto sensory interneurons acts as a corollary discharge signal for reflex inhibition during movement. v In the final part of my thesis I describe work begun during my masters and completed during my doctoral degree studying how homeostatic plasticity is expressed in vivo at central synapses following chronic changes in network activity. I performed whole-cell recordings from spinal motoneurons to show that excitatory synaptic strength scaled up in response to decreased network activity, in accordance with previous in vitro studies. At the network level, I showed that homeostatic plasticity mechanisms were not necessary to maintain the timing of spinal circuits driving behavior, which appeared to be hardwired in the developing zebrafish. This study (Knogler et al., Journal of Neuroscience, 2010) provided for the first time important in vivo results showing that synaptic patterning is less plastic than synaptic strength during development in the intact animal. In conclusion, the findings presented in this thesis contribute widely to our understanding of the neural circuits underlying simple motor behaviors in the vertebrate spinal cord.

Self-assembled healable materials through a combination of pi-pi stacking and hydrogen bonding

The discovery of polymers with stimuli responsive physical properties is a rapidly expanding area of research. At the forefront of the field are self-healing polymers, which, when fractured can regain the mechanical properties of the material either autonomically, or in response to a stimulus. It has long been known that it is possible to promote healing in conventional thermoplastics by heating the fracture zone above the Tg of the polymer under pressure. This process requires reptation and subsequent re-entanglement of macromolecules across the fracture void, which serves to bridge, and ‘heal’ the crack. The timescale for this mechanism is highly dependent on the molecular weight of the polymer being studied. This process is in contrast to that required to affect healing in supramolecular polymers such as the plasticised, hydrogen bonded elastomer reported by Leibler et al. The disparity in bond energies between the non-covalent and covalent bonds within supramolecular polymers results in fractures propagating through scission of the comparatively weak supramolecular interactions, rather than through breaking the stronger, covalent bonds. Thus, during the healing process the macromolecules surrounding the fracture site only need sufficient energy to re-engage their supramolecular interactions in order to regenerate the strength of the pristine material. Herein we describe the design, synthesis and optimization of a new class of supramolecular polymer blends that harness the reversible nature of pi-pi stacking and hydrogen bonding interactions to produce self-supporting films with facile healable characteristics.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Phosphate distribution in the sediments along a cascade of reservoirs - (Paranapanema River, SE, Brazil)

Total phosphorus concentrations in the sediment of a cascade of 8 reservoirs located in the Paranapanema River (SE, Brazil) were analysed during two consecutive seasonal periods (2000 and 200 1). The reservoirs of Jurumirim, Chavantes, Salto Grande, Canoas 11, Canoas 1, Capivara, Taquarucu and Rosana were built during the last five decades with the purpose of hydroelectric generation. The sampling points were distributed along a 700 km of river stretch in 19 stations distributed in the river-reservoirs zones and main tributaries as well as in 5 stations representing the adjacent wetlands. The nutrient concentration was determined in samples from surface layers of sediment. Temporal and spatial changes were observed for both years. Three different areas could be identified along the river, considering not only Tot-P variations but also others physical and chemical characteristics such as organic matter concentration, nitrogen concentration of sediment and 02, pH, conductivity and Eh measured in the bottom layer of the water column. Higher values of Tot-P were found in the middle and lower region of the Paranapanema basin (maximum value of 1.96 mg g(-1) in Tibagi River in October/2001). Agricultural practices and cattle raising are the main external sources of nutrient in these regions. Superficial or sub-superficial watershed drainage and tributaries entrances are important nutrient contributors, leading to an increasing accumulation of nutrient in the sediment. This process seems to be especially important in the middle region of the Paranapanema Valley, were the values of Tot-P were higher comparing to the other areas.

Phytoplankton assemblages in a reservoir cascade of a large tropical - subtropical river (SE, Brazil)

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

Modified routine for decreasing numeric oscillations at associations of lumped elements

Some changes in the application of the numeric trapezoidal integration are analyzed for applications considering pi circuits. It is considered numeric and computational proceedings for improving the numeric results obtained with associations of pi circuits. In numeric integration solutions of the linear systems, it is common to represent these associations of pi circuits by only one matrix. This representation introduces undesirable numeric oscillations in simulations of the dynamics of wave propagation in electrical systems. The proposed changes improve the results of application of cascades of pi circuits associated to the trapezoidal integration, avoiding that the numerical oscillations, or Gibb's oscillations, have high values and are slowly damped. For the carried out simulations, different number of pi circuits and voltage sources are checked, confirming the reduction of the influence of the numeric oscillations on the obtained results. (C) 2014 Elsevier B.V. All rights reserved.

Reducing the spurious oscillations in the lumped parameters model using low-pass filter

Voltages and currents in the transmission line are described by differential equations that are difficult to solve due soil and skin effect that has to be considered for accurate results, but it increases their complexity. Therefore there are some models to study the voltages and currents along in transmission line. The distributed parameters model that transforms the equations in time domain to the frequency domain and once the solutions are obtained, they are converted to time domain using the Inverse Laplace Transform using numerical methods. Another model is named lumped parameters model and it considers the transmission line represented by a pi-circuit cascade and the currents and voltages are described by state equations. In the simulations using the lumped parameters model, it can be observed the presence of spurious oscillations that are independent of the quantity of pi-circuits used and do not represent the real value of the transient. In this work will be projected a passive low-pass filter directly inserted in the lumped parameters model to reduce the spurious oscillations in the simulations, making this model more accurate and reliable for studying the electromagnetic transients in power systems.

Evolution of pi(0) Suppression in Au plus Au Collisions from root s(NN)=39 to 200 GeV

Neutral-pion pi(0) spectra were measured at midrapidity (vertical bar y vertical bar < 0.35) in Au + Au collisions at root s(NN) = 39 and 62.4 GeV and compared with earlier measurements at 200 GeV in a transverse-momentum range of 1 < p(T) < 10 GeV/c. The high-p(T) tail is well described by a power law in all cases, and the powers decrease significantly with decreasing center-of-mass energy. The change of powers is very similar to that observed in the corresponding spectra for p + p collisions. The nuclear modification factors (RAA) show significant suppression, with a distinct energy, centrality, and p(T) dependence. Above p(T) = 7 GeV/c, R-AA is similar for root sNN = 62.4 and 200 GeV at all centralities. Perturbative-quantum-chromodynamics calculations that describe R-AA well at 200 GeV fail to describe the 39 GeV data, raising the possibility that, for the same p(T) region, the relative importance of initial-state effects and soft processes increases at lower energies. The p(T) range where pi(0) spectra in central Au + Au collisions have the same power as in p + p collisions is approximate to 5 and 7 GeV/c for root sNN = 200 and 62.4 GeV, respectively. For the root sNN = 39 GeV data, it is not clear whether such a region is reached, and the x(T) dependence of the x(T)-scaling power-law exponent is very different from that observed in the root sNN = 62 and 200 GeV data, providing further evidence that initial-state effects and soft processes mask the in-medium suppression of hardscattered partons to higher p(T) as the collision energy decreases.

Psychiatric comorbidities in temporal lobe epilepsy: Possible relationships between psychotic disorders and involvement of limbic circuits

Objective: Mounting evidence suggests that the limbic system is pathologically involved in cases of psychiatric comorbidities in temporal lobe epilepsy (TLE) patients. Our objective was to develop a conceptual framework describing how neuropathological and connectivity changes might contribute to the development of psychosis and to the potential neurobiological mechanisms that cause schizophrenia-like psychosis in TLE patients. Methods: In this review, clinical and neuropathological findings, especially brain circuitry of the limbic system, were examined together to enhance our understanding of the association between TLE and psychosis. Finally, the importance of animal models in epilepsy and psychiatric disorders was discussed. Conclusions: TLE and psychiatric symptoms coexist more frequently than chance would predict. Damage and deregulation among critical anatomical regions, such as the hippocampus, amygdala, thalamus, and the temporal, frontal and cingulate cortices, might predispose TLE brains to psychosis. Studies of the effects of kindling and injection of neuroactive substances on behavior and electrophysiological patterns may offer a model of how limbic seizures in humans increase the vulnerability of TLE patients to psychiatric symptoms.

Psychiatric comorbidities in temporal lobe epilepsy: possible relationships between psychotic disorders and involvement of limbic circuits

OBJECTIVE: Mounting evidence suggests that the limbic system is pathologically involved in cases of psychiatric comorbidities in temporal lobe epilepsy (TLE) patients. Our objective was to develop a conceptual framework describing how neuropathological and connectivity changes might contribute to the development of psychosis and to the potential neurobiological mechanisms that cause schizophrenia-like psychosis in TLE patients. METHODS: In this review, clinical and neuropathological findings, especially brain circuitry of the limbic system, were examined together to enhance our understanding of the association between TLE and psychosis. Finally, the importance of animal models in epilepsy and psychiatric disorders was discussed. CONCLUSIONS: TLE and psychiatric symptoms coexist more frequently than chance would predict. Damage and deregulation among critical anatomical regions, such as the hippocampus, amygdala, thalamus, and the temporal, frontal and cingulate cortices, might predispose TLE brains to psychosis. Studies of the effects of kindling and injection of neuroactive substances on behavior and electrophysiological patterns may offer a model of how limbic seizures in humans increase the vulnerability of TLE patients to psychiatric symptoms.