In this paper we present an interactive method for simulating deformable objects using skeletal constraints. We introduce a two-way coupling of a finite element model and a skeleton that is attached to this model. The skeleton pose is determined via inverse kinematics. The target positions of joints are either given by user interactions or forces imposed by the surrounding deformable body. The ...

The magnetohydodynamic (MHD) kinematics model describes the electromagnetic behavior of an electrically conducting fluid when its hydrodynamic properties are assumed to be known. In particular, the MHD kinematics equations can be used to simulate the magnetic field induced by a given velocity field. While prescribing the velocity field leads to a simpler model than the fully coupled MHD system,...

The equation (1) is solved by the finite element method. We use four corner eight nodes isoparametric elements. Algebraic system of equations for node field values is produced by Galerkin method. To find several modes simultaneously in arbitrary spectrum domain, we use subspace iteration method with frequency shift. If the permittivity and permeability of lossy filling depend on frequency, the ...

on the basis of a reproducing kernel space, an iterative algorithm for solving the inverse problem for heat equation with a nonlocal boundary condition is presented. the analytical solution in the reproducing kernel space is shown in a series form and the approximate solution vn is constructed by truncating the series to n terms. the convergence of vn to the analytical solution is also proved. ...

In this paper, we represent an inexact inverse subspace iteration method for computing a few eigenpairs of the generalized eigenvalue problem Ax = Bx [Q. Ye and P. Zhang, Inexact inverse subspace iteration for generalized eigenvalue problems, Linear Algebra and its Application, 434 (2011) 1697-1715 ]. In particular, the linear convergence property of the inverse subspace iteration is preserved.

Keeping the state space small is essential when verifying realtime systems using Timed Automata (TA). In the model-checker Uppaal, the merging operation has been used extensively in order to reduce the number of states. Actually, Uppaal’s merging technique applies within the more general setting of Parametric Timed Automata (PTA). The Inverse Method (IM ) for a PTA A is a procedure that synthes...

Linear logic presents a unified framework for describing and reasoning about stateful systems. Because of its view of hypotheses as resources, it supports such phenomena as concurrency, external and internal choice, and state transitions that are common in such domains as protocol verification, concurrent computation, process calculi and games. It accomplishes this unifying view by providing lo...