可证明的

In the last chapter, by introducing the isochronous center of real systems into complex planar and defining complex center and complex isochronous center, a concise linear recursion formula for period constants is given, necessary and sufficient conditions of complex isochronous center (the Time-Angle Difference Theorem) proved, conditions of real systems with linearizable center and saddle treated unitedly and the isochronous center conditions discussed fully for a class of real planar cubic systems.

在第七章，通过把实系统等时中心引入复平面研究，定义了复中心和复等时中心，给出了等时中心周期常数计算的简明的线性递推公式，证明了等时中心判定的充分必要条件，统一地处理了实系统具有可线性化的中心和鞍点条件，并对一类实平面三次系统的等时中心条件进行了完整研究。

From the above theorem,（1） compositional invariant security properties and constructive security properties are proved to exist, and （2） security properties are degraded under operators of process algebra, which is known as "bucket principle", i.e, a composed system cannot be securer than the weakest link of the system.

根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性，并且在安全性质集合上证明了安全性质的"木桶原理"，即复合系统的整体安全性不强于系统中最弱的部分。

Secondly, the existence of chaos in a special class of discrete-time neural network models with sinusoidal activation function in the sense of Devaney with some parameters of the systems entering some regions are rigorously presented by means of anti-integrable limit method. Whats more, period-doubling bifurcation and saddle-node bifurcation in the neuron model are studied.

其次，利用反向可积极限方法证明了一类周期输入输出函数的离散神经网络模型在参数达到一定范围时产生Devaney意义下的混沌，并讨论了其一维情形的神经元模型出现倍周期分支和鞍-结点分支的情况。

Thus we extend the works by Fan and Humphreys independently on polycyclicgroups.In section 3,we prove that 〓 if G is a solvable non-torsion group ofrank 3.This extends a result of McCutcheon who proved it only for polycyclicgroups.

在第3节里，我们讨论了秩3的可解群，证明了当这类群含有无限阶元时，其导出长度至多为6，但在挠群的场合，其导出长度是不能界定的，这推广了McCutcheon的一个结果。

Would have applied if the Merchant had made a separate and direct contract with the Carrier in respect of the particular stage of Carriage where the loss or damage occurred and had received as evidence thereof any particular document which must be issued in order to make such international convention or national law applicable

客商如与承运商就货物在特定运送地发生损失或损害已经分别且直接签定了合同的，且收到了按国际惯例或适用的国内法而须提交的证明该等损失或损害的专门文件的，该证实才可适用

This paper discusses the strong laws of large numbers for random variable functions, and proves a strong law of large numbers for random variable functions by the analytical method.

文章主要讨论了任意随机变量序列泛函的强大数定律，并采用分析的方法证明了任意随机变量序列泛函的强大数定律，作为推论，得到了有关非齐次马尔可夫链函数的一个强大数定律。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

One red crosslinking polymeric dye is prepared in mixed solvent of water and tetrahydrofuran(Schotten-Baumann reaction)from Disperse Red 3B sulfonyl chloride and polyvinylamine.The sulfonamide group in polymeric dye is confirmed by IR.

利用Schotten-Baumann反应，在水与四氢呋喃的混合溶剂中合成了1支新型的红色聚乙烯胺型可交联高分子染料，用红外光谱证明了所合成的染料中磺酰胺基团的存在。

A necessary and sufficient condition for the existence of guaranteed cost control is derived. Furthermore, it is shown that this condition is equivalent to the solvability of a system of linear matrix inequalities, and its solution provides a parameterized representation of guaranteed cost controllers. Based on that, the design of the optimal guaranteed cost controller is formulated as a convex optimization problem, which can be solved by the existing convex optimization techniques.

通过采用线性矩阵不等式的方法，导出了存在保性能控制律的一个充要条件，进而，证明了该条件等价於一组线性矩阵不等式的可解性问题，并用这组线性矩阵不等式的可行解给出了保性能控制律的一个参数化表示。

In Chapter 7, we consider the numerical solution of system of mixed nonlinear variational inequalities in Banach space. The definition ofη—proximal mapping for a proper subdifferentiable functional is introduced.

我们先引入适定次可微泛函的η—逼(来源：ABCa776论文网www.abclunwen.com)近映射的概念，利用η—逼近映射的性质，提出了求解SMNVI的一些迭代算法，并证明了算法的收敛性。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。