Relatório de estágio na Empresa Biodroid Entertainment

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

Desafios e potencialidades da metodologia SROI : um estudo de caso

Mestrado em Controlo e Gestão dos Negócios

Towards real multi-criticality scheduling

Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends the unified rate-based scheduling framework RBED in several dimensions to fit the requirements of such systems: we have removed the requirement that the deadline of a task is equal to its period. The introduction of inter-process communication reflects the need to communicate. Additionally we also discuss server tasks, budget replenishment and the low level details needed to deal with the physical reality of systems. While a number of these issues have been studied in previous work in isolation, we focus on the problems discovered and lessons learned when integrating solutions. We report on our experiences implementing the proposed mechanisms in a commercial grade OKL4 microkernel as well as an application with soft real-time and best-effort tasks on top of it.

Observatório de favelas (Rio de Janeiro): a comunicação institucional e a comunicação para o desenvolvimento

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.

Aspect-oriented domain analysis

Dissertação de Mestrado em Engenharia Informática

Improving the IEEE 802.15.4 Slotted CSMA/CA MAC for time-critical events in wireless sensor networks

In beacon-enabled mode, IEEE 802.15.4 is ruled by the slotted CSMA/CA Medium Access Control (MAC) protocol. The standard slotted CSMA/CA mechanism does not provide any means of differentiated services to improve the quality of service for timecritical events (such as alarms, time slot reservation, PAN management messages etc.). In this paper, we present and discuss practical service differentiation mechanisms to improve the performance of slotted CSMA/CA for time-critical events, with only minor add-ons to the protocol. The contribution of our proposal is more practical than theoretical since our initial requirement is to leave the original algorithm of the slotted CSMA/CA unchanged, but rather tuning its parameters adequately according to the criticality of the messages. We present a simulation study based on an accurate model of the IEEE 802.15.4 MAC protocol, to evaluate the differentiated service strategies. Four scenarios with different settings of the slotted CSMA/CA parameters are defined. Each scenario is evaluated for FIFO and Priority Queuing. The impact of the hiddennode problem is also analyzed, and a solution to mitigate it is proposed.

Energy and delay trade-off of the GTS allocation mechanism in IEEE 802.15.4 for wireless sensor networks

The IEEE 802.15.4 protocol proposes a flexible communication solution for Low-Rate Wireless Personal Area Networks (LR-WPAN) including wireless sensor networks (WSNs). It presents the advantage to fit different requirements of potential applications by adequately setting its parameters. When in beaconenabled mode, the protocol can provide timeliness guarantees by using its Guaranteed Time Slot (GTS) mechanism. However, power-efficiency and timeliness guarantees are often two antagonistic requirements in wireless sensor networks. The purpose of this paper is to analyze and propose a methodology for setting the relevant parameters of IEEE 802.15.4-compliant WSNs that takes into account a proper trade-off between power-efficiency and delay bound guarantees. First, we propose two accurate models of service curves for a GTS allocation as a function of the IEEE 802.15.4 parameters, using Network Calculus formalism. We then evaluate the delay bound guaranteed by a GTS allocation and express it as a function of the duty cycle. Based on the relation between the delay requirement and the duty cycle, we propose a power-efficient superframe selection method that simultaneously reduces power consumption and enables meeting the delay requirements of real-time flows allocating GTSs. The results of this work may pave the way for a powerefficient management of the GTS mechanism in an IEEE 802.15.4 cluster.

Run-time monitoring approach for the shark kernel

Typically common embedded systems are designed with high resource constraints. Static designs are often chosen to address very specific use cases. On contrast, a dynamic design must be used if the system must supply a real-time service where the input may contain factors of indeterminism. Thus, adding new functionality on these systems is often accomplished by higher development time, tests and costs, since new functionality push the system complexity and dynamics to a higher level. Usually, these systems have to adapt themselves to evolving requirements and changing service requests. In this perspective, run-time monitoring of the system behaviour becomes an important requirement, allowing to dynamically capturing the actual scheduling progress and resource utilization. For this to succeed, operating systems need to expose their internal behaviour and state, making it available to the external applications, usually using a run-time monitoring mechanism. However, such mechanism can impose a burden in the system itself if not wisely used. In this paper we explore this problem and propose a framework, which is intended to provide this run-time mechanism whilst achieving code separation, run-time efficiency and flexibility for the final developer.

Public school teachers’ perceptions about mental health

OBJECTIVE To examine public school teachers’ perceptions about general health and mental health, and the way in which they obtained this information. METHODS Qualitative research was conducted with 31 primary and secondary school teachers at a state school in the municipality of Sao Paulo, SP, Southeastern Brazil, in 2010. The teachers responded to a questionnaire containing open-ended questions about mental health and general health. The following aspects were evaluated: Teachers’ understanding of the terms “health and “mental health,” the relevance of the need for information on the subject, the method preferred for obtaining information, their experience with different media regarding such matters, and perceptions about the extent to which this available information is sufficient to support their practice. The data were processed using the Qualiquantisoft software and analyzed according to the Discourse of the Collective Subject technique. RESULTS From the teachers’ perspective, general health is defined as the proper physiological functioning of the body and mental health is related to the balance between mind and body, as a requirement for happiness. Most of the teachers (80.6%) showed great interest in acquiring knowledge about mental health and receiving educational materials on the subject. For these teachers, the lack of information creates insecurity and complicates the management of everyday situations involving mental disorders. For 61.3% of the teachers, television is the medium that provides the most information on the topic. CONCLUSIONS The data indicate that there is little information available on mental health for teachers, showing that strategies need to be developed to promote mental health in schools.

Lesion detection performance in an anthropomorphic chest phantom: comparative analysis of low-dose CT data on two hybrid imaging systems

Introduction: multimodality environment; requirement for greater understanding of the imaging technologies used, the limitations of these technologies, and how to best interpret the results; dose optimization; introduction of new techniques; current practice and best practice; incidental findings, in low-dose CT images obtained as part of the hybrid imaging process, are an increasing phenomenon with advancing CT technology; resultant ethical and medico-legal dilemmas; understanding limitations of these procedures important when reporting images and recommending follow-up; free-response observer performance study was used to evaluate lesion detection in low-dose CT images obtained during attenuation correction acquisitions for myocardial perfusion imaging, on two hybrid imaging systems.

Viewpoints and goals: towards an integrated approach

Dissertação de Mestrado em Engenharia Informática

Credit risk measures: a case of renewable energy companies

The Basel III will have a significant impact on the European banking sector. In September 2010, supervisors of various countries adopted the new rules proposed by the prudential Committee on Banking Supervision to be applied to the business of credit institutions (hereinafter called ICs) in a phased manner from 2013, assuming to its full implementation by 2019. The purpose of this new regulation is to limit the excessive risk that these institutions took on the period preceding the global financial crisis of 2008. This new regulation is known in slang by Basel III. Depending on the requirement of Basel II for banks and their supervisors to assess the soundness and adequacy of internal risk measurement and credit management systems, the development of methodologies for the validation of internal and external evaluation systems is clearly an important issue . More specifically, there is a need to develop tools to validate the systems used to generate the parameters (such as PD, LGD, EAD and ratings of perceived risk) that serve as starting points for the IRB approach for credit risk. In this context, the work is composed of a number of approaches and tools used to evaluate the robustness of these elements IRB systems.

ERICA: intake of macro and micronutrients of Brazilian adolescents

ABSTRACT OBJECTIVE To describe food and macronutrient intake profile and estimate the prevalence of inadequate micronutrient intake of Brazilian adolescents. METHODS Data from 71,791 adolescents aged from 12 to 17 years were evaluated in the 2013-2014 Brazilian Study of Cardiovascular Risks in Adolescents (ERICA). Food intake was estimated using 24-hour dietary recall (24-HDR). A second 24-HDR was collected in a subsample of the adolescents to estimate within-person variability and calculate the usual individual intake. The prevalence of food/food group intake reported by the adolescents was also estimated. For sodium, the prevalence of inadequate intake was estimated based on the Tolerable Upper Intake Level (UL). The Estimated Average Requirement (EAR) method used as cutoff was applied to estimate the prevalence of inadequate nutrient intake. All the analyses were stratified according to sex, age group and Brazilian macro-regions. All statistical analyses accounted for the sample weight and the complex sampling design. RESULTS Rice, beans and other legume, juice and fruit drinks, breads and meat were the most consumed foods among the adolescents. The average energy intake ranged from 2,036 kcal (girls aged from 12 to 13 years) to 2,582 kcal (boy aged from14 to 17 years). Saturated fat and free sugar intake were above the maximum limit recommended (< 10.0%). Vitamins A and E, and calcium were the micronutrients with the highest prevalence of inadequate intake (> 50.0%). Sodium intake was above the UL for more than 80.0% of the adolescents. CONCLUSIONS The diets of Brazilian adolescents were characterized by the intake of traditional Brazilian food, such as rice and beans, as well as by high intake of sugar through sweetened beverages and processed foods. This food pattern was associated with an excessive intake of sodium, saturated fatty acids and free sugar.

Development of an interface for ontology‐based transformation between features of different types

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Theory and phenomenology of two-higgs-doublet models

We discuss theoretical and phenomenological aspects of two-Higgs-doublet extensions of the Standard Model. In general, these extensions have scalar mediated flavour changing neutral currents which are strongly constrained by experiment. Various strategies are discussed to control these flavour changing scalar currents and their phenomenological consequences are analysed. In particular, scenarios with natural flavour conservation are investigated, including the so-called type I and type II models as well as lepton-specific and inert models. Type III models are then discussed, where scalar flavour changing neutral currents are present at tree level, but are suppressed by either a specific ansatz for the Yukawa couplings or by the introduction of family symmetries leading to a natural suppression mechanism. We also consider the phenomenology of charged scalars in these models. Next we turn to the role of symmetries in the scalar sector. We discuss the six symmetry-constrained scalar potentials and their extension into the fermion sector. The vacuum structure of the scalar potential is analysed, including a study of the vacuum stability conditions on the potential and the renormalization-group improvement of these conditions is also presented. The stability of the tree level minimum of the scalar potential in connection with electric charge conservation and its behaviour under CP is analysed. The question of CP violation is addressed in detail, including the cases of explicit CP violation and spontaneous CP violation. We present a detailed study of weak basis invariants which are odd under CP. These invariants allow for the possibility of studying the CP properties of any two-Higgs-doublet model in an arbitrary Higgs basis. A careful study of spontaneous CP violation is presented, including an analysis of the conditions which have to be satisfied in order for a vacuum to violate CP. We present minimal models of CP violation where the vacuum phase is sufficient to generate a complex CKM matrix, which is at present a requirement for any realistic model of spontaneous CP violation.