FTT-MA: A Flexible Time-Triggered Middleware Architecture for Time Sensitive, Resource-Aware AmI Systems

There is an increasing number of Ambient Intelligence (AmI) systems that are time-sensitive and resource-aware. From healthcare to building and even home/office automation, it is now common to find systems combining interactive and sensing multimedia traffic with relatively simple sensors and actuators (door locks, presence detectors, RFIDs, HVAC, information panels, etc.). Many of these are today known as Cyber-Physical Systems (CPS). Quite frequently, these systems must be capable of (1) prioritizing different traffic flows (process data, alarms, non-critical data, etc.), (2) synchronizing actions in several distributed devices and, to certain degree, (3) easing resource management (e.g., detecting faulty nodes, managing battery levels, handling overloads, etc.). This work presents FTT-MA, a high-level middleware architecture aimed at easing the design, deployment and operation of such AmI systems. FTT-MA ensures that both functional and non-functional aspects of the applications are met even during reconfiguration stages. The paper also proposes a methodology, together with a design tool, to create this kind of systems. Finally, a sample case study is presented that illustrates the use of the middleware and the methodology proposed in the paper.

Advances towards behaviour-based indoor robotic exploration

215 p.

Commercial production of Clarias fry and fingerlings in indoor and outdoor concrete tank systems

Induced breeding technique by hypophysation is being applied at the Kainji Lake Research Institute Fisheries Division Hatchery complex in New Bussa, Nigeria, for the production of Clarias fry and fingerlings in indoor and outdoor concrete tank systems. The hatchlings are fed on livefood (zooplankton) and artificial feed. Source of zooplankton is from cultured stock which is maintained throughout the breeding season by fertilization. Production values show that an average of over 4,000 hatchlings (larvae) can be produced by a female breeder (over-700g wt) and percentage survival after two months ranges between 70 to 75%. With the proposed modification and expansion project, an estimated production of over 0.5 million fingerlings per breeding season is projected

Studies on the nutritional value of cassava (Manihot utillisima) peels as energy source in the diet of Oreochromis niloticus fry fed in indoor glass aquaria

This study, though, has as its core objective cost reduction in aquaculture nutrition was equally designed to investigate the value of the peels of cassava (Manihot utillisima) as energy source in the diet of Oreochromis niloticus fry. Three levels of cassava peels diet and a control (100% yellow maize in the carbohydrate mixture) was prepared and tested on O. niloticus fry for ten (10) weeks. The fry with mean weight of 0.32g were grouped fifteen (15) in each of the glass aquaria measuring 60x30x30cm with a maximum capacity of 52 litres of water. The fry were fed twice daily at 10% biomass. Weekly, the fry were weighed to determine the weight increment or otherwise and the quality of feed adjusted accordingly. Water quality parameters like temperature, pH and dissolved oxygen (D.0) were monitored and found to be at desirable level. DT 3 (97 % cassava peels and 3% yellow maize) in the carbohydrate mixture gave the best growth performance. The fry fed, this diet gained mean weight of 1.18g for the period of the experiment. However, the poorest performance in terms of growth was from fry fed the control diet (100%yellow maize in the carbohydrate mixture) fry fed this diet gained mean weight of 0.80 for the duration of the experiment. Analysis of the various growth indices like SGR, PER, FCR and NPU shows that DT3 was the overall best diet with an SGR value of2.40 and FCR of 43.83. However, DT 1 (70% cassava peels and 30% yellow maize) gave the poorest SGR of 1.61 and FCR of 67.58. The difference in weight gain among the fry fed the three levels of cassava peels diet and the control was not statically significant (P>0.05)

Optimización del Lead Time de vehículos mediante la implementación de una solución RTLS (Real Time Location System)

A lo largo de este documento, se va a explicar la implantación del proyecto que he realizado basado en la localización de vehículos en la fábrica de Mercedes Benz España situada en Vitoria-Gasteiz. Durante la realización de este proyecto, se han llevado a cabo diversos estudios con el fin de conseguir la correcta implantación de las tecnologías empleadas. Se han realizado diferentes alternativas de posicionamiento de los componentes y diversas pruebas para comprobar el correcto funcionamiento de la solución. La solución del proyecto se realizará en distintas fases. La primera de ellas tratará sobre el estudio en una determinada zona de la fábrica, más concretamente la denominada “Área Técnica”, en esta zona se encuentran los vehículos que sufren algún retoque una vez están montados, esta zona se utilizará como piloto para una vez finalizado y comprobado su éxito ampliar la solución al resto de zonas. Previamente a mi incorporación se realizó un estudio para la colocación de los elementos necesarios en esta zona y se ha visto las posibilidades y beneficios que aportaría el control de los vehículos dentro de la fábrica. La siguiente fase será implantar la solución en el resto de las áreas que se encuentran dentro de la fábrica de Vitoria-Gasteiz así como la instalación de unos dispositivos que estarán ubicados en las puertas. Estos ayudarán a mejorar la ubicación de los vehículos ya que podremos conocer si los vehículos se encuentran dentro o fuera de la fábrica. Finalmente se ha realizado la integración de la solución en los sistemas actuales que utilizan en la fábrica para la gestión de los vehículos durante su ciclo de vida.

An investigation into the value of yam (Dioscorea rotundata) peels as energy source in the diet of Oreochromis niloticus fry fed in indoor glass aquaria

The study was designed to investigate the value of the peels of yam (Dioscorea rotundata) as energy source in the diet of Oreochromis niloticus fry and to investigate the level of inclusion of this peels that will give optimum growth performance. Four diets, three levels of yam peels and a control, was prepared and tested on O. niloticus fry (mean weight of 0.27g) for ten weeks. Fifteen (15) O. niloticus fry were grouped in each of the glass aquaria, measuring 60x30x3Ocm and with a maximum capacity of 52 liters of water. The fry were fed twice daily at 10% biomass. The fry were weighed weekly to determine weight increment or otherwise and the quality of feed was adjusted accordingly. DTl (70% yam peels and 30% yellow maize) in the carbohydrate mixture gave the best performance. The fry fed this diet, gained a mean weight of 1.20g for the period of the experiment. The poorest performance in terms of growth was from fry fed the control diet (100% yellow maize in the carbohydrate mixture). Fry fed this diet gained mean weight of 0.80g for the duration of the experiment. Analysis of the various growth indices like SGR, PER, FCR and NPU shows that DTl was the overall best diet with an SGR value of I. 92 and FCR of 54.10. The difference in weight gain by fry fed the three levels of yam peels diet and the control diet (100% yellow maize) was not statistically significant (P>0.05)

Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Speculation-Aware Resource Allocation for Cluster Schedulers

Real-time demand response is essential for handling the uncertainties of renewable generation. Traditionally, demand response has been focused on large industrial and commercial loads, however it is expected that a large number of small residential loads such as air conditioners, dish washers, and electric vehicles will also participate in the coming years. The electricity consumption of these smaller loads, which we call deferrable loads, can be shifted over time, and thus be used (in aggregate) to compensate for the random fluctuations in renewable generation.

In this thesis, we propose a real-time distributed deferrable load control algorithm to reduce the variance of aggregate load (load minus renewable generation) by shifting the power consumption of deferrable loads to periods with high renewable generation. The algorithm is model predictive in nature, i.e., at every time step, the algorithm minimizes the expected variance to go with updated predictions. We prove that suboptimality of this model predictive algorithm vanishes as time horizon expands in the average case analysis. Further, we prove strong concentration results on the distribution of the load variance obtained by model predictive deferrable load control. These concentration results highlight that the typical performance of model predictive deferrable load control is tightly concentrated around the average-case performance. Finally, we evaluate the algorithm via trace-based simulations.

Modelización de la propagación radioeléctrica en entornos indoor y outdoor aplicada a los sistemas de comunicaciones móviles

[ES]En este documento se tratará de recopilar toda la información y documentación que se ha buscado y desarrollado para la elaboración del proyecto que se está llevando a cabo. El objetivo final del mismo consiste en el análisis y estudio de los canales de propagación en entornos indoor y outdoor y su posterior comercialización en el mercado de las telecomunicaciones. Este documento recoge los aspectos necesarios para finalizar el proyecto con éxito, tales como planificación, alcance, beneficios del proyecto,presupuesto...