An improved preemption delay upper bound for floating non-preemptive region

In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.

Antivirais incorporados no Brasil para hepatite B cronica: analise de custo-efetividade

OBJETIVO Avaliar o custo-efetividade de diferentes tratamentos medicamentosos para hepatite B crônica entre pacientes adultos. MÉTODOS Utilizando modelo de Markov, construiu-se coorte hipotética de 40 anos para pacientes HBeAg-positivo ou HBeAg-negativo. Foram comparados os usos de adefovir, entecavir, tenofovir e lamivudina (com terapia de resgate em caso de resistência viral) para tratamento de pacientes adultos com hepatite B crônica, virgens de tratamento, com elevados níveis de alanina aminotransferase, sem evidência de cirrose e sem coinfecção por HIV. Valores para custo e efeito foram obtidos da literatura. A medida do efeito foi expressa em anos de vida ganhos (AVG). Taxa de desconto de 5% foi aplicada. Análise de sensibilidade univariada foi conduzida para avaliar incertezas do modelo. RESULTADOS O tratamento inicial com entecavir ou tenofovir apresentou melhores resultados clínicos. As menores razões custo-efetividade foram de entecavir para pacientes HBeAg-positivo (R$ 4.010,84/AVG) e lamivudina para pacientes HBeAg-negativo (R$ 6.205,08/AVG). Para pacientes HBeAg-negativo, a razão custo-efetividade incremental de entecavir (R$ 14.101,05/AVG) está abaixo do limiar recomendado pela Organização Mundial da Saúde. Análise de sensibilidade mostrou que variação nos custos dos medicamentos pode tornar tenofovir alternativa custo-efetiva tanto para pacientes HBeAg-positivo quanto para HBeAg-negativo. CONCLUSÕES Entecavir é alternativa recomendada para iniciar o tratamento de pacientes com hepatite B crônica no Brasil. Contudo, se houver redução no custo de tenofovir, esta pode se tornar alternativa mais custo-efetiva.

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.

A parallel programming model for ada

Over the last three decades, computer architects have been able to achieve an increase in performance for single processors by, e.g., increasing clock speed, introducing cache memories and using instruction level parallelism. However, because of power consumption and heat dissipation constraints, this trend is going to cease. In recent times, hardware engineers have instead moved to new chip architectures with multiple processor cores on a single chip. With multi-core processors, applications can complete more total work than with one core alone. To take advantage of multi-core processors, parallel programming models are proposed as promising solutions for more effectively using multi-core processors. This paper discusses some of the existent models and frameworks for parallel programming, leading to outline a draft parallel programming model for Ada.

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).

A shared-disk parallel cluster file system

Dissertação apresentada para obtenção do Grau de Doutor em Informática Pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Forest cover monitoring in the Bara district (Nepal) with remote sensing and geographic information systems

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

Equilibrium distributions of discrete non-autonomous graphs

We introduce the notions of equilibrium distribution and time of convergence in discrete non-autonomous graphs. Under some conditions we give an estimate to the convergence time to the equilibrium distribution using the second largest eigenvalue of some matrices associated with the system.

Global localization with non-quantized local image features

In the field of appearance-based robot localization, the mainstream approach uses a quantized representation of local image features. An alternative strategy is the exploitation of raw feature descriptors, thus avoiding approximations due to quantization. In this work, the quantized and non-quantized representations are compared with respect to their discriminativity, in the context of the robot global localization problem. Having demonstrated the advantages of the non-quantized representation, the paper proposes mechanisms to reduce the computational burden this approach would carry, when applied in its simplest form. This reduction is achieved through a hierarchical strategy which gradually discards candidate locations and by exploring two simplifying assumptions about the training data. The potential of the non-quantized representation is exploited by resorting to the entropy-discriminativity relation. The idea behind this approach is that the non-quantized representation facilitates the assessment of the distinctiveness of features, through the entropy measure. Building on this finding, the robustness of the localization system is enhanced by modulating the importance of features according to the entropy measure. Experimental results support the effectiveness of this approach, as well as the validity of the proposed computation reduction methods.

Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

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

Topological entropy of catalytic sets: Hypercycles revisited

The dynamics of catalytic networks have been widely studied over the last decades because of their implications in several fields like prebiotic evolution, virology, neural networks, immunology or ecology. One of the most studied mathematical bodies for catalytic networks was initially formulated in the context of prebiotic evolution, by means of the hypercycle theory. The hypercycle is a set of self-replicating species able to catalyze other replicator species within a cyclic architecture. Hypercyclic organization might arise from a quasispecies as a way to increase the informational containt surpassing the so-called error threshold. The catalytic coupling between replicators makes all the species to behave like a single and coherent evolutionary multimolecular unit. The inherent nonlinearities of catalytic interactions are responsible for the emergence of several types of dynamics, among them, chaos. In this article we begin with a brief review of the hypercycle theory focusing on its evolutionary implications as well as on different dynamics associated to different types of small catalytic networks. Then we study the properties of chaotic hypercycles with error-prone replication with symbolic dynamics theory, characterizing, by means of the theory of topological Markov chains, the topological entropy and the periods of the orbits of unimodal-like iterated maps obtained from the strange attractor. We will focus our study on some key parameters responsible for the structure of the catalytic network: mutation rates, autocatalytic and cross-catalytic interactions.

Urban change monitoring using GIS and remote sensing tools in Kathmandu valley (Nepal)

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

Seguro na dependência: proposta de um modelo de avaliação financeiro-actuarial

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Matemática e Aplicações

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Estudo sobre o insight em pessoas com psicose

Para além das variáveis clínicas e sociodemográficas existem concerteza importantes componentes individuais que desempenham um contributo importante no nível de insight apresentado por cada pessoa doente, por exemplo, o nível de inteligência, personalidade, cultura, experiências passadas, memória, etc. A natureza clínica, emocional e/ou intelectual do termo ajuda-nos a compreender a complexidade da dificuldade que existe na sua tradução e, inclusive, na sua compreensão. Daí que as definições atribuídas ao conceito sejam muito distintas e variem consoante a formação teórica do autor/investigador. Pretende-se, a partir dessa identificação/compreensão, promover a qualidade de vida destas pessoas através do desenvolvimento de novas aprendizagens que possibilitem uma cooperação activa. É igualmente fundamental ir ao encontro das capacidade intactas de maneira a possibilitar a aquisição de novos(s) comportamento(s) que tenham um impacte positivo nas queixas, sinais, sintomas, incapacidade e disfuncionalidade apresentados pelo/a utente. Uma vez que a própria conceptualização do termo traduzirá aquilo que se pretende avaliar,será efectuada uma reflexão detalhada acerca dos instrumentos e definições que têm sido mais utilizadas para explorar o insight nas psicoses.Procurei, no meu trabalho de investigação, realçar e promover a importância que cada sujeito, alvo de intervenção, desempenha ao longo do seu processo de recuperação e na prevenção de recaídas. No seguimento dos objectivos acima descritos, para além da revisão teórica efectuada ao fenómeno em termos de conceptualização e estudos desenvolvidos na área de investigação, foi,neste estudo, realizada a contribuição para a validação do instrumento “Assessment of Insight in Psychosis: a re-standartization of a New Scale” de Marková & Berrios (2003).O fenómeno de insight escolhido pela Insight Scale, relata menos as mudanças vividas em relação à doença mental, e mais a actual consciência e articulação de tais mudanças. Tendo como base uma abordagem psicopedagógica, o fenómeno do insight aqui explorado assentou numa perspectiva reabilitativa, actual e multidimensional, que fosse para além das dimensões clínicas tradicionais. Neste sentido é apresentada uma escala original, intitulada “Escala de Avaliação do Insight e Identificação das Necessidades em Pessoas com Psicose”, bem como um modelo de intervenção psicopedagógico breve, assente nos pressupostos descritos ao longo do trabalho.-----------------------------------------ABSTRACT: The importance of insight in people with mental illnesses was first studied in psychiatry, in the first decades of the 20th century, by people as important as Lewis (1934) and Jaspers (1959). However, this field of investigation was left unexplored for many years. Only in the last decade has this phenomenon become the object of numerous scientific investigations, having been given special attention by its investigators. For this reason a significant number of instruments for evalauting insight in psychotic disorders were developed. Since then many papers have been published, which has allowed for a more in depth knowledge on the subject. Therefore, in recent years, the concept of insight has been developed in an attempt to clarify its compexity. A once dichotomic phenomenon, described in terms of presence or absence, became considered multidimensional, which made the identification of different levels of insight and different dimensions possible. Current concepts categorize insight into five dimensions: the awareness of the patient in relation to his/her mental illness, the awareness of the patient in relation to the social consequences of his/her illness, the awareness of the need for treatment, the awareness of the symptoms and the explanation of those symptoms in relation to the illness. The lack of insight in psychiatry, in general terms, and as this phenomenon has been described, the lack of awareness of having a mental illness, represents one of the most common symptoms of schizophrenia and affects a big part of the population that suffer from this illness. It is estimated that bewteen 50 and 80 per cent of patients with schizophrenia do not believe that they are ill, which, consequently has a big impact in the process of adherence to treatment. It is still not possible, however, to identify all the factors that determine the lack of insight in schizophrenics. There are psychological, social and cultural influences that almost certainly play their role in the lack of insight registered in this pathology.Since the impact of scizophrenia is felt in many aspects of the individual’s life, its effective treatment should be directed at various levels, including the improvement of insight. One of the objectives of this study is to explore the relationship between the level of insight in psychosis and the clinical and sociodemographic variables, the psychopathology and its global functioning. As well as the clinical and sociodemographic variables, there are of course important individual components that contribute to the level of insight seen in each patient, for example, their level of inteligence, personality, culture, past experiences, memory, etc. The clinical, emotional and/or intelectual nature of the term helps us understand the difficulty that lies in its interpretation as well as in its comprehension. Therefore, the definitions attributed to the term are very different and vary according to the theoretical training of the investigator. It is intended, from this identification/understanding, to promote the quality of life of these people through the development of new findings that might enable an active cooperation. It is equally fundamental to observe their unimpaired capacities in order to enable the acquisition of new behaviour(s) that have a positive impact on the complaints, signs, symptoms, incapacity and disfunctioning seen in the patient.As the actual comprehension of the term explains what we intend to evaluate, a detailed reflection is made on the instruments and definitions that have been used the most to explore insight in psychosis.In this investigation I tried to underline and promote the importance that each subject, undergoing medical intervention, plays during his/her process of recovery and prevention of relapses. Considering the above mentioned objectives, as well as a theoretical review of the phenomenon in terms of conceptualization and investigative studies developed, this study contributed to the validation of the instrument.The insight phenomenon chosen by the “Insight Scale”, records less changes experienced in relation to the mental illness and more actual awareness and articulation of these changes. Based on a psychopedagogical approach, the insight phenomenon explored here settled on a rehabilitation, current and multidimensional perspective that would go beyond the traditional clinical dimensions. For this reason an original scale entitled “Insight Evaluation Scale and Need Identification in Psychosis Patients” is presented, as well as a psychopedagogical intervention model soon to be used with admitted patients based on the presuppositions described in this study.