Evaluating P-NET message's response time with fixed priority queuing at application process level

P-NET is a multi-master fieldbus standard based on a virtual token passing scheme. In P-NET each master is allowed to transmit only one message per token visit. In the worst-case, the communication response time can be derived considering that, in each token cycle, all stations use the token to transmit a message. In this paper, we define a more sophisticated P-NET model, which considers the actual token utilisation. We then analyse the possibility of implementing a local priority-based scheduling policy to improve the real-time behaviour of P-NET.

A checklist for patient safety rounds at the care pathway level

Objective - To define a checklist that can be used to assess the performance of a department and evaluate the implementation of quality management (QM) activities across departments or pathways in acute care hospitals. Design - We developed and tested a checklist for the assessment of QM activities at department level in a cross-sectional study using on-site visits by trained external auditors. Setting and Participants - A sample of 292 hospital departments of 74 acute care hospitals across seven European countries. In every hospital, four departments for the conditions: acute myocardial infarction (AMI), stroke, hip fracture and deliveries participated. Main outcome measures - Four measures of QM activities were evaluated at care pathway level focusing on specialized expertise and responsibility (SER), evidence-based organization of pathways (EBOP), patient safety strategies and clinical review (CR). Results - Participating departments attained mean values on the various scales between 1.2 and 3.7. The theoretical range was 0-4. Three of the four QM measures are identical for the four conditions, whereas one scale (EBOP) has condition-specific items. Correlations showed that every factor was related, but also distinct, and added to the overall picture of QM at pathway level. Conclusion - The newly developed checklist can be used across various types of departments and pathways in acute care hospitals like AMI, deliveries, stroke and hip fracture. The anticipated users of the checklist are internal (e.g. peers within the hospital and hospital executive board) and external auditors (e.g. healthcare inspectorate, professional or patient organizations).

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Simulation of offshore wind system with two-level converters: HVDC power transmission

A new integrated mathematical model for the simulation of offshore wind energy conversion system performance is presented in this paper. The mathematical model considers an offshore variable-speed turbine in deep water equipped with a permanent magnet synchronous generator using full-power two-level converter, converting the energy of a variable frequency source in injected energy into the electric network with constant frequency, through a high voltage DC transmission submarine cable. The mathematical model for the drive train is a concentrate two mass model which incorporates the dynamic for the structure and tower due to the need to emulate the effects of the moving surface. Controller strategy considered is a proportional integral one. Also, pulse width modulation using space vector modulation supplemented with sliding mode is used for trigger the transistor of the converter. Finally, a case study is presented to access the system performance. © 2014 IEEE.

A preliminary idea for an 8-competitive, log2 DMAX + log2 log2 1/U asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor

Consider a single processor and a software system. The software system comprises components and interfaces where each component has an associated interface and each component comprises a set of constrained-deadline sporadic tasks. A scheduling algorithm (called global scheduler) determines at each instant which component is active. The active component uses another scheduling algorithm (called local scheduler) to determine which task is selected for execution on the processor. The interface of a component makes certain information about a component visible to other components; the interfaces of all components are used for schedulability analysis. We address the problem of generating an interface for a component based on the tasks inside the component. We desire to (i) incur only a small loss in schedulability analysis due to the interface and (ii) ensure that the amount of space (counted in bits) of the interface is small; this is because such an interface hides as much details of the component as possible. We present an algorithm for generating such an interface.

Modern epidemiology and its discontents

The goal of this article is to present a snapshot of an ongoing debate within epidemiology, pitching opposing sides in the struggle to define the path it should follow in the years to come. The debate among epidemiologists in the mid-90s pitted those who defended the idea that epidemiology should necessarily deal with a wide context against those who believed that science and public health are better served by focusing on the individual level. Ian Hacking’s concept of styles of reasoning was used as a theoretical tool. The literature was reviewed using a core set of articles as an entry point, seeking articles that cited them, and then back-tracking the citations of the resulting set in the Scopus database. The main arguments are presented according to levels (ontological, epistemological, axiological and pragmatic), in order to show an even deeper disagreement, in the very conception of science and its relation to social issues and public policy.

A reconnaissance study of Upper Jurassic sediments of the Lusitanian Basin

The Upper Jurassic evolution of the Lusitanian Basin is shown to be linked to the rifting phase which preceded the separation of Iberia and the Grand Banks. Structural controls on sedimentation include both NNE-SSW trending faults in the Hercynian basement, and contemporaneous movement of salt diapirs. At the beginning of Upper Oxfordian times, the entire basin had been levelled to within a few metres of sea level, so that the freshwater algal marsh and marginal marine facies of the Cabaços and Vale Verde Beds rest on Triassic to Callovian strata. In the latter part of the Upper Oxfordian. carbonate sedimentation continued, with fluctuating salinity lagoons in the north (Pholodomya protei Beds) separated from shallow open marine carbonates in the south (Montejunto Beds) by the Caldas da Rainha diapir-barrier island complex. The commencement of rifting is recorded in the Kimmeridgian by the sudden influx of terrigenous clastics (developed in both fluviatile and deltaic/submarine fan environments) and accelerated depositional rates in excess of 10cm/10 k.yrs in association with contemporaneous faulting along the SE margin of the Arruda sub-basin. The Caldas-Santa Cruz chain of diapiric structures continued to influence the distribution of carbonate and clastic sediments. In the Portlandian, a simpler facies pattern occurs, with fluviatile clastics interfingering to the south with shallow low energy carbonates.

Âges K-Ar de glauconites des environs de Luz de Tavira, Algarve

Glauconite K-Ar ages (6.88±0.4; 7.03±0.4 MY) confirm earlier reports to Upper Tortonian of silt beds near Morgadinho, Luz de Tavira and Tavira. Taking stratigraphical position and age into account it is possible now to correlate these beds with similar ones at Quelfes and Cacela (Formação de Cacela, lower member, ascribed to the upper part of N16 or to NI7 Blow's zone, Globorotalia humerosa - G. dutertrei; Tortonian to Messinian, according to the ostracod fauna). Limit between the above quoted zones is thus placed at about 7 MY. New K-Ar ages greatly improve the knowledge about Upper Miocene in eastern Algarve, and on regional tectonic evolution. This is particulary so in what concerns an intra-Tortonian phase.

Depósitos messinianos do sul de Portugal, mamíferos (incluindo Rodentia e Logomorpha) e idades K-Ar

In the southern part of Tagus basin, North of paleozoic rocks of Valverde-Senhor das Chagas (near Alcácer do Sal) horst, a marine transgression has been recognized, Upper Serravallian, and maybe Lower Tortonian in age. There are no earlier marine deposits, and no younger ones are known either. Paleozoic behaved as a barrier separating two basins, distinct at least since Middle Miocene until Upper Pleistocene. Until now, both were regarded as a single entity, the so-called «Sado basin» Southwards (Alvalade basin) there has been a single transgression. It was assummed that it was the same one as the former. Indeed it is not definitely so. Later transgression accounts for Esbarrondadoiro Formation, whose deposits have been ascribed to Tortonian or even to Middle Miocene. However they are Upper Messinian to Lower Zanclean. Esbarrondadoiro Formation is younger than Lower Member of Cacela Formation in Algarve and, with even stronger reason, than the upper-most well dated marine levels in Tagus basin. Age of Miocene units dealt with here has been based on small mammals found in marine sands.

Petits mammifères du burdigalien infèrieur (Universidade Católica, Avenida do Uruguay)

Improved bromoform concentration as developped at CEPUNL allowed better recovery of small mammals'teeth. At Universidade Católica and Avenida do Uruguay 19 taxa (and a further one with doubt) were recognized. Some are new for the level and for Tagus basin: Lagopsis cadeoti and Melissiodon dominans (1st reference for the genus); Glirudinus modestus (formerly under another name); Armantomys (1st reference for this level); Peridyromys murinus (referred before under another name); Microdyromys legidensis (1st ref. of gen. and sp. for this level); and Heteroxerus rubricati, formerly reported to other species of the same genus. Both localities share the same position viz marine levels under and above. This allows us to correlate them with NS or N6 Blow's zones. Both are distinctly younger-than glauconite in underlying beds about 21 MY old (K-Ar). Small mammals point out to MN3a Neogene subunit. Fauna is much alike Lower Burdigalian ones in Spain, France, Germany and Austria. Terrestrial, maybe steppe forms predominate. Land environment was open, with scant plant cover but not devoid of trees. Peridyromys murinus numerical importance and other data suggest a not so warm climate in correspondance to a minimum temperature event. This is corroborated by associated marine fish fauna entirely without warm water stenotherm species, and by paleobotanical/palynological data. Results are in close agreement with Central Northern Spain. The localities studied here are even more interesting as direct correlations between marine and continental stratigraphical scales are possible.

A pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained- deadline sporadic tasks on a uniprocessor

Compositional real-time scheduling clearly requires that ”normal” real-time scheduling challenges are addressed but challenges intrinsic to compositionality must be addressed as well, in particular: (i) how should interfaces be described? and (ii) how should numerical values be assigned to parameters constituting the interfaces? The real-time systems community has traditionally used narrow interfaces for describing a component (for example, a utilization/bandwidthlike metric and the distribution of this bandwidth in time). In this paper, we introduce the concept of competitive ratio of an interface and show that typical narrow interfaces cause poor performance for scheduling constrained-deadline sporadic tasks (competitive ratio is infinite). Therefore, we explore more expressive interfaces; in particular a class called medium-wide interfaces. For this class, we propose an interface type and show how the parameters of the interface should be selected. We also prove that this interface is 8-competitive.

Automatic learning for the classification of chemical reactions and in statistical thermodynamics

This Thesis describes the application of automatic learning methods for a) the classification of organic and metabolic reactions, and b) the mapping of Potential Energy Surfaces(PES). The classification of reactions was approached with two distinct methodologies: a representation of chemical reactions based on NMR data, and a representation of chemical reactions from the reaction equation based on the physico-chemical and topological features of chemical bonds. NMR-based classification of photochemical and enzymatic reactions. Photochemical and metabolic reactions were classified by Kohonen Self-Organizing Maps (Kohonen SOMs) and Random Forests (RFs) taking as input the difference between the 1H NMR spectra of the products and the reactants. The development of such a representation can be applied in automatic analysis of changes in the 1H NMR spectrum of a mixture and their interpretation in terms of the chemical reactions taking place. Examples of possible applications are the monitoring of reaction processes, evaluation of the stability of chemicals, or even the interpretation of metabonomic data. A Kohonen SOM trained with a data set of metabolic reactions catalysed by transferases was able to correctly classify 75% of an independent test set in terms of the EC number subclass. Random Forests improved the correct predictions to 79%. With photochemical reactions classified into 7 groups, an independent test set was classified with 86-93% accuracy. The data set of photochemical reactions was also used to simulate mixtures with two reactions occurring simultaneously. Kohonen SOMs and Feed-Forward Neural Networks (FFNNs) were trained to classify the reactions occurring in a mixture based on the 1H NMR spectra of the products and reactants. Kohonen SOMs allowed the correct assignment of 53-63% of the mixtures (in a test set). Counter-Propagation Neural Networks (CPNNs) gave origin to similar results. The use of supervised learning techniques allowed an improvement in the results. They were improved to 77% of correct assignments when an ensemble of ten FFNNs were used and to 80% when Random Forests were used. This study was performed with NMR data simulated from the molecular structure by the SPINUS program. In the design of one test set, simulated data was combined with experimental data. The results support the proposal of linking databases of chemical reactions to experimental or simulated NMR data for automatic classification of reactions and mixtures of reactions. Genome-scale classification of enzymatic reactions from their reaction equation. The MOLMAP descriptor relies on a Kohonen SOM that defines types of bonds on the basis of their physico-chemical and topological properties. The MOLMAP descriptor of a molecule represents the types of bonds available in that molecule. The MOLMAP descriptor of a reaction is defined as the difference between the MOLMAPs of the products and the reactants, and numerically encodes the pattern of bonds that are broken, changed, and made during a chemical reaction. The automatic perception of chemical similarities between metabolic reactions is required for a variety of applications ranging from the computer validation of classification systems, genome-scale reconstruction (or comparison) of metabolic pathways, to the classification of enzymatic mechanisms. Catalytic functions of proteins are generally described by the EC numbers that are simultaneously employed as identifiers of reactions, enzymes, and enzyme genes, thus linking metabolic and genomic information. Different methods should be available to automatically compare metabolic reactions and for the automatic assignment of EC numbers to reactions still not officially classified. In this study, the genome-scale data set of enzymatic reactions available in the KEGG database was encoded by the MOLMAP descriptors, and was submitted to Kohonen SOMs to compare the resulting map with the official EC number classification, to explore the possibility of predicting EC numbers from the reaction equation, and to assess the internal consistency of the EC classification at the class level. A general agreement with the EC classification was observed, i.e. a relationship between the similarity of MOLMAPs and the similarity of EC numbers. At the same time, MOLMAPs were able to discriminate between EC sub-subclasses. EC numbers could be assigned at the class, subclass, and sub-subclass levels with accuracies up to 92%, 80%, and 70% for independent test sets. The correspondence between chemical similarity of metabolic reactions and their MOLMAP descriptors was applied to the identification of a number of reactions mapped into the same neuron but belonging to different EC classes, which demonstrated the ability of the MOLMAP/SOM approach to verify the internal consistency of classifications in databases of metabolic reactions. RFs were also used to assign the four levels of the EC hierarchy from the reaction equation. EC numbers were correctly assigned in 95%, 90%, 85% and 86% of the cases (for independent test sets) at the class, subclass, sub-subclass and full EC number level,respectively. Experiments for the classification of reactions from the main reactants and products were performed with RFs - EC numbers were assigned at the class, subclass and sub-subclass level with accuracies of 78%, 74% and 63%, respectively. In the course of the experiments with metabolic reactions we suggested that the MOLMAP / SOM concept could be extended to the representation of other levels of metabolic information such as metabolic pathways. Following the MOLMAP idea, the pattern of neurons activated by the reactions of a metabolic pathway is a representation of the reactions involved in that pathway - a descriptor of the metabolic pathway. This reasoning enabled the comparison of different pathways, the automatic classification of pathways, and a classification of organisms based on their biochemical machinery. The three levels of classification (from bonds to metabolic pathways) allowed to map and perceive chemical similarities between metabolic pathways even for pathways of different types of metabolism and pathways that do not share similarities in terms of EC numbers. Mapping of PES by neural networks (NNs). In a first series of experiments, ensembles of Feed-Forward NNs (EnsFFNNs) and Associative Neural Networks (ASNNs) were trained to reproduce PES represented by the Lennard-Jones (LJ) analytical potential function. The accuracy of the method was assessed by comparing the results of molecular dynamics simulations (thermal, structural, and dynamic properties) obtained from the NNs-PES and from the LJ function. The results indicated that for LJ-type potentials, NNs can be trained to generate accurate PES to be used in molecular simulations. EnsFFNNs and ASNNs gave better results than single FFNNs. A remarkable ability of the NNs models to interpolate between distant curves and accurately reproduce potentials to be used in molecular simulations is shown. The purpose of the first study was to systematically analyse the accuracy of different NNs. Our main motivation, however, is reflected in the next study: the mapping of multidimensional PES by NNs to simulate, by Molecular Dynamics or Monte Carlo, the adsorption and self-assembly of solvated organic molecules on noble-metal electrodes. Indeed, for such complex and heterogeneous systems the development of suitable analytical functions that fit quantum mechanical interaction energies is a non-trivial or even impossible task. The data consisted of energy values, from Density Functional Theory (DFT) calculations, at different distances, for several molecular orientations and three electrode adsorption sites. The results indicate that NNs require a data set large enough to cover well the diversity of possible interaction sites, distances, and orientations. NNs trained with such data sets can perform equally well or even better than analytical functions. Therefore, they can be used in molecular simulations, particularly for the ethanol/Au (111) interface which is the case studied in the present Thesis. Once properly trained, the networks are able to produce, as output, any required number of energy points for accurate interpolations.

Climatology of the Iberia coastal low-level wind jet: weather research forecasting model high-resolution results

Coastal low-level jets (CLLJ) are a low-tropospheric wind feature driven by the pressure gradient produced by a sharp contrast between high temperatures over land and lower temperatures over the sea. This contrast between the cold ocean and the warm land in the summer is intensified by the impact of the coastal parallel winds on the ocean generating upwelling currents, sharpening the temperature gradient close to the coast and giving rise to strong baroclinic structures at the coast. During summertime, the Iberian Peninsula is often under the effect of the Azores High and of a thermal low pressure system inland, leading to a seasonal wind, in the west coast, called the Nortada (northerly wind). This study presents a regional climatology of the CLLJ off the west coast of the Iberian Peninsula, based on a 9km resolution downscaling dataset, produced using the Weather Research and Forecasting (WRF) mesoscale model, forced by 19 years of ERA-Interim reanalysis (1989-2007). The simulation results show that the jet hourly frequency of occurrence in the summer is above 30% and decreases to about 10% during spring and autumn. The monthly frequencies of occurrence can reach higher values, around 40% in summer months, and reveal large inter-annual variability in all three seasons. In the summer, at a daily base, the CLLJ is present in almost 70% of the days. The CLLJ wind direction is mostly from north-northeasterly and occurs more persistently in three areas where the interaction of the jet flow with local capes and headlands is more pronounced. The coastal jets in this area occur at heights between 300 and 400 m, and its speed has a mean around 15 m/s, reaching maximum speeds of 25 m/s.

Level monitoring system for waste oil containers: an EPS@ISEP project

Waste oil recycling companies play a very important role in our society. Competition among companies is tough and process optimization is essential for survival. By equipping oil containers with a level monitoring system that periodically reports the level and alerts when it reaches the preset threshold, the oil recycling companies are able to streamline the oil collection process and, thus, reduce the operation costs while maintaining the quality of service. This paper describes the development of this level monitoring system by a team of four students from different engineering backgrounds and nationalities. The team conducted a study of the state of the art, draw marketing and sustainable development plans and, finally, designed and implemented a prototype that continuously measures the container content level and sends an alert message as soon as it reaches the preset capacity.

Dynamic adaptation of stability periods for service level agreements

A QoS adaptation to dynamically changing system conditions that takes into consideration the user’s constraints on the stability of service provisioning is presented. The goal is to allow the system to make QoS adaptation decisions in response to fluctuations in task traffic flow, under the control of the user. We pay special attention to the case where monitoring the stability period and resource load variation of Service Level Agreements for different types of services is used to dynamically adapt future stability periods, according to a feedback control scheme. System’s adaptation behaviour can be configured according to a desired confidence level on future resource usage. The viability of the proposed approach is validated by preliminary experiments.