The potential of wind energy via an intelligent IoT-oriented assessment

The Journal of Supercomputing - In contemporary times, renewable energy reliability has been an important field of research that is combined with the Internet of Things (IoT) including the...     

Exploiting local persistency for reduced state-space generation

Innovations in Systems and Software Engineering - This paper deals with two partial order techniques for Petri nets (PN in short): persistent sets and step graphs. These techniques aim to reduce...     

Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties

We consider here the interval timed coloured Petri net model (ITCPN). This model associates with each created token a time interval specifying when the token will become available and forces enabled transitions to occur as soon as possible. This model can simulate other timed Petri nets and allows to describe large and complex real-time systems. We propose a much more efficient contraction for its generally infinite state space than those developed in the literature. Our contraction approach captures all linear properties of the model and produces finite graphs for all bounded models.     

ALTAR: achieving learning through action research

This paper describes a collaborative action research (AR) study that took place between a U.K. university and a large U.K. manufacturing organisation, Britvic Soft Drinks Ltd. The ALTAR (Achieving Learning Through Action Research) project involved a number of AR cycles involving participants at different levels of the collaborating organisation. Britvic was already in the process of adopting knowledge management (KM) software but it was recognised that they could better exploit KM technologies by undertaking the AR project described in the paper. The project involved developing academic theory into practical concepts that influenced actions in the organisation and fed back into the academic research. The ALTAR approach and findings are described in this paper and conclusions are drawn about the AR study and its implications for AR, KM and for the future study of organisational learning through AR. The conclusions of the work are of practical use to managers in a variety of organisations and will inform academic research into cognate disciplines using the AR process.     

ALTAR in action: knowledge management

This paper describes the knowledge management (KM) aspects of an action research (AR) project that took place in a large U.K. manufacturing organisation, Britvic Soft Drinks Ltd. The ALTAR (Achieving Learning Through Action Research) approach described in an earlier paper was developed through the KM project described in this paper. The ALTAR approach was intended to facilitate organisational learning and academic research and the study involved a number of AR cycles at different levels of the collaborating organisation. Theoretical concepts were taken from the academic literature and were developed for practical use and fed back into the academic research. The knowledge value chain, in particular, helped the organisation to focus on the essential aspects of KM. The research-led thinking was useful in helping Britvic staff to define and understand the importance of knowledge, to identify what knowledge assets they owned and to understand how that knowledge could be harnessed. The research facilitated individuals' understanding of how better to access the knowledge of others and to share their own knowledge to benefit the whole organisation. From an academic point of view, the AR project facilitated academic research, stimulated organisational change and learning provided useful material for research outputs, teaching and learning and promoted future research opportunities.     

Severe malnutrition with and without HIV-1 infection in hospitalised children in Kampala, Uganda: differences in clinical features, haematological findings and CD4+ cell counts

Background  

The aim of this study was to describe the clinical features, haematological findings and CD4⁺ and CD8⁺ cell counts of severely malnourished children in relation to human immunodeficiency virus (HIV) infection.     

Contraction of the ITCPN state space

We show here how to contract the ITCPN state space. We distinguish three levels of contraction that translate the ITCPN state space into one well timed and coherent timed automation. We consider here only equivalence based on delays. To achieve more contractions, the equivalence based on delays can be completed with equivalence based on colours as shown in [4].     

Improving state class constructions for CTL* model checking of time Petri nets

The state space explosion is still one of the most challenging problems in formal verification using enumerative techniques. The challenge is even greater for real time systems whose state spaces are generally infinite due to time density. To use enumerative techniques with these systems, their state spaces need to be contracted into finite structures that preserve properties of interest. We propose in this paper an efficient approach to construct a contraction of the time Petri net model state space, which preserves its CTL* properties.