证明性的

By investigating the convexity, monotonicity and asymptotic behaviour of the optimal value function, it is shown that the optimal policy is of simple hedging point structure and featured by several hedging points.

通过研究最优值函数的凸性、单调性和渐近性，证明了最优策略具有简单的阈值结构且被几个阈值参数完全刻画。

Among those; studies, Liu and Bek have obtained many important results for the theory and applications of Banach spaces and their geometry on complex number,(see [3],[41])Here, we have investigated the TP modulus of convexity and TP modulus of smoothness, on the one hand, we have defined a class of new spaces called uniformly TP convex ,on the other hand, we have extended martingale inequalities and the martingale spaces.This article is divided into four parts, in the first part, we define the TP modulus of convexity and TP modulus of smoothness of Banach space, and prove that the space which is characterized by uniform convexity is same as the space which is characterized by TP uniform convexity. Then we give TP q-uniformly convex and TP p-uniformly smoothable characterization of the Banach space. At the same time, we prove the famous renormed theorem.

本文分为四部分，第一部分在Banach空间上定义了一个新的TP凸性模和TP光滑模并证明了在Banach空间上它分别和一致凸性和一致光滑性刻划的空间是同构的，即如果Banach空间X是一致TP凸的充分必要条件是存在一个等价范数，使得在此范数下，它是一致凸的；Banach空间X是一致TP光滑的充分必要条件是存在一个等价范数，使得在此范数下，它是一致光滑的，我们还分别得出了判定一致TP凸和一致TP光滑的一些充分必要条件，同时还证明了箸名的重赋范定理。

Under some reasonable conditions, it is proved that the algorithm is locally and globally convergent.

在合适的条件下，证明了算法的全局收敛性和局部二次收敛性。

It is proved that the prime of life is the important phase in which blood start to curdle and blood system diseases occur.

本文证明，青壮年是血液粘滞性和凝固性由正常转变为异常的重要时期，也是发生血液系统疾病的重要时期。

This paper was concerned with the Dirichlet-Neumann mixed boundary value problem of bipolar quantum hydrodynamic model in thermal equilibrium. By truncation method and Leray-Schauder fixed point theorem, the existence of solution to the problem is proved. In addition, the uniqueness of the solution was proved as the Plank constant was large enough.

研究了热平衡状态下双极量子流体动力学模型的Dirichlet-Neumann混合边值问题，利用截断方法和Leray-Schauder不动点定理证明了其解的存在性，另外还证明了当普朗克常数充分大时其解是唯一的。

Secondly, by using the Sobolev inequality on the C-C spaces we prove a Fefferman-Phong type lemma. Based on which we provide nonexistence theorems to three kinds of nonlinear subelliptic parabolic equations through a relatively unified method.

其次，利用Carnot-Caratheodory空间上的Sobolev不等式证明了一个Fefferman-Phong型引理，并用比较统一的方法证明了三类非线性次椭圆抛物方程解的不存在性判定定理。

An ELISA(enzyme-linked immunosorbent assay.) was developed for detection of bovine brucellosis by using LPS as antigen purified by Heating - phenol recommended by OIE (office international des epizootics).

采用世界动物卫生组织推荐的热酚法提取的脂多糖作为抗原，建立了牛布氏杆菌病的ELISA方法，对45份血清进行检测，证明本ELISA方法灵敏性较高，经阻断试验和交叉试验，证明特异性较好。

In this paper, the verifiability of the voters' qualification and talliers' identification will be solved by a dynamic multi-secret sharing scheme without invoking more zero knowledge proof to maintain privacy, universal verifiablitlity, and anonymity of ballots. It holds more communication efficiency and more security than the proposed schemes in early time.

提供的电子投票方案，无须调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份，而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性，较之以前的投票方案具有较高的通信效率和安全性。

In this paper, the verifiability of the voters' qualification and talliers' identification will be solved by a dynamic multi-secret sharing scheme without invoking more zero knowledge proof to maintain privacy, universal verifiablitlity, and anonymity of ballots.

提供的电子投票方案，无须调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份，而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性，较之以前的投票方案具有较高的通信效率和安全性。

Researches on proteid reveal that VSV N gene encoding nuclear protein is a polypeptide which is made up of 422 amino acid and has a strong hydrophility. Comparing its homogeneity with that of VSV wild strains, it shows that the nuclear protein is highly conservative due to the high homogeneity of sequences which is above 98. 8%. It provides a basis for establishing clinical VSV diagnostic method.

蛋白质分析发现，VSV N基因编码的核蛋白是由422个氨基酸组成的多肽，具有较强的亲水性，同VSV野生型病毒株的核蛋白同源性比较，其氨基酸序列的同源性高达98.8%以上，证明VSV核蛋白具有很好的保守性，为临床上建立VSV诊断方法奠定了基础。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。