GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Influence of the use of acids and films in post-harvest lychee conservation

Lychee (Litchi chinensis Sonn.) has a high commercial value; however, it has a short shelf-life because of its rapid pericarp browning. The objective of this study was to evaluate the shelf-life of 'Bengal' lychee fruits stored after treatment with hydrochloric acid and citric acid, associated with cassava starch and plastic packaging. Uniformly red pericarp fruits were submitted to treatments: 1-(immersion in citric acid 100 mM for 5 minutes + cassava starch 30 g L-1 for 5 minutes), 2-(immersion in hydrochloric acid 1 M for 2 minutes + starch cassava 30 g L-1 for 5 minutes), 3-(immersion in citric acid 100 mM for 5 minutes + polyvinyl chloride film (PVC, 14 µm thick)) and 4-(immersion in hydrochloric acid 1 M for 2 minutes + PVC film). During 20 days, the fruits were evaluated for mass loss, pericarp color, pH, soluble solids and titratable acidity, vitamin C of the pulp and pericarp and activities of polyphenol oxidase and peroxidase of the pericarp. The treatment with hydrochloric acid associated with PVC was the most effective in maintaining the red color of the pericarp for a period of 20 days and best preservation of the fruit. The cassava starch associated with citric acid, and hydrochloric acid did not reduce the mass loss and did not prevent the browning of lychee fruit pericarp.

Effects of levels of potassium and nitrogen on yields and post-harvest conservation of onions in winter

Potassium and nitrogen are the elements present in the highest percentage in the onion dry matter. The objective of this experiment was to evaluate yield and post-harvest conservation of Vale Ouro IPA-11 onion cultivar regarding to nitrogen and potassium levels. The experiment was carried out in Petrolina-PE, Brazil, from June to September 2009. The experimental design was a completely randomized block in a 4 x 3 factorial design, composed of four nitrogen levels (0, 60, 120 and 180 kg ha-1) and three potassium levels (0, 90 and 180 kg ha-1) with three replications. The highest yield of commercial bulbs was achieved at an estimated N level of 172.6 kg ha-1. The lowest yield of noncommercial bulbs was estimated at N level of 147.0 kg ha-1. Lower percentage of smaller bulbs (class 2) were obtained by increasing levels of N x K, with a quadratic effect at the dose of 90 kg ha-1 K2O and minimum production point with 127.6 kg N ha-1 (20.3%). Regarding larger caliber bulbs (class 4), linear effects were found both in the absence and for the level of 90 kg ha-1 of K2O as levels of N were increased. When the highest level of 180 kg ha-1 K2O was applied, the level of 92.8 kg ha-1 of N was estimated as the one that would promote the highest bulb yield of this class (35.4%), and 5.3% was found in the lack of potassium fertilization.

Effect of hay on performance of Holstein calves at suckling and post-weaning

The objective of this work was to evaluate the performance of Holstein calves in suckling and post-weaning phases, intensively managed during suckling in the absence or presence of hay. Twenty-four male Holstein calves, at an average age of 15 days and initial weight of 43 kg were used in the experiment. The experimental design was completely randomized, consisting of two treatments and six replications. The treatments were as follows: 1) suckling with milk substitute + initial concentrate for calves, ad libitum + temperate grass hay (oat/ryegrass), ad libitum; 2) suckling with milk substitute + initial concentrate for calves, ad libitum. No significant difference was found between treatments for weight gain and feed conversion. However, the supply of hay caused an increase in daily dry matter intake (2.127 vs 1.894 kg). The intake of hay promoted greater stimulus to consumption of concentrate and greater weight at weaning.

Residents’ perceptions on impacts of hosting the “Guimarães 2012 European Capital of Culture”: comparisons of the pre-and post-2012 ECOC

Residents tend to have high expectations about the benefits of hosting a mega‐event. So, it was not surprising that the nomination of Guimarães, Portugal, as the 2012 European Capital of Culture (2012 ECOC) had raised great expectations in the local community towards its socio‐economic and cultural benefits. The present research was designed to examine the Guimarães residents’ perceptions on the impacts of hosting the 2012 ECOC approached in two different time schedules, the pre‐ and the post‐event, trying to capture the evolution of the residents` evaluation of its impacts. For getting the data, two surveys were applied to Guimarães` residents, one in the pre‐event phase, in 2011, and another in the post‐event phase, in 2013. This approach is uncommonly applied to Portugal data and it is even the first time it was done to a Portuguese European Capital of Culture. After a factor analysis, the results of t‐tests indicate that there were significant differences (p<0.05) between the samples from the pre‐ and post‐2012 ECOC on two positive impact factors (Community’ benefits and Residents’ benefits) and one negative impact factor (Economic, social and environmental costs). Respondents also showed a negative perception of the impacts in all dimensions, except Changes in habits of Guimarães residents.

Residents’ perceptions on impacts of hosting the “Guimarães 2012 European Capital of Culture”: comparisons of the pre-and post-2012 ECOC

The nomination of Guimarães, a small city located in the northwest of Portugal, as European capital of culture (ECOC) in 2012 raised great expectations in the local community towards its socio-economic and cultural benefits. As noted by various authors, namely Kim and Petrick (2005), Kim, Gursoy and Lee (2006) and Gursoy, Chi, Ai and Chen (2011), residents tend to have high expectations about the benefits of hosting a mega-event, although they tend to recognize that some costs will result from it. Therefore, the present research was designed to examine the Guimarães residents’ perceptions on the impacts of the 2012 European capital of culture (2012 ECOC) on the city and the municipality of Guimarães before and after the mega-event and the differences found between the two time periods.

Application of Gage R&R methodology for improving the training and evaluation of automatic optical inspection machine operators

The current level of demand by customers in the electronics industry requires the production of parts with an extremely high level of reliability and quality to ensure complete confidence on the end customer. Automatic Optical Inspection (AOI) machines have an important role in the monitoring and detection of errors during the manufacturing process for printed circuit boards. These machines present images of products with probable assembly mistakes to an operator and him decide whether the product has a real defect or if in turn this was an automated false detection. Operator training is an important aspect for obtaining a lower rate of evaluation failure by the operator and consequently a lower rate of actual defects that slip through to the following processes. The Gage R&R methodology for attributes is part of a Six Sigma strategy to examine the repeatability and reproducibility of an evaluation system, thus giving important feedback on the suitability of each operator in classifying defects. This methodology was already applied in several industry sectors and services at different processes, with excellent results in the evaluation of subjective parameters. An application for training operators of AOI machines was developed, in order to be able to check their fitness and improve future evaluation performance. This application will provide a better understanding of the specific training needs for each operator, and also to accompany the evolution of the training program for new components which in turn present additional new difficulties for the operator evaluation. The use of this application will contribute to reduce the number of defects misclassified by the operators that are passed on to the following steps in the productive process. This defect reduction will also contribute to the continuous improvement of the operator evaluation performance, which is seen as a quality management goal.

Survival analysis: a tool in the study of post-harvest diseases in peaches

Survival analysis is applied when the time until the occurrence of an event is of interest. Such data are routinely collected in plant diseases, although applications of the method are uncommon. The objective of this study was to use two studies on post-harvest diseases of peaches, considering two harvests together and the existence of random effect shared by fruits of a same tree, in order to describe the main techniques in survival analysis. The nonparametric Kaplan-Meier method, the log-rank test and the semi-parametric Cox's proportional hazards model were used to estimate the effect of cultivars and the number of days after full bloom on the survival to the brown rot symptom and the instantaneous risk of expressing it in two consecutive harvests. The joint analysis with baseline effect, varying between harvests, and the confirmation of the tree effect as a grouping factor with random effect were appropriate to interpret the phenomenon (disease) evaluated and can be important tools to replace or complement the conventional analysis, respecting the nature of the variable and the phenomenon.

Hedonic analysis of cell phones sold with post-paid service plans in Brazil

The aim of this paper is to analyze the determining factors for the pricing of handsets sold with service plans, using the hedonic price method. This was undertaken by building a database comprising 48 handset models, under nine different service plans, over a period of 53 weeks in 2008, and resulted in 27 different attributes and a total number of nearly 300,000 data registers. The results suggest that the value of monthly subscriptions and calling minutes are important to explain the prices of handsets. Furthermore, both the physical volume and number of megapixels of a camera had an effect on the prices. The bigger the handset, the cheaper it becomes, and the more megapixels a camera phone has, the more expensive it becomes. Additionally, it was found that in 2008 Brazilian phone companies were subsidizing enabled data connection handsets.

O impacto ex-post da Lei de Responsabilidade Fiscal nº101/2000 nas finanças dos estados brasileiros

Este trabalho analisa o impacto da Lei de Responsabilidade Fiscal (LRF), nas finanças e no crescimento econômico nos estados do Brasil, por meio de um banco de dados próprio, constituído por informações obtidas na Secretaria do Tesouro Nacional, no período de 2000 a 2004. Para os testes econométricos foi utilizada a ferramenta Dados em Painel, o Teste de Mann-Whitney e a Técnica de Componentes Principais. Os resultados encontrados, de modo geral, demonstram que a LRF não apresentou efeitos sobre as finanças e o crescimento econômico dos estados brasileiros, mas causou impacto positivo aos estados de maior Produto Interno Bruto (PIB), do prisma da redução de despesa. Na receita agregada nacional houve impacto negativo, pois essa receita decresceu nos estados de maior PIB, não sendo compensada pelo aumento de receitas correntes líquidas pelos estados de menor PIB. Portanto, houve penalidades para os estados de maior capacidade fiscal, maior organização fazendária e maior crescimento econômico e benefícios para os estados em situação contrária, mas que, em nível nacional, proporcionou resultados econômicos negativos.

Modelos de risk based inspection e risk based inspection and maintenance aplicados a sistemas de produção de energias renováveis

A utilização de recursos energéticos renováveis apresenta-se como um caminho vital para a humanidade alcançar um desenvolvimento sustentável. Nesta campanha, a energia eólica surge como um dos principais vectores de orientação tendo evoluído de forma quase exponencial nos últimos anos. No entanto, apesar da sua relativa maturidade, esta tecnologia enfrenta ainda alguns problemas e desafios. Não obstante a experiência empírica da indústria eólica, adquirida nos últimos trinta anos e dos esforços para melhorar a fiabilidade operacional das turbinas, as taxas de falha ainda se apresentam elevadas. Face às correntes práticas de Manutenção das turbinas e parques eólicos e às características de falha, (por vezes catastróficas), existe a necessidade de optimizar as estratégias de manutenção das turbinas eólicas e reduzir os custos durante o ciclo de vida, de modo a maximizar o retorno do investimento. Descreve-se neste trabalho o estado do conhecimento actual face ao objectivo pretendido, a recolha de dados reais da operação e Manutenção, a aplicabilidade dos modelos escolhidos para obtenção da probabilidade de falha, e as consequências e avaliação do risco. Assim, desenvolveu-se uma ferramenta de apoio à decisão, baseada em Modelos de RBI (Risk Based Inspection) e RBIM (Risk Based Inspection and Maintenance) aplicados a turbinas eólicas.

Activation timing of soleus and tibialis anterior muscles during sit-to-stand and stand to sit in post-stroke vs healthy subjects

O documento em anexo encontra-se na versão post-print (versão corrigida pelo editor).

Soleus activity in post-stroke subjects: movement sequence from standing to sitting

O documento em anexo encontra-se na versão post-print (versão corrigida pelo editor).