1,721,089 research outputs found

    A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs

    No full text
    Synchronous reactive models are widely used in the development of embedded software and systems. The schedulability analysis of tasks obtained as the code implementation of synchronous finite state machines (FSMs) can be performed in several ways. One possible option is to leverage the correspondence between the execution of actions in an FSM and the execution of jobs in a digraph task model, thereby applying all the analysis methods developed for these digraph task systems. Another option is to directly leverage the state information and use dynamic programming methods to compute the worst possible sequence of (state dependent) reactions for a given FSM model. In this paper we compare these analysis methods in terms of accuracy and runtime

    Educazione musicale ed educazione matematica: contesti semiotici diversi tra loro interagenti

    No full text
    Il processo che porta alla formazione della conoscenza musicale è tutt’altro che semplice e consta di diversi elementi, apparentemente lontani tra loro. In primo luogo è opportuno evidenziare l’esistenza di una componente primitiva nell’ascolto della musica che lega sensazioni e reazioni emotive a specifiche gamme timbriche e tonal

    Predicting the effects of capping contaminated sediments via numerical simulations

    Full text link
    Contaminated sediments are one of the key risks to human health and the environment, due to high concentrations of many types of substances contained in them and their direct contact with the aquatic fauna. This contributes to fish consumption advisories and limits the uses of many water bodies. In this study, an in situ capping (ISC) is considered as a potential remedy to minimise the exposure of aquatic ecosystems to sediment contaminants and a valid alternative to ex situ remediation options, by reducing contaminant fluxes to the upper water. Numerical design simulations, taking into account a biosorptive sediment cap and comparing different adsorptive characteristics of sediments, are proposed. As a case study, polychlorinated biphenyls contaminated sediments of Lake Hartwell, an artificial lake located in South Carolina, USA, were considered. A numerical predictive model of concentrations in a multilayered bed sediment and overlying water was developed in order to evaluate the long-term effectiveness of ISC of different thicknesses. Results showed that, for the case study, a minimum 20 cm cap allows to reduce the contaminant flux to the overlying water through reaction of the contaminants with the capping matrix, by highlighting how sediment biosorptive characteristics can influence the cap design
    corecore