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.

Guidelines for the design of efficient sono-microreactors

Possible drawbacks of microreactors are inefficient reactant mixing and the clogging of microchannels when solid-forming reactions are carried out or solid (catalysts) suspensions are used. Ultrasonic irradiation has been successfully implemented for solving these problems in microreactor configurations ranging from capillaries immersed in ultrasonic baths to devices with miniaturized piezoelectric transducers. Moving forward in process intensification and sustainable development, the acoustic energy implementation requires a strategy to optimize the microreactor from an ultrasound viewpoint during its design. In this work, we present a simple analytical model that can be used as a guide to achieving a proper acoustic design of stacked microreactors. An example of this methodology was demonstrated through finite element analysis and it was compared with an experimental study found in the literature.

A Construction Management Framework for Mass Customisation in Traditional Construction

A Mass Customisation model is discussed as a competitive positioning strategy in the marketplace adding value to the customer’s end-use. It includes the user as part of the construction process responding to the customer’s demands and wishes. To the present day, almost all proposals for Mass Customisation have been focused on the design phase and single family houses. The reality is that the processes carried out in the work execution are so inefficient that the costs of the Mass Customisation models are assumed by the customer and they do not offer solutions that support the change management. Furthermore, this inefficiency often makes Mass Customisation unfeasible in terms of deadlines and site management. Therefore, the present proposal focuses on achieving the paradigm of Mass Customisation in the traditional residential construction complementary to the existing proposals in the design phase. All this through the proposal of a framework for the integral management in the work execution, which will address change management introduced by the users offering an efficient and productive model that reduces costs in the process. This model will focus on the synergy between different strategies, techniques and technologies currently used in the construction management (such as Lean Construction or Six Sigma), together with, other strategies and technologies that have proven to be valid solutions in other fields (such as Business Process Management, Service Oriented Architecture, etc.).

Making it easy to do the right thing in healthcare: Advancing improvement science education through accredited pan European higher education modules

Background: Numerous international policy drivers espouse the need to improve healthcare. The application of Improvement Science has the potential to restore the balance of healthcare and transform it to a more person-centred and quality improvement focussed system. However there is currently no accredited Improvement Science education offered routinely to healthcare students. This means that there are a huge number of healthcare professionals who do not have the conceptual or experiential skills to apply Improvement Science in everyday practise. Methods: This article describes how seven European Higher Education Institutions (HEIs) worked together to develop four evidence informed accredited inter-professional Improvement Science modules for under and postgraduate healthcare students. It outlines the way in which a Policy Delphi, a narrative literature review, a review of the competency and capability requirements for healthcare professionals to practise Improvement Science, and a mapping of current Improvement Science education informed the content of the modules. Results: A contemporary consensus definition of Healthcare Improvement Science was developed. The four Improvement Science modules that have been designed are outlined. A framework to evaluate the impact modules have in practise has been developed and piloted. Conclusion: The authors argue that there is a clear need to advance healthcare Improvement Science education through incorporating evidence based accredited modules into healthcare professional education. They suggest that if Improvement Science education, that incorporates work based learning, becomes a staple part of the curricula in inter-professional education then it has real promise to improve the delivery, quality and design of healthcare.

Do more with less: a framework for e-government

Dissertação apresentada ao Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica do Doutor Arminda Guerra Lopes Professor Doutor do Departamento de Informática do Instituto Politécnico de Castelo Branco