IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

A marcha: a influência do Gerador de Padrão Central

A marcha é influenciada por um conjunto de factores que resultam da interacção e organização própria de sistemas neurais e mecânicos, entre os quais, da dinâmica músculo-esquelética, da modulação pelos centros nervosos superiores, pela modulação aferente e é, também, assumida como sendo controlada pelo Gerador de Padrão Central (GPC), que se define como um programa central baseado num circuito espinal geneticamente determinado, capaz de produzir um ritmo associado a cada marcha. Apresenta-se como objectivo deste trabalho abordar quais os modelos explicativos para o funcionamento do GPC e qual a evidência científica, que continua a ter muitas divergências.

Can varying the number of teams in a shift schedule constitute a preventive strategy?

OBJECTIVE: The study examines the implications for shiftworkers of applying different numbers of teams in the organization of shiftwork. METHODS: The participating operators came from five different companies applying continuous shift rotation systems. The companies shared the same product organization and a common corporate culture belonging to the same multinational company. Each company had a shift system consisting of four, five or six teams, with the proportion of shifts outside day work decreasing as the number of teams increased. Questionnaire and documentary data were used as data sources. RESULTS: Operators in systems with additional teams had more daywork but also more irregular working hours due to both overtime and schedule changes. Operators using six teams used fewer social compensation strategies. Operators in four teams were most satisfied with their work hours. Satisfaction with the time available for various social activities outside work varied inconsistently between the groups. CONCLUSIONS: In rotating systems the application of more teams reduces the number of shifts outside day work. This apparent improvement for shiftworkers was counteracted by a concomitant irregularity produced by greater organizational requirements for flexibility. The balance of this interaction was found to have a critical impact on employees.

A multidimensional scaling analysis of musical sounds based on pseudo phase plane

This paper studies musical opus from the point of view of three mathematical tools: entropy, pseudo phase plane (PPP), and multidimensional scaling (MDS). The experiments analyze ten sets of different musical styles. First, for each musical composition, the PPP is produced using the time series lags captured by the average mutual information. Second, to unravel hidden relationships between the musical styles the MDS technique is used. The MDS is calculated based on two alternative metrics obtained from the PPP, namely, the average mutual information and the fractal dimension. The results reveal significant differences in the musical styles, demonstrating the feasibility of the proposed strategy and motivating further developments towards a dynamical analysis of musical sounds.

Evaluation of pharmaceutical assistance in public primary care in Brasília, Brazil

OBJECTIVE: Pharmaceutical assistance is essential in health care and a right of citizens according to Brazilian law and drug policies. The study purpose was to evaluate aspects of pharmaceutical assistance in public primary health care. METHODS: A cross-sectional study using WHO drug indicators was carried out in Brasília in 2001. From a random sample of 15 out of 62 centers thirty exiting patients per center were interviewed. RESULTS: Only 18.7% of the patients fully understood the prescription, 56.3% could read it, 61.2% of the prescribed drugs were actually dispensed, and mean duration of pharmaceutical dispensing was 53.2 seconds. Each visit lasted on average 9.4 minutes. Of prescribed and non-dispensed drugs, 85.3% and 60.6% were on the local essential drug list (EDL) respectively. On average 83.2% of 40 essential drugs were in stock, and only two centers had a pharmacist in charge of the pharmacy. The mean number of drugs per prescription was 2.3, 85.3% of prescribed drugs were on the EDL, 73.2% were prescribed using the generic denomination, 26.4% included antibiotics and 7.5% were injectables. The most prescribed groups were: cardiovascular drugs (26.8%), anti-infective drugs (13.1%), analgesics (8.9%), anti-asthmatic drugs (5.8%), anti-diabetic drugs (5.3%), psychoactive drugs (3.7%), and combination drugs (2.7%). CONCLUSIONS: Essential drugs were only moderately available almost 30 years after the first Brazilian EDL was formulated. While physician use of essential drugs and generic names was fairly high, efficiency was impaired by the poor quality of pharmaceutical care, resulting in very low patient understanding and insufficient guarantee of supply, particularly for chronic diseases.

Study of the influence of count’s number in myocardium in the determination of reproducible functional parameters in Gated-SPECT studies simulated with GATE

Myocardial Perfusion Gated Single Photon Emission Tomography (Gated-SPET) imaging is used for the combined evaluation of myocardial perfusion and left ventricular (LV) function. But standard protocols of the Gated-SPECT studies require long acquisition times for each study. It is therefore important to reduce as much as possible the total duration of image acquisition. However, it is known that this reduction leads to decrease on counts statistics per projection and raises doubts about the validity of the functional parameters determined by Gated-SPECT. Considering that, it’s difficult to carry out this analysis in real patients. For ethical, logistical and economical matters, simulated studies could be required for this analysis. Objective: Evaluate the influence of the total number of counts acquired from myocardium, in the calculation of myocardial functional parameters (LVEF – left ventricular ejection fraction, EDV – end-diastolic volume, ESV – end-sistolic volume) using routine software procedures.

A marcha: a influência do Gerador de Padrão Central

A marcha é influenciada por um conjunto de factores que resultam da interacção e organização própria de sistemas neurais e mecânicos, entre os quais, da dinâmica músculo-esquelética, da modulação pelos centros nervosos superiores, pela modulação aferente e é, também, assumida como sendo controlada pelo Gerador de Padrão Central (GPC), que se define como um programa central baseado num circuito espinal geneticamente determinado, capaz de produzir um ritmo associado a cada marcha. Apresenta-se como objectivo deste trabalho abordar quais os modelos explicativos para o funcionamento do GPC e qual a evidência científica, que continua a ter muitas divergências.

The problems of the european union film industry: an evolution from "subsidy trap" to the advent of "virtual print fee" model

Dissertação de Mestrado, Gestão de Empresa (MBA), 16 de Julho de 2013, Universidade dos Açores.

Determinants of salivary cotinine level: a population-based study in Brazil

OBJECTIVE: A cross-sectional population-based study was conducted to assess, in active smokers, the relationship of number of cigarettes smoked and other characteristics to salivary cotinine concentrations. METHODS: A random sample of active smokers aged 15 years or older was selected using a stepwise cluster sample strategy, in the year 2000 in Rio de Janeiro, Brazil. The study included 401 subjects. Salivary cotinine concentration was determined using gas chromatography with nitrogen-phosphorus detection. A standard questionnaire was used to collect demographic and smoking behavioral data. The relation between the number of cigarettes smoked in the last 24h and cotinine level was examined by means of a nonparametric fitting technique of robust locally weighted regression. RESULTS: Significantly (p<0.05) higher adjusted mean cotinine levels were found in subjects smoking their first cigarette within five minutes after waking up, and in those smoking 1-20 cigarettes in the last 24h who reported inhaling more than ½ the time. In those smoking 1-20 cigarettes, the slope was significantly higher for those subjects waiting for more than five minutes before smoking their first cigarette after waking up, and those smoking "light" cigarettes when compared with their counterparts. These heterogeneities became negligible and non-significant when subjects with cotinine >40 ng/mL per cigarette were excluded. CONCLUSIONS: There was found a positive association between self-reporting smoking five minutes after waking up, and inhaling more than ½ the time are consistent and higher cotinine levels. These can be markers of dependence and higher nicotine intake. Salivary cotinine proved to be a useful biomarker of recent smoking and can be used in epidemiological studies and smoking cessation programs.

Mutation accumulation in Tetrahymena

Background - The rate and fitness effects of mutations are key in understanding the evolution of every species. Traditionally, these parameters are estimated in mutation accumulation experiments where replicate lines are propagated in conditions that allow mutations to randomly accumulate without the purging effect of natural selection. These experiments have been performed with many model organisms but we still lack empirical estimates of the rate and effects of mutation in the protists. Results - We performed a mutation accumulation (MA) experiment in Tetrahymena thermophila, a species that can reproduce sexually and asexually in nature, and measured both the mean decline and variance increase in fitness of 20 lines. The results obtained with T. thermophila were compared with T. pyriformis that is an obligate asexual species. We show that MA lines of T. thermophila go to extinction at a rate of 1.25 clonal extinctions per bottleneck. In contrast, populations of T. pyriformis show a much higher resistance to extinction. Variation in gene copy number is likely to be a key factor in explaining these results, and indeed we show that T. pyriformis has a higher mean copy number per cell than T. thermophila. From fitness measurements during the MA experiment, we infer a rate of mutation to copy number variation of 0.0333 per haploid MAC genome of T. thermophila and a mean effect against copy number variation of 0.16. A strong effect of population size in the rate of fitness decline was also found, consistent with the increased power of natural selection. Conclusions - The rate of clonal extinction measured for T. thermophila is characteristic of a mutational degradation and suggests that this species must undergo sexual reproduction to avoid the deleterious effects detected in the laboratory experiments. We also suggest that an increase in chromosomal copy number associated with the phenotypic assortment of amitotic divisions can provide an alternative mechanism to escape the deleterious effect of random chromosomal copy number variation in species like T. pyriformis that lack the resetting mechanism of sexual reproduction. Our results are relevant to the understanding of cell line longevity and senescence in ciliates.

Spatial analysis of urban violence based on emergency room data

OBJECTIVE: To estimate the spatial intensity of urban violence events using wavelet-based methods and emergency room data. METHODS: Information on victims attended at the emergency room of a public hospital in the city of São Paulo, Southeastern Brazil, from January 1, 2002 to January 11, 2003 were obtained from hospital records. The spatial distribution of 3,540 events was recorded and a uniform random procedure was used to allocate records with incomplete addresses. Point processes and wavelet analysis technique were used to estimate the spatial intensity, defined as the expected number of events by unit area. RESULTS: Of all georeferenced points, 59% were accidents and 40% were assaults. There is a non-homogeneous spatial distribution of the events with high concentration in two districts and three large avenues in the southern area of the city of São Paulo. CONCLUSIONS: Hospital records combined with methodological tools to estimate intensity of events are useful to study urban violence. The wavelet analysis is useful in the computation of the expected number of events and their respective confidence bands for any sub-region and, consequently, in the specification of risk estimates that could be used in decision-making processes for public policies.

Modelo de data mining para detecção de tumores em exames de rastreio

Dissertação para obtenção do grau de Mestre em Engenharia Informática

Ensino da Matemática : Os Number Bonds de Singapura

(...) Os number bonds (esquemas todo-partes) constituem um dos procedimentos didáticos mais famosos do Método de Singapura. Estas representações auxiliam a compreensão numérica basilar, nomeadamente a capacidade de decompor quantidades e a álgebra fundamental (adições e subtrações). Neste artigo, analisaremos o que são, quais as vantagens e a forma de utilização destes esquemas no 1.º ano de escolaridade. (...)

O efeito da idade da empresa nos salários

Dissertação de Mestrado, Ciências Económicas e Empresariais, 10 de Dezembro de 2015, Universidade dos Açores.