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

An approach for graphical user interface bad smells detection

In the context of an e ort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface bad smells. Our approach consists in detecting user interface bad smells through model-based reverse engineering from source code. Models are used to de ne which widgets are present in the interface, when can particular graphical user interface (GUI) events occur, under which conditions, which system actions are executed, and which GUI state is generated next.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the 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 open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular 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.

Cadeia reversa do óleo de cozinha: coordenação, estrutura e aspectos relacionais

As atividades de produção e consumo geram resíduos que, conforme o destino, produzem impactos negativos no meio ambiente. Essa situação agravou-se, de maneira crítica, a partir da Revolução Industrial. Para reaproveitar esses resíduos, são necessárias novas formas de produzir, consumir e dar um destino adequado aos produtos após o final de seu ciclo de vida útil. Com base nesse contexto, o objetivo deste estudo é analisar como se estrutura e é coordenada uma cadeia de suprimentos reversa, tendo como objeto a coleta de óleo de cozinha utilizado. O caminho metodológico observa a abordagem qualitativa e caracteriza-se como exploratório. Em termos teóricos, o estudo orienta-se pelas abordagens de cadeias de suprimentos reversas e coordenação da cadeia de suprimentos. Os resultados evidenciam a iniciativa de uma empresa que não trabalha com óleo de cozinha utilizado, mas utiliza uma estratégia a partir desse resíduo para desencadear o processo de estruturação da cadeia analisada. Como principal contribuição, o estudo sugere a consolidação da quinta fase da logística: a Reverse Supply Chain (RSC).

Implementação de WDM com dispositivos semicondutores

Este trabalho utiliza uma estrutura pin empilhada, baseada numa liga de siliceto de carbono amorfo hidrogenado (a-Si:H e/ou a-SiC:H), que funciona como filtro óptico na zona visível do espectro electromagnético. Pretende-se utilizar este dispositivo para realizar a demultiplexagem de sinais ópticos e desenvolver um algoritmo que permita fazer o reconhecimento autónomo do sinal transmitido em cada canal. O objectivo desta tese visa implementar um algoritmo que permita o reconhecimento autónomo da informação transmitida por cada canal através da leitura da fotocorrente fornecida pelo dispositivo. O tema deste trabalho resulta das conclusões de trabalhos anteriores, em que este dispositivo e outros de configuração idêntica foram analisados, de forma a explorar a sua utilização na implementação da tecnologia WDM. Neste trabalho foram utilizados três canais de transmissão (Azul – 470 nm, Verde – 525 nm e Vermelho – 626 nm) e vários tipos de radiação de fundo. Foram realizadas medidas da resposta espectral e da resposta temporal da fotocorrente do dispositivo, em diferentes condições experimentais. Variou-se o comprimento de onda do canal e o comprimento de onda do fundo aplicado, mantendo-se constante a intensidade do canal e a frequência de transmissão. Os resultados obtidos permitiram aferir sobre a influência da presença da radiação de fundo e da tensão aplicada ao dispositivo, usando diferentes sequências de dados transmitidos nos vários canais. Verificou-se, que sob polarização inversa, a radiação de fundo vermelho amplifica os valores de fotocorrente do canal azul e a radiação de fundo azul amplifica o canal vermelho e verde. Para polarização directa, apenas a radiação de fundo azul amplifica os valores de fotocorrente do canal vermelho. Enquanto para ambas as polarizações, a radiação de fundo verde, não tem uma grande influência nos restantes canais. Foram implementados dois algoritmos para proceder ao reconhecimento da informação de cada canal. Na primeira abordagem usou-se a informação contida nas medidas de fotocorrente geradas pelo dispositivo sob polarização inversa e directa. Pela comparação das duas medidas desenvolveu-se e testou-se um algoritmo que permite o reconhecimento dos canais individuais. Numa segunda abordagem procedeu-se ao reconhecimento da informação de cada canal mas com aplicação de radiação de fundo, tendo-se usado a informação contida nas medidas de fotocorrente geradas pelo dispositivo sob polarização inversa sem aplicação de radiação de fundo com a informação contida nas medidas de fotocorrente geradas pelo dispositivo sob polarização inversa com aplicação de radiação de fundo. Pela comparação destas duas medidas desenvolveu-se e testou-se o segundo algoritmo que permite o reconhecimento dos canais individuais com base na aplicação de radiação de fundo.

Blue-enhanced thin-film photodiode for dual-screen x-ray imaging

This article reports on a-Si:H-based low-leakage blue-enhanced photodiodes for dual-screen x-ray imaging detectors. Doped nanocrystalline silicon was incorporated in both the n- and p-type regions to reduce absorption losses for light incoming from the top and bottom screens. The photodiode exhibits a dark current density of 900 pA/cm(2) and an external quantum efficiency up to 90% at a reverse bias of 5 V. In the case of illumination through the tailored p-layer, the quantum efficiency of 60% at a 400 nm wavelength is almost double that for the conventional a-Si:H n-i-p photodiode.

Colour filtering in a-SiC : H based p-i-n-p-i-n cells: A trade-off between bias polarity and absorption regions

A large area colour imager optically addressed is presented. The colour imager consists of a thin wide band gap p-i-n a-SiC:H filtering element deposited on the top of a thick large area a-SiC:H(-p)/a-Si:H(-i)/a-SiC:H(-n) image sensor, which reveals itself an intrinsic colour filter. In order to tune the external applied voltage for full colour discrimination the photocurrent generated by a modulated red light is measured under different optical and electrical bias. Results reveal that the integrated device behaves itself as an imager and a filter giving information not only on the position where the optical image is absorbed but also on it wavelength and intensity. The amplitude and sign of the image signals are electrically tuneable. In a wide range of incident fluxes and under reverse bias, the red and blue image signals are opposite in sign and the green signal is suppressed allowing blue and red colour recognition. The green information is obtained under forward bias, where the blue signal goes down to zero and the red and green remain constant. Combining the information obtained at this two applied voltages a RGB colour image picture can be acquired without the need of the usual colour filters or pixel architecture. A numerical simulation supports the colour filter analysis.

Enhanced short wavelength response in laser-scanned-photodiode image sensor using an a-SiC : H/a-Si : H tandem structure

We report in this paper the recent advances we obtained in optimizing a color image sensor based on the laser-scanned-photodiode (LSP) technique. A novel device structure based on a a-SiC:H/a-Si:H pin/pin tandem structure has been tested for a proper color separation process that takes advantage on the different filtering properties due to the different light penetration depth at different wavelengths a-SM and a-SiC:H. While the green and the red images give, in comparison with previous tested structures, a weak response, this structure shows a very good recognition of blue color under reverse bias, leaving a good margin for future device optimization in order to achieve a complete and satisfactory RGB image mapping. Experimental results about the spectral collection efficiency are presented and discussed from the point of view of the color sensor applications. The physics behind the device functioning is explained by recurring to a numerical simulation of the internal electrical configuration of the device.

ITO/SiOx/Si optical sensor with internal gain

A visible/near-infrared optical sensor based on an ITO/SiOx/n-Si structure with internal gain is presented. This surface-barrier structure was fabricated by a low-temperature processing technique. The interface properties and carder transport were investigated from dark current-voltage and capacitance-voltage characteristics. Examination of the multiplication properties was performed under different light excitation and reverse bias conditions. The spectral and pulse response characteristics are analysed. The current amplification mechanism is interpreted by the control of electron current by the space charge of photogenerated holes near the SiOx/Si interface. The optical sensor output characteristics and some possible device applications are presented.

Laser scanned photodiodes (LSPs) for image sensing

An optimized ZnO:Al/a-pin SixC1-x:H/Al configuration for the laser scanned photodiode (LSP) imaging detector is proposed and the read-out parameters improved. The effect of the sensing element structure, cell configuration and light source flux are investigated and correlated with the sensor output characteristics. Data reveals that for sensors with wide band gap doped layers an increase on the image signal optimized to the blue is achieved with a dynamic range of two orders of magnitude, a responsivity of 6 mA W-1 and a sensitivity of 17 muW cm(-2) at 530 nm. The main output characteristics such as image responsivity, resolution, linearity and dynamic range were analyzed under reverse, forward and short circuit modes. The results show that the sensor performance can be optimized in short circuit mode. A trade-off between the scan time and the required resolution is needed since the spot size limits the resolution due to the cross-talk between dark and illuminated regions leading to blurring effects.

Optical demultiplexer device operating in the visible spectrum

In this paper, we present results on the use of multilayered a-SiC:H heterostructures as a device for wavelength-division demultiplexing of optical signals. These devices are useful in optical communications applications that use the wavelength division multiplexing technique to encode multiple signals into the same transmission medium. The device is composed of two stacked p-i-n photodiodes, both optimized for the selective collection of photo generated carriers. Band gap engineering was used to adjust the photogeneration and recombination rate profiles of the intrinsic absorber regions of each photodiode to short and long wavelength absorption in the visible spectrum. The photocurrent signal using different input optical channels was analyzed at reverse and forward bias and under steady state illumination. A demux algorithm based on the voltage controlled sensitivity of the device was proposed and tested. An electrical model of the WDM device is presented and supported by the solution of the respective circuit equations.

Detection of anti-Giardia lamblia serum antibody among children of day care centers

OBJETIVES: To detect anti-Giardia lamblia serum antibodies in healthy children attending public day care centers and to assess serological tests as tools for estimating the prevalence of G. lamblia in endemic areas. METHODS: Three separate stool specimens and filter paper blood samples were collected from 147 children ranging from 0 to 6 years old. Each stool sample was processed using spontaneous sedimentation and zinc sulfate flotation methods. Blood samples were tested by indirect immunofluorescence (IIF) and enzyme-linked immunosorbent assay (ELISA) for Giardia IgG. RESULTS AND CONCLUSIONS: Of 147 individuals tested, 93 (63.3%) showed Giardia cysts in their feces. Using IIF and ELISA, serum antibodies were detected in 93 (63.3%) and 100 (68%) samples , respectively. Sensitivity of IIF and ELISA was 82% and 72%, respectively. However, ELISA revealed to be less specific (39%) than IIF (70%). IIF also showed a higher concordance with microscopic examination than ELISA.

Survival of adult AIDS patients in a reference hospital of a metropolitan area in Brazil

OBJECTIVE: To evaluate the influence of sociodemographic, clinical, and epidemiological factors in AIDS patients survival in a reference hospital. METHODS: A sample of 502 adult AIDS patients out of 1,494 AIDS cases registered in a hospital in Fortaleza, Brazil, was investigated between 1986 and 1998. Sixteen cases were excluded due to death at the moment of the AIDS diagnosis and 486 were analyzed in the study. Socioeconomic and clinical epidemiological were the variables studied. Statistical analysis was conducted using the Kaplan-Meier survival analysis and the Cox proportional hazards model. RESULTS: Three hundred and sixty two out of the 486 patients studied took at least one antiretroviral drug and their survival was ten times longer than those who did not take any drug (746 and 79 days, respectively, p <0.001). Patients who took two nucleoside reverse transcriptase inhibitors (NRTI) plus protease inhibitor were found to have higher survival rates (p <0.001). The risk of dying in the first year was significantly lower for patients who took NRTI and a protease inhibitor compared to those who took only NRTI. In addition, this risk was much lower from the second year on (0.10; 95%CI: 0.42-0.23). The risk of dying in the first year was significantly higher for less educated patients (15.58; 95%CI: 6.64-36.58) and those who had two or more systemic diseases (3.03; 95%CI: 1.74-5.25). After the first year post-diagnosis, there was no risk difference for these factors. CONCLUSIONS: Higher education revealed to exert a significant influence in the first-year survival. Antiretroviral drugs had a greater impact in the survival from the second year on. A more aggressive antiretroviral therapy started earlier could benefit those patients.

Bilateral semidirect product decompositions of transformation monoids

In this paper we consider the monoid OR(n) of all full transformations on a chain with n elements that preserve or reverse the orientation, as well as its submonoids OD(n) of all order-preserving or order-reversing elements, OP(n) of all orientation-preserving elements and O(n) of all order-preserving elements. By making use of some well known presentations, we show that each of these four monoids is a quotient of a bilateral semidirectproduct of two of its remarkable submonoids.

Photodiode with nanocrystalline Si/amorphous Si absorber bilayer

This letter reports a near-ultraviolet/visible/near-infrared n(+)-n-i-delta(i)-p photodiode with an absorber comprising a nanocrystalline silicon n layer and a hydrogenated amorphous silicon i layer. Device modeling reveals that the dominant source of reverse dark current is deep defect states in the n layer, and its magnitude is controlled by the i layer thickness. The photodiode with the 900/400 nm thick n-i layers exhibits a reverse dark current density of 3nA/cm(2) at -1V. Donor concentration and diffusion length of holes in the n layer are estimated from the capacitance-voltage characteristics and from the bias dependence of long-wavelength response, respectively. (C) 2011 American Institute of Physics. [doi: 10.1063/1.3660725]