Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Nitrate leaching through climatologic water balance in a fertigated coffee plantation

Nitrate losses from soil profiles by leaching should preferentially be monitored during high rainfall events and during irrigation when fertilizer nitrogen applications are elevated. Using a climatologic water balance, based on the models of Thornthwaite and Penman Monteith for potential evapotranspiration, drainage soil water fluxes below the root zone were estimated in a fertigated coffee crop. Soil solution extraction at the depth of 1 m allowed the calculation of nitrate leaching. The average nitrate concentration in soil solution for plots that received nitrogen by fertigation at a rate of 400 kg ha-1, was 5.42 mg L-1, surpassing the limit of the Brazilian legislation of 10.0 mg L-1, only during one month. For plots receiving 800 kg ha-1 of nitrogen, the average was 25.01 mg L-1, 2.5 times higher than the above-mentioned limit. This information indicates that nitrogen rates higher than 400 kg ha-1 are potentially polluting the ground water. Yearly nitrate amounts of leaching were 24.2 and 153.0 kg ha-1 for the nitrogen rates of 400 and 800 kg ha-1, respectively. The six times higher loss indicates a cost/benefit problem for coffee fertigations above 400 kg ha-1.

Manejo do pastejo de cultivares de Brachiaria brizantha (Hochst) Stapf e de Panicum maximum Jacq

A definição dos princípios adequados de manejo do pastejo capazes de possibilitar que as pastagens mantenham-se produtivas e persistentes tem sido uma preocupação constante dos pesquisadores brasileiros. No entanto, foi durante as duas últimas décadas que ocorreram grandes mudanças e um avanço significativo na compreensão dos processos determinantes da correta utilização das plantas forrageiras tropicais em pastagens. Este texto tem por objetivo apresentar e discutir os principais resultados obtidos sobre o manejo do pastejo de alguns cultivares de Panicum maximum e de Brachiaria brizantha, bem como a importância da utilização de metas de pasto como guia de campo para o monitoramento e controle do processo de pastejo para planejar e recomendar práticas de manejo eficientes.

Selection of full-sib families of Panicum maximum Jacq under low light conditions

The silvopastoral system is a viable technological alternative to extensive cattle grazing, however, for it to be successful, forage grass genotypes adapted to reduced light need to be identified. The objective of this study was to select progenies of Panicum maximum tolerant to low light conditions for use in breeding programs and to study the genetic control and performance of some traits associated with shade tolerance. Six full-sib progenies were evaluated in full sun, 50% and 70% of light reduction in pots and subjected to cuttings. Progeny genotypic values ​​(GV) increased with light reduction in relation to plant height (H) and specific leaf area (SLA). The traits total dry mass accumulation (DM) and leaf dry mass accumulation (LDM) had GV higher in 50% shade and intermediate in 70% shade. The GV of tiller number (TIL) and root dry mass accumulation (RDM) decreased with light reduction. The highest positive correlations were obtained for the traits H and RDM with SLA and DM; the highest negative correlations were between TIL and SLA and RDM, and H and LDM. The progenies showed higher tolerance to 50% light reduction and, among them, two stood out and will be used in breeding programs. It was also found that it is not necessary to evaluate some traits under all light conditions. All traits had high broad sense heritability and high genotypic correlation between progenies in all light intensities. There is genetic difference among the progenies regarding the response to different light intensities, which will allow selection for shade tolerance

Analysis of mediation and reciprocal effects of changes in weight, self-esteem, and exercise in a behavioral weight loss treatment

Improving the treatment of obesity remains a critical challenge. Several health behaviour change models, often based on a social-cognitive framework, have been used to design weight management interventions (Baranowski et al., 2003). However, most interventions have only produced modest weight reductions (Wadden et al., 2002) and socialcognitive variables have shown limited power to predict weight outcomes (Palmeira et al., 2007). Other predictors, and possibl alte nati e e planatory models, are needed to better understand the mechanisms by which weight loss and other obesity treatment-outcomes are brought about (Baranowski, 2006). Self-esteem is one of these possible mechanisms, because is commonly reported to change during the treatment, although these changes are not necessarily associated with weight loss (Blaine et al., 2007; Maciejewski et al., 2005). This possibility should be more evident if the program integrates regular exercise, as it promotes improvements in subjective well-being (Biddle & Mutrie, 2001), with possible influences on long-term behavioral adherence (e.g. diet, exercise). Following the reciprocal effects model tenets (Marsh & Craven, 2006), we expect that the influences between changes in weight, selfesteem and exercise to be reciprocal and might present one of the mechanisms by which obesity treatments can be improved.

SAR calculation using FDTD simulations

The main intend of this work, is to determinate the Specific Absorption Rate (SAR) on human head tissues exposed to radiation caused by sources of 900 and 1800MHz, since those are the typical frequencies for mobile communications systems nowadays. In order to determinate the SAR, has been used the FDTD (Finite Difference Time Domain), which is a numeric method in time domain, obtained from the Maxwell equations in differential mode. In order to do this, a computational model from the human head in two dimensions made with cells of the smallest possible size was implemented, respecting the limits from computational processing. It was possible to verify the very good efficiency of the FDTD method in the resolution of those types of problems.

Autenticação de vídeo H.264/AVC

Hoje em dia, há cada vez mais informação audiovisual e as transmissões ou ficheiros multimédia podem ser partilhadas com facilidade e eficiência. No entanto, a adulteração de conteúdos vídeo, como informação financeira, notícias ou sessões de videoconferência utilizadas num tribunal, pode ter graves consequências devido à importância desse tipo de informação. Surge então, a necessidade de assegurar a autenticidade e a integridade da informação audiovisual. Nesta dissertação é proposto um sistema de autenticação de vídeo H.264/Advanced Video Coding (AVC), denominado Autenticação de Fluxos utilizando Projecções Aleatórias (AFPA), cujos procedimentos de autenticação, são realizados ao nível de cada imagem do vídeo. Este esquema permite um tipo de autenticação mais flexível, pois permite definir um limite máximo de modificações entre duas imagens. Para efectuar autenticação é utilizada uma nova técnica de autenticação de imagens, que combina a utilização de projecções aleatórias com um mecanismo de correcção de erros nos dados. Assim é possível autenticar cada imagem do vídeo, com um conjunto reduzido de bits de paridade da respectiva projecção aleatória. Como a informação de vídeo é tipicamente, transportada por protocolos não fiáveis pode sofrer perdas de pacotes. De forma a reduzir o efeito das perdas de pacotes, na qualidade do vídeo e na taxa de autenticação, é utilizada Unequal Error Protection (UEP). Para validação e comparação dos resultados implementou-se um sistema clássico que autentica fluxos de vídeo de forma típica, ou seja, recorrendo a assinaturas digitais e códigos de hash. Ambos os esquemas foram avaliados, relativamente ao overhead introduzido e da taxa de autenticação. Os resultados mostram que o sistema AFPA, utilizando um vídeo com qualidade elevada, reduz o overhead de autenticação em quatro vezes relativamente ao esquema que utiliza assinaturas digitais e códigos de hash.

Some bounds of loss in classical semideterministic immunization

Since Samuelson, Redington and Fisher and Weil, duration and immunization are very important topics in bond portfolio analysis from both a theoretical and a practical point of view. Many results have been established, especially in semi-deterministic framework. As regards, however, the loss may be sustained, we do not think that the subject has been investigated enough, except for the results found in the wake of the theorem of Fong and Vasicek. In this paper we present some results relating to the limitation of the loss in the case of local immunization for multiple liabilities.

Projecto de estabilidade da Escola Superior de Enfermagem Artur Ravara

O presente trabalho, refere-se ao projecto de estabilidade, em betão armado e pré-esforçado, da Escola Superior de Enfermagem Artur Ravara, situada na zona da EXPO em Lisboa. O edifício apresenta-se com uma implantação em “L”, tendo como dimensões máximas 38,50m x 54,80m e desenvolve-se em altura por quatro pisos, dos quais, dois são enterrados. A estrutura do edifício em causa, apresenta duas juntas de dilatação, por forma a tornar desprezáveis os efeitos devidos à retracção e diminuição de temperatura, dividindo o edifício em três blocos. As suas fundações são indirectas, constituídas por estacas moldadas no terreno e respectivos maciços de encabeçamento. As lajes são fungiformes aligeiradas de moldes perdidos, de modo a permitir vencer maiores vãos, que variam entre os 6,60m e os 10,00m, e permitindo também maior rapidez de execução e maior economia. As consolas de 3,50m de vão, em laje maciça, são suportadas por vigas pré-esforçadas de secção variável. Para o cálculo automático da estrutura e da obtenção dos respectivos desenhos das armaduras, foi utilizado o programa de cálculo automático, Tricalc 7.1. O conteúdo do projecto em questão, sendo de carácter académico, não corresponde à versão real, à qual não se teve acesso. O dimensionamento das fundações, devido à fraca resistência dos solos e o dimensionamento da estrutura, devido à geometria e dimensões do edifício, permitiram enfrentar desafios interessantes. Tais desafios, deram possibilidade de enriquecer bastante os conhecimentos sobre a engenharia de estruturas.

A Step-up mu-Power Converter for Solar Energy Harvesting Applications, using Hill Climbing Maximum Power Point Tracking

This paper presents a step-up micro-power converter for solar energy harvesting applications. The circuit uses a SC voltage tripler architecture, controlled by an MPPT circuit based on the Hill Climbing algorithm. This circuit was designed in a 0.13 mu m CMOS technology in order to work with an a-Si PV cell. The circuit has a local power supply voltage, created using a scaled down SC voltage tripler, controlled by the same MPPT circuit, to make the circuit robust to load and illumination variations. The SC circuits use a combination of PMOS and NMOS transistors to reduce the occupied area. A charge re-use scheme is used to compensate the large parasitic capacitors associated to the MOS transistors. The simulation results show that the circuit can deliver a power of 1266 mu W to the load using 1712 mu W of power from the PV cell, corresponding to an efficiency as high as 73.91%. The simulations also show that the circuit is capable of starting up with only 19% of the maximum illumination level.

Maximum penetration of microgeneration photovoltaic panels in distribution network

In smart grids context, the distributed generation units based in renewable resources, play an important rule. The photovoltaic solar units are a technology in evolution and their prices decrease significantly in recent years due to the high penetration of this technology in the low voltage and medium voltage networks supported by governmental policies and incentives. This paper proposes a methodology to determine the maximum penetration of photovoltaic units in a distribution network. The paper presents a case study, with four different scenarios, that considers a 32-bus medium voltage distribution network and the inclusion storage units.

Power systems reliability calculation based on fuzzy data mining

This paper presents a methodology supported on the data base knowledge discovery process (KDD), in order to find out the failure probability of electrical equipments’, which belong to a real electrical high voltage network. Data Mining (DM) techniques are used to discover a set of outcome failure probability and, therefore, to extract knowledge concerning to the unavailability of the electrical equipments such us power transformers and high-voltages power lines. The framework includes several steps, following the analysis of the real data base, the pre-processing data, the application of DM algorithms, and finally, the interpretation of the discovered knowledge. To validate the proposed methodology, a case study which includes real databases is used. This data have a heavy uncertainty due to climate conditions for this reason it was used fuzzy logic to determine the set of the electrical components failure probabilities in order to reestablish the service. The results reflect an interesting potential of this approach and encourage further research on the topic.

Factors related with adiponectinemia in obese and normal-weight women and with its variation in weight loss programs

Objective: To assess different factors influencing adiponectinemia in obese and normal-weight women; to identify factors associated with the variation (Δ) in adiponectinemia in obese women following a 6-month weight loss program, according to surgical/non-surgical interventions. Methods: We studied 100 normal-weight women and 112 obese premenopausal women; none of them was on any medical treatment. Women were characterized for anthropometrics, daily macronutrient intake, smoking status, contraceptives use, adiponectin as well as IL-6 and TNF-α serum concentrations. Results: Adiponectinemia was lower in obese women (p < 0.001), revealing an inverse association with waist-to-hip ratio (p < 0.001; r = –0.335). Normal-weight women presented lower adiponectinemia among smokers (p = 0.041); body fat, waist-to-hip ratio, TNF-α levels, carbohydrate intake, and smoking all influence adiponectinemia (r 2 = 0.436). After weight loss interventions, a significant modification in macronutrient intake occurs followed by anthropometrics decrease (chiefly after bariatric procedures) and adiponectinemia increase (similar after surgical and non-surgical interventions). After bariatric intervention, Δ adiponectinemia was inversely correlated to Δ waist circumference and Δ carbohydrate intake (r 2 = 0.706). Conclusion: Anthropometrics, diet, smoking, and TNF-α levels all influence adiponectinemia in normal-weight women, although explaining less than 50% of it. In obese women, anthropometrics modestly explain adiponectinemia. Opposite to non-surgical interventions, after bariatric surgery adiponectinemia increase is largely explained by diet composition and anthropometric changes.

Evaluation of IMRT and VMAT techniques with and without flattening filter using pareto optimal fronts

Mestrado em Radiações Aplicadas às Tecnologias da Saúde.