证明性的

It is proved that the choice function must satisfy the axiom of consistency if the choice function meets the axiom of substitutability together with quotafilling condition; then, it is driven that the choice function is a path independence choice when it satisfies the substitutability and consistency condition.

首先证明了在替代性原理的前提下，选择函数定额充分是满足一致性原理的充分条件；得出了当选择函数满足替代性和定额充分条件时，必定满足路径无关性选择的结论。

Instead of Gronwall\'s inequality,the non-linear Bihari inequality is crutial in dealing with the non-Lipschitz equations.Moreover,we emphasize that the dominating functions in non-Lipschitz conditions always satisfy concavity and some non-integrability near zero.The concavity is for using Jensen\'s inequality.Because of the non-integrability near zero,we can apply the comparison theorem of ordinary differential equations together with Bihari\'s inequality to yield many results.

3作为Gronwall不等式的推广，Bihari不等式在处理具有非Lipschitz系数的方程时不可或缺；同时应当注意，非Lipschitz条件中所涉及的控制函数总是满足凹性和某种零点处的不可积性：凹性是为了利用Jensen不等式；零点处的不可积性使得Bihari不等式与常微分方程中的比较定理结合在一起从而完成很多结论的证明。

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

Chapter2, mainly summarizing the optimality conditions for the nonconvex semidefinite programming, first recalls the concept of transversality condition, proves that transversality condition and linear independence condition are equivalent, and shows that under strict complementarity condition, the transversality condition is a sufficient condition for uniqueness of the Lagrange multipliers.

第2章，主要综述非凸半定规划的最优性条件，首先回顾了横截性条件的概念，证明了横截性条件与线性无关条件是等价的。并且说明了在严格互补松弛条件下，横截性条件是Lagrange乘子矩阵唯一的充要条件。

The problem that under what conditions the - resolvent operator of a maximal TJ - monotone set-valued mapping is a Lipschitz continuous single-valued mapping on whole space, which also answers the open problem mentioned above, is studied on finite dimensional Euclidean spaces.

借助于图收敛理论证明了有限维欧氏空间中的两个极大单调集值映射的和映射在较弱条件下仍是极大单调集值映射，并在此基础上讨论了一般集值变分包含问题解集的凸性、闭性和有界性。

By the above four criteria, it is proved that there does not exist a line parameterization which could satisfy all the four criteria at the same time, and that the line parameterization, formulated as c= ax+y, a∈-a0 ,a0, where a0 is an arbitrary positive number, can not only satisfy the uniqueness, boundedness, and recursiveness criteria, but also achieve the best goodness to the uniformness one.

根据上述四条标准，证明了不存在同时满足这四条标准的直线参数化方式t和直线参数化方式c= ax+y， a∈-a0 ，a0不但满足唯一性、有界性和递归性标准，而且可以获得均匀性标准的最优近似。

In the paper the separate theorem of convex set with weak topology σ(L ∞,L 1) is proved, and the topological characterization about No Free Lunch with Vanishing Risk Condition is given, from it, the equivalency between exist of equivalent martingale measures and NFLVR is proved, this is the first fundamental theorem of asset pricing.

资产定价的第一基本定理是数量金融学中核心的定理之一，本文证明了在 L∞的弱*拓扑σ(L∞，L1)中的凸集分离定理，并在此定理的基础上给出了没有无风险免费午餐的拓扑描述，证明了市场公平性与没有无风险免费午餐条件的等价性，从而重新证明了资产定价的第一基本定理。

The existence and uniqueness of the limit cycle are proved by applying Poincare-Bendixson theorem and Zhang Zhifen's Uniqueness theorem.

运用Poincare-Bendixson环域定理，证明了极限环的存在性。这用张芷芬惟一性定理，注明了极限环的惟一性。

With its remedial effects and good property, the carrier of natural aborable and non-poisonons, innocuous bletilla hyacinthine gum is of better value in clinical application than pure chemical carrier that had previously been used.

近些年来，有报道采用聚乙烯醇配制药液注入的方法，在一定程度上克服了一般溶液的不足，但实验证明，PVA作为载体虽然成膜性较好，但粘附性差，注入后仍易被咳出，加之其无法被机体生物降解吸收，滞留气道及易引起意外阻塞性副反应，故仍不

In this dissertation,an investigation is made involving 95 verbs and 450 sentences with reduplicated verb.

本文调查了95个动词共450个动词重叠句，就及物性的十个参数：参与者、动作性、体貌、瞬时性、意愿性、肯定性、语态、施动力、宾语的影响性和宾语的个体性对这些句子进行及物性计算，得出结论：动词重叠句较基式动词句及物性低，进而对450个动词重叠句出现的语篇环境进行考察，证明了其作为背景句的假设。

But we don't care about Battlegrounds.

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

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

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