Smooth solutions for the motion of a ball in an incompressible perfect fluid

In this paper we investigate the motion of a rigid ball surrounded by an incompressible perfect fluid occupying RN. We prove the existence, uniqueness, and persistence of the regularity for the solutions of this fluid-structure interaction problem.     

度量空间中拟对称映射与拟双曲一致域的研究

本文主要考虑度量空间中拟双曲一致域与拟对称映射之间的关系，并证明了度量空间中拟双曲一致域在拟对称映射下仍然是保持不变的.     

等效系统参数辨识法在飞行品质评价中的应用

分析了等效系统参数辨识方法,采用最小二乘法与频域极大似然法求解先进飞机的低阶等效系统.通过计算,对两种辨识方法的优缺点进行了对比研究,并通过动态仿真验证了方法的有效性.最后依据参数辨识结果,对某型飞机的飞行品质进行了评估.     

The Apollonian inner metric and uniform domains

In this paper we characterize uniform domains in terms of the Apollonian inner metric and the j‐metric, thus providing solutions to two open problems given in [16]. We also discuss the relationships among uniform, A‐uniform, Apollonian quasiconvex and quasi‐isotropic domains (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

软件重用技术与GIS软件开发研究

给出了软件重用的定义,研究了领域分析、重用再工程、面向对象的程序开发方法以及基于重用的软件开发原则和软件重用技术在地理信息系统（ＧＩＳ）软件开发中的应用．     

Mixed boundary value problems for nonlinear elliptic equations in multidimensional non-smooth domains

The nonlinear elliptic equation is investigated. It is supposed that u fulfils a mixed boundary value condition and that Ω ? IRⁿ (n ≥ 3) has a piecewise smooth boundary. W^s,2 — regularity (s < 3/2) of u and L^p — properties of the first and the second derivatives of u are proven.     

Extensional Σ-Spaces in Type Theory

Synthetic Domain Theory provides a setting for denotational semantics following Dana Scott's slogan domains as sets in which all functions are continuous. Several approaches can be found in the literature, but they are either model-dependent or if they use an axiomatic setting then not uniformly and not explicitly. We present a completely logical approach to Synthetic Domain Theory (SDT), axiomatizing (complete) Extensional PERs. On these grounds some basic domain theory is developed. Special attention is devoted to admissibility. The axiomatic approach is advantageous since it allows for easy formalization and comparison to other axiomatic settings.The consistency of the theory is shown by providing an appropriate realizability model. It is discussed how to get from this special kind of SDT {à la Scott} to a more general form which unifies several approaches.     

Nontrivial solutions for perturbations of a Hardy-Sobolev operator on unbounded domains

In this paper we study the existence of nontrivial solution of the problem −Δ_pu−(μ/[d(x)]^p)|u|^p−2u=f(u) in Ω and u=0 on ∂Ω, where is a bounded domain with smooth boundary in Existence is established using mountain-pass lemma and concentration of compactness principle.     

Quantitative Continuous Domains

We relate two approaches to Quantitative Domain Theory, the partial metrics of Steve Matthews and the measurements of Keye Martin, by showing that stable partial metrics are in one-to-one correspondence to weakly modular measurements. It is shown that every -algebraic domain admits a partial metric whose associated measurement assigns zero precisely to the set of maximal elements, a condition which features prominently in Martin's work. A partial metric gives rise to a metric in a standard way; we study the conditions under which the resulting space is complete and show that every -algebraic domain admits a partial metric of this kind. We discuss a number of examples and counterexamples to locate the strength of our results more exactly.     

一类具约束选址模型的组合算法

针对一般具闭凸集约束的单址选址模型,提出具全局收敛性的组合算法．算法在迭代中先采用信赖域技巧,当出现“内循环”时,则改用不做线搜索的梯度法．该算法既具有信赖域算法的优越性,又避免了出现“内循环”时速成的隐迭代．同时,该算法通常不需进行线搜索,较之其它组合算法更加简捷实用．