A formal framework for modelling complex network management systems

Society today is completely dependent on computer networks, the Internet and distributed systems, which place at our disposal the necessary services to perform our daily tasks. Subconsciously, we rely increasingly on network management systems. These systems allow us to, in general, maintain, manage, configure, scale, adapt, modify, edit, protect, and enhance the main distributed systems. Their role is secondary and is unknown and transparent to the users. They provide the necessary support to maintain the distributed systems whose services we use every day. If we do not consider network management systems during the development stage of distributed systems, then there could be serious consequences or even total failures in the development of the distributed system. It is necessary, therefore, to consider the management of the systems within the design of the distributed systems and to systematise their design to minimise the impact of network management in distributed systems projects. In this paper, we present a framework that allows the design of network management systems systematically. To accomplish this goal, formal modelling tools are used for modelling different views sequentially proposed of the same problem. These views cover all the aspects that are involved in the system; based on process definitions for identifying responsible and defining the involved agents to propose the deployment in a distributed architecture that is both feasible and appropriate.

Construction of Intelligent Virtual Worlds Using a Grammatical Framework

The potential of integrating multiagent systems and virtual environments has not been exploited to its whole extent. This paper proposes a model based on grammars, called Minerva, to construct complex virtual environments that integrate the features of agents. A virtual world is described as a set of dynamic and static elements. The static part is represented by a sequence of primitives and transformations and the dynamic elements by a series of agents. Agent activation and communication is achieved using events, created by the so-called event generators. The grammar defines a descriptive language with a simple syntax and a semantics, defined by functions. The semantics functions allow the scene to be displayed in a graphics device, and the description of the activities of the agents, including artificial intelligence algorithms and reactions to physical phenomena. To illustrate the use of Minerva, a practical example is presented: a simple robot simulator that considers the basic features of a typical robot. The result is a functional simple simulator. Minerva is a reusable, integral, and generic system, which can be easily scaled, adapted, and improved. The description of the virtual scene is independent from its representation and the elements that it interacts with.

RetinaStudio: A bioinspired framework to encode visual information

The retina is a very complex neural structure, which performs spatial, temporal, and chromatic processing on visual information and converts it into a compact ‘digital’ format composed of neural impulses. This paper presents a new compiler-based framework able to describe, simulate and validate custom retina models. The framework is compatible with the most usual neural recording and analysis tools, taking advantage of the interoperability with these kinds of applications. Furthermore it is possible to compile the code to generate accelerated versions of the visual processing models compatible with COTS microprocessors, FPGAs or GPUs. The whole system represents an ongoing work to design and develop a functional visual neuroprosthesis. Several case studies are described to assess the effectiveness and usefulness of the framework.

Plant regeneration functional groups modulate the response to fire of soil enzyme activities in a Mediterranean shrubland

Soil enzymes are critical to soil nutrient cycling function but knowledge on the factors that control their response to major disturbances such as wildfires remains very limited. We evaluated the effect of fire-related plant functional traits (resprouting and seeding) on the resistance and resilience to fire of two soil enzyme activities involved in phosphorus and carbon cycling (acid phosphatase and β-glucosidase) in a Mediterranean shrublands in SE Spain. Using experimental fires, we compared four types of shrubland microsites: SS (vegetation patches dominated by seeder species), RR (patches dominated by resprouter species), SR (patches co-dominated by seeder and resprouter species), and IP (shrub interpatches). We assessed pre- and post-fire activities of the target soil enzymes, available P, soil organic C, and plant cover dynamics over three years after the fire. Post-fire regeneration functional groups (resprouter, seeder) modulated both pre- and post-fire activity of acid phosphatase and β-glucosidase, with higher activity in RR and SR patches than in SS patches and IP. However, we found no major differences in enzyme resistance and resilience between microsite types, except for a trend towards less resilience in SS patches. Fire similarly reduced the activity of both enzymes. However, acid phosphatase and β-glucosidase showed contrasting post-fire dynamics. While β-glucosidase proved to be rather resilient to fire, fully recovering three years after fire, acid phosphatase showed no signs of recovery in that period. Overall, the results indicate a positive influence of resprouter species on soil enzyme activity that is very resistant to fire. Long-lasting decrease in acid phosphatase activity probably resulted from the combined effect of P availability and post-fire drought. Our results provide insights on how plant functional traits modulate soil biochemical and microbiological response to fire in Mediterranean fire-prone shrublands.