Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach

Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious false positive warnings and legitimate warnings that are not acted on. This paper reports automated support to help address these challenges using logistic regression models that predict the foregoing types of warnings from signals in the warnings and implicated code. Because examining many potential signaling factors in large software development settings can be expensive, we use a screening methodology to quickly discard factors with low predictive power and cost-effectively build predictive models. Our empirical evaluation indicates that these models can achieve high accuracy in predicting accurate and actionable static analysis warnings, and suggests that the models are competitive with alternative models built without screening.

Experimental comparative study on vortex-induced motion (VIM) of a monocolumn platform

An analysis methodology is presented as well as a comparison of results obtained from vortex-induced motion (VIM) model tests of the MonoGoM platform, a monocolumn floating unit designed for the Gulf of Mexico. The choice of scale between the model and the platform in which the tests took place was a very important issue that took into account the basin dimensions and mooring design. The tests were performed in three different basins: the IPT Towing Tank in Brazil (Sept. 2005), the NMRI Model Ship Experimental Towing Tank in Japan (Mar. 2007), and the NMRI Experimental Tank in Japan (Jun. 2008). The purpose is to discuss the most relevant issues regarding the concept, execution, and procedures to comparatively analyze the results obtained from VIM model tests, such as characteristic motion amplitudes, motion periods, and forces. The results pointed out the importance of considering the 2DOF in the model tests, i.e., the coexistence of the motions in both in-line and transverse directions. The approach employed in the tests was designed to build a reliable data set for comparison with theoretical and numerical models for VIM prediction, especially that of monocolumn platforms. [DOI: 10.1115/1.4003494]

Hydrothermal pretreatment of sugarcane bagasse using response surface methodology improves digestibility and ethanol production by SSF

Sugarcane bagasse was characterized as a feedstock for the production of ethanol using hydrothermal pretreatment. Reaction temperature and time were varied between 160 and 200A degrees C and 5-20 min, respectively, using a response surface experimental design. The liquid fraction was analyzed for soluble carbohydrates and furan aldehydes. The solid fraction was analyzed for structural carbohydrates and Klason lignin. Pretreatment conditions were evaluated based on enzymatic extraction of glucose and xylose and conversion to ethanol using a simultaneous saccharification and fermentation scheme. SSF experiments were conducted with the washed pretreated biomass. The severity of the pretreatment should be sufficient to drive enzymatic digestion and ethanol yields, however, sugars losses and especially sugar conversion into furans needs to be minimized. As expected, furfural production increased with pretreatment severity and specifically xylose release. However, provided that the severity was kept below a general severity factor of 4.0, production of furfural was below an inhibitory concentration and carbohydrate contents were preserved in the pretreated whole hydrolysate. There were significant interactions between time and temperature for all the responses except cellulose digestion. The models were highly predictive for cellulose digestibility (R (2) = 0.8861) and for ethanol production (R (2) = 0.9581), but less so for xylose extraction. Both cellulose digestion and ethanol production increased with severity, however, high levels of furfural generated under more severe pretreatment conditions favor lower severity pretreatments. The optimal pretreatment condition that gave the highest conversion yield of ethanol, while minimizing furfural production, was judged to be 190A degrees C and 17.2 min. The whole hydrolysate was also converted to ethanol using SSF. To reduce the concentration of inhibitors, the liquid fraction was conditioned prior to fermentation by removing inhibitory chemicals using the fungus Coniochaeta ligniaria.

Computational and experimental characterization of a low-cost piezoelectric valveless diaphragm pump

Flow pumps act as important devices in areas such as Bioengineering, Medicine, and Pharmacy, among other areas of Engineering, mainly for delivering liquids or gases at small-scale and precision flow rate quantities. Principles for pumping fluids based on piezoelectric actuators have been widely studied, since they allow the construction of pump systems for displacement of small fluid volumes with low power consumption. This work studies valveless piezoelectric diaphragm pumps for flow generation, which uses a piezoelectric ceramic (PZT) as actuator to move a membrane (diaphragm) up and down as a piston. The direction of the flow is guaranteed by valveless configuration based on a nozzle-diffuser system that privileges the flow in just one pumping direction. Most research efforts on development of valveless flow pump deal either with computational simulations based on simplified models or with simplified physical approaches based on analytical models. The main objective of this work is the study of a methodology to develop a low-cost valveless piezoelectric diaphragm flow pump using computational simulations, parametric study, prototype manufacturing, and experimental characterization. The parametric study has shown that the eccentricity of PZT layer and metal layer plays a key role in the performance of the pump.

Issues on the mean stress effect in fretting fatigue of a 7050-T7451 Al alloy posed by new experimental data

The aims of this work are: (i) to produce new experimental data for fretting fatigue considering the presence of a mean bulk stress and (ii) to assess two design methodologies against failure by fretting fatigue. Tests on a cylinder–flat contact configuration were conducted using a fretting apparatus mounted on a servo-hydraulic machine. The material used for both the pads and fatigue specimen was an aeronautical 7050-T7451 Al alloy. The experimental program was designed with all relevant parameters, apart from the mean bulk load (always applied before the contact loads), kept constant. The mean bulk stress varied from compressive to tensile values while maintaining a high peak pressure in order to encourage crack initiation. Two methodologies against fretting fatigue are proposed and confronted against the experimental data. The non-local stress-based methodology considers the evaluation of a critical plane fatigue criterion at the center of a process zone located beneath the contacting surfaces. The results showed that it correctly predicts crack initiation, but was not capable to provide successful prediction of the integrity of the specimens. Alternatively, we considered a crack arrest criterion which has the potential to provide a more complete description about the integrity of the specimens.

Dynamic identification of structures: experimental assessment of modal parameteres through methods in frequency domain, in time-frequency domain and model updating

Among the experimental methods commonly used to define the behaviour of a full scale system, dynamic tests are the most complete and efficient procedures. A dynamic test is an experimental process, which would define a set of characteristic parameters of the dynamic behaviour of the system, such as natural frequencies of the structure, mode shapes and the corresponding modal damping values associated. An assessment of these modal characteristics can be used both to verify the theoretical assumptions of the project, to monitor the performance of the structural system during its operational use. The thesis is structured in the following chapters: The first introductive chapter recalls some basic notions of dynamics of structure, focusing the discussion on the problem of systems with multiply degrees of freedom (MDOF), which can represent a generic real system under study, when it is excited with harmonic force or in free vibration. The second chapter is entirely centred on to the problem of dynamic identification process of a structure, if it is subjected to an experimental test in forced vibrations. It first describes the construction of FRF through classical FFT of the recorded signal. A different method, also in the frequency domain, is subsequently introduced; it allows accurately to compute the FRF using the geometric characteristics of the ellipse that represents the direct input-output comparison. The two methods are compared and then the attention is focused on some advantages of the proposed methodology. The third chapter focuses on the study of real structures when they are subjected to experimental test, where the force is not known, like in an ambient or impact test. In this analysis we decided to use the CWT, which allows a simultaneous investigation in the time and frequency domain of a generic signal x(t). The CWT is first introduced to process free oscillations, with excellent results both in terms of frequencies, dampings and vibration modes. The application in the case of ambient vibrations defines accurate modal parameters of the system, although on the damping some important observations should be made. The fourth chapter is still on the problem of post processing data acquired after a vibration test, but this time through the application of discrete wavelet transform (DWT). In the first part the results obtained by the DWT are compared with those obtained by the application of CWT. Particular attention is given to the use of DWT as a tool for filtering the recorded signal, in fact in case of ambient vibrations the signals are often affected by the presence of a significant level of noise. The fifth chapter focuses on another important aspect of the identification process: the model updating. In this chapter, starting from the modal parameters obtained from some environmental vibration tests, performed by the University of Porto in 2008 and the University of Sheffild on the Humber Bridge in England, a FE model of the bridge is defined, in order to define what type of model is able to capture more accurately the real dynamic behaviour of the bridge. The sixth chapter outlines the necessary conclusions of the presented research. They concern the application of a method in the frequency domain in order to evaluate the modal parameters of a structure and its advantages, the advantages in applying a procedure based on the use of wavelet transforms in the process of identification in tests with unknown input and finally the problem of 3D modeling of systems with many degrees of freedom and with different types of uncertainty.

Power Transient Analysis of Experimental Devices for Jules Horowitz Material Testing Reactor (JHR)

The objective of this thesis is the power transient analysis concerning experimental devices placed within the reflector of Jules Horowitz Reactor (JHR). Since JHR material testing facility is designed to achieve 100 MW core thermal power, a large reflector hosts fissile material samples that are irradiated up to total relevant power of 3 MW. MADISON devices are expected to attain 130 kW, conversely ADELINE nominal power is of some 60 kW. In addition, MOLFI test samples are envisaged to reach 360 kW for what concerns LEU configuration and up to 650 kW according to HEU frame. Safety issues concern shutdown transients and need particular verifications about thermal power decreasing of these fissile samples with respect to core kinetics, as far as single device reactivity determination is concerned. Calculation model is conceived and applied in order to properly account for different nuclear heating processes and relative time-dependent features of device transients. An innovative methodology is carried out since flux shape modification during control rod insertions is investigated regarding the impact on device power through core-reflector coupling coefficients. In fact, previous methods considering only nominal core-reflector parameters are then improved. Moreover, delayed emissions effect is evaluated about spatial impact on devices of a diffuse in-core delayed neutron source. Delayed gammas transport related to fission products concentration is taken into account through evolution calculations of different fuel compositions in equilibrium cycle. Provided accurate device reactivity control, power transients are then computed for every sample according to envisaged shutdown procedures. Results obtained in this study are aimed at design feedback and reactor management optimization by JHR project team. Moreover, Safety Report is intended to utilize present analysis for improved device characterization.

Methodology and models in erosion research: discussion and conclusions

This paper summarises the discussions which took place at the Workshop on Methodology in Erosion Research in Zürich, 2010, and aims, where possible, to offer guidance for the development and application of both in vitro and in situ models for erosion research. The prospects for clinical trials are also discussed. All models in erosion research require a number of choices regarding experimental conditions, study design and measurement techniques, and these general aspects are discussed first. Among in vitro models, simple (single- or multiple-exposure) models can be used for screening products regarding their erosive potential, while more elaborate pH cycling models can be used to simulate erosion in vivo. However, in vitro models provide limited information on intra-oral erosion. In situ models allow the effect of an erosive challenge to be evaluated under intra-oral conditions and are currently the method of choice for short-term testing of low-erosive products or preventive therapeutic products. In the future, clinical trials will allow longer-term testing. Possible methodologies for such trials are discussed.

Haemostatic agents used in periradicular surgery: an experimental study of their efficacy and tissue reactions

AIM: To evaluate the haemostatic efficacy and the histologic tissue responses after the application of different haemostatic agents used in periradicular surgery. METHODOLOGY: The study was conducted in the calvarium of six rabbits. Standardized bone defects (diameter 4 mm) were trephined, and different haemostatic agents were applied and compared with control defects: bone wax (left for 10 min), Stasis (ferric sulphate, left for 5 s), Expasyl (aluminium chloride, left for 2 min and left permanently in situ), and a combination of Expasyl (2 min) and Stasis (5 s). The sites were photographed before the application and after the removal of the haemostatic agents. Three independent examiners judged the initial and final bleeding (on the photographs) using a bleeding score for each site and treatment. The results were compared using Wilcoxon's signed rank test. For the histologic analysis, three animals were killed after 3 weeks and three animals after 12 weeks. Transverse, nondecalcified sections were stained with combined basic fuchsin and toluidine blue for descriptive histology. RESULTS: The most efficient haemorrhage control was provided by Expasyl in combination with Stasis and by Expasyl alone, whereas bone wax had the weakest bleeding reduction effect. The histologic analysis after 3 weeks demonstrated an inflammatory and foreign body tissue response towards all haemostatic agents. At 12 weeks, this tissue response was less pronounced but still present in sites treated with bone wax or Expasyl. In general, the inflammatory tissue reactions were limited to the bone defects, and never extended into the surrounding tissues. CONCLUSIONS: Expasyl alone or in combination with Stasis appeared to be the most efficient of tested agents to control the bleeding within the bony defects created in a rabbit calvarium model.

Present state of global wetland extent and wetland methane modelling: methodology of a model inter-comparison project (WETCHIMP)

The Wetland and Wetland CH4 Intercomparison of Models Project (WETCHIMP) was created to evaluate our present ability to simulate large-scale wetland characteristics and corresponding methane (CH4) emissions. A multi-model comparison is essential to evaluate the key uncertainties in the mechanisms and parameters leading to methane emissions. Ten modelling groups joined WETCHIMP to run eight global and two regional models with a common experimental protocol using the same climate and atmospheric carbon dioxide (CO2) forcing datasets. We reported the main conclusions from the intercomparison effort in a companion paper (Melton et al., 2013). Here we provide technical details for the six experiments, which included an equilibrium, a transient, and an optimized run plus three sensitivity experiments (temperature, precipitation, and atmospheric CO2 concentration). The diversity of approaches used by the models is summarized through a series of conceptual figures, and is used to evaluate the wide range of wetland extent and CH4 fluxes predicted by the models in the equilibrium run. We discuss relationships among the various approaches and patterns in consistencies of these model predictions. Within this group of models, there are three broad classes of methods used to estimate wetland extent: prescribed based on wetland distribution maps, prognostic relationships between hydrological states based on satellite observations, and explicit hydrological mass balances. A larger variety of approaches was used to estimate the net CH4 fluxes from wetland systems. Even though modelling of wetland extent and CH4 emissions has progressed significantly over recent decades, large uncertainties still exist when estimating CH4 emissions: there is little consensus on model structure or complexity due to knowledge gaps, different aims of the models, and the range of temporal and spatial resolutions of the models.

Experimental induction of psychotherapeutically relevant emotional states

Background: Emotion research in neuroscience targets brain structures and processes involved in discrete emotion categories (e.g. anger, fear, sadness) or dimensions (e.g. valence, arousal, approach-avoidance), and usually relies on carefully controlled experimental paradigms with standardized and often simple emotion-eliciting stimuli like e.g. unpleasant pictures. Emotion research in clinical psychology and psychotherapy is often interested in very subtle differences between emotional states, e.g. differences within emotion categories (e.g. assertive, self-protecting vs. rejecting, protesting anger or specific grief vs. global sadness), and/or the biographical, social, situational, or motivational contexts of the emotional experience, which are desired to be minimized in experimental neuroscientific research. Objective: In order to facilitate the experimental and neurophysiological investigation of psychotherapeutically relevant emotional experiences, the present study aims at developing a priming procedure to induce specific, therapeutically and biographically relevant emotional states under controlled experimental conditions. Methodology: N = 50 participants who reported negative feelings towards another close person were randomly assigned to 2 different conditions. They fulfilled 2 different sentence completion tasks that were supposed to prime either ‘therapeutically productive’ or ‘therapeutically unproductive’ emotional states and completed an expressive writing task and several self-report measures of specific emotion-related constructs. The sentence completion task consisted in max. 22 sentence stems drawn from psychotherapy patients’ statements that have been shown to be typical for productive or unproductive therapy sessions. The subjects of the present study completed these sentence stems with regard to their own negative feelings towards the close person. Results: There were a substantial inter-individual variability concerning the number of completed sentences, and significant correlations between number of completed sentences and problem activation in both conditions. No differences were observed in general mood or problem activation between both groups after priming. Descriptively, there were differences between groups concerning emotion regulation aspects. Significant differences between groups in resolution of negative feelings towards the other person were found. Discussion: The results point in the expected direction, however the small sample sizes (after exclusion of several subjects) and low power hinder the detection of convincing significant effects. More data is needed in order to evaluate the efficacy of this emotional priming procedure.

Experimental infection of the pig with Mycobacterium ulcerans: a novel model for studying the pathogenesis of Buruli ulcer disease.

BACKGROUND Buruli ulcer (BU) is a slowly progressing, necrotising disease of the skin caused by infection with Mycobacterium ulcerans. Non-ulcerative manifestations are nodules, plaques and oedema, which may progress to ulceration of large parts of the skin. Histopathologically, BU is characterized by coagulative necrosis, fat cell ghosts, epidermal hyperplasia, clusters of extracellular acid fast bacilli (AFB) in the subcutaneous tissue and lack of major inflammatory infiltration. The mode of transmission of BU is not clear and there is only limited information on the early pathogenesis of the disease available. METHODOLOGY/PRINCIPAL FINDINGS For evaluating the potential of the pig as experimental infection model for BU, we infected pigs subcutaneously with different doses of M. ulcerans. The infected skin sites were excised 2.5 or 6.5 weeks after infection and processed for histopathological analysis. With doses of 2 × 10(7) and 2 × 10(6) colony forming units (CFU) we observed the development of nodular lesions that subsequently progressed to ulcerative or plaque-like lesions. At lower inoculation doses signs of infection found after 2.5 weeks had spontaneously resolved at 6.5 weeks. The observed macroscopic and histopathological changes closely resembled those found in M. ulcerans disease in humans. CONCLUSION/SIGNIFICANCE Our results demonstrate that the pig can be infected with M. ulcerans. Productive infection leads to the development of lesions that closely resemble human BU lesions. The pig infection model therefore has great potential for studying the early pathogenesis of BU and for the development of new therapeutic and prophylactic interventions.

Reference list of sources used for two experimental data files dataBSRN and dataMixed

Increasing amounts of data is collected in most areas of research and application. The degree to which this data can be accessed, analyzed, and retrieved, is a decisive in obtaining progress in fields such as scientific research or industrial production. We present a novel methodology supporting content-based retrieval and exploratory search in repositories of multivariate research data. In particular, our methods are able to describe two-dimensional functional dependencies in research data, e.g. the relationship between ination and unemployment in economics. Our basic idea is to use feature vectors based on the goodness-of-fit of a set of regression models to describe the data mathematically. We denote this approach Regressional Features and use it for content-based search and, since our approach motivates an intuitive definition of interestingness, for exploring the most interesting data. We apply our method on considerable real-world research datasets, showing the usefulness of our approach for user-centered access to research data in a Digital Library system.

Desarrollo metodológico mediante análisis experimental de la valoración de la degradación en situación de incendio de uniones carpinteras en estructuras de madera laminada encolada

En situación de incendio, los elementos estructurales de madera laminada encolada (?MLE?) sufren una degradación térmica que les lleva a una pérdida de sección portante. El Código Técnico de la Edificación cuantifica esta pérdida en 0,55 - 0,70 mm/min por cada cara sometida a carga, según especie y densidad, pero no propone una metodología específica para el cálculo de uniones carpinteras en situación de incendio. Para conocer el comportamiento de este tipo de uniones en situación de incendio, la Plataforma de Ingeniería de la Madera Estructural (PEMADE) de la Universidad de Santiago de Compostela, el Instituto de Ciencias de la Construcción Eduardo Torroja y el Centro Tecnológico CIDEMCO-Tecnalia han realizado conjuntamente una serie de ensayos experimentales sobre probetas ensambladas con unión carpintera del tipo cola de milano. Se han sometido las probetas a cargas térmicas variantes en el tiempo siguiendo la norma ISO 834-1, tal y como indica el CTE. Se registró usando termopares la variación de la temperatura a lo largo de la duración del ensayo. En este trabajo se expone en detalle la metodología desarrollada para realizar los ensayos, así como los primeros resultados obtenidos. In a fire event, glued laminated timber ("GLULAM") elements suffer a thermal degradation that produces in them a decrease of bearing section. Spanish technical building normative (?CTE?) quantify this decreasing from 0.55 to 0.70 mm / min according to species and density, but does not propose a specific methodology for calculating carpenter joints in a fire situation. In order to understand the behavior of such joints in a fire situation, the Platform for Structural Timber Engineering (PEMADE) of University of Santiago de Compostela; Institute of Science Construction Eduardo Torroja and Technology Center CIDEMCO-Tecnalia conducted together a series of experimental tests on glulam specimens assembled with a carpenter union type called ?dovetail?. Specimens were subjected to thermal loads varying in time according to ISO 834-1, as indicated by the CTE. Thermocouples were inserted in the specimens, recording the temperature variation along the length of the test. This paper details the methodology developed for the test and the first results.