上确界

半序Banach空间中集的上确界及一类非线性算子方程的解

The supremum of the set in a semi-order Banach space and the solution of a Class Nonlinear Operator Equation

设X是一Banach空间，C0（X）表示X中所有按范数拓扑收敛于零的序列构成的空间（赋上确界范数）。

Given a Banach space X , let C 0 ( X ) denote the space of all sequences in X that converge to 0 in the norm topology ( equipped with the supremum norm ) .

方法非条件确切检验方法是通过使冗余参数在其参数空间内变动，以其确切P值的上确界为所求检验P值。

Methods In unconditional exact test methods , all possible values of nuisance parameter are searched through its parameter space , and define the maximum exact P-value as final P-value .

本文证明了：当n为奇数时，含对称非零元的n阶本原矩阵类B的指标集EB的上确界为3n-4；

In this paper it is proved that the upper bound of the exponent set E_B of order n ( odd ) primitive matrices is 3n & 4 ;

后者也是一个群速度，其上确界为CV型介质温度波速的0.6065倍。

And the another degenerates to temperature wave speed , whose upper bound is 0.6065 of the temperature wave speed in CV media .

进一步，考虑扰动上确界未知的情况，提出了基于RBF神经网络的Backstepping控制算法，可补偿模型不确定性，实现卫星姿态的高性能控制。

Further , given the unknown supremum of disturbances , a backstepping control scheme based on RBF neural network is designed . It can compensate the model uncertainties and achieve high-performance control .

该控制器的设计由非线性PD控制和自适应反馈控制构成，避免了单纯线性PD控制导致的初始输出力矩过大问题，并针对有界扰动的上确界为已知和未知两种情况分别设计了控制器。

The controller consists of nonlinear PD control and adaptive feedback control , so that peak levels of servo initial output is reduced . Two differential controllers were designed according to whether the upper bound of perturbation being known or not .

第四章考虑了两类可积非哈密顿系统，对于其中的一类得到了有限平面内在n次多项式扰动下分支出的极限环的个数的上确界是[n/2]。

For the former , it is proved that the system under the polynomial perturbations has at most [ n / 2 ] limit cycles in the finite plane and the upper bound is sharp . The proof relies on a careful analysis of a related Abelian integral .

安全协议分析中参与者个数上确界的论证

Proof of Supremum of Agent Number in Security Protocol Analysis

一类极大值问题的上确界

The Supremum of a Class of Maximum Value Problems

岭参数的上确界及岭估计优于最小二乘估计的充要条件

The Necessary and Sufficient Theorems with Ridge Estimation Superior to Least Square Estimation

这正好是上确界存在性的序列形式。

It is just the sequential form of the existence of least upper bounds .

一类随机游动上确界的密度的渐近性

Asymptotics for the Density of the Supremum of a Certain Kind of Random Walks

格中上确界映射的性质

The Properties of Sup - mapping in Lattices

关于随机游动上确界的尾概率的上界不等式

On upper bound inequality of tail probability for the supremum of a random walk

均值无限的随机游动上确界的尾渐近性和局部渐近性

Tail Asymptotics and Local Asymptotics for the Supremum of a Random Walk with an Infinite Mean

实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。

The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement .

运用上确界与下确界存在定理，在一定条件下，研究了连续函数的映射特点，得到一个连续函数所独有的映射规律。

According to the definite condition , The paper uses the theorem of supremum and infimum to study characteristic of mapping function and get its important law of the mapping .

证明了均衡线性函数的弹性阶等于对应线性分组码的码字最小重最减1，且弹性阶上确界常常能由非线性函数所达到。

A proposition is given and proved that the resilient order of the balanced linear function equals the mini-weight of corresponding block code minus one , and the supremum of this order can often be reached by non-linear functions .

采用本方法得到高维稀疏数据对象的聚类结果后，可以根据聚类结果中各个对象集合的上确界和下确界为新对象进行对象组分类。

After the object clusters are gained by the SS / OSF clustering method , and according to the supremum and infimum of object clustering set , the new object can be distributed to all kinds of different clusters .

本文中，我们讨论了在定义模糊n-方体数值映射的某种类型的积分时要用到的序有界模糊n-方体数集的上确界与下确界的问题。

In this paper , we discuss the problems of supremum and infimum of order bounded sets of fuzzy n-cell numbers , that is useful in the definition of some kind of integral about fuzzy n-cell number value ( mappings . )

利用一类常见分布族的一个重要性质，给出了增量带重尾分布的随机游动在随机时段内的上确界超越曲线边界的概率的一个重要结果的必要条件。

The necessary condition of an important result of the probability that the supremum of a random walk with ( heavy - ) tailed increments crosses a curve on a random time interval is presented by using an important property of a general distribution class .

其主要思想是：当格中有概念相似时，把相似概念共同的上确界和下确界，以及上下确界之间的所有概念聚为一个新概念。

The main idea is that when there are similar concepts in a concept lattice , a new concept is formed by clustering the set of concepts which includes the supremum , the infimum of the similar concepts and all the other concepts between the supremum and the infimum .

π（N）的上下确界及其近似值

The Supremum and Infimum of π( N ) and Its Approximative Value

具体内容共分两部分：第一部分：我们首先重述了Tanino引入的弱上下确界定义以及相关的一些性质。

The detailed contents are listed below : Part one : Firstly , we recall respectively the definitions of weak supremum and infimum of a set which is introduced by Tanino .

接着介绍了根据观察接收符号序列的序列检测技术，并导出了相应差错概率的上、下确界。

The technique of sequential detection based on the observation of received symbolic sequences is next considered , and the corresponding upper and lower bounds of the error probability are obtained .

总的思路：对方案集和目标集均为有限集的决策而言，如果任意两个方案均有上、下确界，那么顶元素（或底元素）即为最优方案。

The main idea : As for decision-making whose choice sets and objective sets are finite , if two arbitrary choices have supremum and infimum , then the top element ( oar the bottom element ) is the optimum choice .

在此基础上，迭代应用上确界F检验，较准确地侦测到汇率政策调整对汇率管理基准的影响，从而获得了更加有效的汇率管理参考基准。

And then , the supremum F test is applied iteratively to detect the monetary policy adjustment and its effect on management reference of forex rate , aiming to get a more convincible estimation of reference benchmark .

应用上下解方法和单调迭代技术研究了带有上确界的一阶非线性脉冲微分方程无穷边值问题，并获得了其极值解的存在性结果。

In this article , we study the infinite boundary value problems for first order nonlinear impulsive differential equations with ″ supremum ″ by means of the upper and lower solution method and the monotone iterative technique , and obtain the existence theorems for their extremal solutions .

最后在半一致空间上给出最优化问题的一般模型，并将下半连续泛函在紧集上可达到下确界定理推广到半一致空间上。

Finally , the general model of optimization problems in the semi-uniform spaces is obtained , and the infimum of a lower semi-continuous mapping from a compact set to a semi-uniform space is reached .