一种基于碳纳米管的随机存储器

利用碳纳米管之间范德瓦耳斯力,设计了一种基于碳纳米管的可读写的随机存储器,研究了系统的双稳性,讨论了存储器的优点和可行性,并得出系统具有良好存储效应所应满足的条件 关键词： 碳纳米管 范德瓦耳斯力 动态随机存储器     

三维热传导型半导体器件瞬态模拟问题的Crank-Nicolson差分-流线扩散有限元法及其数值分析

本文研究三维热传导型半导体器件瞬态模拟问题的数值方法.针对数学模型中各方程不同的特点,分别提出不同的有限元格式.特别针对浓度方程组是对流为主扩散问题的特点,使用Crank-Nicolson差分-流线扩散计算格式,提高了数值解的稳定性.得到的L2误差估计关于空间剖分步长是拟最优的,关于时间步长具有二阶精度.     

Boundary Integral Equations in Dynamic Problems for Elastic Plates

Initial-boundary value problems with Dirichlet and Neumann conditions arising in the theory of bending of plates with transverse shear deformation are reduced to time-dependent boundary integral equations by means of layer potentials. The solvability of these equations is then investigated in Sobolev-type spaces. This revised version was published online in June 2006 with corrections to the Cover Date.     

二维三温热传导方程组的分数步隐式差分格式

本文给出一个解二维三温热传导方程组的分数步隐式有限差分格式，利用离散变分形式及能量方法，给出差分格式的最优阶离散H^1范数先验误差及稳定性估计。     

利用非线性提升的信号去噪

本文提出了一种基于非线性滤波和提升格式进行信号去噪的算法。利用提升格式设计的灵活性取非线性滤波为预测算子 ,数值算例表明该方法的去噪效果优于仅使用非线性滤波去噪。     

Fast direct solver for Poisson equation in a 2D elliptical domain

In this article, we extend our previous work 3 for developing some fast Poisson solvers on 2D polar and spherical geometries to an elliptical domain. Instead of solving the equation in an irregular Cartesian geometry, we formulate the equation in elliptical coordinates. The solver relies on representing the solution as a truncated Fourier series, then solving the differential equations of Fourier coefficients by finite difference discretizations. Using a grid by shifting half mesh away from the pole and incorporating the derived numerical boundary value, the difficulty of coordinate singularity can be elevated easily. Unlike the case of 2D disk domain, the present difference equation for each Fourier mode is coupled with its conjugate mode through the numerical boundary value near the pole; thus, those two modes are solved simultaneously. Both second‐ and fourth‐order accurate schemes for Dirichlet and Neumann problems are presented. In particular, the fourth‐order accuracy can be achieved by a three‐point compact stencil which is in contrast to a five‐point long stencil for the disk case. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 20: 72–81, 2004     

A positivity‐preserving nonstandard finite difference scheme for the damped wave equation

A positivity‐preserving nonstandard finite difference scheme is constructed to solve an initial‐boundary value problem involving heat transfer described by the Maxwell‐Cattaneo thermal conduction law, i.e., a modified form of the classical Fourier flux relation. The resulting heat transport equation is the damped wave equation, a PDE of hyperbolic type. In addition, exact analytical solutions are given, special cases are mentioned, and it is noted that the positivity condition is equivalent to the usual linear stability criteria. Finally, solution profiles are plotted and possible extensions to a delayed diffusion equation and nonlinear reaction‐diffusion systems are discussed. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2004.     

Mapping Surgery To Analysis III: Exact Sequences

Using the constructions of the preceding two papers, we construct a natural transformation (after inverting 2) from the Browder-Novikov-Sullivan-Wall surgery exact sequence of a compact manifold to a certain exact sequence of C ^*-algebra K-theory groups. Mathematics Subject Classification (1991): 19J25, 19K99     

Mapping Surgery to Analysis I: Analytic Signatures

We develop the theory of analytically controlled Poincaré complexes over C ^*-algebras. We associate a signature in C ^*-algebra K-theory to such a complex, and we show that it is invariant under bordism and homotopy. The authors were supported in part by NSF Grant DMS-0100464.     

A Sequent Calculus for Propositional Dynamic Logic for Agents

We consider propositional dynamic logic for agents. For this logic, we present a sequent calculus with a restricted cut rule and prove the soundness and completeness for the calculus.