Response time analysis of COTS-Based multicores considering the contention on the shared memory bus

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

From design-for-test to design-for-debug-and-test: analysis of requirements and limitations for 1149.1

The increasing complexity of VLSI circuits and the reduced accessibility of modern packaging and mounting technologies restrict the usefulness of conventional in-circuit debugging tools, such as in-circuit emulators for microprocessors and microcontrollers. However, this same trend enables the development of more complex products, which in turn require more powerful debugging tools. These conflicting demands could be met if the standard scan test infrastructures now common in most complex components were able to match the debugging requirements of design verification and prototype validation. This paper analyses the main debug requirements in the design of microprocessor-based applications and the feasibility of their implementation using the mandatory, optional and additional operating modes of the standard IEEE 1149.1 test infrastructure.

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Acqusition and data analysis of the eco-efficiency for the establishment of indicators parameters for industrial environmental sustainability

The industrial activity is inevitably associated with a certain degradation of the environmental quality, because is not possible to guarantee that a manufacturing process can be totally innocuous. The eco-efficiency concept is globally accepted as a philosophy of entreprise management, that encourages the companies to become more competitive, innovative and environmentally responsible by promoting the link between its companies objectives for excellence and its objectives of environmental excellence issues. This link imposes the creation of an organizational methodology where the performance of the company is concordant with the sustainable development. The main propose of this project is to apply the concept of eco-efficiency to the particular case of the metallurgical and metal workshop industries through the development of the particular indicators needed and to produce a manual of procedures for implementation of the accurate solution.

Vertex component analysis GPU-based implementation for hyperspectral unmixing

Endmember extraction (EE) is a fundamental and crucial task in hyperspectral unmixing. Among other methods vertex component analysis ( VCA) has become a very popular and useful tool to unmix hyperspectral data. VCA is a geometrical based method that extracts endmember signatures from large hyperspectral datasets without the use of any a priori knowledge about the constituent spectra. Many Hyperspectral imagery applications require a response in real time or near-real time. Thus, to met this requirement this paper proposes a parallel implementation of VCA developed for graphics processing units. The impact on the complexity and on the accuracy of the proposed parallel implementation of VCA is examined using both simulated and real hyperspectral datasets.

Analysis of Consumption Data to Detect Commercial Losses Using Performance Evaluation Methods in a Smart Grid

Electric power networks, namely distribution networks, have been suffering several changes during the last years due to changes in the power systems operation, towards the implementation of smart grids. Several approaches to the operation of the resources have been introduced, as the case of demand response, making use of the new capabilities of the smart grids. In the initial levels of the smart grids implementation reduced amounts of data are generated, namely consumption data. The methodology proposed in the present paper makes use of demand response consumers’ performance evaluation methods to determine the expected consumption for a given consumer. Then, potential commercial losses are identified using monthly historic consumption data. Real consumption data is used in the case study to demonstrate the application of the proposed method.

Analysis of Two Arms Working in Cooperation

This paper analyzes the performance of two cooperative robot manipulators. In order to capture the working performancewe formulated several performance indices that measure the manipulability, the effort reduction and the equilibrium between the two robots. In this perspective the proposed indices we determined the optimal values for the system parameters. Furthermore, it is studied the implementation of fractional-order algorithms in the position/force control of two cooperative robotic manipulators holding an object.

CHEMOPROPHYLAXIS TO CONTROL LEPROSY AND THE PERSPECTIVE OF ITS IMPLEMENTATION IN BRAZIL: A PRIMER FOR NON-EPIDEMIOLOGISTS

The occurrence of leprosy has decreased in the world but the perspective of its elimination has been questioned. A proposed control measure is the use of post-exposure chemoprophylaxis (PEP) among contacts, but there are still questions about its operational aspects. In this text we discuss the evidence available in literature, explain some concepts in epidemiology commonly used in the research on this topic, analyze the appropriateness of implementing PEP in the context of Brazil, and answer a set of key questions. We argue some points: (1) the number of contacts that need to receive PEP in order to prevent one additional case of disease is not easy to be generalized from the studies; (2) areas covered by the family health program are the priority settings where PEP could be implemented; (3) there is no need for a second dose; (4) risk for drug resistance seems to be very small; (5) the usefulness of a serological test to identify a higher risk group of individuals among contacts is questionable. Given that, we recommend that, if it is decided to start PEP in Brazil, it should start on a small scale and, as new evidence can be generated in terms of feasibility, sustainability and impact, it could move up a scale, or not, for a wider intervention.

The African studies course of the Instituto de Estudos Superiores Militares. An analysis of the correlations and conflictive character inside the triangle - Development, environment and security - in Africa’s Nigeria

Relatório de Estágio de Mestrado em Ciência Política e Relações Internacionais Globalização e Ambiente

Empirical analysis of the lending decisions of Chinese formal financial institutions in rural areas

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Detection and molecular analysis of Toxoplasma gondii and Neospora caninum from dogs with neurological disorders

INTRODUCTION: Toxoplasma gondii and Neospora caninum are related Apicomplexa parasites responsible for systemic diseases in many species of animals, including dogs. METHODS: This study aimed to determine the occurrence of T. gondii and N. caninum infections in 50 dogs with neurological signs that were admitted to the Veterinary Hospital of Universidade Estadual Paulista, City of Botucatu, Brazil. All animals were screened for antibodies using an immunofluorescent antibody test for both parasites. Tissues of positive animals were bioassayed in mice (T. gondii) and gerbils (N. caninum), and DNA was analyzed using the polymerase chain reaction (PCR). Positive samples for T. gondii by PCR were typed using restriction fragment length polymorphism-PCR for 11 markers: SAG1, SAG2 (5′-3′-SAG2 and alt.SAG2), SAG3, Btub, GRA6, L358, c22-8, c29-6, PK1 and Apico, and CS3 marker for virulence analysis. RESULTS: Specific antibodies were detected in 11/50 (22%; 95% confidence interval (CI95%), 12.8-35.3%) animals for T. gondii and 7/50 (14%; CI95%, 7.02-26.3%) for N. caninum. In the bioassay and PCR, 7/11 (63.6%; CI95%, 34.9-84.8%) samples were positive for T. gondii and 3/7 (42.9%; CI95%I, 15.7-75.5%) samples were positive for N. caninum. Three different genotypes were identified, but only 1 was unique. CONCLUSIONS: These data confirm the presence of T. gondii and N. caninum in dogs from Brazil, indicating the importance of this host as a sentinel of T. gondii for human beings, and the genotypic variation of this parasite in Brazil.

Perceptions of the usefulness of external support to immunization coverage in Guinea-Bissau: a Delphi analysis of the GAVI-Alliance cash-based support

INTRODUCTION: Although many countries have improved vaccination coverage in recent years, some, including Guinea-Bissau, failed to meet expected targets. This paper tries to understand the main barriers to better vaccination coverage in the context of the GAVI-Alliance (The Global Alliance for Vaccines and Immunisation) cash-based support provided to Guinea-Bissau. METHODS: The analysis is based on a document analysis and a three round Delphi study with a final consensus meeting. RESULTS: Consensus attributed about 25% of the failure to perform better to implementation problems; and about 10% to governance and also 10% to scarce resources. The qualitative analysis validates the importance of implementation issues and upgraded the relevance of the human resources crisis as an important drawback. The recommendations were balanced in their upstream-downstream focus but were blind to health information issues and logistical difficulties. CONCLUSIONS: It is commendable that such a fragile state, with all sorts of barriers, manages to sustain a slow steady growth of its vaccination coverage. Not reaching the targets set reflects the inappropriateness of those targets rather than a lack of commitment of the health workforce. In the unstable context of countries such as Guinea-Bissau, the predictability of the funds from global health initiatives like the GAVI-Alliance seem to make all the difference in achieving small consistent health gains even in the presence of other major bottlenecks.

Analysis of classification algorithms for crop detection using LANDSAT 8 images

Remote sensing - the acquisition of information about an object or phenomenon without making physical contact with the object - is applied in a multitude of different areas, ranging from agriculture, forestry, cartography, hydrology, geology, meteorology, aerial traffic control, among many others. Regarding agriculture, an example of application of this information is regarding crop detection, to monitor existing crops easily and help in the region’s strategic planning. In any of these areas, there is always an ongoing search for better methods that allow us to obtain better results. For over forty years, the Landsat program has utilized satellites to collect spectral information from Earth’s surface, creating a historical archive unmatched in quality, detail, coverage, and length. The most recent one was launched on February 11, 2013, having a number of improvements regarding its predecessors. This project aims to compare classification methods in Portugal’s Ribatejo region, specifically regarding crop detection. The state of the art algorithms will be used in this region and their performance will be analyzed.

Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

International placement analysis of the German business market for a Nova Achool of Business and Economics graduate student

Changes in today’s society led to the evolution of professional migrations and individual searches for more suitable professional opportunities and careers outside one’s countries. International Placement is nowadays one of the world’s biggest trends in higher education for the future ahead and an appealing demand of the Millennium generations. The following work project aims to study the German business market identifying the most attractive German companies and respective graduate programs for a Nova School of Business and Economics graduate student. The study’s conclusion relies on concrete strategic suggestions regarding the implementation of the results and practical use of the outcome provided.