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.

Epidemiologia e Saúde Públi

RESUMO - Visa-se explicitar a origem, a razão de ser, a natureza e o que se perspectiva da relação entre a Epidemiologia e a Saúde Pública, através de uma leitura histórica. As duas entidades foram-se definindo e fazendo sentido em conjunto, com sucessos e, também, muita polémica, desde há milénios e até meados do século XIX. Nesta época, uma combinação de circunstâncias proporcionou-lhes uma explosão de crescimento e de definição, de par com várias outras áreas disciplinares. Desde o antigo relato bíblico de como boa alimentação explica o bom estado de saúde, até à valorização científica das condicionantes sociais e económicas da saúde por Marmot e Rose, passando por «miasmas» causando doença e pela deslocação do conceito de risco individual de saúde para o de risco populacional — com as implicações inerentes a essa importante inovação —, este percurso permite identificar as fundações de tão notável simbiose, explicar o estado presente, vê-la evoluir e achar nela o significado do património hoje disponível, e o que ele promete. Algumas discrepâncias quanto à designação dos seus métodos, bem como a contínua discussão quanto à sua verdadeira natureza e orientação futura, atestam a juventude da Epidemiologia como disciplina científica. Entretanto, a Saúde Pública esforça-se por manter a sua essência integradora, à medida que outras disciplinas contribuem mais para que concretize os seus objectivos; é desafiada pela exposição das populações, em larga escala, a factores de doença, por vezes de intensidade mínima, e pelo surgimento de novas doenças ou a ampliação do volume de outras na população, muitas vezes não respeitando fronteiras. A história dessa simbiose mostra bem que conhecer o modo como uma doença se origina permite controlá-la na população, ou mesmo evitá-la, e que é grande o número de problemas que, em sinergia, as duas disciplinas podem clarificar e resolver. Assim, a Epidemiologia oferece à Saúde Pública explicações (olhos, inteligência e linguagem) para os problemas de saúde das populações — o que permite à segunda saber sobre o quê agir —, cenários de possível evolução dos problemas — o que permite aos decisores optarem em função de diferentes pressupostos, sobre como agir — e capacidade de juízo sobre os resultados das acções empreendidas, em simultâneo com a elevação do nível de consciência, de compreensão e de intervenção quanto ao que se está a passar, tanto pelos profissionais, como pela população — transferência do conhecimento. Facilmente se antecipa que a relação entre as duas disciplinas irá evoluir para maior complexidade e, também, solicitação e exigência da Saúde Pública sobre a Epidemiologia, que terá que corresponder em utilidade. E esta, continuando a subespecializar-se e a sofisticar-se tanto nos métodos, como nos enfoques sobre categorias específicas de factores, precisará de progredir muito na gestão da sua consistência enquanto corpo de conhecimento integrado e com peculiaridades metodológicas, à semelhança da Saúde Pública.O modo como evoluirá a relação entre ambas depende ainda da evolução dos próprios problemas, conceitos, teorias e soluções relacionados com a saúde das populações, e ainda do desenvolvimento das demais disciplinas chamadas à integração por ambas, para enfrentarem esses desafios. Nomeadamente, a Epidemiologia terá que gerir com perícia dificuldades já identificadas, como: incorporar métodos qualitativos de investigação na sua fortíssima tradição e cultura quantitativa; operacionalizar satisfatoriamente o conceito de «risco atribuível na população», ao serviço da definição de prioridades de acção dirigida às necessidades de saúde; aperfeiçoar modelos de interpretação causal que respeitem a multicausalidade; aproveitar as técnicas estatísticas de análise multivariada, sem se perder na abstracção dos seus modelos; desenvolver a investigação nas dimensões positivas de saúde, além da doença, para contribuir melhor para a realização da Saúde Pública, sua principal cliente e fornecedora de oportunidades.--------------------------ABSTRACT - The aim of the author is to explicit the origin, the rationale, the nature and the prospects of the relationship between Epidemiology and Public health, through an historic approach. The two entities have been defining and making sense together, by achieving successes, but also with much controversy, since millennia ago, until mid XIX century. A combination of circumstances provided them the opportunity for an explosion of growth and definition, then, alongside several other disciplines. From the ancient biblical report on how good food explains good health, up to the scientific appreciation of both social and economical constraints to health by Marmot and Rose, passing through «miasma» causing disease and through displacing from individual health risk to population risk — with the inherent implications of that important innovation —, this route allows the identification of the foundations of such remarkable symbiosis, the explanation of current status, to see its evolution and find in it the meaning of today’s heritage and what it promises. Some discrepancies on the name of its methods, as well as the continuing discussion about its true nature and future orientation, attest Epidemiology’s youth as a scientific discipline. Meanwhile, Public Health strives to keep its integrating essence, while other disciplines increasingly contribute so that it achieves its objectives; it is challenged by large scale population exposure to disease factors, sometimes with a minimum intensity, and by new diseases emerging in the population or by old ones getting amplified, often not respecting regions boundaries. The history of such a symbiosis shows that knowing the way a disease is generated allows to control it in the population, or even to avoid it, and that the number of problems that the two disciplines are able to clarify and solve together in synergy is considerable. Therefore, Epidemiology offers Public Health explanations (eyes, intelligence and language) for populations’s health problems — allowing that the latter knows on what to act —, scenarios on how problems may tend to evolve — allowing decision-makers to make their choices as a function of different assumptions, on how to act — and judgement capabilities on the results of already undertaken actions, accompanied by the raising of conscience level, understanding and intervention of what is going on by both professionals and the population – knowledge transfer. It is easy to anticipate that the relationship between both disciplines will develop towards increasing complexity and demand from Public Health to Epidemiology, and that this one will have to correspond in usefulness. And the latter, while continuing its subspecialisation and sophistication either in its methods, or in its approaches to specific factor categories, will need to progress in managing its consistency as an integrated body of knowledge having methodological peculiarities, similarly to Public Health. Further, the way the relationship between both will evolve depends on the evolution of the problems themselves, of the concepts, theories and solutions related to the health of populations, and on the development of remaining disciplines called to integration by both, in other to face those problems. Namely, Epidemiology will have to manage with expertise some already known difficulties, as: the inclusion of qualitative research methods in its very strong quantitative tradition and culture; to grant satisfactory operation to the «population attributable risk» concept, in support to the definition of action priorities envisaging health needs; to improve causal interpretation models that comply with multicausality; to take advantage of multivariate statistical techniques, without get

A biomimetic sensor for monitoring oxidative stress biomarker in point-of-care

1st ASPIC International Congress

Electrophoretic protein patterns and numerical analysis of Candida albicans from the oral cavities of healthy children

The aim of this research was to evaluate the protein polymorphism degree among seventy-five C. albicans strains from healthy children oral cavities of five socioeconomic categories from eight schools (private and public) in Piracicaba city, São Paulo State, in order to identify C. albicans subspecies and their similarities in infantile population groups and to establish their possible dissemination route. Cell cultures were grown in YEPD medium, collected by centrifugation, and washed with cold saline solution. The whole-cell proteins were extracted by cell disruption, using glass beads and submitted to SDS-PAGE technique. After electrophoresis, the protein bands were stained with Coomassie-blue and analyzed by statistics package NTSYS-pc version 1.70 software. Similarity matrix and dendrogram were generated by using the Dice similarity coefficient and UPGMA algorithm, respectively, which made it possible to evaluate the similarity or intra-specific polymorphism degrees, based on whole-cell protein fingerprinting of C. albicans oral isolates. A total of 13 major phenons (clusters) were analyzed, according to their homogeneous (socioeconomic category and/or same school) and heterogeneous (distinct socioeconomic categories and/or schools) characteristics. Regarding to the social epidemiological aspect, the cluster composition showed higher similarities (0.788 < S D < 1.0) among C. albicans strains isolated from healthy children independent of their socioeconomic bases (high, medium, or low). Isolates of high similarity were not found in oral cavities from healthy children of social stratum A and D, B and D, or C and E. This may be explained by an absence of a dissemination route among these children. Geographically, some healthy children among identical and different schools (private and public) also are carriers of similar strains but such similarity was not found among other isolates from children from certain schools. These data may reflect a restricted dissemination route of these microorganisms in some groups of healthy scholars, which may be dependent of either socioeconomic categories or geographic site of each child. In contrast to the higher similarity, the lower similarity or higher polymorphism degree (0.499 < S D < 0.788) of protein profiles was shown in 23 (30.6%) C. albicans oral isolates. Considering the social epidemiological aspect, 42.1%, 41.7%, 26.6%, 23.5%, and 16.7% were isolates from children concerning to socioeconomic categories A, D, C, B, and E, respectively, and geographically, 63.6%, 50%, 33.3%, 33.3%, 30%, 25%, and 14.3% were isolates from children from schools LAE (Liceu Colégio Albert Einstein), MA (E.E.P.S.G. "Prof. Elias de Melo Ayres"), CS (E.E.P.G. "Prof. Carlos Sodero"), AV (Alphaville), HF (E.E.P.S.G. "Honorato Faustino), FMC (E.E.P.G. "Prof. Francisco Mariano da Costa"), and MEP (E.E.P.S.G. "Prof. Manasses Ephraim Pereira), respectively. Such results suggest a higher protein polymorphism degree among some strains isolated from healthy children independent of their socioeconomic strata or geographic sites. Complementary studies, involving healthy students and their families, teachers, servants, hygiene and nutritional habits must be done in order to establish the sources of such colonization patterns in population groups of healthy children. The whole-cell protein profile obtained by SDS-PAGE associated with computer-assisted numerical analysis may provide additional criteria for the taxonomic and epidemiological studies of C. albicans.

Using data mining with time series data in short-term stocks prediction

Data Mining (DM) methods are being increasingly used in prediction with time series data, in addition to traditional statistical approaches. This paper presents a literature review of the use of DM with time series data, focusing on short- time stocks prediction. This is an area that has been attracting a great deal of attention from researchers in the field. The main contribution of this paper is to provide an outline of the use of DM with time series data, using mainly examples related with short-term stocks prediction. This is important to a better understanding of the field. Some of the main trends and open issues will also be introduced.

Impacto da Obesidade nos Resultados após Angioplastia Primária em Doentes com Enfarte Agudo do Miocárdio com Elevação do Segmento ST

INTRODUCTION: Obesity is an important risk factor for the development of diabetes, hypertension, coronary disease, left ventricular dysfunction, stroke and cardiac arrhythmias. Paradoxically, previous studies in patients undergoing elective coronary angioplasty showed a reduction in hospital and long-term mortality in obese patients. The relation with body mass index (BMI) has been less studied in the context of primary angioplasty. OBJECTIVES: To evaluate the impact of obesity on the results of ST-segment elevation acute myocardial infarction treated by primary angioplasty. METHODS: This was a study of 464 consecutive patients with ST-segment elevation acute myocardial infarction undergoing primary angioplasty, 78% male, mean age 61 +/- 13 years. We assessed in-hospital, 30-day and one-year mortality according to BMI. Patients were divided into three groups according to BMI: normal--18-24.9 kg/m2 (n = 171); overweight--25-29.9 kg/m2 (n = 204); and obese-- > 30 kg/m2 (n = 89). RESULTS: Obese patients were younger (ANOVA, p < 0.001) and more frequently male (p = 0.014), with more hypertension (p = 0.001) and dyslipidemia (p = 0.006). There were no differences in the prevalence of diabetes, previous cardiac history, heart failure on admission, anterior location, multivessel disease, peak total CK or medication prescribed, except that obese patients received more beta-blockers (p = 0.049). In-hospital mortality was 9.9% for patients with normal BMI, 3.4% for overweight patients and 6.7% for obese patients (p = 0.038). Mortality at 30 days was 11 4.4% and 7.8% (p = 0.032) and at one year 12.9%, 4.9% and 9% (p = 0.023), respectively. On univariate analysis, overweight was the only BMI category with a protective effect; however, after multivariate logistic regression analysis, adjusted for confounding variables, none of the BMI categories could independently predict outcome. CONCLUSIONS: Overweight patients had a better prognosis after primary angioplasty for ST-segment elevation acute myocardial infarction compared with other BMI categories, but this was dependent on other potentially confounding variables.

Two divergent ways to manage HR and to get to the top: an exploratory study in micro firms

Aim of the paper: The purpose of this paper is to examine human resources management practices (HRM practices) in small firms and to improve the understanding of the relationship between this kind of practices and business growth. This exploratory study is based on the resource-based view of the firm and empirical work carried out in two small firms by relating HRM practices with the firms’ results. Contribution to the literature: This is an in-depth study of HRM practices and its impact on performance growth in micro firms, isolating and controlling for most of the contextual and internal variables considered in the literature that relate HRM to growth. Firm growth analysis was broadened by the use of several dependent variables: employment growth and operational and financial performance growth. Some hypotheses for further research in identifying HRM practices in small business and its relation with firm growth are suggested. Methodology: Case study methodology was used to study two firms. The techniques used to collect data were semi-structured interviews to the owner and all the employees, unstructured observation at the firms’ facilities (during two days), entrepreneur profile definition (survey answer) and document data collection (on demographic characterization and performance results). Data was analyzed through content analysis methodology, and categories derived from the interviews’ protocols and literature. Results and implications: Results revealed that despite the firms’ organizational characteristics similarities, they differ significantly in owners’ motivation to grow, HRM practices and organizational performance and growth. Future studies should pay special attention to owner willingness to grow, to firms’ years of experience in business, to staff’s years of experience in their field of work and turnover. HRM practices in micro/small firms should be better defined and characterized. The external image of management posture relating to longitudinal financial results and growth should also be explored.

Considerações acerca da História e da Arte: uma leitura da Segunda Consideração Inactual de F. Nietzsche

Dissertação de mestrado em Filosofia - Estética

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Rui Chafes: traços do antigo na contemporaneidade

Tese de mestrado em ciências da comunicação, variante comunicação e artes