Hardware/Software Design of Dynamic Real-Time Schedulers for Embedded Multiprocessor Systems

The new generation of multicore processors opens new perspectives for the design of embedded systems. Multiprocessing, however, poses new challenges to the scheduling of real-time applications, in which the ever-increasing computational demands are constantly flanked by the need of meeting critical time constraints. Many research works have contributed to this field introducing new advanced scheduling algorithms. However, despite many of these works have solidly demonstrated their effectiveness, the actual support for multiprocessor real-time scheduling offered by current operating systems is still very limited. This dissertation deals with implementative aspects of real-time schedulers in modern embedded multiprocessor systems. The first contribution is represented by an open-source scheduling framework, which is capable of realizing complex multiprocessor scheduling policies, such as G-EDF, on conventional operating systems exploiting only their native scheduler from user-space. A set of experimental evaluations compare the proposed solution to other research projects that pursue the same goals by means of kernel modifications, highlighting comparable scheduling performances. The principles that underpin the operation of the framework, originally designed for symmetric multiprocessors, have been further extended first to asymmetric ones, which are subjected to major restrictions such as the lack of support for task migrations, and later to re-programmable hardware architectures (FPGAs). In the latter case, this work introduces a scheduling accelerator, which offloads most of the scheduling operations to the hardware and exhibits extremely low scheduling jitter. The realization of a portable scheduling framework presented many interesting software challenges. One of these has been represented by timekeeping. In this regard, a further contribution is represented by a novel data structure, called addressable binary heap (ABH). Such ABH, which is conceptually a pointer-based implementation of a binary heap, shows very interesting average and worst-case performances when addressing the problem of tick-less timekeeping of high-resolution timers.

Automatic induction of lexical features

This thesis concerns artificially intelligent natural language processing systems that are capable of learning the properties of lexical items (properties like verbal valency or inflectional class membership) autonomously while they are fulfilling their tasks for which they have been deployed in the first place. Many of these tasks require a deep analysis of language input, which can be characterized as a mapping of utterances in a given input C to a set S of linguistically motivated structures with the help of linguistic information encoded in a grammar G and a lexicon L: G + L + C → S (1) The idea that underlies intelligent lexical acquisition systems is to modify this schematic formula in such a way that the system is able to exploit the information encoded in S to create a new, improved version of the lexicon: G + L + S → L' (2) Moreover, the thesis claims that a system can only be considered intelligent if it does not just make maximum usage of the learning opportunities in C, but if it is also able to revise falsely acquired lexical knowledge. So, one of the central elements in this work is the formulation of a couple of criteria for intelligent lexical acquisition systems subsumed under one paradigm: the Learn-Alpha design rule. The thesis describes the design and quality of a prototype for such a system, whose acquisition components have been developed from scratch and built on top of one of the state-of-the-art Head-driven Phrase Structure Grammar (HPSG) processing systems. The quality of this prototype is investigated in a series of experiments, in which the system is fed with extracts of a large English corpus. While the idea of using machine-readable language input to automatically acquire lexical knowledge is not new, we are not aware of a system that fulfills Learn-Alpha and is able to deal with large corpora. To instance four major challenges of constructing such a system, it should be mentioned that a) the high number of possible structural descriptions caused by highly underspeci ed lexical entries demands for a parser with a very effective ambiguity management system, b) the automatic construction of concise lexical entries out of a bulk of observed lexical facts requires a special technique of data alignment, c) the reliability of these entries depends on the system's decision on whether it has seen 'enough' input and d) general properties of language might render some lexical features indeterminable if the system tries to acquire them with a too high precision. The cornerstone of this dissertation is the motivation and development of a general theory of automatic lexical acquisition that is applicable to every language and independent of any particular theory of grammar or lexicon. This work is divided into five chapters. The introductory chapter first contrasts three different and mutually incompatible approaches to (artificial) lexical acquisition: cue-based queries, head-lexicalized probabilistic context free grammars and learning by unification. Then the postulation of the Learn-Alpha design rule is presented. The second chapter outlines the theory that underlies Learn-Alpha and exposes all the related notions and concepts required for a proper understanding of artificial lexical acquisition. Chapter 3 develops the prototyped acquisition method, called ANALYZE-LEARN-REDUCE, a framework which implements Learn-Alpha. The fourth chapter presents the design and results of a bootstrapping experiment conducted on this prototype: lexeme detection, learning of verbal valency, categorization into nominal count/mass classes, selection of prepositions and sentential complements, among others. The thesis concludes with a review of the conclusions and motivation for further improvements as well as proposals for future research on the automatic induction of lexical features.

How teachers think about the role of digital technologies in student assessment in mathematics

This study concerns teachers’ use of digital technologies in student assessment, and how the learning that is developed through the use of technology in mathematics can be evaluated. Nowadays math teachers use digital technologies in their teaching, but not in student assessment. The activities carried out with technology are seen as ‘extra-curricular’ (by both teachers and students), thus students do not learn what they can do in mathematics with digital technologies. I was interested in knowing the reasons teachers do not use digital technology to assess students’ competencies, and what they would need to be able to design innovative and appropriate tasks to assess students’ learning through digital technology. This dissertation is built on two main components: teachers and task design. I analyze teachers’ practices involving digital technologies with Ruthven’s Structuring Features of Classroom Practice, and what relation these practices have to the types of assessment they use. I study the kinds of assessment tasks teachers design with a DGE (Dynamic Geometry Environment), using Laborde’s categorization of DGE tasks. I consider the competencies teachers aim to assess with these tasks, and how their goals relate to the learning outcomes of the curriculum. This study also develops new directions in finding how to design suitable tasks for student mathematical assessment in a DGE, and it is driven by the desire to know what kinds of questions teachers might be more interested in using. I investigate the kinds of technology-based assessment tasks teachers value, and the type of feedback they give to students. Finally, I point out that the curriculum should include a range of mathematical and technological competencies that involve the use of digital technologies in mathematics, and I evaluate the possibility to take advantage of technology feedback to allow students to continue learning while they are taking a test.

Simulating event related potentials in tasks involving conflict resolution: a neural network

In this thesis, the main Executive Control theories are exposed. Methods typical of Cognitive and Computational Neuroscience are introduced and the role of behavioural tasks involving conflict resolution in the response elaboration, after the presentation of a stimulus to the subject, are highlighted. In particular, the Eriksen Flanker Task and its variants are discussed. Behavioural data, from scientific literature, are illustrated in terms of response times and error rates. During experimental behavioural tasks, EEG is registered simultaneously. Thanks to this, event related potential, related with the current task, can be studied. Different theories regarding relevant event related potential in this field - such as N2, fERN (feedback Error Related Negativity) and ERN (Error Related Negativity) – are introduced. The aim of this thesis is to understand and simulate processes regarding Executive Control, including performance improvement, error detection mechanisms, post error adjustments and the role of selective attention, with the help of an original neural network model. The network described here has been built with the purpose to simulate behavioural results of a four choice Eriksen Flanker Task. Model results show that the neural network can simulate response times, error rates and event related potentials quite well. Finally, results are compared with behavioural data and discussed in light of the mentioned Executive Control theories. Future perspective for this new model are outlined.

Development of a fluorescent-based single liposome assay for studying calcium transporter LMCA1

The morphological and functional unit of all the living organisms is the cell. The transmembrane proteins, localized in the plasma membrane of cells, play a key role in the survival of the cells themselves. These proteins perform a variety of different tasks, for example the control of the homeostasis. In order to control the homeostasis, these proteins have to regulate the concentration of chemical elements, like ions, inside and outside the cell. These regulations are fundamental for the survival of the cell and to understand them we need to understand how transmembrane proteins work. Two of the most important categories of transmembrane proteins are ion channels and transporter proteins. The ion channels have been depth studied at the single molecule level since late 1970s with the development of patch-clamp technique. It is not possible to apply this technique to study the transporter proteins so a new technique is under development in order to investigate the behavior of transporter proteins at the single molecule level. This thesis describes the development of a nanoscale single liposome assay for functional studies of transporter proteins based on quantitative fluorescence microscopy in a highly-parallel manner and in real time. The transporter of interest is the prokaryotic transporter Listeria Monocytogenes Ca2+-ATPase1 (LMCA1), a structural analogue of the eukaryotic calcium pumps SERCA and PMCA. This technique will allow the characterization of LMCA1 functionality at the single molecule level. Three systematically characterized fluorescent sensors were tested at the single liposome scale in order to investigate if their properties are suitable to study the function of the transporter of interest. Further studies will be needed in order to characterize the selected calcium sensor and pH sensor both implemented together in single liposomes and in presence of the reconstituted protein LMCA1.

Hearing in the mind's ear: A PET investigation of musical imagery and perception

Neuropsychological studies have suggested that imagery processes may be mediated by neuronal mechanisms similar to those used in perception. To test this hypothesis, and to explore the neural basis for song imagery, 12 normal subjects were scanned using the water bolus method to measure cerebral blood flow (CBF) during the performance of three tasks. In the control condition subjects saw pairs of words on each trial and judged which word was longer. In the perceptual condition subjects also viewed pairs of words, this time drawn from a familiar song; simultaneously they heard the corresponding song, and their task was to judge the change in pitch of the two cued words within the song. In the imagery condition, subjects performed precisely the same judgment as in the perceptual condition, but with no auditory input. Thus, to perform the imagery task correctly an internal auditory representation must be accessed. Paired-image subtraction of the resulting pattern of CBF, together with matched MRI for anatomical localization, revealed that both perceptual and imagery. tasks produced similar patterns of CBF changes, as compared to the control condition, in keeping with the hypothesis. More specifically, both perceiving and imagining songs are associated with bilateral neuronal activity in the secondary auditory cortices, suggesting that processes within these regions underlie the phenomenological impression of imagined sounds. Other CBF foci elicited in both tasks include areas in the left and right frontal lobes and in the left parietal lobe, as well as the supplementary motor area. This latter region implicates covert vocalization as one component of musical imagery. Direct comparison of imagery and perceptual tasks revealed CBF increases in the inferior frontal polar cortex and right thalamus. We speculate that this network of regions may be specifically associated with retrieval and/or generation of auditory information from memory.

High-resolution electrophoretic simulations: performance characteristics of one-dimensional simulators

Three comprehensive one-dimensional simulators were used on the same PC to simulate the dynamics of different electrophoretic configurations, including two migrating hybrid boundaries, an isotachophoretic boundary and the zone electrophoretic separation of ten monovalent anions. Two simulators, SIMUL5 and GENTRANS, use a uniform grid, while SPRESSO uses a dynamic adaptive grid. The simulators differ in the way components are handled. SIMUL5 and SPRESSO feature one equation for all components, whereas GENTRANS is based on the use of separate modules for the different types of monovalent components, a module for multivalent components and a module for proteins. The code for multivalent components is executed more slowly compared to those for monovalent components. Furthermore, with SIMUL5, the computational time interval becomes smaller when it is operated with a reduced calculation space that features moving borders, whereas GENTRANS offers the possibility of using data smoothing (removal of negative concentrations), which can avoid numerical oscillations and speed up a simulation. SPRESSO with its adaptive grid could be employed to simulate the same configurations with smaller numbers of grid points and thus is faster in certain but not all cases. The data reveal that simulations featuring a large number of monovalent components distributed such that a high mesh is required throughout a large proportion of the column are fastest executed with GENTRANS.

Seeing Spaces: An Eye-Tracking Study Of Speech Segmentation

Speech is often a multimodal process, presented audiovisually through a talking face. One area of speech perception influenced by visual speech is speech segmentation, or the process of breaking a stream of speech into individual words. Mitchel and Weiss (2013) demonstrated that a talking face contains specific cues to word boundaries and that subjects can correctly segment a speech stream when given a silent video of a speaker. The current study expanded upon these results, using an eye tracker to identify highly attended facial features of the audiovisual display used in Mitchel and Weiss (2013). In Experiment 1, subjects were found to spend the most time watching the eyes and mouth, with a trend suggesting that the mouth was viewed more than the eyes. Although subjects displayed significant learning of word boundaries, performance was not correlated with gaze duration on any individual feature, nor was performance correlated with a behavioral measure of autistic-like traits. However, trends suggested that as autistic-like traits increased, gaze duration of the mouth increased and gaze duration of the eyes decreased, similar to significant trends seen in autistic populations (Boratston & Blakemore, 2007). In Experiment 2, the same video was modified so that a black bar covered the eyes or mouth. Both videos elicited learning of word boundaries that was equivalent to that seen in the first experiment. Again, no correlations were found between segmentation performance and SRS scores in either condition. These results, taken with those in Experiment, suggest that neither the eyes nor mouth are critical to speech segmentation and that perhaps more global head movements indicate word boundaries (see Graf, Cosatto, Strom, & Huang, 2002). Future work will elucidate the contribution of individual features relative to global head movements, as well as extend these results to additional types of speech tasks.

The Psychosocial Quality of Nursing Home Work

Trained observers used components of the functional job analysis technique to categorize 3,371 tasks performed by 214 nursing assistants in four nursing homes on five occasions over 12 months. The extent to which each task was oriented toward residents versus data or things was coded along with the "level of complexity" of each of these orientations. A psychosocial index was created by multiplying orientation by complexity. Three questions structured the analyses: (a) To what extent do nursing assistants' tasks involve interacting with residents, as opposed to focusing on data or manipulating things? (b) How complex are these tasks? (c) What are the implications of the task analysis data for assessing the quality of psychosocial care? Findings reveal that even among the direct care tasks (69% of total), the orientation was not predominantly toward the resident. Functional complexity of the tasks observed was consistently low. Those task types with the greatest psychosocial quality were those performed least frequently and vice versa. Implications of these results for restructuring nursing assistants' work are discussed.

Towards a Variety of Family Models: Economic Contributions of Spouses and Family Power

In Western societies the increase in female employment (especially among married women) is seen as having brought about the crisis of the traditional model of the family, reinforcing the position of the "modern" model - the egalitarian family with two working spouses and a "dual-career" family. In contrast, the transitional situation in the post-communist countries during the 1990s is producing a crisis of the family with two working spouses (the basic type of the communist period) and leading to new power relations within the family. While the growth of dual-earner households in this century has implied modification of family models towards greater symmetry of responsibility for breadwinning and homemaking, there is considerable evidence that women's increased employment does not necessarily lead to a more egalitarian approach to gender roles within the family. The group set out to investigate the economic situation of families and economic power within the fame as a crucial factor in the transformation of families with two working spouses in order to reveal the specific patterns of gender contracts and power relations within the family that are emerging in response to the current political and economic transformation. They opted for a comparative approach, selecting the Czech Republic as a country where the very similar tendencies of a few years ago (almost 100% of women employed and the family as a realm of considerable private freedom where both women's and men's gender identities and the traditional distribution of family responsibilities were largely preserved) are combined with a very different experience in terms of economic inequalities during the 1990s to that of Russia. In the first stage of the study they surveyed 300 married couples (150 in each country) on the question of breadwinning. They then carried out in-depth interviews with 10 couples from each country (selected from among the educated layers of the population), focusing on the process of the social construction of gender, using breadwinning and homemaking as gender boundaries which distinguish men from women. By analysing changes in social position and the type of interpersonal interaction of spouses they distinguished two main types of family contracts: the neo-traditional "communal sharing" (with male breadwinner, traditional distribution of family chores and negotiated family power) and the modern one based on negotiated agreement. The most important pre-conditions of husband-wife agreement about breadwinning seemed to imply their overall gender ideology rather than the economic and/or family circumstances. In general, wives were more likely to express egalitarian views, supporting the blurring or even elimination of many gender boundaries. Husbands, on the other hand, more often gave responses calling for the continued maintenance of gender boundaries. The analysis showed that breadwinning is still an important gender boundary in these cultures, one that is assumed unless it is explicitly questioned and that is seen as part of what makes a man a "real man". The majority of respondents seemed to be committed to egalitarian ideology on gender roles and the distribution of family tasks, including decision making, but this is contradicted by the persistent idea of the husband as the breadwinner. This contradiction is more characteristic of the Russian situation than of the Czech. The quantitative study showed a difference in prevailing family models between the two countries, with a clearer shift towards the traditional family contract in the Russian case. The Czechs were more likely to consider their partnerships as based on negotiated agreement, while the Russians saw theirs as based on egalitarian contract, in both cases seeing this as the norm. The majority of couples said they felt satisfied with their marriage, although in both countries wives seemed to be less satisfied. There was however a difference in the issues that aroused dissatisfaction, with Czech women being more sensitive to issues such as self-realisation, personal independence, understanding and recognition in the family, and Russians to issues of love, understanding and recognition. The most disputed area for the majority of families was chores in the home, presumably because in many families both husband and wife were working hard outside the home and because a number of partners had differing views as to the ideal distribution of chores within the family. The distribution of power in the family seems to be linked to the level of well being. The analysis showed that in the dominant democratic model there is still an inverse connection between family leadership and well being: the more prominent the wife's position as head of the family is, the lower the level of family income. This may reflect both the husband's refusal to play the leading role in the family and even his rejection of any involvement in family issues in such a family. The qualitative research revealed that both men and women see the breadwinning role to be an essential part of masculine identity, a role which the female partner would take on temporarily to assist the male but not permanently since this would threaten the gender boundaries and the man's identity. At the same time, few breadwinners expressed a sense of job satisfaction and all considered their choice as imposed on them by the circumstances (i.e. having a family in difficult times). The group feel that family orientation and some loss of personal involvement in their profession is partly reflected in the fact that many of the men felt more comfortable and self-confident at home than at work. Women's work, on the other hand, was largely seen as a source of personal and self-realisation and social life. Eight out of ten of the Russian women interviewed were employed, although only two on a full-time basis, but none saw their jobs as adding substantially to the family budget. Both partners see the most important factor as the wife's wish to work or stay at home, and do not think it wise for the wife to work at the expense of her part of the "family contract", although husbands from the "egalitarian" relationships expressed more willingness to compromise. The analysis showed clearly that wives and husbands did not construct gender boundaries in isolation, with the interviews providing clear evidence of negotiation. At the same time, husbands' interpretations of their wives' employment were less susceptible to the influence of negotiation than were their gender attitudes and norms about breadwinning. One of the most interesting aspects of the spouses' negotiations was the extent to which they disagreed about what they seemed to have agreed upon. Most disagreements about the breadwinning boundaries, however, were over norms and were settled by changes in norms rather than in behavioural interpretation. Changes in norms were often a form of peace offering or were in response in changes in circumstances. The study did show, however, that many of the efforts at cooperation and compensation were more symbolic than real and the group found the plasticity of expressed gender ideology to be one of the most striking findings of their work. They conclude that the shift towards more traditional gednder distributions of incomes and domestic chores does not automatically mean the reestablishment of a patriarchal model of family power. On the contrary, it seems to be a compromise formation, relatively unstable, temporary and containing self-defeating forces as the split between the personal and professional value of work and its social value expressed in a money equivalent cannot be maintained for generations.

The experimental combination of rTMS and fMRI reveals the functional relevance of parietal cortex for visuospatial functions

We combined repetitive transcranial magnetic stimulation (rTMS) and functional magnetic resonance imaging (fMRI) to investigate the functional relevance of parietal cortex activation during the performance of visuospatial tasks. fMRI provides information about local transient changes in neuronal activation during behavioural or cognitive tasks. Information on the functional relevance of this activation was obtained by using rTMS to induce temporary regional deactivations. We thereby turned the physiological parameter of brain activity into an independent variable controlled and manipulated by the experimenter and investigated its effect on the performance of the cognitive tasks within a controlled experimental design. We investigated cognitive tasks that were performed on the same visual material but differed in the demand on visuospatial functions. For the visuospatial tasks we found a selective enhancement of fMRI signal in the superior parietal lobule (SPL) and a selective impairment of performance after rTMS to this region in comparison to a control group. We could thus show that the parietal cortex is functionally important for the execution of spatial judgements on visually presented material and that TMS as an experimental tool has the potential to interfere with higher cognitive functions such as visuospatial information processing.

Improving the performance of GIS/spatial analysts though novel applications of the Emotiv EPOC EEG headset

Geospatial information systems are used to analyze spatial data to provide decision makers with relevant, up-to-date, information. The processing time required for this information is a critical component to response time. Despite advances in algorithms and processing power, we still have many “human-in-the-loop” factors. Given the limited number of geospatial professionals, analysts using their time effectively is very important. The automation and faster humancomputer interactions of common tasks that will not disrupt their workflow or attention is something that is very desirable. The following research describes a novel approach to increase productivity with a wireless, wearable, electroencephalograph (EEG) headset within the geospatial workflow.

Driver Safety in Far-side and Far-oblique Crashes: A Study of Patrol Vehicles in the United States of America

The dissertation titled "Driver Safety in Far-side and Far-oblique Crashes" presents a novel approach to assessing vehicle cockpit safety by integrating Human Factors and Applied Mechanics. The methodology of this approach is aimed at improving safety in compact mobile workspaces such as patrol vehicle cockpits. A statistical analysis performed using Michigan state's traffic crash data to assess various contributing factors that affect the risk of severe driver injuries showed that the risk was greater for unrestrained drivers (OR=3.38, p<0.0001) and for incidents involving front and far-side crashes without seatbelts (OR=8.0 and 23.0 respectively, p<0.005). Statistics also showed that near-side and far-side crashes pose similar threat to driver injury severity. A Human Factor survey was conducted to assess various Human-Machine/Human-Computer Interaction aspects in patrol vehicle cockpits. Results showed that tasks requiring manual operation, especially the usage of laptop, would require more attention and potentially cause more distraction. A vehicle survey conducted to evaluate ergonomics-related issues revealed that some of the equipment was in airbag deployment zones. In addition, experiments were conducted to assess the effects on driver distraction caused by changing the position of in-car accessories. A driving simulator study was conducted to mimic HMI/HCI in a patrol vehicle cockpit (20 subjects, average driving experience = 5.35 years, s.d. = 1.8). It was found that the mounting locations of manual tasks did not result in a significant change in response times. Visual displays resulted in response times less than 1.5sec. It can also be concluded that the manual task was equally distracting regardless of mounting positions (average response time was 15 secs). Average speeds and lane deviations did not show any significant results. Data from 13 full-scale sled tests conducted to simulate far-side impacts at 70 PDOF and 40 PDOF was used to analyze head injuries and HIC/AIS values. It was found that accelerations generated by the vehicle deceleration alone were high enough to cause AIS 3 - AIS 6 injuries. Pretensioners could mitigated injuries only in 40 PDOF (oblique) impacts but are useless in 70 PDOF impacts. Seat belts were ineffective in protecting the driver's head from injuries. Head would come in contact with the laptop during a far-oblique (40 PDOF) crash and far-side door for an angle-type crash (70 PDOF). Finite Element analysis head-laptop impact interaction showed that the contact velocity was the most crucial factor in causing a severe (and potentially fatal) head injury. Results indicate that no equipment may be mounted in driver trajectory envelopes. A very narrow band of space is left in patrol vehicles for installation of manual-task equipment to be both safe and ergonomic. In case of a contact, the material stiffness and damping properties play a very significant role in determining the injury outcome. Future work may be done on improving the interiors' material properties to better absorb and dissipate kinetic energy of the head. The design of seat belts and pretensioners may also be seen as an essential aspect to be further improved.

ProFormA: An XML-based exchange format for programming tasks

Unterstützungssysteme für die Programmierausbildung sind weit verbreitet, doch gängige Standards für den Austausch von allgemeinen (Lern-) Inhalten und Tests erfüllen nicht die speziellen Anforderungen von Programmieraufgaben wie z. B. den Umgang mit komplexen Einreichungen aus mehreren Dateien oder die Kombination verschiedener (automatischer) Bewertungsverfahren. Dadurch können Aufgaben nicht zwischen Systemen ausgetauscht werden, was aufgrund des hohen Aufwands für die Entwicklung guter Aufgaben jedoch wünschenswert wäre. In diesem Beitrag wird ein erweiterbares XML-basiertes Format zum Austausch von Programmieraufgaben vorgestellt, das bereits von mehreren Systemen prototypisch genutzt wird. Die Spezifikation des Austauschformats ist online verfügbar [PFMA].

Learning software-maintenance tasks in offshoring projects: a cognitive-load perspective

Individual learning is central to the success of the transition phase in software mainte-nance offshoring projects. However, little is known on how learning activities, such as on-the-job training and formal presentations, are effectively combined during the tran-sition phase. In this study, we present and test propositions derived from cognitive load theory. The results of a multiple-case study suggest that learning effectiveness was highest when learning tasks such as authentic maintenance requests were used. Con-sistent with cognitive load theory, learning tasks were most effective when they imposed moderate cognitive load. Our data indicate that cognitive load was influenced by the expertise of the onsite coordinator, by intrinsic task complexity, by the degree of specifi-cation of tasks, and by supportive information. Cultural and semantic distances may in-fluence learning by inhibiting supportive information, specification, and the assignment of learning tasks.