A fast crack profile reconstitution model in nondestructive testing is developed using an arrayed eddy current sensor. The inverse problem is based on an iterative solving of the direct problem using genetic algorithms. In the direct problem, assuming a current excitation, the incident field produced by all the coils of the arrayed sensor is obtained by the translation and superposition of the ...

This paper proposes a holographic blind watermarking algorithm of the three-dimensional mesh model based on QR decomposition. Firstly the three-dimensional model is pre-processed by moving the model center to the coordinate origin and doing PCA analysis. Secondly the model’s geometric feature matrix is constructed by using the distance from the three-dimensional mesh model vortex to the model c...

This article considers inverse problems of shape recovery from noisy boundary data, where the forward problem involves the inversion of elliptic PDEs. The piecewise constant solution, a scaling and translation of a characteristic function, is described in terms of a smoother level set function. A fast and simple dynamic regularization method has been recently proposed that has a robust stopping...

The inversion of schema mappings has been identified as one of the fundamental operators for the development of a general framework for data exchange, data integration, and more generally, for metadata management. Given a mappingM from a schema S to a schema T, an inverse ofM is a new mapping that describes the reverse relationship from T to S, and that is semantically consistent with the relat...

due to its specific characteristics, special theoretical principles are involved in translation of religious text. the texts of this genre are classified into two categories of divine and non-divine each with its own considerations in the act of translation. nahj-al-balaghah is one of the non-divine islamic texts. two of the well-known translations of it into persian are those by seyed jafar sh...

This paper investigates the relationship between the Logical Algorithms formalism (LA) of Ganzinger and McAllester and Constraint Handling Rules (CHR). We present a translation scheme from LA to CHR: CHR with rule priorities and show that the metacomplexity theorem for LA can be applied to a subset of CHR via inverse translation. This result is compared with previous work. Inspired by the high-...

OBJECTIVE To evaluate the anterior shift of the body's center of gravity (CG) and the associated inertial forces produced by 2 styles of a partial forward lunge. SETTING Gait-analysis laboratory of a research institution. PARTICIPANTS 10 healthy volunteers. INTERVENTION 3 trials of each lunge. MAIN OUTCOME MEASURES Kinematic data were collected, and inertial reaction forces were resolve...

We conduct a complexity-theoretic study of focussed proof systems, relating the alternation of synchronous and asynchronous phases in a proof to an appropriate alternating time hierarchy, for instance the polynomial hierarchy. We propose a notion of ‘over-focussing’ that admits non-branching invertible rules during synchronous phases, due to the fact that deterministic computations can equally ...

Increased processing power and connectivity enable an integration of mobile devices into enterprise applications. The de facto standard for an enterprise integration is Web Service technology. Notifying devices of business events requires establishing an inbound connection to the devices. While establishing connections from mobile devices to enterprise systems is straight forward, the inverse w...

Based on log-polar mapping and phase correlation, this paper presents a novel digital image watermarking scheme that is invariant to rotation, scaling, and translation (RST). We embed watermark in the log-polar mappings of Fourier magnitude spectrum of original image, and use the phase correlation between the LPM of the original image and the LPM of the watermarked image to calculate the displa...