三维电阻抗成像的体积元方法的数值模拟和分析

电阻抗成像是一类椭圆方程反问题,本文在三维区域上对其进行数值模拟和分析.对于椭圆方程Neumann边值正问题,本文提出了四面体单元上的一类对称体积元格式,并证明了格式的半正定性及解的存在性;引入单元形状矩阵的概念,简化了系数矩阵的计算;提出了对电阻率进行拼接逼近的方法来降低反问题求解规模,使之与正问题的求解规模相匹配;导出了误差泛函的Jacobi矩阵的计算公式,利用体积元格式的对称性和特殊的电流基向量,将每次迭代中需要求解的正问题的个数降到最低.一系列数值实验的结果验证了数学模型的可靠性和算法的可行性.本文所提出的这些方法,已成功应用于三维电阻抗成像的实际数值模拟.     

航天相机主动热控测试系统设计

为了检测航天相机主动热控系统的功能、性能及可靠性,设计了主动热控仿真测试系统。依据传热学基本定律、航天器轨道理论和热控策略,给出了计算航天相机温度场的热网络数学模型,使主动热控系统能在模拟的空间热环境中连续工作,实现了对主动热控系统的闭环仿真测试。采用两个数字电位器相串联的方法模拟温度传感器的走势,得到的最大阻值为100 kΩ,精度达到10Ω,符合设计中对总电阻和电阻变化率的需求,实现了对主动热控系统的功能、性能以及可靠性的仿真测试。     

数字图像注入式红外目标捕获跟踪训练仿真

介绍一种利用数字图像注入构建目标环境来完成目标捕获跟踪仿真训练任务的新方法,该方法通过模拟目标的理论航迹,实时接收并解算编码器输出值,同时与目标的运动方程做综合处理,计算出目标的位置信息,最后在背景中合成目标后按照红外图像的格式将数字图像注入到数字图像处理系统中。该方法可以在不开启红外相机的情况下,方便地完成手动及自动跟踪的训练任务,节约了训练成本,并已成功运用到某光电跟瞄设备的仿真训练系统中。     

Using origami boxes to explore concepts of geometry and calculus

The purpose of this classroom note is to provide an example of how a simple origami box can be used to explore important concepts of geometry and calculus. This article describes how an origami box can be folded, then it goes on to describe how its volume and surface area can be calculated. Finally, it describes how the box could be folded to maximize the surface area and the volume.     

Pruned discrete random samples

Let $X_i,i\in \mathbb{N}$, be independent and identically distributed random variables with values in ${\mathbb{N}}_0$. We transform (‘prune’) the sequence $\{X_1,\dots ,X_n\},n\in \mathbb{N}$, of discrete random samples into a sequence $\{0,1,2,\dots ,Y_n\},n\in \mathbb{N}$, of contiguous random sets by replacing $X_{n+1}$ with $Y_n+1$ if $X_{n+1}>Y_n$. We consider the asymptotic behaviour of $Y_n$ as $n\to \infty$. Applications include path growth in digital search trees and the number of tables in Pitmanʼs Chinese restaurant process if the latter is conditioned on its limit value.     

Solutions of the Equation of a Spinorial Yamabe-type Problem on Manifolds of Bounded Geometry

We consider a spinorial Yamabe-type problem on open manifolds of bounded geometry. The aim is to study the existence of solutions to the associated Euler–Lagrange-equation. We show that under suitable assumptions such a solution exists. As an application, we prove that existence of a solution implies the conformal Hijazi inequality for the underlying spin manifold.     

Decay of geometry for Fibonacci critical covering maps of the circle

We study the growth of Dfⁿ(f(c)) when f is a Fibonacci critical covering map of the circle with negative Schwarzian derivative, degree d2 and critical point c of order ℓ>1. As an application we prove that f exhibits exponential decay of geometry if and only if ℓ2, and in this case it has an absolutely continuous invariant probability measure, although not satisfying the so-called Collet–Eckmann condition.     

Non-existence of a massive scalar field for the Marder universe in Lyra and Riemannian geometries

In this paper, we have studied a massive scalar field for a Marder type universe in the context of Lyra and Riemannian geometries. From the exact solutions obtained we show that the massive scalar field does not survive in Lyra and Riemannian geometries for an anisotropic Marder type universe. Therefore we have solved the massless scalar field problem in Lyra and Riemann geometries for two cases. Also we have obtained vacuum solutions for homogeneous and anisotropic Marder space-time in Lyra geometry and the solutions obtained are compared by considering Lyra and Riemann geometries. Finally, some physical and kinematical properties are discussed by using graphics.     

Numerical simulation and analysis of generalized difference method on triangular networks for electrical impedance tomography

Electrical impedance tomography is an inverse problem of elliptic differential equations. Numerical methods based on combining generalized difference method and Levenberg–Marquardt iteration on a planar domain are proposed. Positive semi-definiteness and existence of solution of the generalized difference scheme are proved. Element geometry matrix is introduced to shortcut calculation and standardize computer program. A series of numerical experiments verify the reliability of its mathematical model and the feasibility of the algorithm. A class of electrical current patterns is proposed to minimize the number of direct problems to be solved in each iteration. These methods have been applied successfully in practical simulation of electrical impedance tomography.     

Embedded Surfaces for Symplectic Circle Actions

The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces.More precisely, it is shown that(1) if(M, ω) admits a Hamiltonian S~1-action, then there exists a two-sphere S in M with positive symplectic area satisfying c1(M, ω), [S] 0,and(2) if the action is non-Hamiltonian, then there exists an S~1-invariant symplectic2-torus T in(M, ω) such that c1(M, ω), [T] = 0. As applications, the authors give a very simple proof of the following well-known theorem which was proved by Atiyah-Bott,Lupton-Oprea, and Ono: Suppose that(M, ω) is a smooth closed symplectic manifold satisfying c1(M, ω) = λ· [ω] for some λ∈ R and G is a compact connected Lie group acting effectively on M preserving ω. Then(1) if λ 0, then G must be trivial,(2) if λ = 0, then the G-action is non-Hamiltonian, and(3) if λ 0, then the G-action is Hamiltonian.