Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Conjugação e validação de controle isotípico IgG1-FITC para uso em citometria de fluxo

Em meados da década de 50 iniciou-se o desenvolvimento da citometria de fluxo, tecnologia que permite verificar características físico-químicas de células ou partículas suspensas em meio fluido. Esta tecnologia utiliza anticorpos monoclonais marcados com fluorocromos como ferramenta de investigação em diversas análises e necessita de controles isotípicos para definição da região negativa (background). Estes controles são constituídos por imunoglobulinas de mesmo isotipo e fluorocromo dos anticorpos testes, sendo o isotiocianato de fluoresceína (FITC) o marcador fluorescente mais utilizado na conjugação de anticorpos. Os controles isotípicos têm como função definir a fluorescência inespecífica (células negativas) e as regiões fluorescentes (células positivas). No presente estudo foi selecionado anticorpo monoclonal murino (AcMm) dirigido contra antígeno eritrocitário canino, produzido no Laboratório de Anticorpos Monoclonais do Hemocentro de Botucatu, o qual reage positivamente com hemácias de cães, mas nunca com leucócitos humanos, tendo, portanto, potencial utilidade como controle negativo em citometria de fluxo. A purificação do AcMm da subclasse IgG1 foi feita por cromatografia de afinidade em Proteína-A Sepharose, e o controle da purificação realizado por eletroforese em géis de ágarose e poliacrilamida (SDS-PAGE). A imunoglobulina purificada foi conjugada ao FITC e filtrado em coluna de Sephadex G-25 para separação das proteínas marcadas e não-marcadas. O AcMm conjugado foi testado contra hemácias de cães, e o êxito da conjugação comprovado por testes de fluorescência, sendo a mediana de positividade de 94,70. Frente a leucócitos humanos a mediana de positividade foi 0,03 contra 0,50 dos reagentes comerciais. Os testes estatísticos não-paramétricos de Wilcoxon e correlação de Spearman comprovaram a eficiência e validam o controle isotípico produzido em comparação aos reagentes comerciais testados.

Simulation results and applications of an advection bounded scheme to practical flows

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

During the initiation of fermentation overexpression of hexokinase PII in yeast transiently causes a similar deregulation of glycolysis as deletion of Tps1

In the yeast Saccharomyces cerevisiae a novel control exerted by TPS1 (=GGS1=FDP1=BYP1=CIF1=GLC6=TSS1)-encoded trehalose-6-phosphate synthase, is essential for restriction of glucose influx into glycolysis apparently by inhibiting hexokinase activity in vivo. We show that up to 50-fold overexpression of hexokinase does not noticeably affect growth on glucose or fructose in wild-type cells. However, it causes higher levels of glucose-6-phosphate, fructose-6-phosphate and also faster accumulation of fructose-1,6-bisphosphate during the initiation of fermentation. The levels of ATP and Pi correlated inversely with the higher sugar phosphate levels. In the first minutes after glucose addition, the metabolite pattern observed was intermediate between those of the tps1Δ mutant and tile wild-type strain. Apparently, during the start-up of fermentation hexokinase is more rate-limiting in the first section of glycolysis than phosphofructokinase. We have developed a method to measure the free intracellular glucose level which is based on the simultaneous addition of D-glucose and an equal concentration of radiolabelled L-glucose. Since the latter is not transported, the free intracellular glucose level can be calculated as the difference between the total B-glucose measured (intracellular + periplasmic/extracellular) and the total L-glucose measured (periplasmic/extracellular). The intracellular glucose level rose in 5 min after addition of 100 mM-glucose to 0.5-2 mM in the wild-type strain, ± 10 mm in a hxk1Δ hxk2Δ glk1Δ and 2-3 mM in a tps1Δ strain. In the strains overexpressing hexokinase PII the level of free intracellular glucose was not reduced. Overexpression of hexokinase PII never produced a strong effect on the rate of ethanol production and glucose consumption. Our results show that overexpression of hexokinase does not cause the same phenotype as deletion of Tps1. However, it mimics it transiently during the initiation of fermentation. Afterwards, the Tps1-dependent control system is apparently able to restrict Properly up to 50-fold higher hexokinase activity.

CH and C2 radicals characterization in natural gas turbulent diffusion flames

This paper reports the construction of an axisymmetric nonpremixed piloted jet burner, with well-defined initial and boundary conditions, known as the Delft burner, to assess turbulence-chemistry interaction in non-premixed turbulent flames. Detailed experimental information is described, involving hot-wire anemometry, thin-wire thermocouples and chemiluminescence visualization measurements. Radial profile of the axial mean velocity indicates excellent agreement between flow patterns developed within Delft installation and the one described herein. Chemiluminescence emissions from CH and C2 free-radicals were acquired with a CCD camera. Tomography reconstruction analysis was utilised to compare radical emissions and temperature spatial distributions. There was a strong dependence between temperature and CH/C 2 emissions. This is an indication that these radicals can be used in flame front studies.

Carbon dioxide evaporation in a single microchannel

Despite its importance for designing evaporators and condensers, a review of the literature shows that heat transfer data during phase change of carbon dioxide is very limited, mainly for microchannel flows. In order to give a contribution on this subject, an experimental study of CO 2 evaporation inside a 0.8 mm-hydraulic diameter microchannel was performed in this work. The average heat transfer coefficient along the microchannel was measured and visualization of the flow patterns was conducted. A total of 67 tests were performed at saturation temperature of 23.3°C for a heat flux of 1800 W/(m2°C). Vapor qualities ranged from 0.005 to 0.88 and mass flux ranged from 58 to 235 kg/(m2s). An average heat transfer coefficient of 9700 W/(m2°C) with a standard deviation of 35% was obtained. Nucleate boiling was found to characterize the flow regime for the test conditions. The dryout of the flow, characterized by the sudden reduction in the heat transfer coefficient, was identified at vapor qualities around 0.85. Flow visualization results showed three flow patterns. For low vapor qualities (up to about 0.25), plug flow was predominant, while slug flow occurred at moderated vapor qualities (from about 0.25 to 0.50). Annular flow was the flow pattern for higher vapor qualities. Copyright © 2006 by ABCM.

Towards a java bytecodes compiler for nios II soft-core processor

Reconfigurable computing is one of the most recent research topics in computer science. The Altera - Nios II soft-core processor can be included in a large set of reconfigurable architectures, especially because it is designed in software, allowing it to be configured according to the application. The recent growth in applications that demand reconfigurable computing made necessary the building of compilers that translate high level languages source codes into reconfigurable devices instruction sets. In this paper we present a compiler that takes as input the bytecodes generated by a Java front-end compiler and generates a set of instructions that attends to the Nios II processor instruction set rules. Our work shows how we process Java bytecodes to the intermediate code, in the Nios II instructions format, and build the control flow and the control dependence graphs. © 2009 IEEE.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Innovations in health care services: The CAALYX system

Purpose: This paper describes proposed health care services innovations, provided by a system called CAALYX (Complete Ambient Assisted Living eXperiment). CAALYX aimed to provide healthcare innovation by extending the state-of-the-art in tele-healthcare, by focusing on increasing the confidence of elderly people living autonomously, by building on the knowledge base of the most common disorders and respective characteristic vital sign changes for this age group. Methods: A review of the state-of-the-art on health care services was carried out. Then, extensive research was conducted on the particular needs of the elderly in relation to home health services that, if offered to them, could improve their day life by giving them greater confidence and autonomy. To achieve this, we addressed issues associated with the gathering of clinical data and interpretation of these data, as well as possibilities of automatically triggering appropriate clinical measures. Considering this initial work we started the identification of initiatives, ongoing works and technologies that could be used for the development of the system. After that, the implementation of CAALYX was done. Findings: The innovation in CAALYX system considers three main areas of contribution: (i) The Roaming Monitoring System that is used to collect information on the well-being of the elderly users; (ii) The Home Monitoring System that is aimed at helping the elders independently living at home being implemented by a device (a personal computer or a set top box) that supports the connection of sensors and video cameras that may be used for monitoring and for interaction with the elder; (iii) The Central Care Service and Monitoring System that is implemented by a Caretaker System where attention and care services are provided to elders, where actors as Caretakers, Doctors and Relatives are logically linked to elders. Innovations in each of these areas are presented here. Conclusions: The ageing European society is placing an added burden on future generations, as the 'elderly-to-working-age-people' ratio is set to steadily increase in the future. Nowadays, quality of life and fitness allows for most older persons to have an active life well into their eighties. Furthermore, many older persons prefer to live in their own house and choose their own lifestyle. The CAALYX system can have a clear impact in increasing older persons' autonomy, by ensuring that they do not need to leave their preferred environment in order to be properly monitored and taken care of. © 2011 Elsevier B.V. All rights reserved.

Population, territory and sustainable development: Summary

Spanish and French versions available in the Library

Population, territory and sustainable development

Includes bibliography

Estudo experimental do escoamento sobre placas planas munidas de protuberâncias quadradas e onduladas

Pós-graduação em Engenharia Mecânica - FEIS

Estudo experimental do escoamento em cavidades retangulares: padrões de escoamento e instabilidades hidrodinâmicas na camada cisalhante

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Controle da injeção de potências ativa e reativa em inversor de Geração Distribuída conectado à rede de distribuição em corrente alternada em baixa tensão, empregando LMIs com realimentação de estados e critérios de D-estabilidade

Pós-graduação em Engenharia Elétrica - FEIS

Recanalization after acute deep vein thrombosis

O processo de recanalização das veias dos membros inferiores, após um episódio de trombose venosa profunda aguda em pacientes anticoagulados com heparina e inibidores da vitamina K, faz parte da evolução natural da remodelagem do trombo venoso. Esse complexo processo de remodelagem envolve a adesão do trombo à parede da veia, à resposta inflamatória da parede do vaso, levando à organização e subsequente contração do trombo, à neovascularização e à lise espontânea de áreas no interior do trombo. A presença de fluxo arterial espontâneo em veias com trombose recanalizada tem sido descrita como secundária à neovascularização e se caracteriza pelo desenvolvimento de fluxo com padrão de fístulas arteriovenosas, identificadas por meio de mapeamento dúplex colorido. Nesta revisão, são discutidos alguns aspectos controversos da história natural da trombose venosa profunda, para uma melhor compreensão da sua evolução e do seu impacto sobre a doença venosa.