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.

Mid-Holocene climates of the Americas: a dynamical response to changed seasonality

Simulations of the climatic response to mid-Holocene (6 ka BP) orbital forcing with two coupled ocean–atmosphere models (FOAM and CSM) show enhancement of monsoonal precipitation in parts of the American Southwest, Central America and northernmost South America during Northern Hemisphere summer. The enhanced onshore flow that brings precipitation into Central America is caused by a northward displacement of the inter-tropical convergence zone, driven by cooling of the equatorial and warming of the northern subtropical and mid-latitude ocean. Ocean feedbacks also enhance precipitation over the American Southwest, although the increase in monsoon precipitation there is largely driven by increases in land-surface temperature. The northward shift in the equatorial precipitation band that causes enhanced precipitation in Central America and the American Southwest has a negative feedback effect on monsoonal precipitation in northern South America. The simulations demonstrate that mid-Holocene aridity in the mid-continent of North America is dynamically linked to the orbitally induced enhancement of the summer monsoon in the American Southwest, with a spatial structure (wet in the Southwest and dry in the mid-continent) similar to that found in strong monsoon years today. Changes in winter precipitation along the west coast of North America, in Central America and along the Gulf Coast, caused by southward-displacement of the westerly storm tracks, indicate that changes in the Northern Hemisphere winter monsoon also play a role in regional climate changes during the mid-Holocene. Although the simulations with FOAM and CSM differ in detail, the general mechanisms and patterns are common to both. The model results thus provide a coherent dynamical explanation for regional patterns of increased or decreased aridity shown by vegetation, lake status and aeolian data from the Americas

A perspectiva sociocultural e a formação de professores de línguas

This article aims to trace a historical development of language teacher education in Brazil and abroad, as well as to discuss the tenets of Vygotsky’s sociocultural perspective as a theoretical basis on which teacher development can be anchored in the contemporary world. Since learning to teach is now understood as a complex and long process of development, which results from the participation in social practices and contexts associated with teaching and learning, we intend to discuss how such a theory is in line with an interpretive view of reality and provides elements for the (re)construction and transformation of teaching practices. In this view, knowledge is understood as intimate and dynamically linked to experience, highlighting the role of human agency in our own development.

Co-simulation Methodologies for Hybrid and Electric Vehicle Dynamics

In recent decades, full electric and hybrid electric vehicles have emerged as an alternative to conventional cars due to a range of factors, including environmental and economic aspects. These vehicles are the result of considerable efforts to seek ways of reducing the use of fossil fuel for vehicle propulsion. Sophisticated technologies such as hybrid and electric powertrains require careful study and optimization. Mathematical models play a key role at this point. Currently, many advanced mathematical analysis tools, as well as computer applications have been built for vehicle simulation purposes. Given the great interest of hybrid and electric powertrains, along with the increasing importance of reliable computer-based models, the author decided to integrate both aspects in the research purpose of this work. Furthermore, this is one of the first final degree projects held at the ETSII (Higher Technical School of Industrial Engineers) that covers the study of hybrid and electric propulsion systems. The present project is based on MBS3D 2.0, a specialized software for the dynamic simulation of multibody systems developed at the UPM Institute of Automobile Research (INSIA). Automobiles are a clear example of complex multibody systems, which are present in nearly every field of engineering. The work presented here benefits from the availability of MBS3D software. This program has proven to be a very efficient tool, with a highly developed underlying mathematical formulation. On this basis, the focus of this project is the extension of MBS3D features in order to be able to perform dynamic simulations of hybrid and electric vehicle models. This requires the joint simulation of the mechanical model of the vehicle, together with the model of the hybrid or electric powertrain. These sub-models belong to completely different physical domains. In fact the powertrain consists of energy storage systems, electrical machines and power electronics, connected to purely mechanical components (wheels, suspension, transmission, clutch…). The challenge today is to create a global vehicle model that is valid for computer simulation. Therefore, the main goal of this project is to apply co-simulation methodologies to a comprehensive model of an electric vehicle, where sub-models from different areas of engineering are coupled. The created electric vehicle (EV) model consists of a separately excited DC electric motor, a Li-ion battery pack, a DC/DC chopper converter and a multibody vehicle model. Co-simulation techniques allow car designers to simulate complex vehicle architectures and behaviors, which are usually difficult to implement in a real environment due to safety and/or economic reasons. In addition, multi-domain computational models help to detect the effects of different driving patterns and parameters and improve the models in a fast and effective way. Automotive designers can greatly benefit from a multidisciplinary approach of new hybrid and electric vehicles. In this case, the global electric vehicle model includes an electrical subsystem and a mechanical subsystem. The electrical subsystem consists of three basic components: electric motor, battery pack and power converter. A modular representation is used for building the dynamic model of the vehicle drivetrain. This means that every component of the drivetrain (submodule) is modeled separately and has its own general dynamic model, with clearly defined inputs and outputs. Then, all the particular submodules are assembled according to the drivetrain configuration and, in this way, the power flow across the components is completely determined. Dynamic models of electrical components are often based on equivalent circuits, where Kirchhoff’s voltage and current laws are applied to draw the algebraic and differential equations. Here, Randles circuit is used for dynamic modeling of the battery and the electric motor is modeled through the analysis of the equivalent circuit of a separately excited DC motor, where the power converter is included. The mechanical subsystem is defined by MBS3D equations. These equations consider the position, velocity and acceleration of all the bodies comprising the vehicle multibody system. MBS3D 2.0 is entirely written in MATLAB and the structure of the program has been thoroughly studied and understood by the author. MBS3D software is adapted according to the requirements of the applied co-simulation method. Some of the core functions are modified, such as integrator and graphics, and several auxiliary functions are added in order to compute the mathematical model of the electrical components. By coupling and co-simulating both subsystems, it is possible to evaluate the dynamic interaction among all the components of the drivetrain. ‘Tight-coupling’ method is used to cosimulate the sub-models. This approach integrates all subsystems simultaneously and the results of the integration are exchanged by function-call. This means that the integration is done jointly for the mechanical and the electrical subsystem, under a single integrator and then, the speed of integration is determined by the slower subsystem. Simulations are then used to show the performance of the developed EV model. However, this project focuses more on the validation of the computational and mathematical tool for electric and hybrid vehicle simulation. For this purpose, a detailed study and comparison of different integrators within the MATLAB environment is done. Consequently, the main efforts are directed towards the implementation of co-simulation techniques in MBS3D software. In this regard, it is not intended to create an extremely precise EV model in terms of real vehicle performance, although an acceptable level of accuracy is achieved. The gap between the EV model and the real system is filled, in a way, by introducing the gas and brake pedals input, which reflects the actual driver behavior. This input is included directly in the differential equations of the model, and determines the amount of current provided to the electric motor. For a separately excited DC motor, the rotor current is proportional to the traction torque delivered to the car wheels. Therefore, as it occurs in the case of real vehicle models, the propulsion torque in the mathematical model is controlled through acceleration and brake pedal commands. The designed transmission system also includes a reduction gear that adapts the torque coming for the motor drive and transfers it. The main contribution of this project is, therefore, the implementation of a new calculation path for the wheel torques, based on performance characteristics and outputs of the electric powertrain model. Originally, the wheel traction and braking torques were input to MBS3D through a vector directly computed by the user in a MATLAB script. Now, they are calculated as a function of the motor current which, in turn, depends on the current provided by the battery pack across the DC/DC chopper converter. The motor and battery currents and voltages are the solutions of the electrical ODE (Ordinary Differential Equation) system coupled to the multibody system. Simultaneously, the outputs of MBS3D model are the position, velocity and acceleration of the vehicle at all times. The motor shaft speed is computed from the output vehicle speed considering the wheel radius, the gear reduction ratio and the transmission efficiency. This motor shaft speed, somehow available from MBS3D model, is then introduced in the differential equations corresponding to the electrical subsystem. In this way, MBS3D and the electrical powertrain model are interconnected and both subsystems exchange values resulting as expected with tight-coupling approach.When programming mathematical models of complex systems, code optimization is a key step in the process. A way to improve the overall performance of the integration, making use of C/C++ as an alternative programming language, is described and implemented. Although this entails a higher computational burden, it leads to important advantages regarding cosimulation speed and stability. In order to do this, it is necessary to integrate MATLAB with another integrated development environment (IDE), where C/C++ code can be generated and executed. In this project, C/C++ files are programmed in Microsoft Visual Studio and the interface between both IDEs is created by building C/C++ MEX file functions. These programs contain functions or subroutines that can be dynamically linked and executed from MATLAB. This process achieves reductions in simulation time up to two orders of magnitude. The tests performed with different integrators, also reveal the stiff character of the differential equations corresponding to the electrical subsystem, and allow the improvement of the cosimulation process. When varying the parameters of the integration and/or the initial conditions of the problem, the solutions of the system of equations show better dynamic response and stability, depending on the integrator used. Several integrators, with variable and non-variable step-size, and for stiff and non-stiff problems are applied to the coupled ODE system. Then, the results are analyzed, compared and discussed. From all the above, the project can be divided into four main parts: 1. Creation of the equation-based electric vehicle model; 2. Programming, simulation and adjustment of the electric vehicle model; 3. Application of co-simulation methodologies to MBS3D and the electric powertrain subsystem; and 4. Code optimization and study of different integrators. Additionally, in order to deeply understand the context of the project, the first chapters include an introduction to basic vehicle dynamics, current classification of hybrid and electric vehicles and an explanation of the involved technologies such as brake energy regeneration, electric and non-electric propulsion systems for EVs and HEVs (hybrid electric vehicles) and their control strategies. Later, the problem of dynamic modeling of hybrid and electric vehicles is discussed. The integrated development environment and the simulation tool are also briefly described. The core chapters include an explanation of the major co-simulation methodologies and how they have been programmed and applied to the electric powertrain model together with the multibody system dynamic model. Finally, the last chapters summarize the main results and conclusions of the project and propose further research topics. In conclusion, co-simulation methodologies are applicable within the integrated development environments MATLAB and Visual Studio, and the simulation tool MBS3D 2.0, where equation-based models of multidisciplinary subsystems, consisting of mechanical and electrical components, are coupled and integrated in a very efficient way.

It’s a workflow engine. It’s working with linked data. It’s repository! – Supporting electronic thesis related processes in University of Helsinki library

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Linked Data at the Spanish National Library and the application of IFLA RDFS models

The Spanish National Library (Biblioteca Nacional de España1. BNE) and the Ontology Engineering Group2 of Universidad Politécnica de Madrid are working on the joint project ?Preliminary Study of Linked Data?, whose aim is to enrich the Web of Data with the BNE authority and bibliographic records. To this end, they are transforming the BNE information to RDF following the Linked Data principles3 proposed by Tim Berners Lee.

datos.bne.es: A library linked dataset

We describe the datos.bne.es library dataset. The dataset makes available the authority and bibliography catalogue from the Biblioteca Nacional de España (BNE, National Library of Spain) as Linked Data. The catalogue contains around 7 million authority and bibliographic records. The records in MARC 21 format were transformed to RDF and modelled using IFLA (International Federation of Library Associations) ontologies and other well-established vocabularies such as RDA (Resource Description and Access) or the Dublin Core Metadata Element Set. A tool named MARiMbA automatized the RDF generation process and the data linkage to DBpedia and other library linked data resources such as VIAF (Virtual International Authority File) or GND (Gemeinsame Normdatei, the authority dataset from the German National Library).

datos.bne.es and MARiMbA: an insight into Library Linked Data

Purpose – Linked data is gaining great interest in the cultural heritage domain as a new way for publishing, sharing and consuming data. The paper aims to provide a detailed method and MARiMbA a tool for publishing linked data out of library catalogues in the MARC 21 format, along with their application to the catalogue of the National Library of Spain in the datos.bne.es project. Design/methodology/approach – First, the background of the case study is introduced. Second, the method and process of its application are described. Third, each of the activities and tasks are defined and a discussion of their application to the case study is provided. Findings – The paper shows that the FRBR model can be applied to MARC 21 records following linked data best practices, librarians can successfully participate in the process of linked data generation following a systematic method, and data sources quality can be improved as a result of the process. Originality/value – The paper proposes a detailed method for publishing and linking linked data from MARC 21 records, provides practical examples, and discusses the main issues found in the application to a real case. Also, it proposes the integration of a data curation activity and the participation of librarians in the linked data generation process.

The origin of a Robertsonian chromosomal translocation in house mice inferred from linked microsatellite markers

The Western European house mouse, Mus domesticus, includes many distinct Robertsonian (Rb) chromosomal races. Two competing hypotheses may explain the distribution of Rb translocations found in different populations: they may have arisen independently multiple times or they may have arisen once and been spread through long distance dispersal. We investigated the origin of the Rb 5.15 translocation using 6 microsatellite loci linked to the centromeres of chromosomes 5 and 15 in 84 individuals from 3 Rb populations and 4 neighboring standard-karyotype populations. Microsatellite variation on the 5.15 metacentric chromosomes was significantly reduced relative to the amount of variation found on acrocentric chromosomes 5 and 15, suggesting that linked microsatellite loci can track specific mutational events. Phylogenetic analyses resulted in trees which are consistent with multiple origins of the 5.15 metacentric found in the three Rb populations. These results suggest that cytologically indistinguishable mutations have arisen independently in natural populations of house mice.

Moratorium marchers with linked arms in Brisbane 1970

Demonstrators in Brisbane, Australia with banners and flags during Moratorium march 1970.

Kidney and cloaca function in the estuarine crocodile (Crocodylus porosus) at different salinities: Evidence for solute-linked water uptake

Kidney function and the role of the cloacal complex in osmoregulation was investigated in estuarine crocodile (Crocodylus porosus) exposed to three environmental salinities: hypo-, iso- and hyperosmotic to the plasma. Plasma homeostasis was maintained over the range of salinities. Antidiuresis occurred with increased salinity. Although urine from the kidneys retained an osmotic pressure between 77% and 82% of the plasma, over 93% and 98% of plasma chloride filtered at the glomeruli was reabsorbed during passage through the kidneys under hypo and hyperosmotic conditions, respectively, and only 64% in iso-osmotic water. The kidneys were the primary site of sodium reabsorption under hypo-and hyperosmotic conditions. Secondary processing of urine during storage in the cloaca varied with salinity. During post renal storage of urine, the difference in urine osmotic pressure increased from -26.1 +/- 15.5 to 35.66 +/- 9.29 mOsM with increased salinity, and potassium concentration of urine increased over 3-fold in C. porosus from freshwater. The almost complete reabsorption of both sodium and chloride under hyperosmotic conditions indicates the necessity for secretory activity by the lingual salt glands. The osmoregulatory response of the kidneys and cloacal complex to environmental salinity is both plastic and complementary. (C) 1998 Elsevier Science Inc.

Stage-specific proteophosphoglycan from Leishmania mexicana amastigotes - Structural characterization of novel mono-, di-, and triphosphorylated phosphodiester-linked oligosaccharides

Intracellular amastigotes of the protozoan parasite Leishmania mexicana secrete a macromolecular proteophosphoglycan (aPPG) into the phagolysosome of their host cell, the mammalian macrophage. The structures of aPPG glycans were analyzed by a combination of high pH anion exchange high pressure liquid chromatography, gas chromatography-mass spectrometry, enzymatic digestions, electrospray-mass spectrometry as well as H-1 and P-31 NMR spectroscopy. Some glycans are identical to oligosaccharides known from Leishmania mexicana promastigote lipophosphoglycan and secreted acid phosphatase, However, the majority of the aPPG glycans represent amastigote stage-specific and novel structures. These include neutral glycans ([Glc beta(1-3)](1-2)Gal beta 1-4Man, Gal beta 1-3Gal beta 1-4Man, Gal beta 1-3Glc beta 1-3Gal beta 1-4Man), several monophosphorylated glycans containing the conserved phosphodisaccharide backbone (R-3-[PO4-6-Gal]beta 1-4Man) but carrying stage-specific modifications (R = Gal beta 1-, [Glc beta 1-3](1-2)Glc beta 1-), and monophosphorylated aPPG tri- and tetrasaccharides that are uniquely phosphorylated on the terminal hexose (PO4-6-Glc beta 1-3Gal beta 1-4Man, PO4-6-Glc beta 1-3Glc beta 1-3Gal beta 1-4Man, PO4-6-Gal beta 1-3Glc beta 1-3Gal beta 1-4Man), In addition aPPG contains highly unusual di- and triphosphorylated glycans whose major species are PO4-6-Glc beta 1-3Glc beta 1-3[PO4-6-Gal]beta 1-4Man, PO4-6-Gal beta 1-3Glc beta 1-3 [PO4-6-Gal]beta 1-4Man, PO4-6-GaL beta 1-3Glc beta 1-3Glc beta 1-3[PO4-6-Gal]beta 1-4Man, PO4-6-Glc beta 1-3[PO4-6-Glc]beta 1-3[PO4-6-Gal]beta 1-4Man, PO4-6Gal beta 1-3[PO4-6-Glc]beta 1-3Glc beta 1-3[PO4-6-Gal]beta 1-4Man, and PO4-6-Glc beta 1-3[PO4-6-Glc]beta 1-3Glc beta 1-3[PO4-6-Gal]beta 1-4Man. These glycans are linked together by the conserved phosphodiester R-Man alpha 1-PO4-6-Gal-R or the novel phosphodiester R-Man alpha 1-PO4-6-Glc-R and are connected to Ser(P) of the protein backbone most likely via the linkage R-Man alpha 1-PO4-Ser. The variety of stage-specific glycan structures in Leishmania mexicana aPPG suggests the presence of developmentally regulated amastigote glycosyltransferases which may be potential anti-parasite drug targets.