重建Cole-Cole模型参数的时域微波乳腺筛查技术

提出一种时域微波层析成像新技术，分别通过非线性最优化方法、正则化方法、Cole-Cole建模方法，有效地克服了时域微波成像技术在筛查早期乳腺肿瘤出现的成像问题非线性、病态特性及乳腺组织色散特性等困难.在二维的数值算例中，考虑噪声影响，仿真结果初步证实：该技术检测小尺寸乳腺肿瘤是可行的；易于发现浅层肿瘤；且反演静态电导率的精度最高.     

The Gauss Theorem for Domain Decompositions in Sobolev Spaces

This paper belongs to a broad line of research leaded by Herrera, which encompasses a good number of numerical methods such as Localized Adjoint Method (LAM), Eulerian-Lagrangian LAM (ELAM) and Trefftz-Herrera Method. The results presented in this paper are required in order to incorporate Herrera's general theory in a Sobolev-space setting. In particular, this article introduces a class of partitions (or domain decompositions) whose internal boundaries belong to a category of manifolds with corners, here also presented. Then a version of Gauss (or divergence) theorem, in a wider sense, is established and an explicit integral formula is associated for any given linear partial differential operator L, its adjoint and concomitant. The structure of the bilinear concomitant induced by L is first determined. Then the required formula is given over that class of domain decompositions. Finally, an integral formula well on the way of the Green-Herrera formula is settled.     

凸域上拟双曲测地线直径的Gehring-Hayman 恒等式

利用型函数和最大项m（σ）的几何意义研究全平面上Dirichlet级数的增长性,得到了Dirichlet级数增长性与系数、指数之间关系的四个结论,推广了以往研究增长性的相关结果.     

Uniform interpolation and the existence of sequent calculi

This paper presents a uniform and modular method to prove uniform interpolation for several intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent calculi that are extensions of the terminating sequent calculus $\mathsf{G4ip}$ for intuitionistic propositional logic. It is shown that whenever the rules in a calculus satisfy certain structural properties, the corresponding logic has uniform interpolation. It follows that the intuitionistic versions of $\mathsf{K}$ and $\mathsf{KD}$ (without the diamond operator) have uniform interpolation. It also follows that no intermediate or intuitionistic modal logic without uniform interpolation has a sequent calculus satisfying those structural properties, thereby establishing that except for the seven intermediate logics that have uniform interpolation, no intermediate logic has such a sequent calculus.     

Extraction of Input Objects from Optical Hough Transform Data

We propose a method of extracting the true length of a line and an ellipse with two axes from the width of envelopes in the parameter domain. We performed computer simulations and, using a Hough transform computer generated hologram filter, also performed optical experiments. Our experimental results were very similar to those of the simulation.     

Time-dependent parabolic problems on non-cylindrical domains with inhomogeneous boundary conditions

We study the relationship between the Dirichlet problem and the Cauchy problem with inhomogeneous boundary conditions for local operators. Our results are applied to non-autonomous parabolic problems on non-cylindrical domains. Received January 10, 2001; accepted April 5, 2001.     

Compact almost automorphic solutions to semilinear Cauchy problems with non-dense domain

In this work we study the existence and uniqueness of compact almost automorphic solutions to a first-order differential equation with a linear part dominated by a Hille-Yosida type operator with non dense domain.