Generalized indices of operators inB(H)

A generalized dimension is further developed. Here subtraction and addition of two generalized dimensions are defined, so that the operations: ∞ ± n = ∞, ∞ + ∞ = ∞, which used to play an inflexible role, are refined and moreover, ∞ - ∞, which used to be meaningless, is done in sense. Then generalized index for semi-Fred-holm operators is developed to wholeB(H), i.e. all of bounded linear operators in Hilbert spaceH. Theorem 2.2 is proved with an example, which is in contradiction to a known proposition for semi-Fredholm operators in form, practically a refined result of the known proposition. Then, it is proved thatB(H) is the union of countably many disjoint arewise connected sets over all the generalized dimensions ofB(H). Project supported by the National Natural Science Foundation of China     

Thin-walled Beams: A Derivation of Vlassov Theory via Γ-Convergence

This paper deals with the asymptotic analysis of the three-dimensional problem for a linearly elastic cantilever having an open cross-section which is the union of rectangles with sides of order ε and ε ², as ε goes to zero. Under suitable assumptions on the given loads and for homogeneous and isotropic material, we show that the three-dimensional problem Γ-converges to the classical one-dimensional Vlassov model for thin-walled beams.      

Hyperbolic spaces are of strictly negative type

We study finite metric spaces with elements picked from, and distances consistent with, ambient Riemannian manifolds. The concepts of negative type and strictly negative type are reviewed, and the conjecture that hyperbolic spaces are of strictly negative type is settled, in the affirmative. The technique of the proof is subsequently applied to show that every compact manifold of negative type must have trivial fundamental group, and to obtain a necessary criterion for product manifolds to be of negative type.

     

On the Log-Laplace Equation for Nonlocal Operators Generating Sub-Markovian Semigroups

We consider the semilinear Cauchy problem for a class of pseudo-differential operators generating sub-Markovian semigroups. Solutions of such problems with negative definite nonlinearity play an important role in constructing branching measure-valued processes. We establish local existence and uniqueness of solutions in the context of the Dirichlet space associated to the problem. Comparison and global properties of solutions are also studied. Accepted 29 August 2001. Online publication 17 December 2001.     

Differential–algebraic equations in multibody system modeling

Numerical methods for the efficient integration of both stiff and nonstiff equations of motion of multibody systems having the form of differential-algebraic equations (DAE) of index 3 are discussed. Linear multi-step ABM and BDF methods are considered for the non-iterational integration of nonstiff DAE. The Park method is proposed for integration of stiff equations. This revised version was published online in June 2006 with corrections to the Cover Date.     

Comparison of Two Reformulation-Linearization Technique Based Linear Programming Relaxations for Polynomial Programming Problems

In this paper, we compare two strategies for constructing linear programmingrelaxations for polynomial programming problems using aReformulation-Linearization Technique (RLT). RLT involves an automaticreformulation of the problem via the addition of certain nonlinear impliedconstraints that are generated by using the products of the simple boundingrestrictions (among other products), and a subsequent linearization based onvariable redefinitions. We prove that applying RLT directly to the originalpolynomial program produces a bound that dominates in the sense of being atleast as tight as the value obtained when RLT is applied to the jointcollection of all equivalent quadratic problems that could be constructed byrecursively defining additional variables as suggested by Shor.     

带有弹性碰撞的离散的凝结方程

带有弹性碰撞的离散的凝结方程是反映粒子增长动力学的数学模型，它刻划了这样一种粒子反应系统；系统中任意两个粒子碰撞后一定的概率或者凝结成为更大的粒子，或者发生弹性碰撞．本文研究了这一系统发生冻肢的可能性，并给出了一个充分条件．     

有序分组资料的线性趋势检验的确切概率计算

有序分组资料的线性趋势检验主要用于检验几个二项总体反应率的线性趋势；在医学与生物学中最典型的用途是研究剂量和反应的关系． 如果用Ｚ检验来代替通常在本检验中所用的卡方检验，就可容易地导出本检验的确切概率计算方法，和其他２×Ｃ有序列联表有着相同的形式．本文给出了该检验的确切概率计算方法．     

基于遗传算法的二层线性规划问题的求解算法

本研究了下层以最优解返回上层的二层线性规划问题的遗传算法。在提出可行度概念的基础上，构造了二层线性规划上层规划问题的适应度函数，由此设计了求解二层线性规划问题遗传算法。为了提高遗传算法处理约束的能力，在产生初始种群时将随机产生的初始种群变为满足约束的初始种群，从而避免了使用罚函数处理约束带来的困难，最后用实例验证了本提出的二层线性规划的遗传算法的有效性。     

Averaged topological equations for dispersed two-phase flows

A general relationship between the volume fraction and the specific interfacial area for averaged dispersed two-phase flows is proposed. This relationship, expressed as a basic set of two scalar evolution equations and two vectorial non-uniformity state equations, is an analytical result obtained by a systematic approach using the derivatives of some generalized functions and a local volume-averaging technique. The proposed set of equations was expressed for measurable macroscopic parameters of the system and has the same generality as the averaged transport equations of two-phase flows. By combination of the basic set of equations, called the averaged topological equations (ATEs), second-order ATEs for the volume fraction were found. The second-order ATEs were expressed both by a Lagrangian formulation and by a Eulerian formulation. The importance and physical meaning of the ATEs developed in this study were clarified within the framework of the theory of kinematic waves.