Dynamic and Transparent Analysis of Commodity Production Systems

We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for virtualization available nowadays on all commodity machines, our framework is completely transparent to the system under analysis and it guarantees isolation of the analysis tools running on its top. Thus, the internals of the kernel of the running system needs not to be modified and the whole platform runs unaware of the framework. Moreover, errors in the analysis tools do not affect the running system and the framework. This is accomplished by installing a minimalistic virtual machine monitor and migrating the system, as it runs, into a virtual machine. In order to demonstrate the potentials of our framework we developed an interactive kernel debugger, nicknamed HyperDbg. HyperDbg can be used to debug any critical kernel component, and even to single step the execution of exception and interrupt handlers.Comment: 10 pages, To appear in the 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, 20-24 September 201

Analysis of process variables via CFD to evaluate the performance of a FCC riser

Feedstock conversion and yield products are studied through a 3D model simulating the main reactor of the fluid catalytic cracking (FCC) process. Computational fluid dynamic (CFD) is used with Eulerian-Eulerian approach to predict the fluid catalytic cracking behavior. The model considers 12 lumps with catalyst deactivation by coke and poisoning by alkaline nitrides and polycyclic aromatic adsorption to estimate the kinetic behavior which, starting from a given feedstock, produces several cracking products. Different feedstock compositions are considered. The model is compared with sampling data at industrial operation conditions. The simulation model is able to represent accurately the products behavior for the different operating conditions considered. All the conditions considered were solved using a solver ANSYS CFX 14.0. The different operation process variables and hydrodynamic effects of the industrial riser of a fluid catalytic cracking (FCC) are evaluated. Predictions from the model are shown and comparison with experimental conversion and yields products are presented; recommendations are drawn to establish the conditions to obtain higher product yields in the industrial process

Cooperation and Intertrade between Community Currencies

Cooperation, interchange or intertrade of complementary currencies is not yet very common, perhaps of because the funding impulse of most complementary currencies does not cover the question of interchange and cooperation yet, or because theoretical aspects are not often studied. The article describes money or currency as an instrument of cooperation, based on a sociological and institutional economics background. It then postulates currency as an operating system and focuses on the technical terms of trade if one would try to establish cooperation between such systems. Basic principles of interchange and intertrade, which are necessary for success, are presented, such as the ideas of trade balance, compensation funds, exchange rates and clearing, set-points and limits, references, anchoring money and tolls and taxes. Further some aspects of governance and negotiation are discussed and a nested framework of rules is adapted to currencies. As an Appendix a case study of the Zurich region is presented where a process of negotiation and building of an interchange network between several CC-groups is on-going

Ischemic preconditioning attenuates portal venous plasma concentrations of purines following warm liver ischemia in man

Background/Aims: Degradation of adenine nucleotides to adenosine has been suggested to play a critical role in ischemic preconditioning (IPC). Thus, we questioned in patients undergoing partial hepatectomy whether (i) IPC will increase plasma purine catabolites and whether (ii) formation of purines in response to vascular clamping (Pringle maneuver) can be attenuated by prior IPC. Methods: 75 patients were randomly assigned to three groups: group I underwent hepatectomy without vascular clamping; group II was subjected to the Pringle maneuver during resection, and group III was preconditioned (10 min ischemia and 10 min reperfusion) prior to the Pringle maneuver for resection. Central, portal venous and arterial plasma concentrations of adenosine, inosine, hypoxanthine and xanthine were determined by high-performance liquid chromatography. Results: Duration of the Pringle maneuver did not differ between patients with or without IPC. Surgery without vascular clamping had only a minor effect on plasma purine transiently increased. After the Pringle maneuver alone, purine plasma concentrations were most increased. This strong rise in plasma purines caused by the Pringle maneuver, however, was significantly attenuated by IPC. When portal venous minus arterial concentration difference was calculated for inosine or hypoxanthine, the respective differences became positive in patients subjected to the Pringle maneuver and were completely prevented by preconditioning. Conclusion: These data demonstrate that (i) IPC increases formation of adenosine, and that (ii) the unwanted degradation of adenine nucleotides to purines caused by the Pringle maneuver can be attenuated by IPC. Because IPC also induces a decrease of portal venous minus arterial purine plasma concentration differences, IPC might possibly decrease disturbances in the energy metabolism in the intestine as well. Copyright (C) 2005 S. Karger AG, Basel

Comparing the TiOblast and Osseospeed surfaces. Histomorphometric and histological analysis in humans

The aim of the present study was to compare two implant surfaces, the TiOblast (Astra Tech) surface, manufactured by blasting the surface and already present in literature and the Osseospeed (Astra Tech) surface, manufactured by blasting and treating the surface with fluoride ions and recently launched onto the market with the modified surfaces of the latest generation. This study is part of a more extensive research project whose protocol required the insertion of 10 couples of implants; thus in the present discussion partial data are being taken into consideration, with an eye at collecting more data in the future, regarding both microscopy and histomorphometric histological analysis on 5 couples of implants. The purpose of the study is to investigate how the modified surfaces of the latest generation can guarantee a greater osseointegration both from a qualitative and quantitative level compared to the surfaces presently used and that they may represent the first example of "bioactivity", that is, an active interaction with the processes of new bone formation and tissue healing

La labor del síndico en el proceso de verificación de créditos en el concurso preventivo

El presente trabajo trata sobre la labor del síndico en los concursos preventivos, precisamente en el proceso de verificación de créditos. La inquietud se planteó tras haber estudiado en profundidad los concursos preventivos y las quiebras, como también las diferentes situaciones que pueden encontrarse en ellos. Pero no desde el punto de vista del proceso, ni de la letra de la ley, sino que se planteó desde el punto de vista de nuestro campo laboral, investigando acerca de funciones y tareas propias del Contador Público Nacional, al momento de tener que abordar una sindicatura concursal. La propuesta de este trabajo consiste en investigar sobre las distintas formas de verificación de un crédito en el pasivo concursal, la tarea del síndico durante ese proceso y la conclusión sobre ellos en el informe individual. Es por esto que el proceso de verificación de créditos es fundamental para la determinación del pasivo concursal y la emisión del informe individual, que debe ser confeccionado con absoluta objetividad y criterio profesional.Fil: Anzola, Francisco Hipólito. Universidad Nacional de Cuyo. Facultad de Ciencias Económicas.Fil: Morales, Martín Alejandro. Universidad Nacional de Cuyo. Facultad de Ciencias Económicas.Fil: Sánchez-Morchio, María Valentina. Universidad Nacional de Cuyo. Facultad de Ciencias Económicas.Fil: Videla-Martignoni, María Carolina. Universidad Nacional de Cuyo. Facultad de Ciencias Económicas

Stellar evolution through the ages: period variations in galactic RRab stars as derived from the GEOS database and TAROT telescopes

The theory of stellar evolution can be more closely tested if we have the opportunity to measure new quantities. Nowadays, observations of galactic RR Lyr stars are available on a time baseline exceeding 100 years. Therefore, we can exploit the possibility of investigating period changes, continuing the pioneering work started by V. P. Tsesevich in 1969. We collected the available times of maximum brightness of the galactic RR Lyr stars in the GEOS RR Lyr database. Moreover, we also started new observational projects, including surveys with automated telescopes, to characterise the O-C diagrams better. The database we built has proved to be a very powerful tool for tracing the period variations through the ages. We analyzed 123 stars showing a clear O-C pattern (constant, parabolic or erratic) by means of different least-squares methods. Clear evidence of period increases or decreases at constant rates has been found, suggesting evolutionary effects. The median values are beta=+0.14 day/Myr for the 27 stars showing a period increase and beta=-0.20 day/Myr for the 21 stars showing a period decrease. The large number of RR Lyr stars showing a period decrease (i.e., blueward evolution) is a new and intriguing result. There is an excess of RR Lyr stars showing large, positive $\beta$ values. Moreover, the observed beta values are slightly larger than those predicted by theoretical models.Comment: 15 pages, 9 figures; to be published in Astronomy and Astrophysics; full resolution version available at http://dbrr.ast.obs-mip.fr/tarot/publis/publis.htm