证明

In the case the regulation is needed to show judge work out adjudication .

这在现代法律制度中主要涉及到证明责任的分配问题。

The equivalenceof the adjunction for the grey-scale morphological dilation and erosion, and for thefuzzy conjunction and implication has been proved. A series of properties ofgery-scale morphological operators are discussed.

证明了灰度形态学膨胀和腐蚀算子之间的伴随关系与模糊逻辑合取和蕴涵算子之间的伴随关系的等价性。

Then, theoretically, mathematical morphology is stretched from complete lattices to complete semi-lattices and the adjunction of complete semi-lattices is studied. Some qualities of mathematical morphology on complete semi-lattices are discussed and supported. Two examples of difference semi-lattice and reference semi-lattices are also supplied.

然后在理论上，把数学形态学从完备格延伸到完备半格，研究了完备半格上的伴随，讨论并证明了完备半格上数学形态学的一些性质，列出了差分半格和参考半格两个例子。

The authentic Adjutant General's Office Identification Card, carried by all GIs, had printed at the top:"Not a Pass — For Indentification Only."

美国大兵人人随身携带，由师级以上司令部副官发放的正版身份证明卡片，抬头印着："非通行证——只作身份征明。"

The fact proves, even if compete completely, what still be put in the mensurable admeasure of credit and balance is unemployed.

事实证明，即使是完全竞争，仍然存在信贷的定量配给和平衡中的失业。

In the last chapter,we study the control problems of the distributedparameter system governed by a class of higher order pseudohyperbolicequation related to the symmetric regularized long wave equation.we havediscussed the controllability and optimal control problems.we have obtainedcompatibility condition of the constraint when the state is controllable,therepresentation of the optimal control for both the time optimal control problemand the optimal control problem of minimum energy type,and the equationsatisfied by the minimum time.we have shown that the optimal control belongsto the boundary of the admissible control set.

在第六章中，我们研究了与对称正则长波方程相关的一类高阶拟双曲型方程支配的分布参数系统的控制问题。讨论了系统的状态能控性问题和最优控制问题，给出了状态能控时的约束相容性条件，给出了最速控制问题、最小能量型最优控制问题的最优控制表达式和最速时间所满足的方程式，证明了最优控制属于控制集合的边界。

Some nonexistence results for p-degenerate sub-elliptic first order evolution inequalities associated with the generalized Baouendi-Grushin vector fields are given. The method is an improvement of the admissible function method in Euclidean space. The proof hardly depends on the properties of the generalized Baouendi-Grushin vector fields.

通过改进欧氏的容许函数法，应用广义Baouendi-Grushin向量场的一些性质，选取特殊的容许函数，利用Hlder不等式和Young不等式，证明了由广义Baouendi-Grushin向量场构成的p-退化次椭圆一阶发展不等方程，在适当条件下非平凡弱解的不存在性。

In Chapter 2,a steady permeability identification problem in elliptic equa-tions for two-dimensional orthotropic medium is considered.We construct afunctional,obtain its first and second Gateaux differential,and prove that thefunctional is strictly convex on a convex admissible function set.We seek to iden-tify the permeability by minimization of the above functional.

第二章研究了二维稳态正交异性介质的渗透率反演问题，我们构造了一个泛函，求得该泛函的一、二阶Gateaux微分，证明了它在一个凸的容许集上的严格凸性，并使用极小化泛函即变分方法来求解此问题。

It is proved in the paper that the uniformly ultimate boundedness of solutionsimplies the existence of periodic solutions to functional differential equations with infinite delayin admissible phase space with fading memory .

本文证明了在具有衰减记忆的允许相空间中，无限时滞泛函微分方程的解的一致最终有界性蕴含了周期解的存在性。

We show that uniqueness of the solution to the learning problem in the case of regression can be restored by appropriately restricting the space of the admissible solutions to sufficiently smooth functions.

并证明如何利用适当的控制平滑函数来反推回归式学习问题的解法的独特性。

Objective: To study the effect of polycythemia on blood oxygen saturation.

裴蕾目的：观察RBC剧增而引起的高粘血症对血氧饱和度的影响。

Based on SIMPLER algorithm in the curvilinear body-fitted coordinates, the calculations were performed for Pr=0.7, Re=10~1000 on non-orthogonal non-staggered grids which are generated by elliptic equation systems.

采用曲线坐标系下压力与速度耦合的SIMPLER算法，数值研究了周期性渐扩渐缩波纹通道内脉动流动与换热情况，流动Re数的范围为10~1000，Pr数为0.7。