IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Performance of coastal sea-defense infrastructure at El Jadida (Morocco) against tsunami threat: lessons learned from the Japanese 11 March 2011 tsunami

This paper seeks to investigate the effectiveness of sea-defense structures in preventing/reducing the tsunami overtopping as well as evaluating the resulting tsunami impact at El Jadida, Morocco. Different tsunami wave conditions are generated by considering various earthquake scenarios of magnitudes ranging from M-w = 8.0 to M-w = 8.6. These scenarios represent the main active earthquake faults in the SW Iberia margin and are consistent with two past events that generated tsunamis along the Atlantic coast of Morocco. The behavior of incident tsunami waves when interacting with coastal infrastructures is analyzed on the basis of numerical simulations of near-shore tsunami waves' propagation. Tsunami impact at the affected site is assessed through computing inundation and current velocity using a high-resolution digital terrain model that incorporates bathymetric, topographic and coastal structures data. Results, in terms of near-shore tsunami propagation snapshots, waves' interaction with coastal barriers, and spatial distributions of flow depths and speeds, are presented and discussed in light of what was observed during the 2011 Tohoku-oki tsunami. Predicted results show different levels of impact that different tsunami wave conditions could generate in the region. Existing coastal barriers around the El Jadida harbour succeeded in reflecting relatively small waves generated by some scenarios, but failed in preventing the overtopping caused by waves from others. Considering the scenario highly impacting the El Jadida coast, significant inundations are computed at the sandy beach and unprotected areas. The modeled dramatic tsunami impact in the region shows the need for additional tsunami standards not only for sea-defense structures but also for the coastal dwellings and houses to provide potential in-place evacuation.

Distributed process execution in collaborative networks

Processes are a central entity in enterprise collaboration. Collaborative processes need to be executed and coordinated in a distributed Computational platform where computers are connected through heterogeneous networks and systems. Life cycle management of such collaborative processes requires a framework able to handle their diversity based on different computational and communication requirements. This paper proposes a rational for such framework, points out key requirements and proposes it strategy for a supporting technological infrastructure. Beyond the portability of collaborative process definitions among different technological bindings, a framework to handle different life cycle phases of those definitions is presented and discussed. (c) 2007 Elsevier Ltd. All rights reserved.

Cryptotermes brevis (Isoptera: Kalotermitidae) in the Azores : Lessons After 2 yr of Monitoring in the Archipelago

The dispersal flights of West Indian drywood termite, Cryptotermes brevis (Walker) (Isoptera: Kalotermitidae) were surveyed in the major cities of Azores. The sampling device used to estimate termite density consisted of a yellow adhesive trap (size 45 by 24 cm), placed with an artificial or natural light source in a dark attic environment. In addition, data from two other projects were used to improve the knowledge about the geographical distribution of the species. The level of infestation in the two main Azorean towns differed, with high levels in the houses of Angra do Heroísmo, whereas in Ponta Delgada, there are fewer houses with high levels of infestation. The infestation in Ponta Delgada shows a pattern of spreading from the center outward to the city's periphery, whereas in Angra do Heroísmo, there was a pattern of spreading outward from several foci. The heavy infestation observed in Angra do Heroísmo and the clear increase of infestation levels observed from 2010 to 2011 is a reason for concern and calls for an urgent application of an Integrated Pest Management (IPM) control strategy.

Between theory and practice – teaching maths to elementary school students in Poland

The development of children's school achievements in mathematics is one of the most important aims of education in Poland. The results of research concerning monitoring of school achievements in maths is not optimistic. We can observe low levels of children’s understanding of the merits of maths, self-developed strategies in solving problems and practical usage of maths skills. This article frames the discussion of this problem in its psychological and didactic context and analyses the causes as they relate to school practice in teaching maths

Payment for performance in the Family Health Programme: lessons from the UK Quality and Outcomes Framework

OBJECTIVE: Payment for performance financial incentive schemes reward doctors based on the quality and the outcomes of their treatment. In Brazil, the Ministry of Health is looking to scale up its use in public hospitals and some municipalities are developing payment for performance schemes even for the Family Health Programme. In this article the Quality and Outcomes Framework used in the UK since 2004 is discussed, as well as its experience to elaborate some important lessons that Brazilian municipalities should consider before embarking on payment for performance scheme in primary care settings.

Transitional justice in the judiciary: lessons from the portuguese democratisation

The nature of the Portuguese transition to democracy and the following state crises (1974-1975) created a ‘window of opportunity’ in which the ‘reaction to the past’ was much stronger than in the other Southern or even of Central and Eastern European transitions. In Portugal, initiatives of symbolic rupture with the past began soon after the April 25, 1974, coup d’état and transitional justice policies assumed mainly three formulas. First, the institutional reforms directed primarily to abusive state institutions such as the political police (PIDE-DGS) and political courts (Plenary courts) in order to dismantle the repressive apparatus and prevent further human rights abuses and impunity. Secondly, the criminal prosecutions addressed to perpetrators considered as being the most responsible for repression and abuses. Finally, lustration or political purges (saneamentos, the term used in Portugal to designate political purges) which were, in fact, the most common form of political justice in Portuguese transition to democracy. This paper deals with the peculiarities of transitional justice in Portugal devoting a particular attention to the judicial, a key sector to understand the way the Portuguese dealt with their authoritarian past.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

The Gap Between Knowledge and Action: Obstacles, Restraints and Deficits During the Execution of Refurbishments

This article outlines the initial draft of a PhD project which investigates refurbishment or rehabilitation projects in two German cities. The study focuses on obstacles, restraints and deficits as well as factors of success, which can be identified during the execution of the refurbishments. Moreover the study examines the process of the refurbishment itself, the general conditions under which the refurbishments are being executed as well as the implementation of sustainability criteria. First the article gives a short summary of the theoretical considerations of the study. In this respect it shortly outlines the global conditions of urban development and conducting challenges for cities in the 21st century, guiding principles of a sustainable urban development as well as goals of sustainable refurbishments. Finally the article shortly describes the case studies and presents the initial results of the empirical work.

Speculative execution by using software transactional memory

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Autonomic Activities in the Execution of Scientific Workflows: Evaluation of the AWARD Framework

Workflows have been successfully applied to express the decomposition of complex scientific applications. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from tasks specification, decentralizing the control of workflow activities allowing their tasks to run in distributed infrastructures, and supporting dynamic workflow reconfigurations. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on Process Networks, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures. Each AWA executes a task developed as a Java class with a generic interface allowing end-users to code their applications without low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables dynamic workflow reconfiguration. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to the Amazon (Elastic Computing EC2) Cloud.

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

Learning in higher education: strategies to overcome challenges faced by adult students – lessons drawn from two case studies in Portugal

This paper appears in International Journal of Information and Communication Technology Education edited by Lawrence A. Tomei (Ed.) Copyright 2007, IGI Global, www.igi-global.com. Posted by permission of the publisher. URL:http://www.idea-group.com/journals/details.asp?id=4287.

Institutional factors governing the deployment of remote experiments: lessons from the rexnet project

Remote labs offer many unique advantages to students as they provide opportunities to access experiments and learning scenarios that would be otherwise unavailable. At the same time, however, these opportunities introduce real challenges to the institutions hosting the remote labs. This paper draws on the experiences of the REXNET project consortium to expose a number of these issues as a means of furthering the debate on the value of remote labs and the best practices in deploying them. The paper presents a brief outline of the various types of remote lab scenarios that might be deployed. It then describes the key human and technological actors that have an interest in or are intrinsic to a remote lab instance, with a description of the role of each actor and their interest. Some relationships between these various actors are then discussed with some factors that might influence those relationships. Finally some general issues are briefly described.

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia