The DEAR-COTS hard real-time subsystem

In this report, the Hard Real-Time Subsystem of DEAR-COTS is described, and the services it must provide are identified. This report is an input of ISEP/IPP and FEUP for the specification of the DEAR-COTS architecture (deliverable to the FCT).

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems

It is generally challenging to determine end-to-end delays of applications for maximizing the aggregate system utility subject to timing constraints. Many practical approaches suggest the use of intermediate deadline of tasks in order to control and upper-bound their end-to-end delays. This paper proposes a unified framework for different time-sensitive, global optimization problems, and solves them in a distributed manner using Lagrangian duality. The framework uses global viewpoints to assign intermediate deadlines, taking resource contention among tasks into consideration. For soft real-time tasks, the proposed framework effectively addresses the deadline assignment problem while maximizing the aggregate quality of service. For hard real-time tasks, we show that existing heuristic solutions to the deadline assignment problem can be incorporated into the proposed framework, enriching their mathematical interpretation.

Online intra-task device scheduling for hard real-time systems

A large part of power dissipation in a system is generated by I/O devices. Increasingly these devices provide power saving mechanisms, inter alia to enhance battery life. While I/O device scheduling has been studied in the past for realtime systems, the use of energy resources by these scheduling algorithms may be improved. These approaches are crafted considering a very large overhead of device transitions. Technology enhancements have allowed the hardware vendors to reduce the device transition overhead and energy consumption. We propose an intra-task device scheduling algorithm for real time systems that allows to shut-down devices while ensuring system schedulability. Our results show an energy gain of up to 90% when compared to the techniques proposed in the state-of-the-art.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Task partitioning and priority assignment for distributed hard real-time systems

In this paper, we propose the Distributed using Optimal Priority Assignment (DOPA) heuristic that finds a feasible partitioning and priority assignment for distributed applications based on the linear transactional model. DOPA partitions the tasks and messages in the distributed system, and makes use of the Optimal Priority Assignment (OPA) algorithm known as Audsley’s algorithm, to find the priorities for that partition. The experimental results show how the use of the OPA algorithm increases in average the number of schedulable tasks and messages in a distributed system when compared to the use of Deadline Monotonic (DM) usually favoured in other works. Afterwards, we extend these results to the assignment of Parallel/Distributed applications and present a second heuristic named Parallel-DOPA (P-DOPA). In that case, we show how the partitioning process can be simplified by using the Distributed Stretch Transformation (DST), a parallel transaction transformation algorithm introduced in [1].

Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Development of an Unmanned Capsule for large-scale maritime search and rescue

This paper describes the development and testing of a robotic capsule for search and rescue operations at sea. This capsule is able to operate autonomously or remotely controlled, is transported and deployed by a larger USV into a determined disaster area and is used to carry a life raft and inflate it close to survivors in large-scale maritime disasters. The ultimate goal of this development is to endow search and rescue teams with tools that extend their operational capability in scenarios with adverse atmospheric or maritime conditions.

Multiple-choice tests: a tool in assessing knowledge

The purpose of this paper is to analyse if Multiple-Choice Tests may be considered an interesting alternative for assessing knowledge, particularly in the Mathematics area, as opposed to the traditional methods, such as open questions exams. In this sense we illustrate some opinions of the researchers in this area. Often the perception of the people about the construction of this kind of exams is that they are easy to create. But it is not true! Construct well written tests it’s a hard work and needs writing ability from the teachers. Our proposal is analyse the construction difficulties of multiple - choice tests as well some advantages and limitations of this type of tests. We also show the frequent critics and worries, since the beginning of this objective format usage. Finally in this context some examples of Multiple-Choice Items in the Mathematics area are given, and we illustrate as how we can take advantage and improve this kind of tests.

Eastwards / westwards: which direction for gender studies in the 21st century?

Eastwards / Westwards: Which Direction for Gender Studies in the XXIst Century? is a collection of essays which focus on themes and methods that characterize current research into gender in Asian countries in general. In this collection, ideas derived from Gender Studies elsewhere in the world have been subjected to scrutiny for their utility in helping to describe and understand regional phenomena. But the concepts of Local and Global – with their discoursive productions – have not functioned as a binary opposition: localism and globalism are mutually constitutive and researchers have interrogated those spaces of interaction between the ‘self’ and the ‘other’, bearing in mind their own embeddedness in social and cultural structures and their own historical memory. Contributors to this collection provided a critical transnational perspective on some of the complex effects of the dynamics of cultural globalization, by exploring the relation between gender and development, language, historiography, education and culture. We have also given attention to the ideological and rhetorical processes through which gender identity is constructed, by comparing textual grids and patterns of expectation. Likewise, we have discussed the role of ethnography, anthropology, historiography, sociology, fiction, popular culture and colonial and post-colonial sources in (re)inventing old/new male/female identities, their conversion into concepts and circulation through time and space. This multicultural and trans-disciplinary selection of essays is totally written in English, fully edited and revised, therefore, it has a good potential for an immediate international circulation. This project may trace new paths and issues for discussion on what concerns the life, practices and narratives by and about women in Asia, as well as elsewhere in the present day global experience. Academic readership: Researchers, scholars, educators, graduate and post-graduate students, doctoral students and general non-fiction readers, with a special interest in Gender Studies, Asia, Colonial and Post-Colonial Literature, Anthropology, Cultural Studies, History, Historiography, Politics, Race, Feminism, Language, Linguistics, Power, Political and Feminist Agendas, Popular Culture, Education, Women’s Writing, Religion, Multiculturalism, Globalisation, Migration. Chapter summary: 1. “Social Gender Stereotypes and their Implication in Hindi”, Anjali Pande, Jawaharlal Nehru University, New Delhi, India. This essay looks at the subtle ways in which gender identities are constructed and reinforced in India through social norms of language use. Language itself becomes a medium for perpetuating gender stereotypes, forcing its speakers to confirm to socially defined gender roles. Using examples from a classroom discussion about a film, this essay will highlight the underlying rigid male-female stereotypes in Indian society with their more obvious expressions in language. For the urban woman in India globalisation meant increased economic equality and exposure to changed lifestyles. On an individual level it also meant redefining gender relations and changing the hierarchy in man-­woman relationships. With the economic independence there is a heightened sense of liberation in all spheres of social life, a confidence to fuzz the rigid boundaries of gender roles. With the new films and media celebrating this liberated woman, who is ready to assert her sexual needs, who is ready to explode those long held notions of morality, one would expect that the changes are not just superficial. But as it soon became obvious in the course of a classroom discussion about relationships and stereotypes related to age, the surface changes can not become part of the common vocabulary, for the obvious reason that there is still a vast gap between the screen image of this new woman and the ground reality. Social considerations define the limits of this assertiveness of women, whereas men are happy to be liberal within the larger frame of social sanctions. The educated urban woman in India speaks in favour of change and the educated urban male supports her, but one just needs to scratch the surface to see the time tested formulae of gender roles firmly in place. The way the urban woman happily balances this emerging promise of independence with her gendered social identity, makes it necessary to rethink some aspects of looking at gender in a gradually changing, traditional society like India. 2. “The Linguistic Dimension of Gender Equality”, Alissa Tolstokorova, Kiev Centre for Gender Information and Education, Ukraine. The subject-matter of this essay is gender justice in language which, as I argue, may be achieved through the development of a gender-related approach to linguistic human rights. The last decades of the 20th century, globally marked by a “gender shift” in attitudes to language policy, gave impetus to the social movement for promoting linguistic gender equality. It was initiated in Western Europe and nowadays is moving eastwards, as ideas of gender democracy progress into developing countries. But, while in western societies gender discrimination through language, or linguistic sexism, was an issue of concern for over three decades, in developing countries efforts to promote gender justice in language are only in their infancy. My argument is that to promote gender justice in language internationally it is necessary to acknowledge the rights of women and men to equal representation of their gender in language and speech and, therefore, raise a question of linguistic rights of the sexes. My understanding is that the adoption of the Universal Declaration of Linguistic Rights in 1996 provided this opportunity to address the problem of gender justice in language as a human rights issue, specifically as a gender dimension of linguistic human rights. 3. “The Rebirth of an Old Language: Issues of Gender Equality in Kazakhstan”, Maria Helena Guimarães, Polytechnic Institute of Porto, Portugal. The existing language situation in Kazakhstan, while peaceful, is not without some tension. We propose to analyze here some questions we consider relevant in the frame of cultural globalization and gender equality, such as: free from Russian imperialism, could Kazakhstan become an easy prey of Turkey’s “imperialist dream”? Could these traditionally Muslim people be soon facing the end of religious tolerance and gender equality, becoming this new old language an easy instrument for the infiltration in the country of fundamentalism (it has already crossed the boarders of Uzbekistan), leading to a gradual deterioration of its rich multicultural relations? The present structure of the language is still very fragile: there are three main dialects and many academics defend the re-introduction of the Latin alphabet, thus enlarging the possibility of cultural “contamination” by making the transmission of fundamentalist ideas still easier through neighbour countries like Azerbaijan, Uzbekistan and Turkmenistan (their languages belong to the same sub-group of Common Turkic), where the Latin alphabet is already in use, and where the ground for such ideas shown itself very fruitful. 4. “Construction of Womanhood in the Bengali Language of Bangladesh”, Raasheed Mahmood; University of New South Wales, Sydney. The present essay attempts to explore the role of gender-based language differences and of certain markers that reveal the status accorded to women in Bangladesh. Discrimination against women, in its various forms, is endemic in communities and countries around the world, cutting across class, race, age, and religious and national boundaries. One cannot understand the problems of gender discrimination solely by referring to the relationship of power or authority between men and women. Rather one needs to consider the problem by relating it to the specific social formation in which the image of masculinity and femininity is constructed and reconstructed. Following such line of reasoning this essay will examine the nature of gender bias in the Bengali language of Bangladesh, holding the conviction that as a product of social reality language reflects the socio-cultural behaviour of the community who speaks it. This essay will also attempt to shed some light on the processes through which gender based language differences produce actual consequences for women, who become exposed to low self-esteem, depression and systematic exclusion from public discourse. 5. “Marriage in China as an expression of a changing society”, Elisabetta Rosado David, University of Porto, Portugal, and Università Ca’Foscari, Venezia, Italy. In 29 April 2001, the new Marriage Law was promulgated in China. The first law on marriage was proclaimed in 1950 with the objective of freeing women from the feudal matrimonial system. With the second law, in 1981, values and conditions that had been distorted by the Cultural Revolution were recovered. Twenty years later, a new reform was started, intending to update marriage in the view of the social and cultural changes that occurred with Deng Xiaoping’s “open policy”. But the legal reform is only the starting point for this case-study. The rituals that are followed in the wedding ceremony are often hard to understand and very difficult to standardize, especially because China is a vast country, densely populated and characterized by several ethnic minorities. Two key words emerge from this issue: syncretism and continuity. On this basis, we can understand tradition in a better way, and analyse whether or not marriage, as every social manifestation, has evolved in harmony with Chinese culture. 6. “The Other Woman in the Portuguese Colonial Empire: The Case of Portuguese India”, Maria de Deus Manso, University of Évora, Portugal. This essay researches the social, cultural and symbolic history of local women in the Portuguese Indian colonial enclaves. The normative Portuguese overseas history has not paid any attention to the “indigenous” female populations in colonial Portuguese territories, albeit the large social importance of these social segments largely used in matrimonial and even catholic missionary strategies. The first attempt to open fresh windows in the history of this new field was the publication of Charles Boxer’s referential study about Women in lberian Overseas Expansion, edited in Portugal only after the Revolution of 1975. After this research we can only quote some other fragmentary efforts. In fact, research about the social, cultural, religious, political and symbolic situation of women in the Portuguese colonial territories, from the XVI to the XX century, is still a minor historiographic field. In this essay we discuss this problem and we study colonial representations of women in the Portuguese Indian enclaves, mainly in the territory of Goa, using case studies methodologies. 7. “Heading East this Time: Critical Readings on Gender in Southeast Asia”, Clara Sarmento, Polytechnic Institute of Porto, Portugal. This essay intends to discuss some critical readings of fictional and theoretical texts on gender condition in Southeast Asian countries. Nowadays, many texts about women in Southeast Asia apply concepts of power in unusual areas. Traditional forms of gender hegemony have been replaced by other powerful, if somewhat more covert, forms. We will discuss some universal values concerning conventional female roles as well as the strategies used to recognize women in political fields traditionally characterized by male dominance. Female empowerment will mean different things at different times in history, as a result of culture, local geography and individual circumstances. Empowerment needs to be perceived as an individual attitude, but it also has to be facilitated at the macro­level by society and the State. Gender is very much at the heart of all these dynamics, strongly related to specificities of historical, cultural, ethnic and class situatedness, requiring an interdisciplinary transnational approach.

A influência do membro superior no ciclo da marcha

Objectivo: Pretendeu-se avaliar as modificações no comportamento neuro-motor a nível da funcionalidade do membro superior predominantemente afectado e a sua influência no ciclo da marcha de dois indivíduos com Acidente Vascular Cerebral, face a um programa de intervenção em fisioterapia, segundo uma abordagem baseada no Conceito de Bobath. Foi também objectivo averiguar o impacto qualitativo nos componentes e estados de saúde. Metodologia: A avaliação foi realizada em dois indivíduos com sequelas de Acidente Vascular Cerebral, antes e após o plano de intervenção segundo o Conceito de Bobath, através do registo observacional, da Classificação Internacional de Funcionalidade, Incapacidade e Saúde, da Performance-Oriented Mobility Assessment POMA I, da Time Up and Go Test, da Motor Assessement Scale e da Motor Evaluation Scale for Upper Extremity in Patients. Resultados: Obteve-se um incremento da funcionalidade do membro superior predominantemente afectado, com uma atribuição na Classificação Internacional de Funcionalidade, Incapacidade e Saúde de qualificadores correspondentes a dificuldade ligeira a moderada ao nível da mobilidade e dos auto cuidado após o plano de intervenção, repercutindo-se assim numa diminuição da restrição na participação e limitação da actividade. Houve um aumento de score total em todos os instrumentos e escalas de medidas de avaliação utilizadas, tendo os indivíduos alcançado uma maior funcionalidade do membro superior e um padrão de marcha mais eficiente, com uma menor necessidade de recorrer a estratégias compensatórias de movimento. Conclusão: O plano de intervenção, baseado numa abordagem segundo o Conceito de Bobath, essencialmente dirigido para a obtenção de ganhos funcionais ao nível do membro superior predominantemente afectado nos indivíduos em estudo, parece ter contribuído para induzir mudanças no comportamento neuro-motor, verificando-se uma influência no ciclo de marcha ao nível da qualidade e eficiência do movimento.

Human interaction with technology for working, communicating, and learning: advancements

The way humans interact with technology is undergoing a tremendous change. It is hard to imagine the lives we live today without the benefits of technology that we take for granted. Applying research in computer science, engineering, and information systems to non-technical descriptions of technology, such as human interaction, has shaped and continues to shape our lives. Human Interaction with Technology for Working, Communicating, and Learning: Advancements provides a framework for conceptual, theoretical, and applied research in regards to the relationship between technology and humans. This book is unique in the sense that it does not only cover technology, but also science, research, and the relationship between these fields and individuals' experience. This book is a must have for anyone interested in this research area, as it provides a voice for all users and a look into our future.

Influência da actividade do tronco inferior na sequência de activação muscular proximal durante o passo (fase de apoio) - em crianças com quadro motor diplegia

A marcha assegura uma progressão do corpo, compatível com o equilíbrio dinâmico e adaptada a potenciais factores destabilizadores, de um ponto de vista antecipatório, através de sinergias coordenadas entre os MSs, o tronco e os MIs. O tronco inferior tem um papel preponderante na marcha, sobretudo na estabilização necessária durante a fase de apoio. Esta actividade implica mobilidade pélvica e alongamento activo dos abdominais para conseguir a relação comprimento-tensão muscular óptima entre quadricípite e isquiotibiais, permitindo uma correcta sequência, timing e amplitude de activação. Nas crianças com alterações neuromotoras existem alterações no controlo do movimento e na estrutura do próprio movimento, alterando todo este processo. Como tal, este estudo tem como principal objectivo determinar a influência da actividade do tronco inferior na activação muscular proximal durante a fase de apoio da marcha, em crianças com quadro motor de diplegia, caracterizada por uma dificuldade na relação entre os membros e entre estes e o tronco. Para responder a este objectivo realizou-se um estudo de série de casos, com 2 crianças com quadro motor de diplegia. Efectuou-se EMG dos músculos abdominais, quadricípite e isquiotibiais e análise de imagem (para amplitude da CF) durante a marcha, em ambos os membros e em dois momentos de avaliação, separados por 2 meses, nos quais se realizou um protocolo de intervenção terapêutica adequado a cada caso. Os resultados indicam que a variação de amplitude da CF desde a fase de ataque ao solo à fase média de apoio é aproximadamente igual em M0e M1; concretamente, a amplitude inicial é inferior à de referência (pouca flexão) (melhor em M0) e a amplitude final é superior à de referência (pouca extensão) (melhor em M1). Estes resultados são idênticos em ambos os casos. Na EMG verificou-se uma actividade mais global e sincronizada de todos os músculos, mantendo-se aproximadamente a mesma percentagem de activação em M1, sobretudo no caso 1. No caso 2 verificou-se uma maior eficiência na variação da percentagem de activação dos abdominais, em M1, e dos isquiotibiais, à direita. Em conclusão, pode dizer-se que, em crianças com alterações neuromotoras (quadro motor de diplegia), uma actividade mais eficiente e sincronizada no tempo do tronco inferior, nomeadamente dos abdominais, contribui para uma maior capacidade de extensão da CF, durante a fase de apoio.

Meta-heuristics self-configuration for scheduling

Scheduling resolution requires the intervention of highly skilled human problemsolvers. This is a very hard and challenging domain because current systems are becoming more and more complex, distributed, interconnected and subject to rapidly changing. A natural Autonomic Computing evolution in relation to Current Computing is to provide systems with Self-Managing ability with a minimum human interference. This paper addresses the resolution of complex scheduling problems using cooperative negotiation. A Multi-Agent Autonomic and Meta-heuristics based framework with self-configuring capabilities is proposed.

An integrated approach for distributed energy resource short term scheduling in smart grids considering realistic power system simulation

The large increase of distributed energy resources, including distributed generation, storage systems and demand response, especially in distribution networks, makes the management of the available resources a more complex and crucial process. With wind based generation gaining relevance, in terms of the generation mix, the fact that wind forecasting accuracy rapidly drops with the increase of the forecast anticipation time requires to undertake short-term and very short-term re-scheduling so the final implemented solution enables the lowest possible operation costs. This paper proposes a methodology for energy resource scheduling in smart grids, considering day ahead, hour ahead and five minutes ahead scheduling. The short-term scheduling, undertaken five minutes ahead, takes advantage of the high accuracy of the very-short term wind forecasting providing the user with more efficient scheduling solutions. The proposed method uses a Genetic Algorithm based approach for optimization that is able to cope with the hard execution time constraint of short-term scheduling. Realistic power system simulation, based on PSCAD , is used to validate the obtained solutions. The paper includes a case study with a 33 bus distribution network with high penetration of distributed energy resources implemented in PSCAD .

Prevalência de sintomas neuro-músculo-esqueléticos nos agricultores

Introdução: A agricultura é considerada uma actividade fisicamente árdua, acarretando riscos para a saúde dos seus trabalhadores. Objectivo: Avaliar a prevalência de sintomatologia neuro-músculo-esquelética em agricultores e identificar os seus factores de risco. Métodos: Os Questionários Avaliação dos Agricultores e o Nórdico Músculo-Esquelético foram aplicados a 250 agricultores da Região Agrária entre Douro e Minho. Resultados: 74,4% dos agricultores referiram sintomatologia, principalmente, na lombar, pescoço e ombros. A presença de sintomas estava significativamente associada a alguns factores de risco (p<0.05). Conclusão: Os agricultores constituem uma população de risco para o surgimento de sintomas neuro-músculo-esqueléticos.