Control of fuel cell power output

A simplified dynamic model for fuel cells is developed, based on the concept of instantaneous characteristic, which is the set of values of current and voltage that a fuel cell can reach instantaneously. This is used to derive a theorem that indicates the conditions under which the power output of fuel cells can, in theory, be perfectly controlled. A fuel cell connected to a DC/DC converter is simulated numerically, with a control system based on switching rules in order to control the converter’s output voltage. The resulting transients settle in about 5–10 ms. The converter is then used as an actuator in a cascade control loop to control the torque output of a DC electric motor with a PI controller in the external loop. In this loop, the resulting in transients settle in less than 0.2 s.     

Building linked ontologies with high precision using subclass mapping discovery

The creation of links between schemas of published datasets is a key part of the Linked Open Data (LOD) paradigm. The ability to discover these links “on the go” requires that ontology matching techniques achieve good precision and recall within acceptable execution times. In this paper, we add similarity-based and mediator-based ontology matching methods to the Agreementmaker ontology matching system, which aim to efficiently discover high precision subclass mappings between LOD ontologies. Similarity-based matching methods discover subclass mappings by extrapolating them from a set of high quality equivalence mappings and from the interpretation of compound concept names. Mediator-based matching methods discover subclass mappings by comparing polysemic lexical annotations of ontology concepts and by considering external web ontologies. Experiments show that when compared with a leading LOD approach, Agreementmaker achieves considerably higher precision and F-measure, at the cost of a slight decrease in recall.     

Anelastic reorganisation of fibre-reinforced biological tissues

In this work, we contribute to the study of the structural reorganisation of biological tissues in response to mechanical stimuli. We specialise our investigation to a class of hydrated soft tissues, whose internal structure features reinforcing fibres. These are oriented statistically within the tissue, and their pattern of orientation is such that, at each material point, the tissue is anisotropic. From its natural, stress-free state, the tissue can be distorted anelastically into a global reference configuration, and then deformed under the action of external mechanical loads. The anelastic distortions are responsible for changing irreversibly the internal structure of the tissue, which, in the present context, occurs through both the rearrangement of the bonds among the tissue cells and the deformation-driven reorientation of the fibres. The anelastic strains, in addition, are assumed to model the onset and evolution of microcracks in the tissue, which may be triggered by the mechanical loads applied to the tissue in the case of traumatic events, or diseases. For our purposes, we formulate an anisotropic model of remodelling and we consider a fully isotropic model of structural reorganisation for comparison, with the aim to study if, how, and to what extent the evolution of anelastic distortions is influenced by the tissue’s anisotropy.

     

CV3: Visual Exploration,Assessment, and Comparison of CVs

The Curriculum Vitae (CV, also referred to as “résumé”) is an established representation of a person's academic and professional history. A typical CV is comprised of multiple sections associated with spatio‐temporal, nominal, hierarchical, and ordinal data. The main task of a recruiter is, given a job application with specific requirements, to compare and assess CVs in order to build a short list of promising candidates to interview. Commonly, this is done by viewing CVs in a side‐by‐side fashion. This becomes challenging when comparing more than two CVs, because the reader is required to switch attention between them. Furthermore, there is no guarantee that the CVs are structured similarly, thus making the overview cluttered and significantly slowing down the comparison process. In order to address these challenges, in this paper we propose “CV3”, an interactive exploration environment offering users a new way to explore, assess, and compare multiple CVs, to suggest suitable candidates for specific job requirements. We validate our system by means of domain expert feedback whose results highlight both the efficacy of our approach and its limitations. We learned that CV3 eases the overall burden of recruiters thereby assisting them in the selection process.     

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply with interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.     

Conformity Assessments and Post-market Monitoring: A Guide to the Role of Auditing in the Proposed European AI Regulation

The proposed European Artificial Intelligence Act (AIA) is the first attempt to elaborate a general legal framework for AI carried out by any major global economy. As such, the AIA is likely to become a point of reference in the larger discourse on how AI systems can (and should) be regulated. In this article, we describe and discuss the two primary enforcement mechanisms proposed in the AIA: the conformity assessments that providers of high-risk AI systems are expected to conduct, and the post-market monitoring plans that providers must establish to document the performance of high-risk AI systems throughout their lifetimes. We argue that the AIA can be interpreted as a proposal to establish a Europe-wide ecosystem for conducting AI auditing, albeit in other words. Our analysis offers two main contributions. First, by describing the enforcement mechanisms included in the AIA in terminology borrowed from existing literature on AI auditing, we help providers of AI systems understand how they can prove adherence to the requirements set out in the AIA in practice. Second, by examining the AIA from an auditing perspective, we seek to provide transferable lessons from previous research about how to refine further the regulatory approach outlined in the AIA. We conclude by highlighting seven aspects of the AIA where amendments (or simply clarifications) would be helpful. These include, above all, the need to translate vague concepts into verifiable criteria and to strengthen the institutional safeguards concerning conformity assessments based on internal checks.

     

SafeNet: A methodology for integrating general-purpose unsafe devices in safe-robot rehabilitation systems

Robot-assisted neurorehabilitation often involves networked systems of sensors (“sensory rooms”) and powerful devices in physical interaction with weak users. Safety is unquestionably a primary concern. Some lightweight robot platforms and devices designed on purpose include safety properties using redundant sensors or intrinsic safety design (e.g. compliance and backdrivability, limited exchange of energy). Nonetheless, the entire “sensory room” shall be required to be fail-safe and safely monitored as a system at large. Yet, sensor capabilities and control algorithms used in functional therapies require, in general, frequent updates or re-configurations, making a safety-grade release of such devices hardly sustainable in cost-effectiveness and development time. As such, promising integrated platforms for human-in-the-loop therapies could not find clinical application and manufacturing support because of lacking in the maintenance of global fail-safe properties.     

Information systems in the public sector: The e-Government enactment framework

Despite the burgeoning number of studies of public sector information systems, very few scholars have focussed on the relationship between e-Government policies and information systems choice and design. Drawing on Fountain’s (2001) technology enactment framework, this paper endeavours to conduct an in-depth investigation of the intricacies characterising the choice and design of new technologies in the context of e-Government reforms. By claiming that technologies are carriers of e-Government reform aims, this study investigates the logics embedded in the design of new technology and extant political interests and values inscribed in e-Government policies. The e-Government enactment framework is proposed as a theoretical and analytical approach to understand and study the complexity of these relationships which shape e-Government policies.     

On the Kalman–Yakubovich–Popov lemma for discrete-time positive linear systems: a novel simple proof and some related results

Theorems of alternatives on the feasibility of linear matrix inequalities (LMIs) are used in order to provide novel simple proofs for two considered versions of the Kalman–Yakubovich–Popov (KYP) lemma for discrete-time positive linear systems. Two different and novel recursive methods, to determine whether a positive matrix is or is not Schur, are obtained as an application of an existing connection between the strict inequality version of the KYP lemma for single-input single-output (SISO) discrete-time positive linear systems and a Schur matrix condition. Examples are included which provide illustration on these recursive methods.