可证明的

In the third chapter,two different methods which construct the Loeb measure are researched,and their consistency is proved.Next some basic natures of Loeb measurable function and Loeb integration have been discussed.

在第三章中，我们主要研究由确界法和内逼近法这两种不同的方法构造Loeb测度空间，并证明了它们的一致性，然后讨论了Loeb可测函数和Loeb积分的一些基本性质。

Offering minimum deviation algorithm of the system, it may be proved to realize leading process by refreshing and reproducing process, a new way is explored for accurate forecast of coiling temperature.

研制出精确预测卷取温度的过程前置系统，并给出系统的最小偏差算法，证明通过过程刷新与过程再现可实现过程前置，为卷取温度的精确预测探索出一条新途径。

The results show that the KPW scheme is not a nominative signature scheme since the nominator not only can verify and prove the validity of given signatures but also can convert given signatures into universally verifiable signatures, and that the PL scheme is only a self-authentication signature scheme since anyone can verify the validity of given signatures.

摘要该文分别对一个指名签名方案和一个指名代理签名方案进行分析，结果表明：在KPW方案中签名人不仅能验证而且也能向第三方证明签名的有效性，甚至能将签名转化为通常的自认证签名，因此不是指名签名方案；在PL方案中任何人都可验证签名的有效性，它只是一个自认证签名方案。

Therefore, we not only prove KCR to be a specific marker for Kupffer cells, but also have established a unique system to facilitate the study of ontogeny of Kupffer cells.

在本论文中，我们不但证明库氏细胞受体可作为库氏细胞的专一性标志，并且建立了一个独一无二的系统以供库氏细胞个体发生学的研究。

Except one case, we can prove that the new graph operation preserving fully orientability.

我们会证明除了一个特殊的未知情况之外，这个新的图运算能保持图的可全定向性质。

We prove that $2$-degenerate graphs, Halin graphs, graphs with maximum degree at most 3 and graphs with $d_{min} leq 1$ are fully orientable.

我们会证明所有的2-退化图、Halin图、最大度小於或等於3的图及dmin小於或等於1的图皆为可全定向的。

According to the characteristics that Trypanosome can produce different variations, 5 New Zealand rabbits were infected in sequence with a monoclonal strain of Trypanosome evansi isolated from Yunnan buffalo. 50 monoclonal strains were isolated and showed by indirect immune fluorescent test that the first parasitemia peak of variation in following 4 rabbits exist in 9 predominant variations of first rabbit. The 50 variations subordinate to 20 antigen types.

根据锥虫在兔体内可产生不同变异体的特性，将伊氏锥虫云南水牛单克隆株顺序感染五只新西兰大白兔，分离到 50 个单克隆群体，经间接免疫荧光实验证明：后四只兔子出现第一次虫血症高峰的变异体，均包含在第一只兔体内分离得到的 9个优势变异体之内；这 50 个变异体分属于 20 个抗原型，即共分离到 20 个优势变异体。

In addition to measure the refractive index profile of a GRIN lens, we also measure the refractive profile and radius curvature of a Plano-convex lens by means of this imaging ellipsometric technique.

本文将此简式影像式椭圆偏光术应用在非均匀平面材料光学参数之量测，及平凸透镜之量测；我们不但量出了渐变式光纤折射率的径向分布并证明其表面的平整度，另外也量出平凸透镜的曲率半径及折射率。此法可将椭圆偏光术延伸到曲面薄膜量测。

Using the quasihomogeneous properties of these vector fields and their induced metric, we get some results on A-B-P type estimate analogous to that of polarizable Carnot groups.

首先利用该向量场及其诱导的拟度量关于伸缩变换的拟齐性质，证明了与可极化Carnot群上非散度型方程相应的结果。

The frequency spectrum of the electric field, produced by an electric current dipole on the surface of the uniform conductive and polarizable earth, is transformed into time spectrum, with or without some random error added, and the time spectrum is then inversely transformed into the frequency domain.

基于层状导电和可极化大地表面，电偶源电场的时间谱在无随机干扰和有随机干扰时，进行频谱转换的计算结果，证明了时—频转换的误差传递问题严重。

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％。