可证明的

We prove the fuzzy set-valued characteristicfunction of a compact Baire fuzzy set can be approached by fuzzy set-valuedcontinuous functions with fuzzy compact support sets,the integral of integrablesimple Baire fuzzy set-valued function can be approached not only by the integralsof integral simple fuzzy set-valued functions,but also by the integrals of fuzzy set-valued continuous function with fuzzy compact support sets.

定义了诱导空间上具有模糊紧支集的模糊集值连续函数，说明了它与分明的具有紧支集的连续函数的关系，证明了紧贝尔模糊集的模糊集值特征函数可以用具有模糊紧支集的连续函数列来逼近，可积简单贝尔模糊集值函数的积分可以用可积简单模糊集值函数的积分来逼近，还可以用具有模糊紧支集的模糊集值连续函数的积分来逼近。

In this paper,at first we transformed the nonlinear elliptic system of 2m first order equations into the complex form, then by use the results on the Riemann-Hilbert problem for nonlinear elliptic complex equation of first order, the method of continuity, the Schauder fixed-point theorem and the Leray-Schauder theorem, we proved that the modified Riemann-Hilbert boundary value problem for the complex system with some conditions is solvable.

本文先将较一般的多个未知函数的一阶椭圆型实方程组化为复方程组，然后讨论这些复方程组在某些条件下的一些边值问题的可解性。这里所考虑的方程组既包含线性的，也包含非线性的，比广义超解析函数所满足的方程组还要广，又本文主要研究较一般的Riemann-Hilbert边值问题，先给出这种边值问题解的先验估计式，然后用参数开拓法及Leray-Schauder定理证明这种边值问题的可解性结果。

Firstly,by using the estimating methodfor the compact embedding operators(from weighted Sobolev space to the weighted〓space),we obtain a necessary and sufficient condition for the discreteness of thespectrum of certain differential operators.Secondly,based on the property of thespectrum of difinitizable operators on the Krein space,we consider the left definitedifferential equations with middle deficiency indices,and give a completecharacterization for self-adjoint(J-self-adjoint)differential operators in theindefinite inner product space 〓.Especially,we prove that all the J-self-adjoint differential operators are definitizable.

我们首先运用加权Sobolev空间到加权〓空间嵌入算子紧性的判别方法，证明一类加权自伴微分算子具有离散谱的充要条件；然后，基于Krein空间上可定化算子谱的性质，对于具中间亏指数的左定型微分方程，建立其相应的微分算式在不定度规空间〓上所生成自伴算子的完备性刻画（特别证明了J-自伴微分算子具有可定化性）。

The influence on energy/power measurement due to nonuniformly sampling is analyzed and the energy relation of the nonuniformly sampled signal in time domain and frequency domain is deduced.

如果输入周期信号的各次谐波谱线和各寄生谱线均不产生重叠，则可利用本文提出的方法计算出各通道的取样时间偏差的估计值，并证明了周期信号在其占有频带内可保证各次谐波谱线和各寄生谱线不发生重叠。

The result showed that PSexternalization. This observation suggested that apoptotic neurons losed membranephospholipid asymmetry and exposed PS on the outer leaflet of the plasmamembrane. Macrophages then phagocytose apoptotic neurons after specific recognition of theexposed PS.

流式细胞术检测磷脂酰丝氨酸，结果表明凋亡的神经细胞PS外翻，证明AVM可使凋亡的神经细胞膜丧失不对称性，细胞膜中的PS由脂膜内侧翻向外侧，可被吞噬细胞识别后导致凋亡细胞的清除。

It isshown by theories and simulations that uncertain effects such as frictions and external disturbancesor unmodelled dynamices can be eliminatated and global exponential stability or global uniform ultimate boundedness stability can be guaranteed.

理论和仿真均证明，系统的不确定性诸如摩擦力、外部扰动及未建模动力学带来的不确定性影响，均可被设计的控制律补偿，最后可保证全局指数收敛或全局一致最后有界的结果。

Thischapter proposes three concepts,i.e.,kernelled quasidifferential,star-kerneland star-differential,and establishes their operational properties.A sufficiencytheorem and a sufficiency and necessity theorem for a quasi-kernel being a ker-nelled quasidifferential are proven.Both the existence of star-kernel for a qua-sidifferentiable function and the existence of star-differential for a directionallydifferentiable function are established.The relationships between sub-and su-per derivatives and Penot differentials are discussed as well.

这一章我们引入了三个概念，即核拟微分，星核与星微分并建立了它们的运算性质；证明了拟核为核拟微分的一个充分条件定理及一个充分与必要条件定理；建立了拟可微函数星核的存在性及方向可微函数星微分的存在性并讨论了Penot微分与上、下导数的关系。

Testimony to this is the discovery, in excavations, of coins of the Han period but the outstanding monument to this turbulent period must undoubtedly be the fine brick-built tomb uncovered at Lei Cheng Uk in 1955 with its array of typical Han tomb furniture, dateable from the early to middle Eastern Han period.

上述情形，可从在本港发掘到汉代的钱币得到证明。但这动荡时期的显著遗迹，当是一九五五年在李郑屋发现的完整砖墓。这座古墓陈放？典型汉代冥器，可推定为东汉初期至中期的古迹。

The results show that the reaction can be completed in shorter time and lower temperature while PEG is used as the phase transfer catalyst. The dropping point of product can reach about 165℃, this proves that the method of using PEG as phase transfer catalyst to produce rice bran wax calcium soap is effective.

试验结果表明采用PEG相转移催化制糠蜡钙皂可使反应在较短的时间和较低的温度下进行完全，并可使产品的主要指标滴点达到165℃左右，证明PEG相转移催化法是制糠蜡钙皂的有效方法。

Gelatin microsphere is firstly made by encapsulating bFGF into gelatin by special manufacture process, then this microsphere was combinated into PLGA conduit or PLGA film.when used, we need only pack the injury peripheral nerve, injury spinal cord, wounded pars encephalic with the PLGA conduit. The conduit or film can slowly release buff which would be absorbed by around tissues.bFGF was already proved to be nutritious to the regeneration and alive of neuron and protect injury neuron.bFGF can also promote morphogenesia and division of nerve cell which would raise the survival rate of neuron, guide the generation of axon etc.bFGF is one of the important factors of sustaining the normal survival of cholinergic nerve.

使用时，只需将此材料贴敷外周损伤神经伤患处，脊髓伤口，或在脑部开颅手术后填充于术后创面，可有效地在伤口局部缓慢地释放并由机体组织吸收bFGF等神经营养因子。bFGF等已被证明具有神经营养作用，可促进神经元的再生与存活，保护受损的神经元。bFGF等对神经细胞兼有促进形态发生与分裂作用，具有提高神经元的成活率、诱导轴突向外生长等功能，是维持前脑基底部胆碱能神经元正常生存的重要因素。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。