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.

Blast response of segmented bored tunnel using coupled SPH–FE method

Underground transport tunnels are vulnerable to blast events. This paper develops and applies a fully coupled technique involving the Smooth Particle Hydrodynamics and Finite Element techniques to investigate the blast response of segmented bored tunnels. Findings indicate that several bolts failed in the longitudinal direction due to redistribution of blast loading to adjacent tunnel rings. The tunnel segments respond as arch mechanisms in the transverse direction and suffered damage mainly due to high bending stresses. The novel information from the present study will enable safer designs of buried tunnels and provide a benchmark reference for future developments in this area.

Engagement [Reference entry]

Engagement is an important multi-dimensional concept with relevance for corporate reputation and brand management, particularly in focal areas such as corporate social responsibility, stakeholder relations, and issues or crisis management. This entry examines the levels of analysis where engagement occurs, three types of engagement, the different contextual and disciplinary perspectives of engagement, and the implications of engagement for corporate reputation.

A technique for analysing GOOSE packets when testing relays in an IEC 61850-8-1 environment

While the implementation of the IEC 61850 standard has significantly enhanced the performance of communications in electrical substations, it has also increased the complexity of the system. Subsequently, these added elaborations have introduced new challenges in relation to the skills and tools required for the design, test and maintenance of 61850-compatible substations. This paper describes a practical experience of testing a protection relay using a non-conventional test equipment; in addition, it proposes a third party software technique to reveal the contents of the packets transferred on the substation network. Using this approach, the standard objects can be linked and interpreted to what the end-users normally see in the IED and test equipment proprietary software programs.

Wide-area damping control for inter-area oscillations using inverse filtering technique

In this study, a non-linear excitation controller using inverse filtering is proposed to damp inter-area oscillations. The proposed controller is based on determining generator flux value for the next sampling time which is obtained by maximising reduction rate of kinetic energy of the system after the fault. The desired flux for the next time interval is obtained using wide-area measurements and the equivalent area rotor angles and velocities are predicted using a non-linear Kalman filter. A supplementary control input for the excitation system, using inverse filtering approach, to track the desired flux is implemented. The inverse filtering approach ensures that the non-linearity introduced because of saturation is well compensated. The efficacy of the proposed controller with and without communication time delay is evaluated on different IEEE benchmark systems including Kundur's two area, Western System Coordinating Council three-area and 16-machine, 68-bus test systems.

Empirical reference points for Bernstein’s model of pedagogic rights: Recontextualising the reconciliation agenda to Australian schooling

In this chapter we use Bernstein’s (2000) model of pedagogic rights to examine the learning experiences for non-Indigenous teachers in two reconciliation projects. In the context within which we write, reconciliation is the process of establishing a culture of mutual respect between Aboriginal and Torres Strait Islander peoples and non-Indigenous Australians. In 1991, the Royal Commission into Aboriginal Deaths in Custody linked the continuation of racism in Australian society to the weak coverage of Aboriginal and Torres Strait Islander content in the school curriculum (Reconciliation Australia 2010). Nearly two decades later, the Melbourne Declaration on Educational Goals for Young Australians issued by the council of Federal, State and Territory Ministers of Education proclaimed that curriculum should enable all students to ‘understand and acknowledge the value of Indigenous cultures and possess the knowledge, skills and understanding to contribute to, and benefit from reconciliation between Indigenous and non-Indigenous Australians’ (MCEETYA 2008, 9). Education holds out promise not only of better life chances for Indigenous young people, but also of replacing myths with understanding and tackling prejudice and racism within the non-Indigenous population. Bernstein’s (2000) model of pedagogic rights promises some purchase on this pedagogic work by providing concepts for looking systematically at the participation of non-Indigenous teachers in education. As observed by Frandji and Vitale (Chapter 2, this volume), the model is not sufficient to achieve a democratic reality, ‘but simply provides a basis for problematizing reality and considering possibilities’.

How European public sector agencies innovate: The use of bottom-up, policy-dependent and knowledge-scanning innovation methods

Factor and cluster analysis are used to identify different methods that public sector agencies in Europeuse to innovate, based on data from a 2010 survey of 3273 agencies. The analyses identify three types ofinnovative agencies: bottom-up, knowledge-scanning, and policy-dependent. The distribution of bottom-up agencies across European countries is positively correlated with average per capita incomes while thedistribution of knowledge-scanning agencies is negatively correlated with income. In contrast, there isno consistent pattern by country in the distribution of policy-dependent agencies. Regression resultsthat control for agency characteristics find that innovation methods are significantly correlated with thebeneficial outcomes of innovation, with bottom-up and knowledge-scanning agencies out-performingpolicy-dependent agencies.

Normal reference values of strength in pelvic floor muscle of women: A descriptive and inferential study

Background To describe the clinical, functional and quality of life characteristics in women with Stress Urinary Incontinence (SUI). In addition, to analyse the relationship between the variables reported by the patients and those informed by the clinicians, and the relationship between instrumented variables and the manual pelvic floor strength assessment. Methods Two hundred and eighteen women participated in this observational, analytical study. An interview about Urinary Incontinence and the quality of life questionnaires (EuroQoL-5D and SF-12) were developed as outcomes reported by the patients. Manual muscle testing and perineometry as outcomes informed by the clinician were assessed. Descriptive and correlation analysis were carried out. Results The average age of the subjects was (39.93?±?12.27 years), (24.49?±?3.54 BMI). The strength evaluated by manual testing of the right levator ani muscles was 7.79?±?2.88, the strength of left levator ani muscles was 7.51?±?2.91 and the strength assessed with the perineometer was 7.64?±?2.55. A positive correlation was found between manual muscle testing and perineometry of the pelvic floor muscles (p?