SimSight: A Virtual Machine Based Dynamic Call Graph Generator

One problem with using component-based software development approach is that once software modules are reused over generations of products, they form legacy structures that can be challenging to understand, making validating these systems difficult. Therefore, tools and methodologies that enable engineers to see interactions of these software modules will enhance their ability to make these software systems more dependable. To address this need, we propose SimSight, a framework to capture dynamic call graphs in Simics, a widely adopted commercial full-system simulator. Simics is a software system that simulates complete computer systems. Thus, it performs nearly identical tasks to a real system but at a much lower speed while providing greater execution observability. We have implemented SimSight to generate dynamic call graphs of statically and dynamically linked functions in x86/Linux environment. A case study illustrates how we can use SimSight to identify sources of software errors. We then evaluate its performance using 12 integer programs from SPEC CPU2006 benchmark suite.

An ice machine adapted into an autonomous photovoltaic system without batteries using a variable-speed drive

The adaptation of a commercially available ice machine for autonomous photovoltaic operation without batteries is presented. In this adaptation a 1040 W(p) photovoltaic array directly feeds a variable-speed drive and a 24 V(dc) source. The drive runs an induction motor coupled by belt-and-pulley to an open reciprocating compressor, while the dc source supplies a solenoid valve and the control electronics. Motor speed and refrigerant evaporation pressure are set aiming at continuously matching system power demand to photovoltaic power availability. The resulting system is a simple integration of robust, standard, readily available parts. It produces 27 kg of ice in a clear-sky day and has ice production costs around US$0.30/kg. Although a few machine features might be specific to Brazil, its technical and economical guidelines are applicable elsewhere. Copyright (C); 2010 John Wiley & Sons, Ltd.

A comparative study between crack analysis and a mechanical test for assessing the polymerization stress of restorative composites

Objectives. To verify the hypothesis that crack analysis and a mechanical test would rank a series of composites in a similar order with respect to polymerization stress. Also, both tests would show similar relationships between stress and composite elastic modulus and/or shrinkage. Methods. Soda-lime glass discs (2-mm thick) with a central perforation (3.5-mm diameter) received four Vickers indentations 500 mu m from the cavity margin. The indent cracks were measured (500x) prior and 10 min after the cavity was restored with one of six materials (Kalore/KL, Gradia/GR, Ice/IC, Wave/WV, Majesty Flow/MF, and Majesty Posterior/MP). Stresses at the indent site were calculated based on glass fracture toughness and increase in crack length. Stress at the bonded interface was calculated using the equation for an internally pressurized cylinder. The mechanical test used a universal testing machine and glass rods (5-mm diameter) as substrate. An extensometer monitored specimen height (2 mm). Nominal stress was calculated dividing the maximum shrinkage force by the specimen cross-sectional area. Composite elastic modulus was determined by nanoindentation and post-gel shrinkage was measured using strain gages. Data were subjected to one-way ANOVA/Tukey or Kruskal-Wallis/Mann-Whitney tests (alpha: 5%). Results. Both tests grouped the composites in three statistical subsets, with small differences in overlapping between the intermediate subset (MF, WV) and the highest (MP, IC) or the lowest stress materials (KL, GR). Higher stresses were developed by composites with high modulus and/or high shrinkage. Significance. Crack analysis demonstrated to be as effective as the mechanical test to rank composites regarding polymerization stress. (c) 2012 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Heuristic methods for the single machine scheduling problem with different ready times and a common due date

The single machine scheduling problem with a common due date and non-identical ready times for the jobs is examined in this work. Performance is measured by the minimization of the weighted sum of earliness and tardiness penalties of the jobs. Since this problem is NP-hard, the application of constructive heuristics that exploit specific characteristics of the problem to improve their performance is investigated. The proposed approaches are examined through a computational comparative study on a set of 280 benchmark test problems with up to 1000 jobs.

Tap-Off Power From the Overhead Shield Wires of an HV Transmission Line

In recent years, there was an increase of ancillary service loads, such as signaling systems, inspection robots, surveillance cameras, and other monitoring devices distributed along high-voltage transmission lines which require low-power dc voltage supplies. This paper investigates the use of the induced voltage in the shield wires of an overhead 525 kV transmission line as a primary power source. Since phase current variations throughout the day affect the induced voltage in the overhead ground wire, a step-down dc-dc converter is used after rectification of the ac voltage to provide a regulated dc output voltage. The initial encouraging results obtained indicate that this form of power supply can be a feasible and cost-effective alternative for feeding small ancillary service loads. The simulation results are validated by field measurements as well as the installation of a 200 W voltage stabilization system prototype.

Safety illusion and error trap in a collectively-operated machine accident

Workplace accidents involving machines are relevant for their magnitude and their impacts on worker health. Despite consolidated critical statements, explanation centered on errors of operators remains predominant with industry professionals, hampering preventive measures and the improvement of production-system reliability. Several initiatives were adopted by enforcement agencies in partnership with universities to stimulate production and diffusion of analysis methodologies with a systemic approach. Starting from one accident case that occurred with a worker who operated a brake-clutch type mechanical press, the article explores cognitive aspects and the existence of traps in the operation of this machine. It deals with a large-sized press that, despite being endowed with a light curtain in areas of access to the pressing zone, did not meet legal requirements. The safety devices gave rise to an illusion of safety, permitting activation of the machine when a worker was still found within the operational zone. Preventive interventions must stimulate the tailoring of systems to the characteristics of workers, minimizing the creation of traps and encouraging safety policies and practices that replace judgments of behaviors that participate in accidents by analyses of reasons that lead workers to act in that manner.

Using Machine Learning Classifiers to Assist Healthcare-Related Decisions: Classification of Electronic Patient Records

Surveillance Levels (SLs) are categories for medical patients (used in Brazil) that represent different types of medical recommendations. SLs are defined according to risk factors and the medical and developmental history of patients. Each SL is associated with specific educational and clinical measures. The objective of the present paper was to verify computer-aided, automatic assignment of SLs. The present paper proposes a computer-aided approach for automatic recommendation of SLs. The approach is based on the classification of information from patient electronic records. For this purpose, a software architecture composed of three layers was developed. The architecture is formed by a classification layer that includes a linguistic module and machine learning classification modules. The classification layer allows for the use of different classification methods, including the use of preprocessed, normalized language data drawn from the linguistic module. We report the verification and validation of the software architecture in a Brazilian pediatric healthcare institution. The results indicate that selection of attributes can have a great effect on the performance of the system. Nonetheless, our automatic recommendation of surveillance level can still benefit from improvements in processing procedures when the linguistic module is applied prior to classification. Results from our efforts can be applied to different types of medical systems. The results of systems supported by the framework presented in this paper may be used by healthcare and governmental institutions to improve healthcare services in terms of establishing preventive measures and alerting authorities about the possibility of an epidemic.

Can neuroimaging be used as a support to diagnosis of borderline personality disorder? An approach based on computational neuroanatomy and machine learning

Several recent studies in literature have identified brain morphological alterations associated to Borderline Personality Disorder (BPD) patients. These findings are reported by studies based on voxel-based-morphometry analysis of structural MRI data, comparing mean gray-matter concentration between groups of BPD patients and healthy controls. On the other hand, mean differences between groups are not informative about the discriminative value of neuroimaging data to predict the group of individual subjects. In this paper, we go beyond mean differences analyses, and explore to what extent individual BPD patients can be differentiated from controls (25 subjects in each group), using a combination of automated-morphometric tools for regional cortical thickness/volumetric estimation and Support Vector Machine classifier. The approach included a feature selection step in order to identify the regions containing most discriminative information. The accuracy of this classifier was evaluated using the leave-one-subject-out procedure. The brain regions indicated as containing relevant information to discriminate groups were the orbitofrontal, rostral anterior cingulate, posterior cingulate, middle temporal cortices, among others. These areas, which are distinctively involved in emotional and affect regulation of BPD patients, were the most informative regions to achieve both sensitivity and specificity values of 80% in SVM classification. The findings suggest that this new methodology can add clinical and potential diagnostic value to neuroimaging of psychiatric disorders. (C) 2012 Elsevier Ltd. All rights reserved.

Estudios tafonómicos en foraminíferos bentónicos como proxy de hidrodinámica y sedimentología en el gradiente Río de La Plata – Océano Atlántico Sur Occidental

Los foraminíferos bentónicos representan un excelente proxy geológico, ya que sus caparazones son incorporados en el sedimento y pasan a comportarse como granos sedimentares durante los eventos de transporte y erosión, permitiendo así, el registro de condiciones y eventos que ocurren en los océanos. De este modo, son usados para describir patrones de hidrodinámica y evaluar índices de deposición, erosión y retrabajamiento del sedimento en los ambientes marinos. Concretamente, las regiones costeras representan zonas de alta complejidad ambiental, debido a que en ellas se da la mezcla de agua tanto de origen continental como marino, y a su vez, al efecto de la descarga fluvial que aporta material particulado del continente para el océano. El Río de la Plata (RdLP) representa el cuarto mayor estuario del mundo y el segundo del continente americano, lo cual convierte al sistema RdLP-Océano Atlántico en un complejo gradiente estuarino de interés en estudios sedimentológicos con posteriores aplicaciones paleo-climáticas y paleo-ecológicas del Cuaternario Superior. En el presente estudio, se registra a partir de las asociaciones muertas, para la región del estuario entrada de agua marina hasta la zona del frente termohalino. Dichas asociaciones se caracterizaron por especies típicas de plataforma y aguas frías. La región marina del RdlP registró los mayores porcentajes de abrasión y fragmentación de caparazones, indicando una zona de alta energía. Por otro lado, en la región más oceánica las asociaciones muertas reflejaron un transporte en dirección norte, influenciado por la pluma del RdlP. Cabe resaltar la presencia en esta región de una isla barrera, vestigio de una paleo-costa producto de una regresión Holocénica. Este local se caracterizó por un aumento de la abrasión y fragmentación mostrando la gran hidrodinámica presente. En todos los casos existió correlación entre las señales tafonómicas y los datos geo-químicos (sedimentología, pH, oxígeno disuelto, carbono orgánico y nitrógeno total)

A multiproxy assessment of organic pollution in shore sediments from the Río de la Plata Estuary, SW Atlantic

The study of organic pollution in estuaries is very relevant as they are transitional zones, which control the fluxes of water, nutrients, particles and organisms from and to the continental margins, rivers and oceans. The aims of this study are:(1) to evaluate organic pollution in coastal sediments of Montevideo, Río de la Plata Estuary by a multi-biomarker approach, (2) to identify major sources of organic pollutants through qualitative analysis using molecular indices, (3) to assess the relative contribution of different sources of hydrocarbons through quantitative source apportionment employing (PCA/MLR) as chemometric technique. Sampling surveys were carried out in July 2009, January 2010 and March 2011 in 37 stations along the middle portion of the Río de la Plata Estuary across the coast of Montevideo. In each station surface (0–2 cm depth) sediment samples were taken with a 0.05 m2 van Veen grab. The Soxhlet extracted organic compounds included aliphatic hydrocarbons (AHs) and steroids, analysed by gas chromatograph with flame ionization detector (GC-FID), linear alkylbenzenes (LABs) and polycyclic aromatic hydrocarbons (PAHs) quantified by gas chromatograph with mass spectrometer (GC/MS). All biomarkers presented the highest concentrations in the stations of Montevideo Bay indicating high levels of organic pollution. The combination of molecular indices and the chemometric technique showed that major sources of AHs and PAHs are petroleum inputs and combustion, due to oil transport and refinement, harbour activities and vehicular emissions.Major sources of LABs and steroids are urban and domestic sewage. Identification, quantification and source assignment of those organic compounds are very important to assess pollution and to give tools to help minimize the inputs into the environment

Distribución espacial de metales pesados y As en sedimentos superficiales de fondo del estuario del Río de la Plata

Los sedimentos estuarinos actúan como sumidero dediversos tipos de contaminantes, por lo que son utilizados como indicadores del impacto antropogénico. Entre estos aportes, los metales se destacan debido a que pueden generar efectos tóxicos y/o letales para la biota. Además son bioacumulables y se biomagnifican a través de la trama trófica acuática. El estuario del Río de la Plata (RdlP) constituye un área de desove y cría de peces y otros organismos de interés comercial, por lo que resulta relevante conocer la contaminación metálica. El RdlP tiene una superficie de 38.800 km2 y un caudal promedio de 24.045 m3s-1, siendo sus principales afluente los Ríos Paraná y Uruguay. El presente estudio analizó muestras de sedimento superficial de fondo, colectado en 26 sitios (año 2010). Se cuantificó el contenido de Al, As, Cd, Cr, Cu, Fe, Ni, Pb, Sc y Zn, a través del método USEPA 3050b y la técnica analítica ICP-OES. La exactitud y la precisión del método fueron evaluadas por material de referencia certificado. La granulometría del sedimento estudiado indicó la predominancia de sedimentos finos (limos y arcillas), en sitios con mayores contenidos metálicos. Las concentraciones obtenidas se compararon con los valores guía del Criteria for the Assessment of Sediment Quality in Quebec and Application Frameworks (de Canadá), utilizados como criterio de evaluación para legislación ambiental: TEL (threshold effect level) y PEL (probable effect level); además se utilizaron los niveles REL (rare effect level), OEL (occasional effect level) y FEL (frequent effect level). La concentración de As y Cu fue mayor al nivel TEL en varios sitios analizados (7,2 y 19 mg/kg respectivamente). Para ningún elemento la concentración fue mayor que el PEL. Este criterio de evaluación constituye una herramienta válida para el monitoreo de la contaminación de los sedimentos del estuario, indicando posibles efectos negativos sobre la biota del RdlP

Estudios tafonómicos en foraminíferos bentónicos como proxy de hidrodinámica y sedimentología en el gradiente Río de La Plata – Océano Atlántico Sur Occidental

Los foraminíferos bentónicos representan un excelente proxy geológico, ya que sus caparazones son incorporados en el sedimento y pasan a comportarse como granos sedimentares durante los eventos de transporte y erosión, permitiendo así, el registro de condiciones y eventos que ocurren en los océanos. De este modo, son usados para describir patrones de hidrodinámica y evaluar índices de deposición, erosión y retrabajamiento del sedimento en los ambientes marinos. Concretamente, las regiones costeras representan zonas de alta complejidad ambiental, debido a que en ellas se da la mezcla de agua tanto de origen continental como marino, y a su vez, al efecto de la descarga fluvial que aporta material particulado del continente para el océano. El Río de la Plata (RdLP) representa el cuarto mayor estuario del mundo y el segundo del continente americano, lo cual convierte al sistema RdLP-Océano Atlántico en un complejo gradiente estuarino de interés en estudios sedimentológicos con posteriores aplicaciones paleo-climáticas y paleo-ecológicas del Cuaternario Superior. En el presente estudio, se registra a partir de las asociaciones muertas, para la región del estuario entrada de agua marina hasta la zona del frente termohalino. Dichas asociaciones se caracterizaron por especies típicas de plataforma y aguas frías. La región marina del RdlP registró los mayores porcentajes de abrasión y fragmentación de caparazones, indicando una zona de alta energía. Por otro lado, en la región más oceánica las asociaciones muertas reflejaron un transporte en dirección norte, influenciado por la pluma del RdlP. Cabe resaltar la presencia en esta región de una isla barrera, vestigio de una paleo-costa producto de una regresión Holocénica. Este local se caracterizó por un aumento de la abrasión y fragmentación mostrando la gran hidrodinámica presente. En todos los casos existió correlación entre las señales tafonómicas y los datos geo-químicos (sedimentología, pH, oxígeno disuelto, carbono orgánico y nitrógeno total).

Estimación de la potencia eólica en una zona mediante el apoyo de estaciones meteorológicas de referencia y el empleo de técnicas estadísticas no paramétricas, funcionales y de machine learning: aplicación a las islas Canarias

Programa de doctorado: Tecnología industrial