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.

Development of non-intrusive monitoring for reactive switching of high voltage circuit breaker

High-voltage circuit breakers are among the most important equipments for ensuring the efficient and safe operation of an electric power system. On occasion, circuit breaker operators may wish to check whether equipment is performing satisfactorily and whether controlled switching systems are producing reliable and repeatable stress control. Monitoring of voltage and current waveforms during switching using established methods will provide information about the magnitude and frequency of voltage transients as a result of re-ignitions and restrikes. However, high frequency waveform measurement requires shutdown of circuit breaker and use of specialized equipment. Two utilities, Hydro-Québec in Canada and Powerlink Queensland in Australia, have been working on the development and application of a non-intrusive, cost-effective and flexible diagnostic system for monitoring high-voltage circuit breakers for reactive switching. The proposed diagnostic approach relies on the non-intrusive assessment of key parameters such as operating times, prestrike characteristics, re-ignition and restrike detection. Transient electromagnetic emissions have been identified as a promising means to evaluate the abovementioned parameters non-intrusively. This paper describes two complimentary methods developed concurrently by Powerlink and Hydro-Québec. Also, return of experiences on the application to capacitor bank and shunt reactor switching is presented.

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.

A database ATP simulated waveforms of shunt reactor switching cases with vacuum breakers on motor circuits

This paper presents a database ATP (Alternative Transient Program) simulated waveforms for shunt reactor switching cases with vacuum breakers in motor circuits following interruption of the starting current. The targeted objective is to provide multiple reignition simulated data for diagnostic and prognostic algorithms development, but also to help ATP users with practical study cases and component data compilation for shunt reactor switching. This method can be easily applied with different data for the different dielectric curves of circuit-breakers and networks. This paper presents design details, discusses some of the available cases and the advantages of such simulated data.

Study on the method of freeway incident detection using wireless positioning terminal

Improving the performance of a incident detection system was essential to minimize the effect of incidents. A new method of incident detection was brought forward in this paper based on an in-car terminal which consisted of GPS module, GSM module and control module as well as some optional parts such as airbag sensors, mobile phone positioning system (MPPS) module, etc. When a driver or vehicle discovered the freeway incident and initiated an alarm report the incident location information located by GPS, MPPS or both would be automatically send to a transport management center (TMC), then the TMC would confirm the accident with a closed-circuit television (CCTV) or other approaches. In this method, detection rate (DR), time to detect (TTD) and false alarm rate (FAR) were more important performance targets. Finally, some feasible means such as management mode, education mode and suitable accident confirming approaches had been put forward to improve these targets.

Apples, oranges and fruit salad : a Delphi study of the IMC educational mix

Once, we thought that comparing advertising and public relations was a bit like comparing apples and oranges. But with integration the new flavour, many academics are trying to cut and combine and create a fruit salad that will entice their customers and satisfy their stakeholders. While this has produced some culinary triumphs, it has also produced heartburn in equal quantity. This paper seeks the perfect recipe for integrated marketing communication (IMC) education by asking a Delphi panel of IMC champions questions relating to the place of IMC in the university setting; the teaching, research and curriculum development issues and the future for IMC education. The panel draws a chaotic picture of IMC education and identifies some important obstacles to curriculum development. It also predicts a number of key challenges for the future, including turf wars; the lack of faculty experience and enthusiasm to embrace IMC and the desperate need to grow the IMC brand. But perhaps the greatest challenge is how to create a generalist education in a culture of pecialisation that exists both in the university and in the workplace.

Interpersonal coordination tendencies, decision-making and information governing dynamics in rugby union

In this chapter, ideas from ecological psychology and nonlinear dynamics are integrated to characterise decision-making as an emergent property of self-organisation processes in the interpersonal interactions that occur in sports teams. A conceptual model is proposed to capture constraints on dynamics of decisions and actions in dyadic systems, which has been empirically evaluated in simulations of interpersonal interactions in team sports. For this purpose, co-adaptive interpersonal dynamics in team sports such as rubgy union have been studied to reveal control parameter and collective variable relations in attacker-defender dyads. Although interpersonal dynamics of attackers and defenders in 1 vs 1 situations showed characteristics of chaotic attractors, the informational constraints of rugby union typically bounded dyadic systems into low dimensional attractors. Our work suggests that the dynamics of attacker-defender dyads can be characterised as an evolving sequence since players' positioning and movements are connected in diverse ways over time.

Interpersonal pattern dynamics and adaptive behavior in multiagent neurobiological systems : conceptual model and data

Ecological dynamics characterizes adaptive behavior as an emergent, self-organizing property of interpersonal interactions in complex social systems. The authors conceptualize and investigate constraints on dynamics of decisions and actions in the multiagent system of team sports. They studied coadaptive interpersonal dynamics in rugby union to model potential control parameter and collective variable relations in attacker–defender dyads. A videogrammetry analysis revealed how some agents generated fluctuations by adapting displacement velocity to create phase transitions and destabilize dyadic subsystems near the try line. Agent interpersonal dynamics exhibited characteristics of chaotic attractors and informational constraints of rugby union boxed dyadic systems into a low dimensional attractor. Data suggests that decisions and actions of agents in sports teams may be characterized as emergent, self-organizing properties, governed by laws of dynamical systems at the ecological scale. Further research needs to generalize this conceptual model of adaptive behavior in performance to other multiagent populations.

Calculation of habitable dwelling surfaces : an empirical analysis for the agglomerations of Munich and Sydney

In many countries the calculation of habitable dwelling surface is characterised by a chaotic variety of calculation variants hardly comprehensible for the end user - sometimes not even reproducible for the expert. Therefore dossiers were analysed on the basis of a random choice in order to determine the method according to which the habitable dwelling surface was measured and to find out wether customers can scrutinize the calculations. The paper compares Sydney and Munich, where in both cases property prices are situated at the high end of the market

Mainstreaming sustainability into pre-service teacher edcuation in Australia

There is a growing interest in and support for education for sustainability in Australian schools. Australian Government schemes such as the Australian Sustainable Schools Initiative (AuSSI), along with strategies such as Educating for a Sustainable Future: A National Environmental Education Statement for Australian Schools(NEES(Australian Government and Curriculum Corporation (2005) and Living Sustainably: The Australian Government’s National Action Plan for Education for Sustainability (Australian Government 2009), recognise the need and offer support for education for sustainability in Australian schools. The number of schools that have engaged with AuSSI indicates that this interest also exists within Australian schools. Despite this, recent research indicates that pre-service teacher education institutions and programs are not doing all they can to prepare teachers for teaching education for sustainability or for working within sustainable schools. The education of school teachers plays a vital role in achieving changes in teaching and learning in schools. Indeed, the professional development of teachers in education for sustainability has been identified as ‘the priority of priorities’. Much has been written about the need to ‘reorient teacher education towards sustainability’. Teacher education is seen as a key strategy that is yet to be effectively utilised to embed education for sustainability in schools. Mainstreaming sustainability in Australian schools will not be achieved without the preparation of teachers for this task. The Mainstreaming Sustainability model piloted in this study seeks to engage a range of stakeholder organisations and key agents of change within a system to all work simultaneously to bring about a change, such as the mainstreaming of sustainability. The model is premised on the understanding that sustainability will be mainstreamed within teacher education if there is engagement with key agents of change across the wider teacher education system and if the key agents of change are ‘deeply’ involved in making the change. The model thus seeks to marry broad engagement across a system with the active participation of stakeholders within that system. Such a systemic approach is a way of bringing together diverse viewpoints to make sense of an issue and harness that shared interpretation to define boundaries, roles and relationships leading to a better defined problem that can be acted upon more effectively. Like action research, the systemic approach is also concerned with modelling change and seeking plausible solutions through collaboration between stakeholders. This is important in ensuring that outcomes are useful to the researchers/stakeholders and the system being researched as it creates partnerships and commitments to the outcomes by stakeholder participants. The study reported on here examines whether the ‘Mainstreaming Sustainability’ model might be effective as a means to mainstream sustainability in pre-service teacher education. This model, developed in an earlier study, was piloted in the Queensland teacher education system in order to examine its effectiveness in creating organisational and systemic change. The pilot project in Queensland achieved a number of outcomes. The project: • provided useful insights into the effectiveness of the Mainstreaming Sustainability model in bringing about change while also building research capacity within the system • developed capacities within the teacher education community: o developing competencies in education for sustainability o establishing more effective interactions between decision-makers and other stakeholders o establishing a community of inquiry • changed teaching and learning approaches used in participating teacher education institutions through: o curriculum and resource development o the adoption of education for sustainability teaching and learning processes o the development of institutional policies • improved networks within the teacher education system through: o identifying key agents of change within the system o developing new, and building on existing, partnerships between schools, teacher education institutions and government agencies • engaged relevant stakeholders such as government agencies and non-government organisations to understand and support the change Our findings indicate that the Mainstreaming Sustainability model is able to facilitate organisational and systemic change – over time – if: • the individuals involved have the conceptual and personal capacities needed to facilitate change, that is, to be a key agent of change • stakeholders are engaged as participants in the process of change, not simply as ‘interested parties’ • there is a good understanding of systemic change and the opportunities for leveraging change within systems. In particular, in seeking to mainstream sustainability in pre-service teacher education in Queensland it has become clear that one needs to build capacity for change within participants such as knowledge of education for sustainability, conceptual skills in systemic thinking, action research and organisational change, and leadership skills. It is also of vital importance that key agents of change – those individuals who are ‘hubs’ within a system and can leverage for change across a wide range of the system – are identified and engaged with as early as possible. Key agents of change can only be correctly identified, however, if the project leaders and known participants have clearly identified the boundary to their system as this enables the system, sub-system and environment of the system to be understood. Through mapping the system a range of key organisations and stakeholders will be identified, including government and nongovernment organisations, teacher education students, teacher education academics, and so on. On this basis, key agents of change within the system and sub-system can be identified and invited to assist in working for change. A final insight is that it is important to have time – and if necessary the funding to ‘buy time’ – in seeking to bring about system-wide change. Seeking to bring about system-wide change is an ambitious project, one that requires a great deal of effort and time. These insights provide some considerations for those seeking to utilise the Mainstreaming Sustainability model to bring about change within and across a pre-service teacher education system.

Interaction between visual status, driver age and distracters on daytime driving performance

This study investigated the effects of visual status, driver age and the presence of secondary distracter tasks on driving performance. Twenty young (M = 26.8 years) and 19 old (M = 70.2 years) participants drove around a closed-road circuit under three visual (normal, simulated cataracts, blur) and three distracter conditions (none, visual, auditory). Simulated visual impairment, increased driver age and the presence of a distracter task detrimentally affected all measures of driving performance except gap judgments and lane keeping. Significant interaction effects were evident between visual status, age and distracters; simulated cataracts had the most negative impact on performance in the presence of visual distracters and a more negative impact for older drivers. The implications of these findings for driving behaviour and acquisition of driving-related information for people with common visual impairments are discussed

New modal feed network for a compact monopole array with isolated ports

An element spacing of less than half a wavelength introduces strong mutual coupling between the ports of compact antenna arrays. The strong coupling causes significant system performance degradation. A decoupling network may compensate for the mutual coupling. Alternatively, port decoupling can be achieved using a modal feed network. In response to an input signal at one of the input ports, this feed network excites the antenna elements in accordance with one of the eigenvectors of the array scattering parameter matrix. In this paper, a novel 4-element monopole array is described. The feed network of the array is implemented as a planar ring-type circuit in stripline with four coupled line sections. The new configuration offers a significant reduction in size, resulting in a very compact array.