Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of Can(Plan) into Can(Plan)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of lookahead planning.

Managing Future offshore wind power variability in a European Supergrid

The future European power system will have a hierarchical structure created by layers of system control from a Supergrid via regional high-voltage transmission through to medium and low-voltage distribution. Each level will have generation sources such as large-scale offshore wind, wave, solar thermal, nuclear directly connected to this Supergrid and high levels of embedded generation, connected to the medium-voltage distribution system. It is expected that the fuel portfolio will be dominated by offshore wind in Northern Europe and PV in Southern Europe. The strategies required to manage the coordination of supply-side variability with demand-side variability will include large scale interconnection, demand side management, load aggregation and storage in the context of the Supergrid combined with the Smart Grid. The design challenge associated with this will not only include control topology, data acquisition, analysis and communications technologies, but also the selection of fuel portfolio at a macro level. This paper quantifies the amount of demand side management, storage and so-called 'back-up generation' needed to support an 80% renewable energy portfolio in Europe by 2050. © 2013 IEEE.

Managing the variability of supply in the European power system with high wind energy penetration

The power system of the future will have a hierarchical structure created by layers of system control from via regional high-voltage transmission through to medium and low-voltage distribution. Each level will have generation sources such as large-scale offshore wind, wave, solar thermal, nuclear directly connected to this Supergrid and high levels of embedded generation, connected to the medium-voltage distribution system. It is expected that the fuel portfolio will be dominated by offshore wind in Northern Europe and PV in Southern Europe. The strategies required to manage the coordination of supply-side variability with demand-side variability will include large scale interconnection, demand side management, load aggregation and storage in the concept of the Supergrid combined with the Smart Grid. The design challenge associated with this will not only include control topology, data acquisition, analysis and communications technologies, but also the selection of fuel portfolio at a macro level. This paper quantifies the amount of demand side management, storage and so-called ‘back-up generation’ needed to support an 80% renewable energy portfolio in Europe by 2050.

A Review of Indirect Bridge Monitoring Using Passing Vehicles

Indirect bridge monitoring methods, using the responses measured from vehicles passing over bridges, are under development for about a decade. A major advantage of these methods is that they use sensors mounted on the vehicle, no sensors or data acquisition system needs to be installed on the bridge. Most of the proposed methods are based on the identification of dynamic characteristics of the bridge from responses measured on the vehicle, such as natural frequency, mode shapes, and damping. In addition, some of the methods seek to directly detect bridge damage based on the interaction between the vehicle and bridge. This paper presents a critical review of indirect methods for bridge monitoring and provides discussion and recommendations on the challenges to be overcome for successful implementation in practice.

Detection of Bridge Dynamic Parameters using an Instrumented Vehicle

Highway structures such as bridges are subject to continuous degradation primarily due to ageing and environmental factors. A rational transport policy requires the monitoring of this transport infrastructure to provide adequate maintenance and guarantee the required levels of transport service and safety. In Europe, this is now a legal requirement - a European Directive requires all member states of the European Union to implement a Bridge Management System. However, the process is expensive, requiring the installation of sensing equipment and data acquisition electronics on the bridge. This paper investigates the use of an instrumented vehicle fitted with accelerometers on its axles to monitor the dynamic behaviour of bridges as an indicator of its structural condition. This approach eliminates the need for any on-site installation of measurement equipment. A simplified half-car vehicle-bridge interaction model is used in theoretical simulations to test the possibility of extracting the dynamic parameters of the bridge from the spectra of the vehicle accelerations. The effect of vehicle speed, vehicle mass and bridge span length on the detection of the bridge dynamic parameters are investigated. The algorithm is highly sensitive to the condition of the road profile and simulations are carried out for both smooth and rough profiles

Monitoring Bridge Dynamic Behaviour using an Instrumented Two Axle Vehicle

Highway structures such as bridges are subject to continuous degradation primarily due to ageing, loading and environmental factors. A rational transport policy must monitor and provide adequate maintenance to this infrastructure to guarantee the required levels of transport service and safety. Increasingly in recent years, bridges are being instrumented and monitored on an ongoing basis due to the implementation of Bridge Management Systems. This is very effective and provides a high level of protection to the public and early warning if the bridge becomes unsafe. However, the process can be expensive and time consuming, requiring the installation of sensors and data acquisition electronics on the bridge. This paper investigates the use of an instrumented 2-axle vehicle fitted with accelerometers to monitor the dynamic behaviour of a bridge network in a simple and cost-effective manner. A simplified half car-beam interaction model is used to simulate the passage of a vehicle over a bridge. This investigation involves the frequency domain analysis of the axle accelerations as the vehicle crosses the bridge. The spectrum of the acceleration record contains noise, vehicle, bridge and road frequency components. Therefore, the bridge dynamic behaviour is monitored in simulations for both smooth and rough road surfaces. The vehicle mass and axle spacing are varied in simulations along with bridge structural damping in order to analyse the sensitivity of the vehicle accelerations to a change in bridge properties. These vehicle accelerations can be obtained for different periods of time and serve as a useful tool to monitor the variation of bridge frequency and damping with time.

Cybersecurity Test-Bed for IEC 61850 based Smart Substations

With the development and deployment of IEC 61850 based smart substations, cybersecurity vulnerabilities of supervisory control and data acquisition (SCADA) systems are increasingly emerging. In response to the emergence of cybersecurity vulnerabilities in smart substations, a test-bed is indispensable to enable cybersecurity experimentation. In this paper, a comprehensive and realistic cyber-physical test-bed has been built to investigate potential cybersecurity vulnerabilities and the impact of cyber-attacks on IEC 61850 based smart substations. This test-bed is close to a real production type environment, and has the ability to carry out end-to-end testing of cyber-attacks and physical consequences. A fuzz testing approach is proposed for detecting IEC 61850 based intelligent electronic devices (IEDs) and validated in the proposed test-bed.

Assessment Of various sensors for structural health monitoring for bridge weigh-in-motion (B-WIM).

In recent years, Structural Health Monitoring (SHM) systems have been developed to monitor bridge deterioration, assess real load levels and hence extend bridge life and safety. A road bridge is only safe if the stresses caused by the passing vehicles are less than the capacity of the bridge to resist them. Conventional SHM systems can be used to improve knowledge of the bridges capacity to resist stresses but generally give no information on the causes of any increase in stresses (based on measuring strain). The concept of in Bridge Weigh-in-Motion (B-WIM) is to establish axle loads, without interruption to traffic flow, by using strain sensors at a bridge soffit and subsequently converting the data to real time axle loads or stresses. Recent studies have shown it would be most beneficial to develop a portable system which can be easily attached to existing and new bridge structures for a specified monitoring period. The sensors could then be left in place while the data acquisition can be moved for various other sites. Therefore it is necessary to find accurate sensors capable of capturing peak strains under dynamic load and suitable methods for attaching these strain sensors to existing and new bridge structures. Additionally, it is important to ensure accurate strain transfer between concrete and steel, the adhesives layer and the strain sensor. This paper describes research investigating the suitably of using various sensors for the monitoring of concrete structures under dynamic vehicle load. Electrical resistance strain (ERS) gauges, vibrating wire (VW) gauges and fibre optic sensors (FOS) are commonly used for SHM. A comparative study will be carried out to select a suitable sensor for a bridge Weigh in Motion System. This study will look at fixing methods, durability, scanning rate and accuracy range. Finite element modeling is used to predict the strains which are then validated in laboratory trials.

A Novel Approach for Axle Detection in Bridge Weigh-In-Motion Systems

Bridge weigh-in-motion (B-WIM), a system that uses strain sensors to calculate the weights of trucks passing on bridges overhead, requires accurate axle location and speed information for effective performance. The success of a B-WIM system is dependent upon the accuracy of the axle detection method. It is widely recognised that any form of axle detector on the road surface is not ideal for B-WIM applications as it can cause disruption to the traffic (Ojio & Yamada 2002; Zhao et al. 2005; Chatterjee et al. 2006). Sensors under the bridge, that is Nothing-on-Road (NOR) B-WIM, can perform axle detection via data acquisition systems which can detect a peak in strain as the axle passes. The method is often successful, although not all bridges are suitable for NOR B-WIM due to limitations of the system. Significant research has been carried out to further develop the method and the NOR algorithms, but beam-and-slab bridges with deep beams still present a challenge. With these bridges, the slabs are used for axle detection, but peaks in the slab strains are sensitive to the transverse position of wheels on the beam. This next generation B-WIM research project extends the current B-WIM algorithm to the problem of axle detection and safety, thus overcoming the existing limitations in current state-of–the-art technology. Finite Element Analysis was used to determine the critical locations for axle detecting sensors and the findings were then tested in the field. In this paper, alternative strategies for axle detection were determined using Finite Element analysis and the findings were then tested in the field. The site selected for testing was in Loughbrickland, Northern Ireland, along the A1 corridor connecting the two cities of Belfast and Dublin. The structure is on a central route through the island of Ireland and has a high traffic volume which made it an optimum location for the study. Another huge benefit of the chosen location was its close proximity to a nearby self-operated weigh station. To determine the accuracy of the proposed B-WIM system and develop a knowledge base of the traffic load on the structure, a pavement WIM system was also installed on the northbound lane on the approach to the structure. The bridge structure selected for this B-WIM research comprised of 27 pre-cast prestressed concrete Y4-beams, and a cast in-situ concrete deck. The structure, a newly constructed integral bridge, spans 19 m and has an angle of skew of 22.7°.

Autonomic modification of intestinal smooth muscle contractility

Intestinal smooth muscle contracts rhythmically in the absence of nerve and hormonal stimulation because of the activity of pacemaker cells between and within the muscle layers. This means that the autonomic nervous system modifies rather than initiates intestinal contractions. The practical described here gives students an opportunity to observe this spontaneous activity and its modification by agents associated with parasympathetic and sympathetic nerve activity. A section of the rabbit small intestine is suspended in an organ bath, and the use of a pressure transducer and data-acquisition software allows the measurement of tension generated by the smooth muscle of intestinal walls. The application of the parasympathetic neurotransmitter ACh at varying concentrations allows students to observe an increase in intestinal smooth muscle tone with increasing concentrations of this muscarinic receptor agonist. Construction of a concentration-effect curve allows students to calculate an EC50 value for ACh and consider some basic concepts surrounding receptor occupancy and activation. Application of the hormone epinephrine to the precontracted intestine allows students to observe the inhibitory effects associated with sympathetic nerve activation. Introduction of the drug atropine to the preparation before a maximal concentration of ACh is applied allows students to observe the inhibitory effect of a competitive antagonist on the physiological response to a receptor agonist. The final experiment involves the observation of the depolarizing effect of K+ on smooth muscle. Students are also invited to consider why the drugs atropine, codeine, loperamide, and botulinum toxin have medicinal uses in the management of gastrointestinal problems.

Electron impact fragmentation of thymine:partial ionization cross sections for positive fragments

We have measured mass spectra for positive ions for low-energy electron impact on thymine using a reflectron time-of-flight mass spectrometer. Using computer controlled data acquisition, mass spectra have been acquired for electron impact energies up to 100 eV in steps of 0.5 eV. Ion yield curves for most of the fragment ions have been determined by fitting groups of adjacent peaks in the mass spectra with sequences of normalized Gaussians. The ion yield curves have been normalized by comparing the sum of the ion yields to the average of calculated total ionization cross sections. Appearance energies have been determined. The nearly equal appearance energies of 83 u and 55 u observed in the present work strongly indicate that near threshold the 55 u ion is formed directly by the breakage of two bonds in the ring, rather than from a successive loss of HNCO and CO from the parent ion. Likewise 54 u is not formed by CO loss from 82 u. The appearance energies are in a number of cases consistent with the loss of one or more hydrogen atoms from a heavier fragment, but 70 u is not formed by hydrogen loss from 71 u.

Formação continuada de professores para a educação em ciências no 2º CEB : conceções e práticas de índole experimental

A Formação Continuada de Professores de Ciências assume-se como uma via capaz de ajudar os alunos a desenvolver competências, como as de resolução de problemas. Nesta perspetiva, a Educação em Ciências deve visar o desenvolvimento de cidadãos cada vez mais participativos, responsáveis, capazes de tomar decisões conscientes, exigindo-se o desenvolvimento da literacia científica como uma meta a alcançar pelas escolas. Uma das estratégias considerada como potenciadora do desenvolvimento de tais competências é o trabalho experimental desenvolvido com os alunos, durante as aulas de Ciências de 2.º CEB. Neste contexto, desenvolveu-se um Programa de Formação Continuada de Professores em Ensino Experimental das Ciências no 2.º CEB, procurando-se avaliar o seu impacte nas conceções e práticas de índole experimental de quatro professores. Assim, formularam-se as seguintes questões de investigação: Qual o impacte do Programa de Formação para uma Educação em Ciências de base experimental: a) na (re)construção das conceções dos professores do 2.º CEB acerca do Trabalho Experimental?; b) e na promoção intencional, por parte dos professores envolvidos, de práticas didático-pedagógicas de base experimental no 2.º CEB? De forma a dar resposta às questões formuladas, desenvolveu-se uma investigação de natureza qualitativa, que pretendeu contribuir para a compreensão da relação entre a formação continuada de professores e as conceções e práticas de índole experimental desenvolvidas na disciplina de Ciências da Natureza, do 2.º CEB. O planeamento escolhido foi o de estudo de caso com quatro professoras participantes na formação continuada, tendo-se recorrido a várias técnicas e instrumentos de recolha e análise de dados. Para a caraterização das conceções das professoras sobre trabalho experimental foi utilizada a entrevista semi-estruturada, o Diário do Investigador e as transcrições das aulas destas professoras, bem como a reflexão oral nas sessões de acompanhamento com a Formadora. Este último instrumento também foi usado para a caracterização das práticas das professoras, assim como o Instrumento de Caraterização das Práticas Didático-Pedagógicas de índole experimental, desenvolvido para o presente estudo. Utilizou-se ainda um Questionário de Avaliação do Programa de Formação e os Portefólios das quatro professoras do estudo, para se obter a avaliação destas docentes acerca do Programa de Formação frequentado. Os resultados parecem indicar que, antes do Programa de Formação, apenas a Professora D apresentava conceções acerca de trabalho experimental, em sintonia com a perspetiva defendida na revisão de literatura. Após o Programa de Formação as quatro professoras revelaram conceções mais realistas acerca de trabalho experimental. Relativamente às práticas de índole experimental, antes do Programa de Formação, nenhuma das professoras colaboradoras do estudo implementava esta estratégia com os alunos. Após o Programa de Formação, todas as docentes passaram a contemplar nas suas práticas o trabalho experimental. De uma maneira geral, no que concerne à avaliação do Programa de Formação, as quatro docentes consideram que este teve impacte quer nas suas conceções quer nas suas práticas de índole experimental, destacando a importância do contributo das sessões de acompanhamento em sala de aula, com a Formadora, para a implementação efetiva do trabalho experimental nas suas práticas. A partir dos resultados obtidos, concluiu-se que o Programa de Formação contribuiu para que as quatro professoras colaboradoras do estudo (re) construíssem as suas conceções sobre trabalho experimental e para que o privilegiassem efetivamente nas suas aulas. O presente estudo visou contribuir para o desenvolvimento da formação de professores em ensino experimental das ciências, no que respeita à clarificação de conceções sobre o trabalho experimental e sua implementação efetiva com os alunos, dando-lhes autonomia e apelando ao desenvolvimento das suas capacidades de pensamento, relacionadas, por exemplo, com a identificação e controlo de variáveis.

Pregnancy and newborns disorders followed by urine metabolomics

Chapter 1 introduces the scope of the work by identifying the clinically relevant prenatal disorders and presently available diagnostic methods. The methodology followed in this work is presented, along with a brief account of the principles of the analytical and statistical tools employed. A thorough description of the state of the art of metabolomics in prenatal research concludes the chapter, highlighting the merit of this novel strategy to identify robust disease biomarkers. The scarce use of maternal and newborn urine in previous reports enlightens the relevance of this work. Chapter 2 presents a description of all the experimental details involved in the work performed, comprising sampling, sample collection and preparation issues, data acquisition protocols and data analysis procedures. The proton Nuclear Magnetic Resonance (NMR) characterization of maternal urine composition in healthy pregnancies is presented in Chapter 3. The urinary metabolic profile characteristic of each pregnancy trimester was defined and a 21-metabolite signature found descriptive of the metabolic adaptations occurring throughout pregnancy. 8 metabolites were found, for the first time to our knowledge, to vary in connection to pregnancy, while known metabolic effects were confirmed. This chapter includes a study of the effects of non-fasting (used in this work) as a possible confounder. Chapter 4 describes the metabolomic study of 2nd trimester maternal urine for the diagnosis of fetal disorders and prediction of later-developing complications. This was achieved by applying a novel variable selection method developed in the context of this work. It was found that fetal malformations (FM) (and, specifically those of the central nervous system, CNS) and chromosomal disorders (CD) (and, specifically, trisomy 21, T21) are accompanied by changes in energy, amino acids, lipids and nucleotides metabolic pathways, with CD causing a further deregulation in sugars metabolism, urea cycle and/or creatinine biosynthesis. Multivariate analysis models´ validation revealed classification rates (CR) of 84% for FM (87%, CNS) and 85% for CD (94%, T21). For later-diagnosed preterm delivery (PTD), preeclampsia (PE) and intrauterine growth restriction (IUGR), it is found that urinary NMR profiles have early predictive value, with CRs ranging from 84% for PTD (11-20 gestational weeks, g.w., prior to diagnosis), 94% for PE (18-24 g.w. pre-diagnosis) and 94% for IUGR (2-22 g.w. pre-diagnosis). This chapter includes results obtained for an ultraperformance liquid chromatography-mass spectrometry (UPLC-MS) study of pre-PTD samples and correlation with NMR data. One possible marker was detected, although its identification was not possible. Chapter 5 relates to the NMR metabolomic study of gestational diabetes mellitus (GDM), establishing a potentially predictive urinary metabolic profile for GDM, 2-21 g.w. prior to diagnosis (CR 83%). Furthermore, the NMR spectrum was shown to carry information on individual phenotypes, able to predict future insulin treatment requirement (CR 94%). Chapter 6 describes results that demonstrate the impact of delivery mode (CR 88%) and gender (CR 76%) on newborn urinary profile. It was also found that newborn prematurity, respiratory depression, large for gestational age growth and malformations induce relevant metabolic perturbations (CR 82-92%), as well as maternal conditions, namely GDM (CR 82%) and maternal psychiatric disorders (CR 91%). Finally, the main conclusions of this thesis are presented in Chapter 7, highlighting the value of maternal or newborn urine metabolomics for pregnancy monitoring and disease prediction, towards the development of new early and non-invasive diagnostic methods.

REVERIE: Natural Human Interaction in Virtual Immersive Environments

REVERIE (REal and Virtual Engagement in Realistic Immersive Environments [1]) targets novel research to address the demanding challenges involved with developing state-of-the-art technologies for online human interaction. The REVERIE framework enables users to meet, socialise and share experiences online by integrating cutting-edge technologies for 3D data acquisition and processing, networking, autonomy and real-time rendering. In this paper, we describe the innovative research that is showcased through the REVERIE integrated framework through richly defined use-cases which demonstrate the validity and potential for natural interaction in a virtual immersive and safe environment. Previews of the REVERIE demo and its key research components can be viewed at www.youtube.com/user/REVERIEFP7.

An autonomous system for ocean acoustic tomography

Vertical line arrays (VLA) are a widely used apparatus in underwater acoustics with applications in sonar prediction, underwater communications and acoustic tomography, among others. Recent developments in digital electronics and communications allow for off-the-shelf development of VLA systems, with a large number of embedded acoustic and non-acoustic sensors able to fulfill application requirements, as opposed to single or few receiver configurations available until only a few years ago. Very often, the flexibility in water column sampling is achieved by splitting the VLA into modules that can be assembled according to the application. Such systems can be deployed and recovered from small vessels with a shorthanded crew, and make it possible for research labs with reduced budgets and operational means (ships and manpower) to gain control over the whole development process, from data acquisition to post-processing.