Fujaba Days 2011

Fujaba is an Open Source UML CASE tool project started at the software engineering group of Paderborn University in 1997. In 2002 Fujaba has been redesigned and became the Fujaba Tool Suite with a plug-in architecture allowing developers to add functionality easily while retaining full control over their contributions. Multiple Application Domains Fujaba followed the model-driven development philosophy right from its beginning in 1997. At the early days, Fujaba had a special focus on code generation from UML diagrams resulting in a visual programming language with a special emphasis on object structure manipulating rules. Today, at least six rather independent tool versions are under development in Paderborn, Kassel, and Darmstadt for supporting (1) reengineering, (2) embedded real-time systems, (3) education, (4) specification of distributed control systems, (5) integration with the ECLIPSE platform, and (6) MOF-based integration of system (re-) engineering tools. International Community According to our knowledge, quite a number of research groups have also chosen Fujaba as a platform for UML and MDA related research activities. In addition, quite a number of Fujaba users send requests for more functionality and extensions. Therefore, the 8th International Fujaba Days aimed at bringing together Fujaba develop- ers and Fujaba users from all over the world to present their ideas and projects and to discuss them with each other and with the Fujaba core development team.

A Concurrent Smalltalk Compiler for the Message-Driven Processor

This thesis describes Optimist, an optimizing compiler for the Concurrent Smalltalk language developed by the Concurrent VLSI Architecture Group. Optimist compiles Concurrent Smalltalk to the assembly language of the Message-Driven Processor (MDP). The compiler includes numerous optimization techniques such as dead code elimination, dataflow analysis, constant folding, move elimination, concurrency analysis, duplicate code merging, tail forwarding, use of register variables, as well as various MDP-specific optimizations in the code generator. The MDP presents some unique challenges and opportunities for compilation. Due to the MDP's small memory size, it is critical that the size of the generated code be as small as possible. The MDP is an inherently concurrent processor with efficient mechanisms for sending and receiving messages; the compiler takes advantage of these mechanisms. The MDP's tagged architecture allows very efficient support of object-oriented languages such as Concurrent Smalltalk. The initial goals for the MDP were to have the MDP execute about twenty instructions per method and contain 4096 words of memory. This compiler shows that these goals are too optimistic -- most methods are longer, both in terms of code size and running time. Thus, the memory size of the MDP should be increased.

Concurrent Smalltalk on the Message-Driven Processor

Concurrent Smalltalk is the primary language used for programming the J- Machine, a MIMD message-passing computer containing thousands of 36-bit processors connected by a very low latency network. This thesis describes in detail Concurrent Smalltalk and its implementation on the J-Machine, including the Optimist II global optimizing compiler and Cosmos fine-grain parallel operating system. Quantitative and qualitative results are presented.

Translation Invariance in Object Recognition, and Its Relation to Other Visual Transformations

Human object recognition is generally considered to tolerate changes of the stimulus position in the visual field. A number of recent studies, however, have cast doubt on the completeness of translation invariance. In a new series of experiments we tried to investigate whether positional specificity of short-term memory is a general property of visual perception. We tested same/different discrimination of computer graphics models that were displayed at the same or at different locations of the visual field, and found complete translation invariance, regardless of the similarity of the animals and irrespective of direction and size of the displacement (Exp. 1 and 2). Decisions were strongly biased towards same decisions if stimuli appeared at a constant location, while after translation subjects displayed a tendency towards different decisions. Even if the spatial order of animal limbs was randomized ("scrambled animals"), no deteriorating effect of shifts in the field of view could be detected (Exp. 3). However, if the influence of single features was reduced (Exp. 4 and 5) small but significant effects of translation could be obtained. Under conditions that do not reveal an influence of translation, rotation in depth strongly interferes with recognition (Exp. 6). Changes of stimulus size did not reduce performance (Exp. 7). Tolerance to these object transformations seems to rely on different brain mechanisms, with translation and scale invariance being achieved in principle, while rotation invariance is not.

Performance-Driven Microfabrication-Oriented Methodology for MEMS Conceptual Design with Application in Microfluidic Device Design

Performance and manufacturability are two important issues that must be taken into account during MEMS design. Existing MEMS design models or systems follow a process-driven design paradigm, that is, design starts from the specification of process sequence or the customization of foundry-ready process template. There has been essentially no methodology or model that supports generic, high-level design synthesis for MEMS conceptual design. As a result, there lacks a basis for specifying the initial process sequences. To address this problem, this paper proposes a performance-driven, microfabrication-oriented methodology for MEMS conceptual design. A unified behaviour representation method is proposed which incorporates information of both physical interactions and chemical/biological/other reactions. Based on this method, a behavioural process based design synthesis model is proposed, which exploits multidisciplinary phenomena for design solutions, including both the structural components and their configuration for the MEMS device, as well as the necessary substances for the chemical/biological/other reactions. The model supports both forward and backward synthetic search for suitable phenomena. To ensure manufacturability, a strategy of using microfabrication-oriented phenomena as design knowledge is proposed, where the phenomena are developed from existing MEMS devices that have associated MEMS-specific microfabrication processes or foundry-ready process templates. To test the applicability of the proposed methodology, the paper also studies microfluidic device design and uses a micro-pump design for the case study.

A comparison of the alr and ilr transformations for kernel density estimation of compositional data

In a seminal paper, Aitchison and Lauder (1985) introduced classical kernel density estimation techniques in the context of compositional data analysis. Indeed, they gave two options for the choice of the kernel to be used in the kernel estimator. One of these kernels is based on the use the alr transformation on the simplex SD jointly with the normal distribution on RD-1. However, these authors themselves recognized that this method has some deficiencies. A method for overcoming these dificulties based on recent developments for compositional data analysis and multivariate kernel estimation theory, combining the ilr transformation with the use of the normal density with a full bandwidth matrix, was recently proposed in Martín-Fernández, Chacón and Mateu- Figueras (2006). Here we present an extensive simulation study that compares both methods in practice, thus exploring the finite-sample behaviour of both estimators

Local model predictive control experiences with differential driven wheeled mobile robots

This work extends a previously developed research concerning about the use of local model predictive control in differential driven mobile robots. Hence, experimental results are presented as a way to improve the methodology by considering aspects as trajectory accuracy and time performance. In this sense, the cost function and the prediction horizon are important aspects to be considered. The aim of the present work is to test the control method by measuring trajectory tracking accuracy and time performance. Moreover, strategies for the integration with perception system and path planning are briefly introduced. In this sense, monocular image data can be used to plan safety trajectories by using goal attraction potential fields

Event Driven Programming in Java

Event driven programming is a way of writing a program that works by responding to things happening (rather than executing a preplanned series of tasks). It is most often used to manage more advanced user interactions, such as GUI programs. In this session we look at how event driven programming works in Java GUIs, as both an introduction to events (using MouseListeners), and also to the way that GUI programs are constructed.

A data-driven approach to disease control

As our world becomes increasingly interconnected, diseases can spread at a faster and faster rate. Recent years have seen large-scale influenza, cholera and ebola outbreaks and failing to react in a timely manner to outbreaks leads to a larger spread and longer persistence of the outbreak. Furthermore, diseases like malaria, polio and dengue fever have been eliminated in some parts of the world but continue to put a substantial burden on countries in which these diseases are still endemic. To reduce the disease burden and eventually move towards countrywide elimination of diseases such as malaria, understanding human mobility is crucial for both planning interventions as well as estimation of the prevalence of the disease. In this talk, I will discuss how various data sources can be used to estimate human movements, population distributions and disease prevalence as well as the relevance of this information for intervention planning. Particularly anonymised mobile phone data has been shown to be a valuable source of information for countries with unreliable population density and migration data and I will present several studies where mobile phone data has been used to derive these measures.

Data-Driven Text Generation using Neural Networks & Provenance is Complicated and Boring — Is there a solution?

Title: Data-Driven Text Generation using Neural Networks Speaker: Pavlos Vougiouklis, University of Southampton Abstract: Recent work on neural networks shows their great potential at tackling a wide variety of Natural Language Processing (NLP) tasks. This talk will focus on the Natural Language Generation (NLG) problem and, more specifically, on the extend to which neural network language models could be employed for context-sensitive and data-driven text generation. In addition, a neural network architecture for response generation in social media along with the training methods that enable it to capture contextual information and effectively participate in public conversations will be discussed. Speaker Bio: Pavlos Vougiouklis obtained his 5-year Diploma in Electrical and Computer Engineering from the Aristotle University of Thessaloniki in 2013. He was awarded an MSc degree in Software Engineering from the University of Southampton in 2014. In 2015, he joined the Web and Internet Science (WAIS) research group of the University of Southampton and he is currently working towards the acquisition of his PhD degree in the field of Neural Network Approaches for Natural Language Processing. Title: Provenance is Complicated and Boring — Is there a solution? Speaker: Darren Richardson, University of Southampton Abstract: Paper trails, auditing, and accountability — arguably not the sexiest terms in computer science. But then you discover that you've possibly been eating horse-meat, and the importance of provenance becomes almost palpable. Having accepted that we should be creating provenance-enabled systems, the challenge of then communicating that provenance to casual users is not trivial: users should not have to have a detailed working knowledge of your system, and they certainly shouldn't be expected to understand the data model. So how, then, do you give users an insight into the provenance, without having to build a bespoke system for each and every different provenance installation? Speaker Bio: Darren is a final year Computer Science PhD student. He completed his undergraduate degree in Electronic Engineering at Southampton in 2012.

Petróleo e indígenas en Colombia. Una mirada desde la seguridad humana

En Colombia las actividades de exploración, explotación, transporte y procesamiento de hidrocarburos que se vienen realizando desde comienzos del siglo XX son responsables de grandes procesos de transformación del territorio y de degradación de los ecosistemas en los que se realizan. Estos procesos han impactado negativamente la seguridad de las comunidades indígenas poniendo en riesgo su cultura y en algunos casos su existencia misma. Aunque históricamente los derechos de estas poblaciones frente a la explotación petrolera, y minera en general, han cambiado y su autonomía e integridad es protegida por la Constitución de 1991, las comunidades siguen teniendo una alta vulnerabilidad frente a la intervención de los ecosistema que habitan.La degradación ambiental producida directamente por las actividades petroleras y por los procesos de colonización que estas impulsan se constituye en una amenaza a la seguridad de las comunidades, cuyos territorios y recursos de subsistencia se ven disminuidos. La colonización y la presión sobre los recursos naturales que esta produce son motivadas principalmente por la pobreza de poblaciones campesinas que buscan nuevas tierras para habitar, a su vez estos dos procesos son causa de degradación ambiental que empobrece a las comunidades étnicas debido a que afecta sus fuentes de sustento, situación que genera inseguridad para los indígenas. Adicionalmente, la degradación ambiental y la disminución de los territorios ponen en riesgo la cultura de estos grupos humanos, pues afecta sus valores, tradiciones, autoridades y, en general, su forma de vida lo que constituye una amenaza a su seguridad.-----In Colombia, the exploration, exploitation, transport, and processing of hydrocarbons since the beginning of the 20th century have caused great territory transformations and ecosystem degradation. These processes have impacted adversely the indigenous communities security, exposing their culture and, in some cases, their existence itself. Even though, facing oil and, in general, mineral exploitation, the rights of this population have changed historically and their autonomy and integrity is protected by the 1991 Constitution, the communities are still highly vulnerable to the intervention on the ecosystem they inhabit.The environmental degradation directly arisen from the oil exploitation activities and the colonization they have driven, has become a threat to the security of the communities whose territories and subsistence resources have been reduced. Colonization and the resulting natural resource pressure are mainly caused by the poverty of the country population that seek new lands to occupy and these two facts cause in turn the environmental degradation that impoverish the ethnic communities by affecting their living sources, thereby causing insecurity to the indigenous population. In addition, environmental degradation and territory reduction risk these human groups’ culture by impacting their values, tradition, authorities and, in general, their way of living, and therefore turn into a threat to their security.

Numerical model of solid phase transformations governed by nucleation and growth: microstructure development during isothermal crystallization

A simple numerical model which calculates the kinetics of crystallization involving randomly distributed nucleation and isotropic growth is presented. The model can be applied to different thermal histories and no restrictions are imposed on the time and the temperature dependences of the nucleation and growth rates. We also develop an algorithm which evaluates the corresponding emerging grain-size distribution. The algorithm is easy to implement and particularly flexible, making it possible to simulate several experimental conditions. Its simplicity and minimal computer requirements allow high accuracy for two- and three-dimensional growth simulations. The algorithm is applied to explore the grain morphology development during isothermal treatments for several nucleation regimes. In particular, thermal nucleation, preexisting nuclei, and the combination of both nucleation mechanisms are analyzed. For the first two cases, the universal grain-size distribution is obtained. The high accuracy of the model is stated from its comparison to analytical predictions. Finally, the validity of the Kolmogorov-Johnson-Mehl-Avrami model SSSR, is verified for all the cases studied

O2 activation at bioinspired complexes: dinuclear copper systems and mononuclear non-heme iron compounds. Mechanisms and catalytic applications in oxidative transformations

L'activació d'oxigen que té lloc en els éssers vius constitueix una font d'inspiració pel desenvolupament d'alternatives als oxidants tradicionals, considerats altament tòxics i nocius. En aquesta treball s'utilitzen compostos sintètics com a models del centre actiu de proteïnes dinuclears de coure i mononuclears de ferro de tipus no-hemo que participen en l'activació d'oxigen en els éssers vius. Els sistemes dinuclears de coure mostren un centre de tipus coure(III) bis(oxo) que és capaç de dur a terme l'ortho-hidroxilació de fenols de manera similar a la reacció que catalitza la proteïna tirosinasa. Per altra banda, els sistemes de ferro desenvolupats en aquest treball actuen com a models de les dioxigenases de Rieske i poden dur a terme l'hidroxilació estereoespecífica d'alcans i l'epoxidació i cis-dihidroxilació d'olefines utilitzant peròxid d'hidrogen com a agent oxidant. Tot plegat demostra que el desenvolupament de sistemes model constitueix una bona estratègia per l'estudi dels sistemes naturals.

Population Change in a Marine Bird Colony is Driven By Changes in Recruitment

The population dynamics of long-lived birds are thought to be very sensitive to changes in adult survival. However, where natal philopatry is low, recruitment from the larger metapopulation may have the strongest effect on population growth rate even in long-lived species. Here, we illustrate such a situation where changes in a seabird colony size appeared to be the consequence of changes in recruitment. We studied the population dynamics of a declining colony of Ancient Murrelets (Synthliboramphus antiquus) at East Limestone Island, British Columbia. During 1990-2010, Ancient Murrelet chicks were trapped at East Limestone Island while departing to sea, using a standard trapping method carried on throughout the departure period. Adult murrelets were trapped while departing from the colony during 1990-2003. Numbers of chicks trapped declined during 1990-1995, probably because of raccoon predation, increased slightly from 1995-2000 and subsequently declined again. Reproductive success was 30% lower during 2000-2003 than in earlier years, mainly because of an increase in desertions. The proportion of nonbreeders among adult birds trapped at night also declined over the study period. Mortality of adult birds, thought to be mainly prebreeders, from predators more than doubled over the same period. Apparent adult survival of breeders remained constant during 1991-2002 once the first year after banding was excluded, but the apparent survival rates in the first year after banding fell and the survival of birds banded as chicks to age three halved over the same period. A matrix model of population dynamics suggested that even during the early part of the study immigration from other breeding areas must have been substantial, supporting earlier observations that natal philopatry in this species is low. The general colony decline after 2000 probably was related to diminished recruitment, as evidenced by the lower proportion of nonbreeders in the trapped sample. Hence the trend is determined by the recruitment decisions of externally reared birds, rather than demographic factors operating on the local breeding population, an unusual situation for a colonial marine bird. Because of the contraction in the colony it may now be subject to a level of predation pressure from which recovery will be impossible without some form of intervention.

Dynamics of convectively driven banded jets in the laboratory

The banded organization of clouds and zonal winds in the atmospheres of the outer planets has long fascinated observers. Several recent studies in the theory and idealized modeling of geostrophic turbulence have suggested possible explanations for the emergence of such organized patterns, typically involving highly anisotropic exchanges of kinetic energy and vorticity within the dissipationless inertial ranges of turbulent flows dominated (at least at large scales) by ensembles of propagating Rossby waves. The results from an attempt to reproduce such conditions in the laboratory are presented here. Achievement of a distinct inertial range turns out to require an experiment on the largest feasible scale. Deep, rotating convection on small horizontal scales was induced by gently and continuously spraying dense, salty water onto the free surface of the 13-m-diameter cylindrical tank on the Coriolis platform in Grenoble, France. A “planetary vorticity gradient” or “β effect” was obtained by use of a conically sloping bottom and the whole tank rotated at angular speeds up to 0.15 rad s−1. Over a period of several hours, a highly barotropic, zonally banded large-scale flow pattern was seen to emerge with up to 5–6 narrow, alternating, zonally aligned jets across the tank, indicating the development of an anisotropic field of geostrophic turbulence. Using particle image velocimetry (PIV) techniques, zonal jets are shown to have arisen from nonlinear interactions between barotropic eddies on a scale comparable to either a Rhines or “frictional” wavelength, which scales roughly as (β/Urms)−1/2. This resulted in an anisotropic kinetic energy spectrum with a significantly steeper slope with wavenumber k for the zonal flow than for the nonzonal eddies, which largely follows the classical Kolmogorov k−5/3 inertial range. Potential vorticity fields show evidence of Rossby wave breaking and the presence of a “hyperstaircase” with radius, indicating instantaneous flows that are supercritical with respect to the Rayleigh–Kuo instability criterion and in a state of “barotropic adjustment.” The implications of these results are discussed in light of zonal jets observed in planetary atmospheres and, most recently, in the terrestrial oceans.