Petri nets based components within globally asynchronous locally synchronous systems

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Voronoi cells via linear inequality systems

The theory and methods of linear algebra are a useful alternative to those of convex geometry in the framework of Voronoi cells and diagrams, which constitute basic tools of computational geometry. As shown by Voigt and Weis in 2010, the Voronoi cells of a given set of sites T, which provide a tesselation of the space called Voronoi diagram when T is finite, are solution sets of linear inequality systems indexed by T. This paper exploits systematically this fact in order to obtain geometrical information on Voronoi cells from sets associated with T (convex and conical hulls, tangent cones and the characteristic cones of their linear representations). The particular cases of T being a curve, a closed convex set and a discrete set are analyzed in detail. We also include conclusions on Voronoi diagrams of arbitrary sets.

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Sistema multi-agente para gestão de tráfego em centros urbanos

Mestrado em Engenharia Informática

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

Control of schistosomiasis transmission

Despite the success of control programmes, schistosomiasis is still a serious public health problem in the world. More than 70 countries where 200 million individuals are evaluated to be infected of a total 600 million at risk. Though there have been important local success in the control of transmission, globally the infection has increased. Economic constrains in developing countries, environmental changes associated with migration and water resources development have been blocking the progress. The main objective of schistosomiasis control is to achieve reduction of disease due to schistosomiasis. We discussed the control measures like: health education, diagnosis and chemotherapy, safe water supplies, sanitation and snail control. We emphasized the need to give priority to school-age children and the importance of integrating the measures of control into locally available systems of health care. The control of schistosomiasis is directly related to the capacity of the preventive health services of an endemic country. The strategy of control requires long-term commitment from the international to the local level.

Chaotic synchronization in 2D lattice for scene segmentation

Synchronization and chaos play important roles in neural activities and have been applied in oscillatory correlation modeling for scene and data analysis. Although it is an extensively studied topic, there are still few results regarding synchrony in locally coupled systems. In this paper we give a rigorous proof to show that large numbers of coupled chaotic oscillators with parameter mismatch in a 2D lattice can be synchronized by providing a sufficiently large coupling strength. We demonstrate how the obtained result can be applied to construct an oscillatory network for scene segmentation. (C) 2007 Elsevier B.V. All rights reserved.

Turning conflict into coexistence: cross-cutting ties and institutions in the agro-pastoral borderlands of Lake Naivasha basin, Kenya

The Maasai/Kikuyu agro-pastoral borderlands of Maiella and Enoosupukia, located in the hinterlands of Lake Naivasha’s agro-industrial hub, are particularly notorious in the history of ethnicised violence in the Kenya’s Rift Valley. In October 1993, an organised assault perpetrated by hundreds of Maasai vigilantes, with the assistance of game wardens and administration police, killed more than 20 farmers of Kikuyu descent. Consequently, thousands of migrant farmers were violently evicted from Enoosupukia at the instigation of leading local politicians. Nowadays, however, intercommunity relations are surprisingly peaceful and the cooperative use of natural resources is the rule rather than the exception. There seems to be a form of reorganization. Violence seems to be contained and the local economy has since recovered. This does not mean that there is no conflict, but people seem to have the facility to solve them peacefully. How did formerly violent conflicts develop into peaceful relations? How did competition turn into cooperation, facilitating changing land use? This dissertation explores the value of cross-cutting ties and local institutions in peaceful relationships and the non-violent resolution of conflicts across previously violently contested community boundaries. It mainly relies on ethnographic data collected between 2014 and 2015. The discussion therefore builds on several theoretical approaches in anthropology and the social sciences – that is, violent conflicts, cross-cutting ties and conflicting loyalties, joking relationships, peace and nonviolence, and institutions, in order to understand shared spaces that are experiencing fairly rapid social and economic changes, and characterised by conflict and coexistence. In the researched communities, cross-cutting ties and the split allegiances associated with them result from intermarriages, land transactions, trade, and friendship. By institutions, I refer to local peace committees, an attempt to standardise an aspect of customary law, and Nyumba Kumi, a strategy of anchoring community policing at the household level. In 2010, the state “implanted” these grassroots-level institutions and conferred on them the rights to handle specific conflicts and to prevent crime. I argue that the studied groups utilise diverse networks of relationships as adaptive responses to landlessness, poverty, and socio-political dynamics at the local level. Material and non-material exchanges and transfers accompany these social and economic ties and networks. In addition to being instrumental in nurturing a cohesive social fabric, I argue that such alliances could be thought of as strategies of appropriation of resources in the frontiers – areas that are considered to have immense agricultural potential and to be conducive to economic enterprise. Consequently, these areas are continuously changed and shaped through immigration, population growth, and agricultural intensification. However, cross-cutting ties and intergroup alliances may not necessarily prevent the occurrence or escalation of conflicts. Nevertheless, disputes and conflicts, which form part of the social order in the studied area, create the opportunities for locally contextualised systems of peace and non-violence that inculcate the values of cooperation, coexistence, and restraint from violence. Although the neo-traditional institutions (local peace committees and Nyumba Kumi) face massive complexities and lack the capacity to handle serious conflicts, their application of informal constraints in dispute resolution provides room for some optimism. Notably, the formation of ties and alliances between the studied groups, and the use of local norms and values to resolve disputes, are not new phenomena – they are reminiscent of historical patterns. Their persistence, particularly in the context of Kenya, indicates a form of historical continuity, which remains rather “undisturbed” despite the prevalence of ethnicised political economies. Indeed, the formation of alliances, which are driven by mutual pursuit of commodities (livestock, rental land, and agricultural produce), markets, and diversification, tends to override other identities. While the major thrust of social science literature in East Africa has focused on the search for root causes of violence, very little has been said about the conditions and practices of cooperation and non-violent conflict resolution. In addition, situations where prior violence turned into peaceful interaction have attracted little attention, though the analysis of such transitional phases holds the promise of contributing to applicable knowledge on conflict resolution. This study is part of a larger multidisciplinary project, “Resilience in East African Landscapes” (REAL), which is a Marie Curie Actions Innovative Training Networks (ITN) project. The principal focus of this multidisciplinary project is to study past, present, and future thresholds and sustainable trajectories in human-landscape interactions in East Africa over the last millennia. While other individual projects focus on long-term ecosystem dynamics and societal interactions, my project examines human-landscape interactions in the present and the very recent past (i.e. the period in which events and processes were witnessed or can still be recalled by today’s population). The transition from conflict to coexistence and from competition to cooperative use of previously violently contested land resources is understood here as enhancing adaptation in the face of social-political, economic, environmental, and climatic changes. This dissertation is therefore a contribution to new modes of resilience in human-landscape interactions after a collapse situation.

Using locally available components and local knowledge to build sustainable stand-alone power systems

The aim of this paper is to point out benefits as well as disadvantages associated with the use of locally available, not necessarily standardized, components in stand-alone electrical power systems at rural locations. Advantages and challenges arising when the direct involvement in design, construction and maintenance of the power system is reserved to people based in the area of implementation are discussed. The presented research is centered around one particular PV-diesel hybrid system in Tanzania; a case study in which technical and social aspects related to the particular power system are studied.

In Australia are people born in other countries at higher risk of road trauma than locally born people?

This study examined whether people born in other countries had higher rates of death and hospitalization due to road crashes than people born in Australia. Data on deaths that occurred in the whole of Australia between 1994 and 1997 and hospitalizations that occurred in the state of New South Wales, Australia, between I July 1995 and 30 June 1997 due to road crashes were analyzed. The rates of death and hospitalization, adjusted for age and area of residence, were calculated using population data from the 1996 Australian census. The study categorized people born in other countries according to the language (English speaking, non-English speaking) and the road convention (left-hand side, right-hand side) of their country of birth. Australia has the left-hand side driving convention. The study found that drivers born in other countries had rates of death or hospitalization due to road trauma equal to or below those of Australian born drivers. In contrast, pedestrians born in other countries, especially older pedestrians had higher rates of death and hospitalization due to road crashes. Pedestrians aged 60 years or more born in non-English speaking countries where traffic travels on the right-hand side of the road had risks about twice those of Australian born pedestrians in the same age group. (C) 2003 Elsevier Ltd. All rights reserved.

When Corporate Governance crosses the firm borders: family firms in local productive systems

The family involvement in firms is observable is most economies around the world, although there are significant differences among these countries, not only regarding its predominance in these economies, but also in what refers to the levels of involvement of the family in business. This research aims at understanding the family-based firms’ management when compared to non family based, with particular regards to the forms of corporate governance. This analysis is based on case studies and on secondary data found in the literature to support the findings from the empirical research. The data was collected via face to face in-depth interviews with entrepreneurs from the furniture and the events organisation industries (where the family is predominantly present in the furniture but not on the events organisation industry) and with industry and regional business associations. The case studies used in this research allowed the comparison between the Portuguese firms when the family plays an important role in business and those in which the family is absent. It has been found that there are important differences in businesses in countries/industries/local productive systems in which the family is seen as a dominant institution in the society (where businesses are based on strong ties; there is a harmonious relationship between the family members; and the family is accepted locally and dominates the firm organization) and on situations in which the family plays a more marginal role in the society. In fact, the family brings special characteristics to the business, in terms of management, corporate governance, inter and intra firm relationships and succession. Our findings confirm other empirical studies’ results found in the literature. Thus, this article provides a discussion on the factors that play a role in the form of corporate governance structure in family firms highlighting the pros and cons of organising the firm around the family.

Code offloading on real-time multimedia systems: a framework for handling code mobility and code offloading in a QoS aware environment

Actualmente, os smartphones e outros dispositivos móveis têm vindo a ser dotados com cada vez maior poder computacional, sendo capazes de executar um vasto conjunto de aplicações desde simples programas de para tirar notas até sofisticados programas de navegação. Porém, mesmo com a evolução do seu hardware, os actuais dispositivos móveis ainda não possuem as mesmas capacidades que os computadores de mesa ou portáteis. Uma possível solução para este problema é distribuir a aplicação, executando partes dela no dispositivo local e o resto em outros dispositivos ligados à rede. Adicionalmente, alguns tipos de aplicações como aplicações multimédia, jogos electrónicos ou aplicações de ambiente imersivos possuem requisitos em termos de Qualidade de Serviço, particularmente de tempo real. Ao longo desta tese é proposto um sistema de execução de código remota para sistemas distribuídos com restrições de tempo-real. A arquitectura proposta adapta-se a sistemas que necessitem de executar periodicamente e em paralelo mesmo conjunto de funções com garantias de tempo real, mesmo desconhecendo os tempos de execução das referidas funções. A plataforma proposta foi desenvolvida para sistemas móveis capazes de executar o Sistema Operativo Android.

The fixation of locally beneficial alleles in a metapopulation.

Extinction, recolonization, and local adaptation are common in natural spatially structured populations. Understanding their effect upon genetic variation is important for systems such as genetically modified organism management or avoidance of drug resistance. Theoretical studies on the effect of extinction and recolonization upon genetic variance started appearing in the 1970s, but the role of local adaptation still has no good theoretical basis. Here we develop a model of a haploid species in a metapopulation in which a locally adapted beneficial allele is introduced. We study the effect of different spatial patterns of local adaptation, and different metapopulation dynamics, upon the fixation probability of the beneficial allele. Controlling for the average selection pressure, we find that a small area of positive selection can significantly increase the global probability of fixation. However, local adaptation becomes less important as extinction rate increases. Deme extinction and recolonization have a spatial smoothing effect that effectively reduces spatial variation in fitness.

Exploration and Design of Power-Efficient Networked Many-Core Systems

Multiprocessing is a promising solution to meet the requirements of near future applications. To get full benefit from parallel processing, a manycore system needs efficient, on-chip communication architecture. Networkon- Chip (NoC) is a general purpose communication concept that offers highthroughput, reduced power consumption, and keeps complexity in check by a regular composition of basic building blocks. This thesis presents power efficient communication approaches for networked many-core systems. We address a range of issues being important for designing power-efficient manycore systems at two different levels: the network-level and the router-level. From the network-level point of view, exploiting state-of-the-art concepts such as Globally Asynchronous Locally Synchronous (GALS), Voltage/ Frequency Island (VFI), and 3D Networks-on-Chip approaches may be a solution to the excessive power consumption demanded by today’s and future many-core systems. To this end, a low-cost 3D NoC architecture, based on high-speed GALS-based vertical channels, is proposed to mitigate high peak temperatures, power densities, and area footprints of vertical interconnects in 3D ICs. To further exploit the beneficial feature of a negligible inter-layer distance of 3D ICs, we propose a novel hybridization scheme for inter-layer communication. In addition, an efficient adaptive routing algorithm is presented which enables congestion-aware and reliable communication for the hybridized NoC architecture. An integrated monitoring and management platform on top of this architecture is also developed in order to implement more scalable power optimization techniques. From the router-level perspective, four design styles for implementing power-efficient reconfigurable interfaces in VFI-based NoC systems are proposed. To enhance the utilization of virtual channel buffers and to manage their power consumption, a partial virtual channel sharing method for NoC routers is devised and implemented. Extensive experiments with synthetic and real benchmarks show significant power savings and mitigated hotspots with similar performance compared to latest NoC architectures. The thesis concludes that careful codesigned elements from different network levels enable considerable power savings for many-core systems.

Effect of neoadjuvant chemotherapy on low-density lipoprotein (LDL) receptor and LDL receptor-related protein 1 (LRP-1) receptor in locally advanced breast cancer

Low-density lipoprotein (LDL) receptors are overexpressed in most neoplastic cell lines and provide a mechanism for the internalization and concentration of drug-laden nanoemulsions that bind to these receptors. The aim of the present study was to determine whether the administration of standard chemotherapeutic schemes can alter the expression of LDL and LDL receptor-related protein 1 (LRP-1) receptors in breast carcinoma. Fragments of tumoral and normal breast tissue from 16 consecutive volunteer women with breast cancer in stage II or III were obtained from biopsies before the beginning of neoadjuvant chemotherapy and after chemotherapy, from fragments excised during mastectomy. Tissues were analyzed by immunohistochemistry for both receptors. Because complete response to treatment was achieved in 4 patients, only the tumors from 12 were analyzed. Before chemotherapy, there was overexpression of LDL receptor in the tumoral tissue compared to normal breast tissue in 8 of these patients. LRP-1 receptor overexpression was observed in tumors of 4 patients. After chemotherapy, expression of both receptors decreased in the tumors of 6 patients, increased in 4 and was unchanged in 2. Nonetheless, even when chemotherapy reduced receptors expression, the expression was still above normal. The fact that chemotherapy does not impair LDL receptors expression supports the use of drug carrier systems that target neoplastic cells by the LDL receptor endocytic pathway in patients on conventional chemotherapy.