Engineering an Ontology for Autonomous Systems - The OASys Ontology

This paper describes the development of an ontology for autonomous systems, as the initial stage of a research programe on autonomous systems’ engineering within a model-based control approach. The ontology aims at providing a unified conceptual framework for the autonomous systems’ stakeholders, from developers to software engineers. The modular ontology contains both generic and domain-specific concepts for autonomous systems description and engineering. The ontology serves as the basis in a methodology to obtain the autonomous system’s conceptual models. The objective is to obtain and to use these models as main input for the autonomous system’s model-based control system.

Synchrotron X-ray photoabsorption spectroscopy of plasmas

Theoretical X-ray opacities are used in numerous radiative transfer simulations of plasmas at different temperatures and densities, for example astrophysics, fusion, metrology and EUV and X-rays radiation sources. However, there are only a reduced number of laboratories working on the validation of those theoretical results empirically, in particular for high temperature plasmas (mayor que 1eV). One of those limitations comes from the use of broad band EUV- X ray sources to illuminate the plasma which, among other issues, present low reproducibility and repetition rate [1]. Synchrotron radiation facilities are a more appropriate radiation source in that sense, since they provide tunable, reproducible and high resolution photons. Only their ?low? photon intensity for these experiments has prevented researchers to use it for this purpose. However, as new synchrotron facilities improve their photon fluxes, this limitation not longer holds [2]. This work evaluates the experimental requirements to use third generation synchrotron radiation sources for the empirical measurement of opacities of plasmas, proposing a pausible experimental set-up to carry them out. Properties of the laser or discharge generated plasmas to be studied with synchrotron radiation will be discussed in terms of their maximum temperatures, densities and temporal evolution. It will be concluded that there are encouraging reasons to pursue these kind of experiments which will provide with an appropriate benchmark for theoretical opacities

Alternative method for the metrological characterization of spur gears in the sub-millimeter range using optical equipment

The aim of this work is to develop a software that allows the inspection of spur gear manufactured in the sub-millimeter range. The measurements are made using a digital optical machine and using an analysis proprietary software implemented in Matlab®, which is able to handle images, captured using the digital optical machine. The software allows to evaluate the profile and pitch deviations as establish in the ISO/TR 10064-1:1992 standard

A simplified model for evaluation of fatigue damage in frames

Many studies have been developed to analyze the structural seismic behavior through the damage index concept. The evaluation of this index has been employed to quantify the safety of new and existing structures and, also, to establish a framework for seismic retrofitting decision making of structures. Most proposed models are based in a posterthquake evaluation in such a way they uncouple the structural response from the damage evaluation. In this paper, a generalization of the model by Flórez-López (1995) is proposed. The formulation employs irreversible thermodynamics and internal state variable theory applied to the study of beams and frames and it allows and explicit coupling between the degradation and the structural mechanical behavior. A damage index es defined in order to model elastoplasticity coupled with damage and fatigue damage.

Improving Hardware Reuse through XML-based Interface Encapsulation

This work proposes an encapsulation scheme aimed at simplifying the reuse process of hardware cores. This hardware encapsulation approach has been conceived with a twofold objective. First, we look for the improvement of the reuse interface associated with the hardware core description. This is carried out in a first encapsulation level by improving the limited types and configuration options available in the conventional HDLs interface, and also providing information related to the implementation itself. Second, we have devised a more generic interface focused on describing the function avoiding details from a particular implementation, what corresponds to a second encapsulation level. This encapsulation allows the designer to define how to configure and use the design to implement a given functionality. The proposed encapsulation schemes help improving the amount of information that can be supplied with the design, and also allow to automate the process of searching, configuring and implementing diverse alternatives.

Brain dynamics of mild cognitive impairment during face encoding

Brain oscillations are closely correlated with human information processing and fundamental aspects of cognition. Previous literature shows that due to the relation between brain oscillations and memory processes, spectral dynamics during such tasks are good candidates to study and characterize memory related pathologies. Mild cognitive impairment (MCI), defined as a clinical condition characterized by memory impairment and/ or deterioration of additional cognitive domains, is considered a preliminary stage in the dementia process. In consequence, the study of its brain patterns could help to achieve an early diagnosis of Alzheimer Disease.

Static analysis of WCET in a satellite software subsystem

This paper describes the authors? experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within the UPMSat-2 project. Some aspects of the aiT tool, specifically those dealing with SPARC register windows, are compared to another static analysis tool, Bound-T. The results of the analysis are discussed, and some conclusions on the use of static WCET analysis tools on the SPARC architecture are commented in the paper.

Workshop on engaging the human-computer interaction community with public policymaking internationally

There is an increasing interest in the intersection of human-computer interaction and public policy. This day-long workshop will examine successes and challenges related to public policy and human computer interaction, in order to provide a forum to create a baseline of examples and to start the process of writing a white paper on the topic.

Progress on spent fuel data compilations for PWRs

A “Collaborative Agreement” involving the collective participation of our students in their last year of our “Nuclear Engineering Master Degree Programme” for: “the review and capturing of selected spent fuel isotopic assay data sets to be included in the new SFCOMPO database"

Operational costs and reliability in a large rural electrification programme based on solar home systems

Experiences in decentralized rural electrification programmes using solar home systems have suffered difficulties during the operation and maintenance phase, due in many cases, to the underestimation of the maintenance cost, because of the decentralized character of the activity, and also because the reliability of the solar home system components is frequently unknown. This paper reports on the reliability study and cost characterization achieved in a large photovoltaic rural electrification programme carried out in Morocco. The paper aims to determinate the reliability features of the solar systems, focusing in the in-field testing for batteries and photovoltaic modules. The degradation rates for batteries and PV modules have been extracted from the in-field experiments. On the other hand, the main costs related to the operation and maintenance activity have been identified with the aim of establishing the main factors that lead to the failure of the quality sustainability in many rural electrification programmes.

Construction of a Pendentive Grid Crossing Vault

Nuts & bolts of construction history : culture, technology and society :[proceedings of the Fourth International Congress on Construction History, Paris, 3-7 July 2012. ISBN: 978-2-7084-0929-3 . Vol 1 págs 81 a 88

The Squinch Vaults in Joseph Ribes’Llibre De Trasas De Viax Y Muntea

The Squinch Vaults in Joseph Ribes. Llibre De Trasas De Viax y Muntea. 4th International Congress on Construction History. 3-7 julio 2012. París, Francia. ISBN: 978-2-7084-0929-3 . Vol 1 págs 647 a 654

Laser Processes for Contact Optimization in c-Si Solar Cells

Solid State Lasers (SSL) have been used in microelectronic and photovoltaic (PV) industry for decades but, currently, laser technology appears as a key enabling technology to improve efficiency and to reduce production costs in high efficiency solar cells fabrication. Moreover, the fact that the interaction between the laser radiation and the device is normally localized and restricted to a controlled volume makes SSL a tool of choice for the implementation of low temperature concepts in PV industry. Specifically, SSL are ideally suited to improve the electrical performance of the contacts further improving the efficiency of these devices. Advanced concepts based on standard laser firing or advanced laser doping techniques are optimal solutions for the back contact of a significant number of structures of growing interest in the c-Si PV industry, and a number of solutions has been proposed as well for emitter formation, to reduce the metallization optical losses or even to remove completely the contacts from the front part of the cell. In this work we present our more recent results of SSL applications for contact optimization in c-Si solar cell technology, including applications on low temperature processes demanding devices, like heterojunction solar cells.

Entanglement Distribution in Quantum Metropolitan Optical Networks

The ability to generate entangled photon-pairs over a broad wavelength range opens the door to the simultaneous distribution of entanglement to multiple users of a network using a single source and wavelength-division multiplexing technologies. Here we show the design of a metropolitan optical network made of tree-type access networks where entangled photon-pairs are distributed to any pair of users, independently of their location. The resulting network improves the reach, number of users and capabilities of existing proposals. Moreover, it is made up of typical commercial components and uses the existing infrastructure, which allows for moderate deployment costs. Finally, we develop a channel plan and a network design that allow direct optical communications, quantum and classical, between any pair of users. Therefore, multiple quantum information technologies can make use of this network.

Towards an Optimal Implementation of Cascade

Cascade is an information reconciliation protocol proposed in the context of secret key agreement in quantum cryptography. This protocol allows removing discrepancies in two partially correlated sequences that belong to distant parties, connected through a public noiseless channel. It is highly interactive, thus requiring a large number of channel communications between the parties to proceed and, although its efficiency is not optimal, it has become the de-facto standard for practical implementations of information reconciliation in quantum key distribution. The aim of this work is to analyze the performance of Cascade, to discuss its strengths, weaknesses and optimization possibilities, comparing with some of the modified versions that have been proposed in the literature. When looking at all design trade-offs, a new view emerges that allows to put forward a number of guidelines and propose near optimal parameters for the practical implementation of Cascade improving performance significantly in comparison with all previous proposals.