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.

Advances in smart grids - benefits on sharing background experiences from Portugal, Central Europe and Brazil

This paper presents ELECON - Electricity Consumption Analysis to Promote Energy Efficiency Considering Demand Response and Non-technical Losses, an international research project that involves European and Brazilian partners. ELECON focuses on energy efficiency increasing through consumer´s active participation which is a key area for Europe and Brazil cooperation. The project aims at significantly contributing towards the successful implementation of smart grids, focussing on the use of new methods that allow the efficient use of distributed energy resources, namely distributed generation, storage and demand response. ELECON puts together researchers from seven European and Brazilian partners, with consolidated research background and evidencing complementary competences. ELECON involves institutions of 3 European countries (Portugal, Germany, and France) and 4 Brazilian institutions. The complementary background and experience of the European and Brazilian partners is of main relevance to ensure the capacities required to achieve the proposed goals. In fact, the European Union (EU) and Brazil have very different resources and approaches in what concerns this area. Having huge hydro and fossil resources, Brazil has not been putting emphasis on distributed renewable based electricity generation. On the contrary, EU has been doing huge investments in this area, taking into account environmental concerns and also the economic EU external dependence dictated by huge requirements of energy related products imports. Sharing these different backgrounds allows the project team to propose new methodologies able to efficiently address the new challenges of smart grids.

Genetic algorithm methodology applied to intelligent house control

In recent years the use of several new resources in power systems, such as distributed generation, demand response and more recently electric vehicles, has significantly increased. Power systems aim at lowering operational costs, requiring an adequate energy resources management. In this context, load consumption management plays an important role, being necessary to use optimization strategies to adjust the consumption to the supply profile. These optimization strategies can be integrated in demand response programs. The control of the energy consumption of an intelligent house has the objective of optimizing the load consumption. This paper presents a genetic algorithm approach to manage the consumption of a residential house making use of a SCADA system developed by the authors. Consumption management is done reducing or curtailing loads to keep the power consumption in, or below, a specified energy consumption limit. This limit is determined according to the consumer strategy and taking into account the renewable based micro generation, energy price, supplier solicitations, and consumers’ preferences. The proposed approach is compared with a mixed integer non-linear approach.

Ant colony search algorithm for the optimal power flow problem

To maintain a power system within operation limits, a level ahead planning it is necessary to apply competitive techniques to solve the optimal power flow (OPF). OPF is a non-linear and a large combinatorial problem. The Ant Colony Search (ACS) optimization algorithm is inspired by the organized natural movement of real ants and has been successfully applied to different large combinatorial optimization problems. This paper presents an implementation of Ant Colony optimization to solve the OPF in an economic dispatch context. The proposed methodology has been developed to be used for maintenance and repairing planning with 48 to 24 hours antecipation. The main advantage of this method is its low execution time that allows the use of OPF when a large set of scenarios has to be analyzed. The paper includes a case study using the IEEE 30 bus network. The results are compared with other well-known methodologies presented in the literature.

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.

Optimal dispatch with reactive power compensation by Genetic Algorithm

This paper presents a Unit Commitment model with reactive power compensation that has been solved by Genetic Algorithm (GA) optimization techniques. The GA has been developed a computational tools programmed/coded in MATLAB. The main objective is to find the best generations scheduling whose active power losses are minimal and the reactive power to be compensated, subjected to the power system technical constraints. Those are: full AC power flow equations, active and reactive power generation constraints. All constraints that have been represented in the objective function are weighted with a penalty factors. The IEEE 14-bus system has been used as test case to demonstrate the effectiveness of the proposed algorithm. Results and conclusions are dully drawn.

Ancillary services dispatch using linear programming and genetic algorithm approaches

Electricity market players operating in a liberalized environment requires access to an adequate decision support tool, allowing them to consider all the business opportunities and take strategic decisions. Ancillary services represent a good negotiation opportunity that must be considered by market players. For this, decision support tools must include ancillary market simulation. This paper proposes two different methods (Linear Programming and Genetic Algorithm approaches) for ancillary services dispatch. The methodologies are implemented in MASCEM, a multi-agent based electricity market simulator. A test case concerning the dispatch of Regulation Down, Regulation Up, Spinning Reserve and Non-Spinning Reserve services is included in this paper.

Reposição do sistema semi-automático Pyxis® num Hospital Central Universitário: avaliação do número de unidades repostas

Introdução: No Centro Hospitalar de São João, EPE a partir de 2008, foi implementado o sistema semi-automático de reposição de stocks nivelados de medicamentos, Pyxis®, atualmente implementado em 16 serviços clínicos. Atendendo ao crescimento verificado na implementação deste sistema automatizado na instituição, este trabalho pretende dar a conhecer a realidade de preparação da medicação para reposição no sistema semi-automático Pyxis®, por avaliação do número de unidades de medicamentos repostos diariamente e por dia da semana. Material e Métodos: Desenvolveu-se um estudo longitudinal retrospetivo onde se analisou a totalidade de serviços com implementação Pyxis® através do registo diário de reposição dos diferentes Serviços Clínicos num período de 41 dias consecutivos. Numa segunda fase, os dados foram sintetizados sob a forma de tabelas em Microsoft Office Excel®, tendo posteriormente sido construídos os respetivos gráficos para análise. Resultados: Os resultados, representados graficamente, mostram que a segunda-feira é o dia da semana com maior número de reposições de medicamentos, sendo os serviços com maior número de reposições totais UCI Geral, UCI Neurocríticos, Cirurgia Cardiotorácica e UCIPU. Discussão / Conclusões: Os resultados obtidos permitiram verificar uma sobrecarga de referências de medicamentos e unidades repostas às segundas-feiras, atingindo, em muitos serviços, valores de unidades repostas duas vezes superior à média de reposições do serviço (por ex. UCI Neurocíticos). Contudo, apesar do reduzido período de análise, os dados parecem evidenciar que o facto de haver reposições ao domingo agiliza o processo de reposição dos Pyxis® às segundas-feiras.

A study on the encryption algorithm for RFID tag (SEED : 8 Rounds × 64 bits block)

Although it is always weak between RFID Tag and Terminal in focus of the security, there are no security skills in RFID Tag. Recently there are a lot of studying in order to protect it, but because it has some physical limitation of RFID, that is it should be low electric power and high speed, it is impossible to protect with the skills. At present, the methods of RFID security are using a security server, a security policy and security. One of them the most famous skill is the security module, then they has an authentication skill and an encryption skill. In this paper, we designed and implemented after modification original SEED into 8 Round and 64 bits for Tag.

Neonatal mortality in intensive care units of Central Brazil

OBJECTIVE: To identify potential prognostic factors for neonatal mortality among newborns referred to intensive care units. METHODS: A live-birth cohort study was carried out in Goiânia, Central Brazil, from November 1999 to October 2000. Linked birth and infant death certificates were used to ascertain the cohort of live born infants. An additional active surveillance system of neonatal-based mortality was implemented. Exposure variables were collected from birth and death certificates. The outcome was survivors (n=713) and deaths (n=162) in all intensive care units in the study period. Cox's proportional hazards model was applied and a Receiver Operating Characteristic curve was used to compare the performance of statistically significant variables in the multivariable model. Adjusted mortality rates by birth weight and 5-min Apgar score were calculated for each intensive care unit. RESULTS: Low birth weight and 5-min Apgar score remained independently associated to death. Birth weight equal to 2,500g had 0.71 accuracy (95% CI: 0.65-0.77) for predicting neonatal death (sensitivity =72.2%). A wide variation in the mortality rates was found among intensive care units (9.5-48.1%) and two of them remained with significant high mortality rates even after adjusting for birth weight and 5-min Apgar score. CONCLUSIONS: This study corroborates birth weight as a sensitive screening variable in surveillance programs for neonatal death and also to target intensive care units with high mortality rates for implementing preventive actions and interventions during the delivery period.

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.

Comparação do cálculo de dose com os algoritmos Analytical Anisotropic Algorithm e Pencil Beam Convolution na patologia de pulmão

Mestrado em Radioterapia.

Central obesity and dietary intake in HIV/AIDS patients

OBJECTIVE: To assess the association between dietary intake and central obesity among people living with HIV/AIDS and receiving highly active antiretroviral therapy. METHODS: A cross-sectional study was conducted involving 223 adult individuals in the city of São Paulo city in 2002. The study population was classified according to central obesity, defined as waist-to-hip ratio >0.95 for men and >0.85 for women. The dietary variables studied were energy consumption (in calories and calories/kilo of body weight), macronutrients (in grams and % of energy intake), total fiber (grams) and fruit and vegetables intake (grams). The potential confounders examined were sex, skin color, age, schooling, income, body mass index, physical activity, smoking habits, peripheral CD4+ T lymphocyte count and length of protease inhibitor use. The multiple logistic regression model was performed in order to evaluate the association between central obesity and dietary intake. RESULTS: The prevalence of central obesity was 45.7% and it was associated with greater consumption of lipids: for every increase of 10g of lipid intake the odds of central obesity increased 1.28 times. Carbohydrate consumption showed negative association (OR=0.93) with central obesity after adjustment for control variables. CONCLUSIONS: The results suggest that the amount of carbohydrates and lipids in the diet, regardless of total energy intake, may modify the chance of developing central obesity in the studied population. Nutritional interventions may be beneficial for preventing central obesity among HIV/AIDS patients.

Comparação entre o pencil beam convolution algorithm e o analytical anisotropic algorithm em tumores de mama

Mestrado em Radioterapia

Integration of biomonitoring and instrumental techniques to assess the air quality in an industrial area located in the coastal of Central Asturias, Spain

Throughout the world, epidemiological studies were established to examine the relationship between air pollution and mortality rates and adverse respiratory health effects. However, despite the years of discussion the correlation between adverse health effects and atmospheric pollution remains controversial, partly because these studies are frequently restricted to small and well-monitored areas. Monitoring air pollution is complex due to the large spatial and temporal variations of pollution phenomena, the high costs of recording instruments, and the low sampling density of a purely instrumental approach. Therefore, together with the traditional instrumental monitoring, bioindication techniques allow for the mapping of pollution effects over wide areas with a high sampling density. In this study, instrumental and biomonitoring techniques were integrated to support an epidemiological study that will be developed in an industrial area located in Gijon in the coastal of central Asturias, Spain. Three main objectives were proposed to (i) analyze temporal patterns of PM10 concentrations in order to apportion emissions sources, (ii) investigate spatial patterns of lichen conductivity to identify the impact of the studied industrial area in air quality, and (iii) establish relationships amongst lichen conductivity with some site-specific characteristics. Samples of the epiphytic lichen Parmelia sulcata were transplanted in a grid of 18 by 20 km with an industrial area in the center. Lichens were exposed for a 5-mo period starting in April 2010. After exposure, lichen samples were soaked in 18-MΩ water aimed at determination of water electrical conductivity and, consequently, lichen vitality and cell damage. A marked decreasing gradient of lichens conductivity relative to distance from the emitting sources was observed. Transplants from a sampling site proximal to the industrial area reached values 10-fold higher than levels far from it. This finding showed that lichens reacted physiologically in the polluted industrial area as evidenced by increased conductivity correlated to contamination level. The integration of temporal PM10 measurements and analysis of wind direction corroborated the importance of this industrialized region for air quality measurements and identified the relevance of traffic for the urban area.