Analyzing execution traces: critical-path analysis and distance analysis

International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a...     

An Analysis of Edge Detection by Using the Jensen-Shannon Divergence

This work constitutes a theoretical study of the edge-detection method by means of the Jensen-Shannon divergence, as proposed by the authors. The overall aim is to establish formally the suitability of the procedure of edge detection in digital images, as a step prior to segmentation. In specific, an analysis is made not only of the properties of the divergence used, but also of the method's sensitivity to the spatial variation, as well as the detection-error risk associated with the operating conditions due to the randomness of the spatial configuration of the pixels. Although the paper deals with the procedure based on the Jensen-Shannon divergence, some problems are also related to other methods based on local detection with a sliding window, and part of the study is focused to noisy and textured images.     

Generic remeshing of 3D triangular meshes with metric-dependent discrete voronoi diagrams

In this paper, we propose a generic framework for 3D surface remeshing. Based on a metric-driven Discrete Voronoi Diagram construction, our output is an optimized 3D triangular mesh with a user defined vertex budget. Our approach can deal with a wide range of applications, from high quality mesh generation to shape approximation. By using appropriate metric constraints the method generates isotropic or anisotropic elements. Based on point-sampling, our algorithm combines the robustness and theoretical strength of Delaunay criteria with the efficiency of entirely discrete geometry processing . Besides the general described framework, we show experimental results using isotropic, quadric-enhanced isotropic and anisotropic metrics which prove the efficiency of our method on large meshes, for a low computational cost.     

Triangular springs for modeling nonlinear membranes

This paper provides a formal connection between springs and continuum mechanics in the context of one-dimensional and two-dimensional elasticity. In the first stage, the equivalence between tensile springs and the finite element discretization of stretching energy of planar curves is established. Furthermore, when the strain is a quadratic function of stretch, this energy can be described with a new type of springs called tensile biquadratic springs. In the second stage, we extend this equivalence to nonlinear membranes (St Venant-Kirchhoff materials) on triangular meshes leading to triangular biquadratic and quadratic springs. Those tensile and angular springs produce isotropic deformations parameterized by Young modulus and Poisson ratios on unstructured meshes in an efficient and simple way. For a specific choice of the Poisson ratio, 1/3, we show that regular spring-mass models may be used realistically to simulate a membrane behavior. Finally, the different spring formulations are tested in pure traction and cloth simulation experiments.     

Recording and interpretation/analysis of tilt signals with five ASKANIA borehole tiltmeters at the KTB

In June 2003, a large scale injection experiment started at the Continental Deep Drilling site (KTB) in Germany. A tiltmeter array was installed which consisted of five high resolution borehole tiltmeters of the ASKANIA type, also equipped with three dimensional seismometers. For the next 11 months, 86 000 m(3) were injected into the KTB pilot borehole 4000 m deep. The average injection rate was approximately 200 l/min. The research objective was to observe and to analyze deformation caused by the injection into the upper crust at the kilometer range. A new data acquisition system was developed by Geo-Research Center Potsdam (GFZ) to master the expected huge amount of seismic and tilt data. Furthermore, it was necessary to develop a new preprocessing software called PREANALYSE for long-period time series. This software includes different useful functions, such as step and spike correction, interpolation, filtering, and spectral analysis. This worldwide unique installation offers the excellent opportunity of the separation of signals due to injection and due to environment by correlation of the data of the five stations with the ground water table and meteorological data.     

Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.     

Single-input observability of continuous-time systems

A universal input is an inputu with the property that, whenever two states give rise to a different output for some input, then they give rise to a different output foru. For an observable system,u is universal if the initial state can be reconstructed from the knowledge of the output foru. It is shown that, for continuous-time analytic systems, analytic universal inputs exist, and that, in the class ofC inputs, universality is a generic property. Stronger results are proved for polynomial systems.     

A short-term test using DDAVP for determination of the renal concentration capacity (author's transl)

A short-term test to determine renal concentrating ability without any water deprivation has been described. It consists of osmolatity determinations in three onehour urine portions from spontaneous voidings following an intranasal application of 7 microng of the synthetic analogue of vasopressin-DDAVP per 0,5 m2 body surface. The values of maximal urine osmalatity over 900 mosm/Kg H2O following DDAVP are considered normal whereas values under 600 mosm are consistent with impaired renal function. If, however, the maximal urine osmolality is in the so called "uncertain range" i.e. from 600 to 900 mosm, it is advisable to perform in the same patients also the classical concentration test based on a prolonged dehydration (26 h).