DefibViz: A Visualization Tool for the Assessment of Electrode Parameters on Transthoracic Defibrillation Thresholds

DefibViz is a software application developed for defibrillation simulation and visualization. It exploits both surface techniques and methods for the interactive exploration of volumetric datasets for the analysis of transthoracic defibrillation simulation results. DefibViz has a graphical user interface for the specification of the shape, size, position, and applied voltage of a defibrillator's electrodes. An option is provided for using 3D slice plane widgets, which operate on the volumetric datasets, such that the distribution of the voltage gradient induced by an electric shock can be visually inspected in various tissues throughout the myocardium and torso. One goal of DefibViz is to enhance understanding of how electrode parameters relate to the change of the voltage gradient distribution throughout the heart, which may help lead to optimal defibrillator design. DefibViz is significant, in that, it is built by using an open-source graphics and visualization framework providing a platform for subsequent modifiability and extensibility. Moreover, it integrates simulation and visualization techniques, which previously required the running of several independent software executables, into an enhanced, seamless, and comprehensive software application.     

Shape Optimization for Semi-Linear Elliptic Equations Based on an Embedding Domain Method

We study a class of shape optimization problems for semi-linear elliptic equations with Dirichlet boundary conditions in smooth domains in ℝ². A part of the boundary of the domain is variable as the graph of a smooth function. The problem is equivalently reformulated on a fixed domain. Continuity of the solution to the state equation with respect to domain variations is shown. This is used to obtain differentiability in the general case, and moreover a useful formula for the gradient of the cost functional in the case where the principal part of the differential operator is the Laplacian. Online publication 23 January 2004.     

Stable products of spheres in the non-linear coupling of oscillators or quasi-periodic motions

For generic families of vector fields or transformations, normally hyperbolic invariant products of spheres appear near partially elliptic rest points. To cite this article: M. Kammerer-Colin de Verdière, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Teaching proof in the context of physics

This paper describes an application of statics to geometrical proofs in the classroom. The aim of the study was to find out whether the use of concepts and arguments from statics can help students understand and produce proofs of geometrical theorems. The two theorems studied were (1) that the medians in a triangle meet at a single point which is the centre of gravity of the triangle, and (2) the Varignon theorem, that the lines joining the midpoints of successive sides of a quadrilateral form a parallelogram. The classroom experiment showed that most students were successful in using arguments from statics in their proofs, and that they gained a better understanding of the theorems. These findings lend support to the claim that the introduction of statics helps students produce proofs and grasp their meaning.     

General covariance of the non-abelian DBI-action: checks and balances

We perform three tests on our proposal to implement diffeomorphism invariance in the non-abelian D0-brane DBI action as a base-point independence constraint between matrix Riemann normal coordinate systems. First, we show that T-duality along an isometry correctly interchanges the potential and kinetic terms in the action. Second, we show that the method to impose base-point independence using an auxiliary dN²-dimensional nonlinear sigma model also works for metrics which are curved along the brane, provided a physical gauge choice is made at the end. Third, we show that without alteration this method is applicable to higher order in velocities. Testing specifically to order 4, we elucidate the range of validity of the symmetrized trace approximation to the non-abelian DBI action.     

A finite element-spherical harmonics radiation transport model for photon migration in turbid media

In this paper, we solve the steady-state form of the Boltzmann transport equation in homogeneous and heterogeneous tissue-like media with a finite element-spherical harmonics (FE-P_N) radiation transport method. We compare FE-transport and diffusion solutions in terms of the ratio of absorption to reduced scattering coefficient, (μ_a/μ_s′) and the anisotropy factor g. Two different scattering phase function formulas are employed to model anisotropic scattering in the slab media with high g-value. Influence of void-like heterogeneities, and of their boundaries with the surrounding medium on the transport of photons are also examined.     

Solutions of the WDVV Equations and Integrable Hierarchies of KP Type

We show that reductions of KP hierarchies related to the loop algebra of SL_n with homogeneous gradation give solutions of the Darboux-Egoroff system of PDE's. Using explicit dressing matrices of the Riemann-Hilbert problem generalized to include a set of commuting additional symmetries, we construct solutions of the Witten– Dijkgraaf–E. Verlinde–H. Verlinde equations.     

高电荷态Ar^q＋与Ne碰撞中入射离子电荷交换截面的研究

报道Ar^q Ne(q=8，9，11，12)碰撞体系中多电子转移过程，得到了多组实验测量电荷交换截面数据，讨论入射离子电荷交换截面、反冲离子产生截面与入射离子电荷态、能量以及散射离子电荷态的关系，并且将实验结果与Ar^q Ar碰撞体系进行对比研究。在修正分子库仑过垒模型的基础上，对实验现象做了合理的解释。     

Efficient procedure for computing fields created by current modes

An efficient method for computing the fields of large scatterers is presented. The current is expanded in terms of modes defined as complex exponential functions. The modes are represented efficiently by means of spline functions. Analytical expressions have been obtained to compute efficiently the fields due to the current modes.