解空间

We present the preliminary knowledge in Chapter 2,which includes the main properties of Sobolev Functional Space,the calculus on the Banach Space and the existence and uniqueness of the solutions of parabolic equations.

第二章给出了本文的预备知识，即Sobolev函数空间基本性质和Banach空间上的微分学，以及抛物型方程解的存在唯一性。

In Chapter 3,the exponential stability and its algebraic criteria for a linear degenerate functional differential equation is discussed.

第二章在n维空间中讨论了中立型多时滞泛函方程的通解表示和指数稳定性，得到与一维空间中类似的结论。

This paper dealt with the uniform stability and the uniformly asymptotic stability of neutral functional differential equation with infinite delay .

以B空间为相空间，利用D算子的性质及Liapunov泛函方法，研究了具无穷时滞中立型泛函微分方程零解的稳定性。

By extending the concepts of supremum and infimum in real space to the casein any finite-dimensional Euclidean space a weak supremum set and infimumset theory with respect to cones for the set in finite-dimensional Euclideanspace is developed,and several similar properties to the set in real space are ob-tained,with the concepts of this weak supremumset,w-D-conjugate maps and w-D-subdifferentials theory for the point-to-setmap are developed,and its several properties and its relationships with weakefficient solutions of the multiobjective programming are studied.

推广实空间中上、下确界的概念至任意有限维欧氏空间，建立了有限维欧氏空间中集合的锥弱上、下确界集理论，得到了与实空间中十分相似的性质。借助于这一理论，应用上、下确界的概念，给出了点集映象的w-D-共轭映象及w-D-次微分理论，并研究了它们的若干特性及其与弱有效解之间的关系，此外还讨论了弱鞍点问题。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

Based on the transformation between position space and spinor space in geometric algebra system,the perturbing Kepler equation was transformed to a linear and regular form(also called Kustaanheimo-Stiefel equation or KS equation).

利用几何代数体系中的位置空间与旋量空间之间的转换关系，将摄动Kep ler方程转化为线性、正则的旋量方程，并给出Kep ler旋量方程的解。

A three solutions theorem of nonlinear operator equation in Hilbert space was given by Sun Jing-xian in 1983,in this paper,the theorem was expanded to general Banach space by using gradient method ,and some conditions was weakened,such as the local Lipschitz condition s transformation to the bounded character of F and so on.

依据H ilbert空间中非线性算子方程的一个三解定理，本文运用最速下降法将这个定理推广到了一般的Banach空间，并且减弱了原定理的某些条件，如将局部Lipschitz条件减弱为F的有界性等

We expect it will benefit the industry field to break through the optical measuring limits at present by offering some new ideas. Optical measuring research based on moire interferometry has developed for several decades. The main idea of this research is to utilize the moire effect caused by two superimposed gratings of identical or similar spatial frequency. One is the reference grating and it is a virtual grating created by a computer program in this research; The other grating is the image of grating projected on the measured surface by the DLP projector, and this grating will distort because of the different sloped profile of the surface. To superimpose the program-created grating and the captured distorted grating will derive the so-called moire effect. This research combined the basic theory of optical interferometry and moire effect to project the different phases of the projected grating fringes by the phase-shifting method and compute the principal value of arguments between -π,π. In the end, the phase unwrapping program based on discrete Fourier transform of solving PDEs is used to unwrap the phase of the measured surface, and finally the surface profile is derived by the optical measuring system.

以叠纹干涉术为基础的光学检测研究之发展早已行之有年，而在本研究中所采用的投影叠纹法(Projection moiré)之主要精神在於藉由两道空间频率相近或相同的光栅相互叠加而成的效应，其中一道为参考光栅，而本研究中的参考光栅是以程式产生可调整不同空间频率的虚拟光栅；另一道则为投影至待测物表面的光栅影像，而在起伏高度不一的待测表面上的光栅影像会受到待测物表面起伏状况不同而在观测方向产生光栅投影条纹影像的歪曲变形，将电脑产生的参考光栅与由影像撷取装置所获取投影於待测物表面的光栅影像作叠合，便会产生所谓的叠纹效应；利用基本的光学干涉理论与叠纹效应结合，本研究中以相移法来改变投影於待测表面的光栅相位，再以相移法的理论反运算出在带有待测面各点高度资讯之介於-π，π相位主幅角，再以离散傅立叶转换解偏微分方程的相位重建程式还原待测面的相位值，以得知待测面之表面轮廓。

At present, many known results are obtained only on one dimensional functional space, and the research on high dimensional space is little, only the continuous solutions are discussed on RN, neither the differentiate solutions on RN nor the solutions on abstract space and manifold.

在一维情形下，所涉及的函数通常具有较好的性质比如单调性，逆映射导数的LipschitZ性(在研究光滑解时通常需考虑)等，而第il页摘要高维空间上函数则不具有这些好性质，因此，讨论高维空间上的迭代方程要求在方法上作一些改进和突破。

Using the method of fluorescence labeling, a new DNA algorithm of the perfect matching problem based surface is presented in this paper.

基于最佳匹配问题的问题解空间，采用荧光标记的策略，给出了一种新的最佳匹配问题的DNA表面计算模型，该模型首先将问题解空间的DNA分子固定在固体载体上，然后通过进行相应的生化反应来求得最佳匹配问题的所有解。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。