Template-based circuit understanding

When verifying or reverse-engineering digital circuits, one often wants to identify and understand small components in a larger system. A possible approach is to show that the sub-circuit under investigation is functionally equivalent to a reference implementation. In many cases, this task is difficult as one may not have full information about the mapping between input and output of the two circuits, or because the equivalence depends on settings of control inputs. We propose a template-based approach that automates this process. It extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping of input and output signals and setting of control signals. The method relies on solving an exists/forall problem using an SMT solver, and on a pruning technique based on signature computation.

Propagating excitatory potentials within the fear conditioning circuit of the lateral amygdala

In the Hebbian postulate, transiently reverberating cellular ensembles can sustain activity to facilitate temporal coincidence detection. Auditory fear conditioning is believed to be formed in the lateral amygdala (LA), by way of plasticity at auditory input synapses on principal neurons. To evaluate the contribution of LA cellular ensembles in the formation of conditioned fear memories, we investigated the LA micro-circuitry by electrophysiological and anatomical approaches. Polysynaptic field potentials evoked in the LA by stimulation of auditory thalamus(MGm/PIN) or auditory cortical (TE3) afferents were analyzed in vitro and in vivo. In vivo, two potentials were identified following stimulation of either pathway. In vitro, these multiple potentials were revealed by adding 75uM Picrotoxin or 30uM Bicuculine, with the first potential peaking at 15-20 ms, followed by two additional potentials at 20 – 25 and 30 – 35 ms, respectively. These data show single stimulation events can result in multiple synchronized excitatory events within the lateral amygdala. In order to determine underlying mechanisms of auditory signal propagation, LA principal neuron axon collateral trajectory patterns and morphology were analyzed. Neurons were found to have local axon collaterals that are topographically organized. Each axon collateral within the LA totaled 14.1 ± 2.73mm, had 29.8 ± 9.1 branch points and 1870.8 ± 1035 boutons (n=9). Electrophysiological and anatomical data show that a network of extensive axon collaterals within the LA may facilitate preservation of auditory afferent signals.

Quantification of the total neuronal structure of the fear conditioning circuit of the lateral amygdala of the rat

During Pavlovian auditory fear conditioning a previously neutral auditory stimulus (CS) gains emotional significance through pairing with a noxious unconditioned stimulus (US). These associations are believed to be formed by way of plasticity at auditory input synapses on principal neurons in the lateral nucleus of the amygdala (LA). In order to begin to understand how fear memories are stored and processed by synaptic changes in the LA, we have quantified both the entire neural number and the sub-cellular structure of LA principal neurons.We first used stereological cell counting methods on Gimsa or GABA immunostained rat brain. We identified 60,322+/-1408 neurons in the LA unilaterally (n=7). Of these 16,917+/-471 were GABA positive. The intercalated nuclei were excluded from the counts and thus GABA cells are believed to represent GABAergic interneurons. The sub-nuclei of the LA were also independently counted. We then quantified the morphometric properties of in vitro electrophysiologically identified principal neurons of the LA, corrected for shrinkage in xyz planes. The total dendritic length was 9.97+/-2.57mm, with 21+/-4 nodes (n=6). Dendritic spine density was 0.19+/-0.03 spines/um (n=6). Intra-LA axon collaterals had a bouton density of 0.1+/-0.02 boutons/um (n=5). These data begin to reveal the finite cellular and sub-cellular processing capacity of the lateral amygdala, and should facilitate efforts to understand mechanisms of plasticity in LA.

GABAergic inhibition in the fear conditioning circuit of the lateral amygdala is potentiated by dopamine D1 agonists

Auditory fear conditioning is dependent on auditory signaling from the medial geniculate (MGm) and the auditory cortex (TE3) to principal neurons of the lateral amygdala (LA). Local circuit GABAergic interneurons are known to inhibit LA principal neurons via fast and slow IPSP's. Stimulation of MGm and TE3 produces excitatory post-synaptic potentials in both LA principal and interneurons, followed by inhibitory post-synaptic potentials. Manipulations of D1 receptors in the lateral and basal amygdala modulate the retrieval of learned association between an auditory CS and foot shock. Here we examined the effects of D1 agonists on GABAergic IPSP's evoked by stimulation of MGm and TE3 afferents in vitro. Whole cell patch recordings were made from principal neurons of the LA, at room temperature, in coronal brain slices using standard methods. Stimulating electrodes were placed on the fiber tracts medial to the LA and at the external capsule/layer VI border dorsal to the LA to activate (0.1-0.2mA) MGm and TE3 afferents respectively. Neurons were held at -55.0 mV by positive current injection to measure the amplitude of the fast IPSP. Changes in input resistance and membrane potential were measured in the absence of current injection. Stimulation of MGm or TE3 afferents produced EPSP's in the majority of principal neurons and in some an EPSP/IPSP sequence. Stimulation of MGm afferents produced IPSP's with amplitudes of -2.30 ± 0.53 mV and stimulation of TE3 afferents produced IPSP's with amplitudes of -1.98 ± 1.26 mV. Bath application of 20μM SKF38393 increased IPSP amplitudes to -5.94 ± 1.62 mV (MGm, n=3) and-5.46 ± 0.31 mV (TE3, n=3). Maximal effect occurred <10mins. A small increase in resting membrane potential and decrease in input resistance were observed. These data suggest that DA modulates both the auditory thalamic and auditory cortical inputs to the LA fear conditioning circuit via local GABAergic circuits. Supported by NIMH Grants 00956, 46516, and 58911.

Financially optimized scheduling of electric energy storage in presence of renewable energy resources

The increasing integration of Renewable Energy Resources (RER) and the role of Electric Energy Storage (EES) in distribution systems has created interest in using energy management strategies. EES has become a suitable resource to manage energy consumption and generation in smart grid. Optimize scheduling of EES can also maximize retailer’s profit by introducing energy time-shift opportunities. This paper proposes a new strategy for scheduling EES in order to reduce the impact of electricity market price and load uncertainty on retailers’ profit. The proposed strategy optimizes the cost of purchasing energy with the objective of minimizing surplus energy cost in hedging contract. A case study is provided to demonstrate the impact of the proposed strategy on retailers’ financial benefit.

Impact of electric energy storage scheduling on reliability of distribution system

The development of Electric Energy Storage (EES) integrated with Renewable Energy Resources (RER) has increased use of optimum scheduling strategy in distribution systems. Optimum scheduling of EES can reduce cost of purchased energy by retailers while improve the reliability of customers in distribution system. This paper proposes an optimum scheduling strategy for EES and the evaluation of its impact on reliability of distribution system. Case study shows the impact of the proposed strategy on reliability indices of a distribution system.

Organic photovoltaics using thin gold film as an alternative anode to indium tin oxide

Indium Tin Oxide (ITO) is the most commonly used anode as a transparent electrode and more recently as an anode for organic photovoltaics (OPVs). However, there are significant drawbacks in using ITO which include high material costs, mechanical instability including brittleness and poor electrical properties which limit its use in low-cost flexible devices. We present initial results of poly(3-hexylthiophene): phenyl-C61-butyric acid methyl ester OPVs showing that an efficiency of 1.9% (short-circuit current 7.01 mA/cm2, open-circuit voltage 0.55 V, fill factor 0.49) can be attained using an ultra thin film of gold coated glass as the device anode. The initial I-V characteristics demonstrate that using high work function metals when the thin film is kept ultra thin can be used as a replacement to ITO due to their greater stability and better morphological control.

Modelling of Electric Fields

South Africa has an electrical transmission grid of over 25 000 km of overhead power lines with voltages of 132 kV to 765 kV. The grid has been largely designed and built by the power utility, Eskom. This book embodies the planning philosophies, design principles and construction practices of Eskom. It is the culmination of decades of thought, study, research and the practical experience of many overhead power line engineers and researchers. The book covers the main aspects of overhead power line design and construction, from electrical first principles, system planning, insulation co-ordination (including live line working), mechanical design through to environmental impact management and power line communications. The content emphasises the need for close interaction between all technical disciplines involved and the importance of optimising designs for economy and performance. Additional challenges in South Africa are the relatively high altitude of the interior plateau (1 000 m to 1 700 m above sea level), severe lightning in some areas and long transmission distances. The book explains how these factors are accommodated in modern designs. Other advanced work covered includes the use and understanding of polymeric insulators, the judicious reduction of phase-to-phase spacings and the adoption of guyed structures.

Domestic reflections, electric reflections: Towards design interventions against everyday energy mundanity in the home

For many years, Human-Computer Interaction and interaction design researchers have been exploring the potential for interactive technologies to encourage sustainable living practices. This paper examines existing literature concerning domestic energy feedback, interlacing past examples of domestic interventions into the discussion. It synthesises recent design research conducted around domestic energy-use and provides a discussion into household circumstances, everyday activities, and the use and role of design. The themes presented are threefold. First, the individual is contrasted to the household collective and in turn calls for the scope and scale of design interventions to be geared towards connection between household members. The second theme questions the everyday, and proposes new avenues of thought when designing for the mundanity of everyday life. Finally, I propose that a design approach which counteracts an affirmative design approach, such as critical design, is an appropriate fit when critiquing and evaluating the mundane, everyday aspects of domestic life.

Mineralogical and metallurgical examination of fluorosilicate mineral floatation in the Ok Tedi circuit

The Ok Tedi copper orebody consists of porphyry and skarn orebodies. The skarn orebodies, identified by different mineralogy, are the source of high intermittent fluorine levels in the mill concentrates. This paper discusses the results of the work undertaken to characterize the various fluorine-bearing minerals in samples of final copper concentrates and the distribution of fluorine amongst the minerals. Quantification of each mineral in mill feed and various flotation streams at Ok Tedi enables an understanding of the quantitative response of fluorine-bearing minerals to flotation. The metallurgical behavior of fluorine in the flotation process is also discussed.

Analyzing hysteresis behavior of capacitance-voltage characteristics of IZO/C₆₀/pentacene/Au diodes with a hole-transport electron-blocking polyterpenol layer by electric-field-induced optical second-harmonic generation measurement

By using electric-field-induced optical second-harmonic generation (EFISHG) measurement, we analyzed hysteresis behavior of capacitance-voltage (C-V) characteristics of IZO/polyterpenol (PT)/C₆₀/pentacene/Au diodes, where PT layer is actively working as a hole-transport electron-blocking layer. The EFISHG measurement verified the presence of interface accumulated charges in the diodes, and showed that a space charge electric field from accumulated excess electrons (holes) that remain at the PT/C₆₀ (C₆₀/pentacene) interface is responsible for the hysteresis loop observed in the C-V characteristics.

Investigation of interfacial charging and discharging in double-layer pentacene-based metal-insulator-metal device with polyterpenol blocking layer using electric field induced second harmonic generation

Time-resolved electric field induced second harmonic generation technique was used to probe the carrier transients within double-layer pentacene-based MIM devices. Polyterpenol thin films fabricated from non-synthetic environmentally sustainable source were used as a blocking layer to assist in visualisation of single-species carrier transportation during charging and discharging under different bias conditions. Results demonstrated that carrier transients were comprised of charging on electrodes, followed by carrier injection and charging of the interface. Polyterpenol was demonstrated to be a sound blocking material and can therefore be effectively used for probing of double-layer devices using EFISHG.

Significance of a short-term test drive for prospective plug-in electric vehicle consumers: An exploratory study

The test drive is a well-known step in car buying. In the emerging plug-in electric vehicle (PEV) market, however, the influence of a pre-purchase test drive on a consumer's inclination to purchase is unknown. Policy makers and industry participants both are eager to understand what factors motivate vehicle consumers at the point-of-sale. A number of researchers have used choice models to shed light on consumer perceptions of PEVs, and others have investigated consumer change in disposition toward a PEV over the course of a trial, wherein test driving a PEV may take place over a number of consecutive days, weeks or months. However, there is little written on the impact of a short-term test drive - a typical experience at dealerships or public "ride-and-drive" events. The impact of a typical test drive, often measured in minutes of driving, is not well understood. This paper first presents a synthesis of the literature on the effect of PEV test drives as they relate to consumer disposition toward PEVs. An analysis of data obtained from an Australian case study whereby attitudinal and stated preference data were collected pre- and post- test drive at public "ride-and-drive" event held Brisbane, Queensland in March 2014 using a custom-designed iPad application. Motorists' perceptions and choice preferences around PEVs were captured, revealing the relative importance of their experience behind the wheel. Using the Australian context as a case-study, this paper presents an exploratory study of consumers' stated preferences toward PEVs both before and after a short test drive.

Scopophobia/Scopophilia: electric light and the anxiety of the gaze in postwar American architecture

In the years of reconstruction and economic boom that followed the Second World War, the domestic sphere encountered new expectations regarding social behaviour, modes of living, and forms of dwelling. This book brings together an international group of scholars from architecture, design, urban planning, and interior design to reappraise mid-twentieth century modern life, offering a timely reassessment of culture and the economic and political effects on civilian life. This collection contains essays that examine the material of art, objects, and spaces in the context of practices of dwelling over the long span of the postwar period. It asks what role material objects, interior spaces, and architecture played in quelling or fanning the anxieties of modernism’s ordinary denizens, and how this role informs their legacy today. Table of Contents [Book] Introduction Robin Schuldenfrei Part 1: Psychological Constructions: Anxiety of Isolation and Exposure 1. Taking Comfort in the Age of Anxiety: Eero Saarinen’s Womb Chair Cammie McAtee 2. The Future is Possibly Past: The Anxious Spaces of Gaetano Pesce Jane Pavitt 3. Scopophobia/Scopophilia: Electric Light and the Anxiety of the Gaze in American Postwar Domestic Architecture Margaret Petty Part 2: Ideological Objects: Design and Representation 4. The Allegory of the Socialist Lifestyle: The Czechoslovak Pavilion at the Brussels Expo, its Gold Medal and the Politburo Ana Miljacki 5. Assimilating Unease: Moholy-Nagy and the Wartime-Postwar Bauhaus in Chicago Robin Schuldenfrei 6. The Anxieties of Autonomy: Peter Eisenman from Cambridge to House VI Sean Keller Part 3: Societies of Consumers: Materialist Ideologies and Postwar Goods 7. "But a home is not a laboratory": The Anxieties of Designing for the Socialist Home in the German Democratic Republic 1950—1965 Katharina Pfützner 8. Architect-designed Interiors for a Culturally Progressive Upper-Middle Class: The Implicit Political Presence of Knoll International in Belgium Fredie Floré 9. Domestic Environment: Italian Neo-Avant-Garde Design and the Politics of Post-Materialism Mary Louise Lobsinger Part 4: Class Concerns and Conflict: Dwelling and Politics 10. Dirt and Disorder: Taste and Anxiety in the Working Class Home Christine Atha 11. Upper West Side Stories: Race, Liberalism, and Narratives of Urban Renewal in Postwar New York Jennifer Hock 12. Pawns or Prophets? Postwar Architects and Utopian Designs for Southern Italy Anne Parmly Toxey. Coda: From Homelessness to Homelessness David Crowley