查询词典 compact space

We show that the whole space IF~*(R, d_∞~* is complete metric space, and when K is a nonempty compact subset of R, the metric space IF~*(K,d~* and IF~*(K,d_p~* are complete.

我们证明了当K是R上的非空紧子集时，紧支撑包含在K中的所有区间值模糊数所成之集TG~*

Tan and Xu [1] had proved the theorem on convergence of Ishikawa iteration processes of asymptotically nonexpansive mapping on a compact convex subset of a uniform convex Banach space , Then Liu Qihou [3] presents the necessary and sufficient conditions for the Ishikawa iteration of asymptotically quasi-nonexpansive mapping with an error member on a Banach space convergent to a fixed point . Xu and Noor [5] had proved the theorem on convergence of three-step iterations of asymptotically nonexpansive mapping on nonempty closed, bounded and convex subset of uniformly convex Banach space.

Tan和Xu已经证明了建立在一致凸Banach空间紧凸子集上的渐进非扩张映射的Ishikawa迭代序列的收敛原理，随之，刘齐侯又阐述了Banach空间上渐进准非扩张映射T的具误差的Ishikawa迭代序列收敛于T的不动点的充分必要条件；之后，Xu和Noor也证明了定义在一致凸Banach空间某非空有界闭凸子集上的渐进非扩张映射的三步迭代序列的收敛原理。

We prove the depicting condition by base of countably compact space and countably paracompact space in weaker A_2-space.

给出并证明了弱A2空间中可数紧致、可数仿紧致空间用基刻画的条件。

The Pinching problems are discussed on the sectional curvature of compact space-like pseudo-umbilical submanifolds M~n with parallel mean curvature vector in De Sitter space S~_p, and the theory of reduction of the codimension is obtained in De Sitter space through evaluating the Laplacian of square of the length.

讨论了De Sitter空间Snp+p中，具有平行平均曲率向量的紧致类空伪脐子流形Mn的截面曲率的拼挤问题，通过估计第二基本形式模长平方的Laplacian，得到了De Sitter空间中的余维数压缩定理。

Moreover, it is obtained that, if X is a core compact and locally connected space, then the Isbell and Scott topologies agree on functions space for all continuous L-Domain L with a least element if and only if X is an RW-space.

而且还证明了，若X是核紧的局部连通空间，则对所有有最小元的连续L-DomainL，上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间。

At first, the existence of extended form of approach to continuous selection for any set valued mapping without any continuity restriction in para-compact metric space is proved ;by the topologically separated mappings , the approximate selection theorem of sub-lower-semi-continuous mapping is established, furthermore , continuous selection problem in H-space is studied. Next, with W-correspondence, an improved variational inequality is obtained ; by the H-KKM mapping ,Ky Fan\'s minimax inequality is generalized to H-space . At last, with H-convexity instead of the linear topological structure, a new version of Browder fixed point theorem is established.Chapter 3 deals with set-valued mapping vector variational inequality and minimax problems.

第二章首先在仿紧的度量空间上对任意的集值映射建立了新的逼近连续选择定理，利用映射的拓扑可分性，在H-空间上建立了次下半连续映射的逼近连续选择定理和一个新的连续选择定理；然后利用W-对应，在H-空间上建立了广义的变分不等式；利用H-KKM映射，在H-空间上建立了广义的KyFan极小极大不等式；最后，利用H-凸性代替拓扑线性结构，在H-空间上建立了一个新型的Browder不动点定理。

The main work and the originality points of this dissertation could be concluded as the following parts:(1) To analyze systematically the mathematical model of LES of air flow in great space, under the case of isothermal and non-isothermal, as well as the combined action of buoyancy and strain. Some basic problems are studied about the LES application into airflow simulation of great space, such as boundary conditions, spatial difference scheme and time advancing scheme, time step etc., which creates the basis for the LES application to indoor airflow simulation.(2) Both the instantaneous and time averaged flow field of great space with multiple jets under isothermal and non-isothermal cases are explored with large eddy simulation method, and also discussed the dynamic characteristics and the law of fluidflow in the great space.(3) Based on the results of LES of the great space and the Fanger thermal comfort indexes, it is brought forward the concept of the series of dynamic thermal comfort evaluating indexes, which could be divided into thermal comfort index with time averaged properties PD, PPD, PMV, thermal comfort index with instantaneous properties IPD, IPPD, IPMV, and time averaged thermal comfort indexes TAPD, TAPPD, TAPMV, and transient situations time averaged thermal comfort indexes TTAPD, TTAPPD, TTAPMV. The differences among them and the calculation methods are discussed, and the four kinds of indexes are calculated with the thermal comfort index PD as an example.(4) Based on the LES results it is discussed the hot air stratification phenomena in air-conditioned buildings in the case with air supply and return registers on the ceiling and the case on the sidewall. The fundamentals of the hot air stratification are studied and the relations of estimating hot air stratification are brought forward.(5) With the advanced apparatus such as hot wire film anemometer IFA300 and laser particle field anemoscope, corresponding model test and site measurements have been done, which are compared with the simulation results and LES is proved a very promising method in air flow simulation indoor.

本文主要工作既创新点体现在以下几个方面：(1)系统分析了等温、非等温和考虑剪切力与浮升力综合作用的高大空间大涡模拟数学模型，并研究了高大空间大涡模拟在室内气流仿真应用中的一些基本问题，如边界条件、空间离散格式和时间推进格式、时间步长选择等问题，为大涡模拟在室内气流计算中的广泛应用打下了基础；(2)首次用大涡模拟方法研究了高雷诺数下高大空间多射流在等温、非等温情况下的瞬时流场和时均流场分布，并探讨了多射流流场的动态特性和流动规律；(3)基于大涡模拟的动态仿真结果和Fanger的热舒适指标，首次系统地提出了动态热舒适评价指标体系的概念：即基于时间平均参数的热舒适指标PD、PPD、PMV；基于瞬时参数的瞬时热指标IPD、IPPD、IPMV；基于时间平均热舒适指标TAPD、TAPPD、TAPMV；以及沿行动迹线的时间平均热舒适指标TTAPD、TTAPPD、TTAPMV，并分析了四类热舒适指标的差异性和计算方法，还以PD值为例对四类指标分别进行了计算；(4)基于数十种工况下空调房间大涡模拟的结果，研究了空调建筑上送上回和侧送侧回两种情况下热分层现象，并探讨了热分层的基本规律，首次提出了避免热分层现象的判断公式；(5)在暖通空调领域，首次使用IFA300热线风速仪、激光粒子速度场仪等先进设备，完成了与大涡模拟相对应的模型试验，并把实测结果与仿真结果进行了对比，说明LES在室内气流仿真方面是一种很有前景的方法。

In order to pick jump of 2 meters of space layer, the single body structure of the annulet makes use of in the function up try hard for to attain the top and bottom space can with better exchanges.the single body structure of the big wreath is two even layer spaces of top and bottom, the concrete expression come to the transformation space scope according to the different situation for the each function space, making the indoor space be able to get the exchanges.

小环的单体结构为挑出2米空间的跃层，在功能利用上力求做到上下空间可以更好的交流；大环的单体结构为上下两个平层空间，具体表达为各个功能空间依据不同情形来变换空间范围，使得上下层空间能得到交流。

There are series of papers studying the solvability of an incompressible, viscous, instationary fluid contained in a domian bounded entirely by a free surface. In 1977, Solonnikov proved its local solvability in a Holder space for any initial date but without surface tension. In 1984, he considered the same problem in a Sobolev space with surface tension being taken into account. In I992, Mogilevskii and Solonnikov treated the same problem in a Holder space, where the coefficient of surface tension is not a constant. There are also short-time existence results for the solvability of an incompressible, vicous, unsteady fluid bounded above by a free surface and below by a fixed bottom which approach horizontal planes at infinity. In 1981, Beale proved its local solvability in a Sobolev space for any initial date but without surface tension. In 1983, Allain were concerned with the same problem in R〓 with surface tension but under the assumption that the initial fluid domain was near a horizontal strip. In 1987, he obtained the same result without the preceding assumption. In 1996, Tani solved the same problem in R with surface tension. For the solvability of an incompressible viscous instationary fluid in Ω R bounded inside by a free surface S and outside by a rotating boundary S, in 1995 Ciuperca proved its local existence in a Sobolev space for any initial date but without surface tension. In this paper, we consider the same problem with surface tension.

对于边界完全是由自由边界组成的有界区域中粘性不可压流体的非定常运动问题，Solonnikcv于1977年在忽略表面张力情况下证明了初值问题小时间解在Holder空间的存在性，于1984年在有表面张力情况下证明了初值问题问题小时间解在Sobolev空间的存在性，Mogilevskii和Solonnikov于1992年在表面张力系数可以不是常数情况下证明了初值问题小时间解在Holder空间的存在性；对于上面是自由边界、下面是固定边界且两边界在无限处趋于水平的无限区域中粘性不可压流体的非定常运动问题，Beale于1981年在忽略表面张力情况下证明了初值问题小时间解在Sobolev空间的存在性，Allain于1983年在有表面张力情况下证明了R中初值问题小时间解在Sobolev空间的存在性，但其中假定初始区域近似是个水平条，他于1987年去掉了这个假定得到同样的结果，Tani于1996年在有表面张力情况下证明了R中初值问题小时间解在Sobolev空间的存在性；对于R中内面是自由边界、外面是旋转边界S的有界区域中粘性不可压流体的非定常运动问题，Ciuperca于1995年在忽略表面张力情况下证明了初值问题小时间解在Sobolev空间的存在性，本文考虑了在有表面张力情况下初值问题可解性问题。

This paper presents an IFMC CAD model that consits of a geometry model and a material model, in which the geometry space acts as a base space and the material space acts as a bundle space. In this CAD model, the geometry model is based on the non-manifold model. In addition, a half-face data sturucture, which is derived from the half-edge data structure with the non-manifold feature of IFMC taken into account, is adopted to represent the geometry and topology information of the component. For the material model of IFMC, this paper focuses on the FGM component representation firstly and present a simplex-subdivision based CAD data exchange format, in which the material information is represented as a (n-1) simplex and material distributing feature is represented by the interpolation on the simplex-subdivision. Based on those, a part-building orientation optimization algorithm and an adaptive slicing algorithm for FGM component are presented in the paper. For the IFMC material model, the IFMC material information representation is divided into a meso-scale and a macro-scale representation. In the meso-scale, a concept named parameterized periodic functional meso-structure is presented as a unique form to represent the FGM (the homogeneous materials are regarded as a special FGM), the composite and the functional meso-structure material. The model of PMS is a three-tuple that contains the space state informatation, the material parameter and the material meso-scale distribution feature. The macro-scale material information representation is similar to the FGM components by interpolation of the control parameter of the periodical functional meso-structure based on the simplex-subdivision. Through an example of manufacturing-oriented IFMC CAD data processing, it is proved that the IFMC CAD model and the material information representation and process method proposed in this paper can provide a reliable data support for IFMC digital concurrent design and manufacturing.

本文将理想材料零件CAD模型建立在以几何空间为底空间、以材料空间为丛空间的结构上，使用非流形几何模型作为理想材料零件几何拓扑模型的基础，并在半边数据结构基础上，针对理想材料零件的非流形特征局限内部边界上的特点，给出了一个半面数据结构来表述零件的几何拓扑信息；对于理想材料零件的材料模型，本文先从功能梯度材料零件的信息表述与CAD数据交换和处理入手，将材料信息表述为（n-1）维单纯形，然后通过对三维几何区域的单纯剖分，以插值的方式表述零件材料分布特征；在此基础上，根据功能梯度材料零件分层制造中对CAD数据处理的要求，给出了综合考虑零件几何特征与材料特征的生长方向优化算法和自适应切片算法；而对于文中所定义的理想材料零件，本文将其材料信息表述分解到细观和宏观两个尺度进行，首先给出了细观尺度上参数化的周期性功能细结构概念，以此来统一表述功能梯度材料（单质材料作为特殊的功能梯度材料看待）、复合材料和功能细结构材料；把周期性功能细结构模型化为一个包含空间状态信息、材料构成参数和材料细观分布特征参数的三元组，以表达零件的细观材料特征；对于零件宏观的材料变化特征，则同样在几何区域单纯剖分的基础上，通过对细观尺度上周期性功能细结构控制参数的插值来完成；通过理想材料零件CAD数据处理的算例，验证了本文中理想材料零件CAD模型及材料信息表述与处理方法完全可以为理想材料零件的数字化制造提供可靠的数据支持。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。