A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

A System Dynamics-Based Simulation Experiment for Testing Mental Model and Performance Effects of Using the Balanced Scorecard

This study develops a theoretical model that explains the effectiveness of the balanced scorecard approach by means of a system dynamics and feedback learning perspective. Presumably, the balanced scorecard leads to a better understanding of context, allowing managers to externalize and improve their mental models. We present a set of hypotheses about the influence of the balanced scorecard approach on mental models and performance. A test based on a simulation experiment that uses a system dynamics model is performed. The experiment included three types of parameters: financial indicators; balanced scorecard indicators; and balanced scorecard indicators with the aid of a strategy map review. Two out of the three hypotheses were confirmed. It was concluded that a strategy map review positively influences mental model similarity, and mental model similarity positively influences performance.

Energia solar térmica: uma contribuição para a melhoria do RCCTE

O presente estudo pretende avaliar o desempenho energético dos vários sistemas de preparação de águas quentes sanitárias (AQS) em edifícios de habitação. Segundo o RCCTE, decreto de lei nº 80/2006 de 4 de Abril, o recurso a sistemas de colectores solares térmicos é obrigatório sempre que haja uma exposição solar adequada. O RCCTE indica parâmetros de referência para o dimensionamento e cálculo do desempenho do sistema solar térmico. Indica nomeadamente um consumo de AQS a 60º C médio de referência de 40 l por pessoa e exige uma área mínima de captação na base de lm2 de colector padrão por ocupante convencional previsto. Existe no mercado a tendência para dimensionar o sistema para o mínimo exigido pela lei. Este relatório mostra que os parâmetros de referência do RCCTE estão desajustados à realidade portuguesa. Segundo este estudo, o consumo médio diário é o dobro do referido, resultando na redução muito significativa do desempenho energético do sistema solar, dado que existe um subdimensionamento da área de captação. Nestas condições, conclui-se que um sistema tradicional de esquentador a gás é mais eficiente que um sistema de colectores solares térmicos com apoio por efeito de Joule. Em Portugal, cerca de 35% dos sistemas solares em edifícios de habitação, utilizam esta energia de apoio. Este estudo apresenta fortes fundamentos para se rever os parâmetros de referência do RCCTE e permite concluir que o apoio por efeito de Joule, nas actuais condições, não deve ser permitido.

Acompanhamento e caracterização do desempenho de uma UTA baseada em tecnologia DEC assistida por energia solar

Neste trabalho referiremos em particular a tecnologia do arrefecimento evaporativo com desumidificação prévia por exsicantes e far-se-á a apresentação da Unidade de Demonstração instalada no INETI (Instituto Nacional de Engenharia Tecnologia e Inovação) que faz uso dessa tecnologia que recorre a um sistema de captação de energia solar do tipo CPC (Colectores Parabólicos Compostos). Em funcionamento desde 1999, este sistema já sofreu várias alterações que serão referidas, realçando-se as que tiveram lugar mais recentemente, e serão apresentados alguns resultados entretanto obtidos. O funcionamento de todo o sistema foi acompanhado de perto, possibilitando assim, uma melhor compreensão do funcionamento do mesmo e, no caso de surgirem anomalias, actuar de imediato na tentativa de resolução. Para além da descrição dos componentes principais, modos de operação e alterações introduzidas, neste trabalho são apresentados e analisados os resultados obtidos nesta nova fase de funcionamento da UTA, após introdução de um humidificador na conduta de insuflação. Concluí-se que para períodos que antecedem e procedem o pico do Verão, esta unidade executa a sua função na perfeição apresentando valores de eficiência energética bastante favoráveis. Ao longo da estação fria, a captação de energia por parte dos colectores solares, possibilita o aquecimento dos espaços a climatizar.

Monitorização de sistemas solares térmicos: simulação de perfis de consumo e cálculo de comportamento térmico a longo prazo

A presente dissertação assenta na monitorização de sistemas solares térmicos com incidência em perfis de consumo e cálculo de comportamento térmico a longo prazo. No início faz-se uma introdução aos temas e definições que são primordiais para uma melhor compreensão do trabalho em causa. Procedeu-se à simulação do comportamento térmico de sistemas solares térmicos, tendo como base os parâmetros de cálculo obtidos nos relatórios de ensaio. Os sistemas solares térmicos podem ser ensaiados segundo duas metodologias de cálculo diferentes. Estas metodologias estão descritas nas normas ISO 9459-2:1995 para a metodologia CSTG – Dynamic System Testing Group e ISO 9459-5:2007 para a metodologia DST – Dynamic System Testing. Neste trabalho foram utilizadas as duas metodologias mencionadas. Analisaram-se e simularam-se ainda os perfis de consumo do Anexo IV da Directiva EcoDesign tendo como objectivo definir um “benchmark” entre os diferentes sistemas solares térmicos e também saber qual é a energia primária necessária para satisfazer cada uma das necessidades dos diferentes perfis de extracção. O estudo e análise desta Directiva é bastante importante, pois é com base nela que se vai proceder à classificação e posterior rotulagem dos sistemas solares térmicos.

Monitorização e caracterização de uma UTA com tecnologia exsicante-evaporativa assistida por energia solar de acordo com a metodologia definida no âmbito da AIE SHC task 38

A presente dissertação fundamenta-se na monitorização e análise de uma “Unidade de Tratamento de Ar” baseada em tecnologia exsicante evaporativa assistida por energia solar. Primeiramente é apresentado um conjunto de conceitos associados ao tema abordado, de modo a facilitar a compreensão dos fenómenos termodinâmicos envolvidos. Após a abordagem inicial que serve de consolidação, é feito o ponto da situação actual, quer em termos tecnológicos, quer em termos de instalações existentes. A etapa seguinte da dissertação descreve pormenorizadamente a instalação do LNEG e seus princípios de funcionamento, nesta fase também é contemplada a descrição sumária dos equipamentos, dos componentes e dos elementos de medição e controlo presentes no sistema. A metodologia seguida assenta fortemente em dois pontos; primeiro, a monitorização do sistema através do software “Agilent VEE Pro” e pela análise dos dados recolhidos com auxílio da folha de cálculo do LNEG, desenvolvida especialmente para este sistema. Em segundo lugar, a metodologia seguida será a imposta pela “Tarefa 38” de acordo com a Agência Internacional de Energia, no âmbito do programa de Aquecimento e Arrefecimento Solar o que permite a comparação de sistemas a nível internacional. Alias a “Tarefa 38” pretende desenvolver esta tecnologia, ao nível da concepção, estandardização, optimização das instalações, conceder o fácil acesso à informação e promover a comparabilidade de resultados. O desempenho global do sistema é bastante positivo, o bom comportamento do sistema é ilustrado na análise gráfica feita nos modos de aquecimento e arrefecimento. O grau de satisfação dos utilizadores é bom e o sistema demonstra capacidade para manter o conforto térmico dos espaços a climatizar de acordo com as normas e regulamentos em vigor. A utilização das energias renováveis nos dias de hoje, como por exemplo a energia solar é mais do que uma obrigação, é um dever.

Nanocrystalline p-layer for a-Si:H p-i-n solar cells and photodiodes

We report on structural, electronic, and optical properties of boron-doped, hydrogenated nanocrystalline silicon (nc-Si:H) thin films deposited by plasma-enhanced chemical vapor deposition (PECVD) at a substrate temperature of 150 degrees C. Film properties were studied as a function of trimethylboron-to-silane ratio and film thickness. The absorption loss of 25% at a wavelength of 400 nm was measured for the 20 nm thick films on glass and glass/ZnO:Al substrates. By employing the p(+) nc-Si:H as a window layer, complete p-i-n structures were fabricated and characterized. Low leakage current and enhanced sensitivity in the UV/blue range were achieved by incorporating an a-SiC:H buffer between the p- and i-layers.

Transport properties in microcrystalline silicon solar cells under AM1.5 illumination analysed by two-dimensional numerical simulation

Microcrystalline silicon is a two-phase material. Its composition can be interpreted as a series of grains of crystalline silicon imbedded in an amorphous silicon tissue, with a high concentration of dangling bonds in the transition regions. In this paper, results for the transport properties of a mu c-Si:H p-i-n junction obtained by means of two-dimensional numerical simulation are reported. The role played by the boundary regions between the crystalline grains and the amorphous matrix is taken into account and these regions are treated similar to a heterojunction interface. The device is analysed under AM1.5 illumination and the paper outlines the influence of the local electric field at the grain boundary transition regions on the internal electric configuration of the device and on the transport mechanism within the mu c-Si:H intrinsic layer.

Tools for testing the Solvency Capital Requirement for life insurance

Longevity risk is one of the major risks that an insurance company or a pension fund has to deal with and it is expected that its importance will grow in the near future. In agreement with these considerations, in Solvency II regulation the Standard formula furnished for calculating the Solvency Capital Requirement explicitly considers this kind of risk. According to the new European rules in our paper we suggest a multiperiod approach to evaluate the SCR for longevity risk. We propose a backtesting framework for measuring the consistency of SCR calculations for life insurance policies.

Torre solar: estudo do rendimento e viabilidade de centrais térmicas solares para produção de energia eléctrica de pequena e média dimensão

O aproveitamento da radiação solar representa um recurso energético extremamente benéfico, quer no âmbito energético, quer no ambiental, contribuindo para a redução das emissões de gases nocivos para a atmosfera. Portugal apresenta uma radiação solar total média anual bastante elevada, colocando-se entre um dos países que apresentam melhores potencialidades para o aproveitamento da energia solar. A torre solar consiste numa estufa com uma determinada extensão com uma chaminé no seu centro e o seu funcionamento baseia-se no aquecimento do ar que circula por baixo da estufa, sendo expelido pela chaminé. Nesta tese é abordado o tema da torre solar e os princípios físicos inerentes ao seu funcionamento. Foi estudado e descrito o método de cálculo de diversos parâmetros e resultados associados ao funcionamento da torre solar. Elaborou-se uma folha de cálculo para obtenção dos valores de simulações de torres com diversas dimensões, tecendo-se conclusões quanto aos resultados e às variações dos mesmos, consoante as alterações de dimensão dos elementos que a constituem. Foram descritos os vários elementos que constituem uma torre solar, bem como as suas características e tipologias. Efectuou-se um estudo com aplicação a um caso real, para se tecer algumas conclusões e comentários relativamente à viabilidade de uma torre solar para a situação em causa. Por fim, com base em todo o trabalho desenvolvido e abordado, foi possível tecer-se algumas conclusões quanto à viabilidade das torres solares.

Estudo comparativo do desempenho da tecnologia de termossifão e de circulação forçada no âmbito do aquecimento solar térmico

O objeto da presente tese é o estudo comparativo do desempenho de soluções de aquecimento de águas quentes sanitárias (AQS) de dois sistemas solares alternativos, um sistema do tipo Termossifão “versus” um sistema de Circulação Forçada. Foi realizada uma campanha de medições durante um ano, que permitiu avaliar o desempenho dos dois sistemas e as poupanças que resultaram da utilização de um sistema solar, em comparação com um sistema convencional de aquecimento de águas quentes com recurso a gás natural. Estes dados experimentais foram confrontados com os resultados de simulação fornecidos por software dedicado ao cálculo de energia em sistemas solares, conhecido como SolTerm. Concluiu-se que, para o perfil de consumo estabelecido, os sistemas de Circulação Forçada e de Termossifão Reais, tiveram um desempenho equivalente. Na simulação realizada no SolTerm, o sistema Termossifão foi mais eficiente, com um fração solar de 69,7%. Já para o sistema de Circulação Forçada a fração solar foi de 63,3%, com uma diferença de produtividade anual de 67 kWh/m2 de coletor. Contrariamente ao que era previsto pelo SolTerm, ambos os sistemas Reais tiveram desempenhos inferiores, obtendo frações solares de 55,8% e 58,5% para o Termossifão e Circulação Forçado respetivamente. Para o Termossifão esta diferença foi mais acentuada, ao passo que no Circulação Forçada se aproximou do comportamento previsto na simulação.

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.

Boron-doped nanocrystalline silicon thin films for solar cells

This article reports on the structural, electronic, and optical properties of boron-doped hydrogenated nanocrystalline silicon (nc-Si: H) thin films. The films were deposited by plasma-enhanced chemical vapour deposition (PECVD) at a substrate temperature of 150 degrees C. Crystalline volume fraction and dark conductivity of the films were determined as a function of trimethylboron-to-silane flow ratio. Optical constants of doped and undoped nc-Si: H were obtained from transmission and reflection spectra. By employing p(+) nc-Si: H as a window layer combined with a p' a-SiC buffer layer, a-Si: H-based p-p'-i-n solar cells on ZnO:Al-coated glass substrates were fabricated. Device characteristics were obtained from current-voltage and spectral-response measurements. (C) 2011 Elsevier B. V. All rights reserved.

Voluntary HIV counseling and testing during prenatal care in Brazil

OBJECTIVE: Voluntary HIV counseling and testing are provided to all Brazilian pregnant women with the purpose of reducing mother-to-child HIV transmission. The purpose of the study was to assess characteristics of HIV testing and identify factors associated with HIV counseling and testing. METHODS: A cross-sectional study was carried out comprising 1,658 mothers living in Porto Alegre, Brazil. Biological, reproductive and social variables were obtained from mothers by means of a standardized questionnaire. Being counseling about HIV testing was the dependent variable. Confidence intervals, chi-square test and hierarchical logistic model were used to determine the association between counseling and maternal variables. RESULTS: Of 1,658 mothers interviewed, 1,603 or 96.7% (95% CI: 95.7-97.5) underwent HIV testing, and 51 or 3.1% (95% CI: 2.3-4.0) were not tested. Four (0.2%) refused to undergo testing after counseling. Of 51 women not tested in this study, 30 had undergone the testing previously. Of 1,603 women tested, 630 or 39.3% (95% CI: 36.9-41.7) received counseling, 947 or 59.2% (95% CI: 56.6-61.5) did not, and 26 (1.6%) did not inform. Low income, lack of prenatal care, late beginning of prenatal care, use of rapid testing, and receiving prenatal in the public sector were variables independently associated with a lower probability of getting counseling about HIV testing. CONCLUSIONS: The study findings confirmed the high rate of prenatal HIV testing in Porto Alegre. However, women coming from less privileged social groups were less likely to receive information and benefit from counseling.

Modelling real solar cell using PSCAD/MATLAB

This paper presents the development of a solar photovoltaic (PV) model based on PSCAD/EMTDC - Power System Computer Aided Design – including a mathematical model study. An additional algorithm has been implemented in MATLAB software in order to calculate several parameters required by the PSCAD developed model. All the simulation study has been performed in PSCAD/MATLAB software simulation tool. A real data base concerning irradiance, cell temperature and PV power generation was used in order to support the evaluation of the implemented PV model.