Concurrence control for transactions with priorities

Priority inversion occurs when a process is delayed by the actions of another process with less priority. With atomic transactions, the concurrency control mechanism can cause delays, and without taking priorities into account can be a source of priority inversion. Three traditional concurrency control algorithms are extended so that they are free from unbounded priority inversion

Extended Seismic Source Characterisation using Linear Programming Inversion in a Dual Formulation

A linear programming (LP) inversion method in a dual formulation was applied to reconstruct the kinematics of finite seismic ruptures. In a general setting, this approach can yield results from several data sets: strong ground motion, teleseismic waveforms or/and geodesic data (static deformation). The dual formulation involves the transformation of a normal solution space into an equivalent but reduced space: the dual space. The practical result of this transformation is a simpler inversion problem that is therefore faster to resolve, more stable and more robust. The developed algorithm includes a forward problem that calculates Green’s functions using a finite differences method with a 3D structure model. To evaluate the performance of this algorithm, we applied it to the reconstitution of a realistic slip distribution model from a data set synthesised using this model, i.e., the solution of the forward problem. Several other standard inversion approaches were applied to the same synthetic data for comparison

Concurrency control for transactions with priorities

Priority inversion occurs when a process is delayed by the actions of another process with less priority. With atomic transations, the concurrency control mechanism can cause delays, and without taking priorities into account can be a source of priority inversion. In this paper, three traditional concurrency control algorithms are extended so that they are free from unbounded priority inversion

Focal Mechanism and Rupture Process of 2004 Alhoceima (Morocco, Mw=6.2) Earthquake from Teleseismic and Regional Broad-Band Data.

We have study the focal mechanism of the 2004 Alhoceima (Morocco, Mw=6.2) earthquake using teleseismic and regional broad-band data. The solution obtained shows strike slip motion with planes striking respectively on NNE-SSW and WNW-ESE direction and horizontal pressure axes in NNW-SSE direction. We inverted body waves at teleseismic distances using as initial orientation the solution obtained from 126 P polarities. A model of extended source with rupture velocity between 2.5-3.0 km was used for the inversion. We find a complex rupture with four events at shallow depth (2-8 km). The rupture started at 6 km depth and propagated toward the south with maximum seismic moment releases at the first step (80% over a total of 1.8 x10e18 Nm). Similar result was obtained from slip inversion. An aftershock occurred on 12/03/04 (Mw=4.8) was used as empirical green function using broad-band data at re gional distances (40 to 300 km) to estimate the source time function. Comparison of these results with those obtained for the 1994 earthquake show similar behaviour, namely, a complex rupture process and apparently no relation of the 1994 and 2004 shocks with the Nekor fault, the most important geological feature in the studied area. The stress pattern derived from the 1994 and 2004 focal mechanisms are in agreement with the regional stress pattern in the Alboran Sea: horizontal compres- sion in NNW-SSE and horizontal extension in E-W direction

Remanent magnetization and 3-dimensional density model of the Kentucky anomaly region

A three-dimensional model of the Kentucky body was developed to fit surface gravity and long wavelength aeromagnetic data. Magnetization and density parameters for the model are much like those of Mayhew et al (1982). The magnetic anomaly due to the model at satellite altitude is shown to be much too small by itself to account for the anomaly measured by Magsat. It is demonstrated that the source region for the satellite anomaly is considerably more extensive than the Kentucky body sensu stricto. The extended source region is modeled first using prismatic model sources and then using dipole array sources. Magnetization directions for the source region found by inversion of various combinations of scalar and vector data are found to be close to the main field direction, implying the lack of a strong remanent component. It is shown by simulation that in a case (such as this) where the geometry of the source is known, if a strong remanent component is present its direction is readily detectable, but by scalar data as readily as vector data

Adaptive semi-linear inversion of strong gravitational lens imaging

We present a new pixelized method for the inversion of gravitationally lensed extended source images which we term adaptive semi-linear inversion (SLI). At the heart of the method is an h-means clustering algorithm which is used to derive a source plane pixelization that adapts to the lens model magnification. The distinguishing feature of adaptive SLI is that every pixelization is derived from a random initialization, ensuring that data discretization is performed in a completely different and unique way for every lens model parameter set. We compare standard SLI on a fixed source pixel grid with the new method and demonstrate the shortcomings of the former when modelling singular power-law ellipsoid (SPLE) lens profiles. In particular, we demonstrate the superior reliability and efficiency of adaptive SLI which, by design, fixes the number of degrees of freedom (NDOF) of the optimization and thereby removes biases present with other methods that allow the NDOF to vary. In addition, we highlight the importance of data discretization in pixel-based inversion methods, showing that adaptive SLI averages over significant systematics that are present when a fixed source pixel grid is used. In the case of the SPLE lens profile, we show how the method successfully samples its highly degenerate posterior probability distribution function with a single nonlinear search. The robustness of adaptive SLI provides a firm foundation for the development of a strong lens modelling pipeline, which will become necessary in the short-term future to cope with the increasing rate of discovery of new strong lens systems

Estimation of Ground Resisitivity Distribution Using 3D DRM Charge Simulation Modelling

Resistivity distribution sounding of the non-homogeneous earth is important for electrical ground system design, geophysical prospecting and survey or monitoring the groundwater flow level. The previous paper presented that the direct inversion of the electric resistivity distribution in a domain is possible from the impedance data measured over the domain boundary using the dual reciprocity boundary element modelling in two-dimentional field [1]. The proposed inversion technique is extended to the distribution in three-dimensional space [2]. This technique is capable of inversion without iteration and meshing of the domain. Electric field with spatially varying conductivity is governed by Laplace equation, which is transformed into a Poisson-type expression with an inhomogeneous term involving the conductivity difference as a source term. Dual reciprocity method (DRM) is a technique for transforming the domain integral associated with the inhomogeneous term in Poisson equation into the boundary integral expression. The resistivity distribution in the field can thus be identified from the data observed over its boundary, for which some examples are demonstrated [2]. In this paper, the examination is extended to the case where only the data measured over the single surface is used for the inversion

Non-parametric inversion of gravitational lensing systems with few images using a multi-objective genetic algorithm

Galaxies acting as gravitational lenses are surrounded by, at most, a handful of images. This apparent paucity of information forces one to make the best possible use of what information is available to invert the lens system. In this paper, we explore the use of a genetic algorithm to invert in a non-parametric way strong lensing systems containing only a small number of images. Perhaps the most important conclusion of this paper is that it is possible to infer the mass distribution of such gravitational lens systems using a non-parametric technique. We show that including information about the null space (i.e. the region where no images are found) is prerequisite to avoid the prediction of a large number of spurious images, and to reliably reconstruct the lens mass density. While the total mass of the lens is usually constrained within a few percent, the fidelity of the reconstruction of the lens mass distribution depends on the number and position of the images. The technique employed to include null space information can be extended in a straightforward way to add additional constraints, such as weak lensing data or time delay information.Comment: 9 pages, accepted for publication by MNRA