Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach

In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET’s medium access control (MAC) protocol is able to guarantee a bounded access time to message requests. We then propose a model for implementing fixed prioritybased dispatching mechanisms at each master’s application level. In this way, we diminish the impact of the first-come-first-served (FCFS) policy that P-NET uses at the data link layer. The proposed model rises several issues well known within the real-time systems community: message release jitter; pre-run-time schedulability analysis in non pre-emptive contexts; non-independence of tasks at the application level. We identify these issues in the proposed model and show how results available for priority-based task dispatching can be adapted to encompass priority-based message dispatching in P-NET networks.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Wind-CSP short-term coordination by MILP approach

This paper is on the maximization of total profit in a day-ahead market for a price-taker producer needing a short-term scheduling for wind power plants coordination with concentrated solar power plants, having thermal energy storage systems. The optimization approach proposed for the maximization of profit is a mixed-integer linear programming problem. The approach considers not only transmission grid constraints, but also technical operating constraints on both wind and concentrated solar power plants. Then, an improved short-term scheduling coordination is provided due to the more accurate modelling presented in this paper. Computer simulation results based on data for the Iberian wind and concentrated solar power plants illustrate the coordination benefits and show the effectiveness of the approach.

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 pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained- deadline sporadic tasks on a uniprocessor

Compositional real-time scheduling clearly requires that ”normal” real-time scheduling challenges are addressed but challenges intrinsic to compositionality must be addressed as well, in particular: (i) how should interfaces be described? and (ii) how should numerical values be assigned to parameters constituting the interfaces? The real-time systems community has traditionally used narrow interfaces for describing a component (for example, a utilization/bandwidthlike metric and the distribution of this bandwidth in time). In this paper, we introduce the concept of competitive ratio of an interface and show that typical narrow interfaces cause poor performance for scheduling constrained-deadline sporadic tasks (competitive ratio is infinite). Therefore, we explore more expressive interfaces; in particular a class called medium-wide interfaces. For this class, we propose an interface type and show how the parameters of the interface should be selected. We also prove that this interface is 8-competitive.

WiDom: a dominance protocol for wireless medium access

In this paper, we address the problem of sharing a wireless channel among a set of sporadic message streams where a message stream issues transmission requests with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements static-priority scheduling, supports a large number of priority levels and is fully distributed. It is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But, unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. The evaluation of the protocol with real embedded computing platforms is presented to show that the proposed protocol is in fact collision-free and prioritized. We measure the response times of our implementation and show that the response-time analysis developed for the protocol offers an upper bound on the response times.

Logic functions based on optical bias controlled SIC Tandem devices

The purpose of this paper is the design of an optoelectronic circuit based on a-SiC technology, able to act simultaneously as a 4-bit binary encoder or a binary decoder in a 4-to-16 line configurations and show multiplexer-based logical functions. The device consists of a p-i'(a-SiC:H)-n/p-i(a-Si:H)-n multilayered structure produced by PECVD. To analyze it under information-modulated wave (color channels) and uniform irradiation (background) four monochromatic pulsed lights (input channels): red, green, blue and violet shine on the device. Steady state optical bias was superimposed separately from the front and the back sides, and the generated photocurrent was measured. Results show that the devices, under appropriate optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development providing the possibility for selective removal of useless wavelengths. The logic functions needed to construct any other complex logic functions are the NOT, and both or either an AND or an OR. Any other complex logic function that might be found can also be used as building blocks to achieve the functions needed for the retrieval of channels within the WDM communication link. (C) 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Cervical cancer screening coverage in a high-incidence region

OBJECTIVE To analyze the coverage of a cervical cancer screening program in a city with a high incidence of the disease in addition to the factors associated with non-adherence to the current preventive program.METHODS A cross-sectional study based on household surveys was conducted. The sample was composed of women between 25 and 59 years of age of the city of Boa Vista, RR, Northern Brazil who were covered by the cervical cancer screening program. The cluster sampling method was used. The dependent variable was participation in a women’s health program, defined as undergoing at least one Pap smear in the 36 months prior to the interview; the explanatory variables were extracted from individual data. A generalized linear model was used.RESULTS 603 women were analyzed, with an mean age of 38.2 years (SD = 10.2). Five hundred and seventeen women underwent the screening test, and the prevalence of adherence in the last three years was up to 85.7% (95%CI 82.5;88.5). A high per capita household income and recent medical consultation were associated with the lower rate of not being tested in multivariate analysis. Disease ignorance, causes, and prevention methods were correlated with chances of non-adherence to the screening system; 20.0% of the women were reported to have undergone opportunistic and non-routine screening.CONCLUSIONS The informed level of coverage is high, exceeding the level recommended for the control of cervical cancer. The preventive program appears to be opportunistic in nature, particularly for the most vulnerable women (with low income and little information on the disease). Studies on the diagnostic quality of cervicovaginal cytology and therapeutic schedules for positive cases are necessary for understanding the barriers to the control of cervical cancer.

Wind-CSP short-term coordination by Milp approach

This paper is on the maximization of total profit in a day-ahead market for a price-taker producer needing a short-term scheduling for wind power plants coordination with concentrated solar power plants, having thermal energy storage systems. The optimization approach proposed for the maximization of profit is a mixed-integer linear programming problem. The approach considers not only transmission grid constraints, but also technical operating constraints on both wind and concentrated solar power plants. Then, an improved short-term scheduling coordination is provided due to the more accurate modelling presented in this paper. Computer simulation results based on data for the Iberian wind and concentrated solar power plants illustrate the coordination benefits and show the effectiveness of the approach.

A magnanimidade da teoria: interpretar a ética em teoria da literatura

Tese de doutoramento, Teoria da Literatura, Universidade de Lisboa, Faculdade de Letras, 2003

Complex variable positive definite functions

In this paper we develop an appropriate theory of positive definite functions on the complex plane from first principles and show some consequences of positive definiteness for meromorphic functions.

A inserção profissional de docentes (ou ex-docentes) portadores de deficiência

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação- Especialidade Educação Especial

Elos: trabalho de projecto

Trabalho de Projecto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro – especialização em Teatro e Comunidade.

Factores que influenciam a actividade física na vida diária dos doentes com doença pulmonar obstrutiva crónica

RESUMO: A monitorização da actividade física diária nos doentes com Doença Pulmonar Obstrutiva Crónica (DPOC) tem sido alvo de grande interesse nos últimos tempos. No entanto, ainda nenhum estudo reuniu o conjunto de factores – grau de obstrução, hiperinsuflação pulmonar, alteração das trocas gasosas, dispneia, dessaturação de oxigénio, capacidade de exercício, ansiedade e depressão – que podem afectar a sua realização, nem os correlacionou com os dados obtidos com o pedómetro e que reflectem o que cada doente realmente faz no seu dia-adia. O presente estudo teve como objectivo principal identificar os factores que influenciam a actividade física na vida diária dos doentes com DPOC. Estudaram-se 55 doentes do sexo masculino com idade média de 67 anos e um FEV1 médio de 50,8% do previsto, com DPOC moderada a muito grave (estadios II a IV), de entre os utentes do Laboratório de Fisiopatologia Respiratória do Centro Hospitalar de Torres Vedras. Avaliaram-se os parâmetros da escala de dispneia modificada do Medical Research Council (MMRC), escala London Chest Activity of Daily Living (LCADL), escala de Ansiedade e Depressão Hospitalar (HADS), índice BODE, estudo funcional respiratório em repouso, teste de marcha de seis minutos e o número de passos por dia utilizando um pedómetro por um período de três dias. Observou-se que os doentes deram em média 4972 passos por dia e apresentaram uma cotação total média de 17,7 na LCADL, tendo existido diferenças estatisticamente significativas em função da gravidade da doença, sendo que os doentes mais graves são os que em média andam menos no seu dia-a-dia e apresentam maior limitação na realização das actividades de vida diária. O número de passos por dia apresentou correlações significativas com as variáveis idade, dispneia, depressão, hiperinsuflação monar, gravidade de obstrução (FEV1), trocas gasosas (DLCO), saturação arterial de oxigénio mínima e correlação mais forte com a distância percorrida no TM6m. Este estudo permitiu identificar que os factores determinantes da actividade física na vida diária de doentes com DPOC nos estadios II a IV, foram a dispneia e a distância percorrida no TM6m. Além disso, estes doentes constituem um grupo sedentário, particularmente a partir do estadio III, com níveis de actividade física diária baixos.-----------ABSTRACT There has been an increased interest in monitoring the daily physical activity in patients with Chronic Obstructive Pulmonary Disease (COPD). However, no specific study has been realized so far that has put the different factors which can affect the results obtained altogether, (such as the degree of obstruction, pulmonary hyperinflation, abnormal gas exchange, dyspnea, oxygen desaturation, exercise capacity, anxiety and depression) or correlated with data obtained from the pedometer, which reflect each patient actual activity in their daily life. This study aimed to identify the main factors that influence physical activity in daily life of patients with COPD. The scope of this study was 55 male patients with an average age of 67 years old and an average FEV1 of 50.8% predicted, with moderate to severe COPD (stages II to IV), among patients from the Respiratory Pathophysiology Laboratory of the Centro Hospitalar de Torres Vedras. Were evaluated the parameters of the modified Medical Research Council dyspnea scale (MMRC), London Chest Activity of Daily Living scale (LCADL), Hospital Anxiety and Depression scale (HADS), BODE index, pulmonary function test at rest, six minute walk test (6MWT) and the number of steps per day using a pedometer for a period of three days. It was observed that patients have walked an average of 4972 steps per day and had a total score of 17.7 at LCADL, and statistically significant differences were stated depending on the severity of the disease. Whereas patients with a more severe degree of the disease have walked least in their daily life and show greater restraint in carrying out activities of daily living. The number of steps per day showed significant correlations with age, dyspnea, depression, lung hyperinflation, severity of obstruction (FEV1), gas exchange (DLCO), minimum arterial oxygen saturation and stronger correlation with distance walked on 6MWT. This study shows that the crucial factors of physical activity in daily life of COPD patients at stages II to IV were dyspnea and distance on 6MWT. Moreover, these patients constitute a sedentary group, particularly from the stage III, with lower levels of daily physical activity.

Evaluation of a rapid dipstick test, Malar-CheckTM, for the diagnosis of Plasmodium falciparum malaria in Brazil

The present study was carried out to evaluate the Malar-CheckTM Pf test, an immunochromatographic assay that detects Plasmodium falciparum Histidine Rich Protein II, does not require equipment, and is easy and rapid to perform. In dilution assays performed to test sensitivity against known parasite density, Malar-CheckTMwere compared with thick blood smear (TBS), the gold standard for diagnosis. Palo Alto isolate or P. falciparum blood from patients with different parasitemias was used. The average cut-off points for each technique in three independent experiments were 12 and 71 parasites/mm³ (TBS and Malar-CheckTM, respectively). In the field assays, samples were collected from patients with fever who visited endemic regions. Compared to TBS, Malar-CheckTMyielded true-positive results in 38 patients, false-positive results in 3, true-negative results in 23, and false-negative result in 1. Malar-CheckTMperformed with samples from falciparum-infected patients after treatment showed persistence of antigen up to 30 days. Malar-CheckTM should aid the diagnosis of P. falciparum in remote areas and improve routine diagnosis even when microscopy is available. Previous P. falciparum infection, which can determine a false-positive test in cured individuals, should be considered. The prompt results obtained with the Malar-CheckTM for early diagnosis could avoid disease evolution to severe cases.