证明性的

In chapter 1, the relations between spectrum displacement problem and controllability, observabiity for linear systems over a commutative Banach algebra have been discussed, the open problem about spectrum displacement posed by Kaashoek have been solved, and the if and only if conditions for stability, stabiizabit~ detectability have been obtained.

第一章，讨论了交换Banach代数上线性系统的谱配置问题与可控性、可观性的关系，解决了Kaashoek等提出的关于谱配置的公开问题，给出并证明了判定其稳定性、可稳定性、可检测性的充要条件。

Furthermore,we obtain a sufficient and necessary condition about continuity of functional series and integral with parameter,and show the sufficient condition about differential .

将数学分析中一致收敛性的概念加以推广，分别对函数项级数和含参量积分引入次一致收敛的概念，证明了函数项级数、含参量非正常积分连续性的充要条件和可微性的充分条件，推广了数学分析中的相应结

This paper discusses the gracefulness of disjoint union of paths such as,proving them graceful when.

文章讨论了形如P2m∪P2m+t的两条路不交并图的优美性，用构造性的方法给出了当t=-1，1，2时的优美标号，并证明它们是优美的。

The gracefulness of disjoint union of paths such as Pm∪P2m+t are discussed.

讨论了形如Pm∪P2m+t的两条路不交并图的优美性，用构造性的方法给出了当t=0，1，2时的优美标号，并证明它们是优美的。

We introduce the uniform Hausdorff metric H on the space 〓 offuzzy complex numbers and investigate the topological structure of 〓.We show the completeness of 〓 and study on 〓 limits of thesequence of fuzzy complex numbers,metrical and leverwise convergence,and relation between metrical convergence and leverwise convergence.Weprove the equivalence theorem of metrical convergence and leverwiseconvergence on 〓.

在模糊复数空间〓上引进一致Hausdorff度量H，讨论了模糊复数空间的拓扑结构，证明了的完备性，并在完备的模糊复数度量空间上研究了模糊复数列的极限、度量收敛和水平收敛，讨论了度量收敛与水平收敛之间的关系，在上证明了度量收敛与水平收敛的等价性定理。

And obtain an analogy result of Kazdan and Warner's, and then we use our theorem to study the vortex equation in Holomorphic line bundle over non-Kahler complex manifolds.

在第三部分我们考虑了一类Kazdan-Warner型的方程，并且证明了一个存在性的定理，借助于这一结果我们给出了一般的紧复流形M上的全纯线丛上的vortex方程解的存在性的一个充分性条件，或许这一考虑有其它方面的作用的。

Then,the system is linearized by variational approach,the local null controllability is proved by applying a generalized implicit function theorem and combining the property of the solution mapping.

首先得到了系统的逼近能控性；然后采用变分方法对系统线性化，再结合解映射的性质，应用推广的隐函数定理，证明系统的局部零能控性；最后给出系统零能控的结论。

Skepticism on the justiciability of economic and social rights has long been prevailing in the human rights area.

对经济和社会权利具有可诉性的怀疑论在人权领域内曾经长期占据主导地位，但学术界从理论上已经为证明经济和社会权利具有可诉性做出了许多努力，而南非宪法法院对格鲁特布姆案的判决则第一次在实践上对这个问题做出了正面解答：它确认经济和社会权利的主体具有"合理的政策请求权"，并且确立了对经济和社会权利进行司法审查的"合理性原则"。

Plentiful emulation experiments show that the algorithm ensures the watermark's imperceptibility and robustness, and is also robust to familiar image processing such as JPEG compression , noise contamination, cropping, zoom and circumrotate etc.

通过大量的仿真实验，证明本文算法在保证水印不可见性的同时，对常见的图像处理，如JPEG压缩、噪声、剪切、缩放以及滤波等，均具有较好的鲁棒性。

POY and FDY oiling agent s on wetting, friction, heat-resisting, attrition-resisting properties, etc.

比较了国产和进口的适用于涤纶高速纺丝的预取向丝油剂及一步法牵伸丝油剂的润湿、摩擦、耐热、耐磨等性能，经实际生产应用证明二者的可纺性、上浆性、染色率基本相同。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。