给出二未确知拓扑空间中的未确知连续函数的定义及定理。
The definition and theorems on unascertained continuous function between two unascertained topological Spaces are introduced.
波印廷定理及波印廷向量s。
由凸集分离定理及终端时间阈值函数方程，我们获得了最大值原理及最优控制时间的确定方法。
Using separation theorem of convex set and the time terminal value function equation, we obtain the determining method of optimal terminal time as well as the Maximum principle.
在2—距离空间中减弱映射的连续性条件下，给出了扩张映射的不动点定理及扩张映射对的公共不动点定理。
The fixed point theorems for expansion mappings and the common fixed point theorem for a pair of mappings are given in 2 metric spaces under the condition of weakening mappings continuance.
本文以概率分析及安定下限定理的分析方法，从三个方面对钢结构的安定问题进行了研究。
The stability problems of steel structure are studied using the method of probability analysis and stability lower bound theorem from three respects.
本文给出了在二叉前序线索树中消除困难访问的填左局部根算法f。其他有关的定理、定义及算法也一并附出。
In this paper, algorithm f, which can fill in left local root on preorder in-threaded binary trees, and other related theorems, definitions and algorithms are presented.
概率论继他们之后，其中心研究课题则集中在推广和改进伯努利大数定律及中心极限定理。
Probability of following after them, its central research topics are focused on promoting and improving the Bernoulli law of large Numbers and central limit theorem.
本文研究了伪黎曼空间型中具有常平均曲率的类空子流形，得到了这类空子流形的一个积分不等式及刚性定理。
This paper discusses the space-like submanifolds with constant mean curvature in a pseudo-Riemannian space form, and obtain an integrate inequality and a rigidity theorem.
术文研究泛函数微分方程数值解的混合算法，给出了收敛性定理及数值例子。
In this pager hybrid methods of functional differential equations are investigated. Some convergence theorems are given and numerical example are presented.
应用结构塑性极限分析的上、下限定理及相应的有限元法分析重力坝的极限承载能力，以判断大坝的稳定性。
The upper bound and lower bound theorem of classical plasticity theory and corresponding FEM is applied to analyze the bearing capacity of gravity dam for judging the stability of the dam.
最后证明了模糊测度空间的正则扩张及表示定理。
The regular extension and representation theorems of fuzzy measure Spaces will be proved.
该方法首先根据协议规范构造全信息项及冗余协议，使用定理证明保证冗余协议的安全性。
It constructs full information items based on requirement to get a redundancy protocol firstly, and then USES theorem proven to prove the security of the designed protocol.
由质点运动连续性公理导得力的连续性定理及关于质点运动轨迹的三个定理。
We can derive one theorem of the continuity of a force and three theorems about the trajectory of a particle with the particle-motion-continuity axiom.
引入了时变方向场的概念，用定性方法建立了稳定及不稳的定理。
We introduce the concept of time-variable directional field, and establish the stable and unstable theorems by the qualitative method.
本文讨论可数模空间上全连续算子的有限维逼近定理及该空间的一些性质。
In this paper the properties and fixed point theorems of completely continuous maps on denumerable norm Spaces are studied.
利用CBL技术在变力作用下验证了动量定理，并介绍了实验原理及实验步骤。
Using CBL technique, the theorem of momentum with changing force is tested. The experimental principle and procedure are introduced.
本文就线性规划基本定理的证明方法及过程提出一点修改意见。
In this paper, an improved suggestion is made of proof way and process of fundamental theorem of linear programming.
文章介绍五个定理及一些范例的多种解证方法。
This article introduces some different methods to solve and demonstrate five theorems and other examples.
本文给出了非线性弹性动力学两时端边值问题的某些一般定理及变分原理。
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
本文对模糊数扩张运算的一些基本性质进行了研究，提出了相应的定理及推论。
Several properties on fuzzy extensive quantity extensive operations are studied and several respective theorems and derivations are given in this paper.
给出了竞争博弈转移量及稳定集的判定定理。
Proof the theorems that there are amount transfers and stable sets in competition games.
讨论泰勒中值定理中中值点的连续性及可导性问题，给出泰勒中值定理中中值点连续及可导的充分条件，同时给出计算其导数的公式。
The continuity and derivative of the intermediate point in the Taylor mean value theorem are discussed, and some of their sufficient conditions are presented.
本文利用积分上限函数给出证明中值定理及类似问题的一种方法。
This paper applies an integral upper limit functions to giving a method for the solution of the problems similar to those as the proven mean value theorem.
对应于矩阵反演公式及QR分解定理，加权最小二乘法(WRL S)存在两类不同的算法结构。
There are two kinds of algorithmic structures for the method of weighted recursive least squares (WRLS) corresponding to the matrix reversing (MR) formula or the QR decomposing theorem.
提出一种利用求传递闭包来构造直觉模糊等价矩阵的方法，证明了直觉模糊相似矩阵定理及传递闭包定理。
An approach to formation of IF equivalent matrixes by finding the transitive closure is presented with the proof of theorems of transitive closure and resembling matrix.
投影定理在平稳时间序列的预报及函数逼近研究中起着重要的作用。
Theorem of projection is more important in the study of prediction of stationary discrete-time sequence and function approximating.
同时提出了两个混沌存在定理及两个判据。
Two theorems of chaos existence and two criteria for chaos prediction are proposed as well.
同时提出了两个混沌存在定理及两个判据。
Two theorems of chaos existence and two criteria for chaos prediction are proposed as well.
应用推荐