查询词典 converse theorem

This paper study the character and application of the solution of BSDE, the main results include: for the second kind of BSDE, the existence and uniqueness of the solution under non-Lipschitz condition, comparison theorem and stability are established , under weaker condition , the existence of the minimal and maximal solution is proved and the application in stochastic control and utility function is given; for the first kind of BSDE, under weaker condition , the existence of minimal and maximal solution .stability, comparison theorem and application to utilityfunction are proved.

本文研究倒向随机微分方程解的性质及其应用，主要结果有：针对第二类方程，讨论了在非Lipschitz条件下倒向随机微分方程解的存在唯一性，比较定理及稳定性等，在更弱条件下，得到了倒向随机微分方程的最大解和最小解的存在性，在此基础之上，给出了在随机控制及效用函数方面的应用；针对第一类方程，同样在较弱条件下，证明了方程最大、最小解的存在性、稳定性、比较定理及其在效用函数的应用。

A section theorem, a minimax inequality and a generalized fixed point theorem where the underlying space is a product space of two topological vector space s, are given.

给出了两个拓扑向量空间的乘积空间上截口定理，极小极大不等式及一个推广的不动点定理。指出这3个形式不同的结果与Tychonov不动点定理是相互蕴含的。并且用截口定理直接证明了多值映射的一个重合定理

Equilibrium; continuous selection; the fixed point theorem; variational inequality; minimax theorem; H-space

基础科学，数学，数学分析均衡；连续选择；不动点定理；变分不等式；极小极大定理； H-空间

At first, the existence of extended form of approach to continuous selection for any set valued mapping without any continuity restriction in para-compact metric space is proved ;by the topologically separated mappings , the approximate selection theorem of sub-lower-semi-continuous mapping is established, furthermore , continuous selection problem in H-space is studied. Next, with W-correspondence, an improved variational inequality is obtained ; by the H-KKM mapping ,Ky Fan\'s minimax inequality is generalized to H-space . At last, with H-convexity instead of the linear topological structure, a new version of Browder fixed point theorem is established.Chapter 3 deals with set-valued mapping vector variational inequality and minimax problems.

第二章首先在仿紧的度量空间上对任意的集值映射建立了新的逼近连续选择定理，利用映射的拓扑可分性，在H-空间上建立了次下半连续映射的逼近连续选择定理和一个新的连续选择定理；然后利用W-对应，在H-空间上建立了广义的变分不等式；利用H-KKM映射，在H-空间上建立了广义的KyFan极小极大不等式；最后，利用H-凸性代替拓扑线性结构，在H-空间上建立了一个新型的Browder不动点定理。

In order to study vector-valued optimization problem, in chapter 5, a class of vector -valued function, that is, uniformly same-order set-valued function is introduced , which includes the separated functions as its proper subset; without hypothesis of convexity, new minimax theorem and saddle point theorem for uniformly same-order set-valued function are established. Next, by employing Ky Fan\'s lemma and H-KKM mapping , several existence results for generalized vector equilibrium problem established.

为了研究向量优化问题，作为可分函数的推广，第五章引入了一致同阶集值函数类，在没有凸性条件的假设下，对一致同阶集值函数建立了新的极小极大定理与鞍点存在定理；利用H-KKM映射，对一般向量均衡问题建立了(来源：A73BcbC论文网www.abclunwen.com)几个存在性定理；最后讨论了集值向量均衡问题系统，利用集值映射的拟凸性，在较弱的条件下证明了解的存在性。

Firstly, the generalization of Fan-Ha section theorem and a general vector variational inequality without convexity assumption and minimax theorem of vector-valued function are obtained. Then, the quasi-montone vector variational inequality problem is concerned. Cx-quasi-monotone operator is defined in topological vector space, inner point of a closed convex set K is introduced, the relation between inner point and relative algebraic interior point is given, an existence result for quasi-monotone vector variational inequality is obtained.

第三章主要研究了向量变分不等式和极小极大定理(来源：3282AB83C论文网www.abclunwen.com)，建立了广义的Fan-Ha截口定理、新的向量变分不等式与极小极大定理，并在拓扑向量空间中定义了C_x-拟单调算子，引入了闭凸集K的inner点，给出了inner点与相对代数内点的关系，利用innK_c代替K的拓扑内部，建立了新的拟单调向量变分不等式。

As a special example, our theorem is also applicable to the case that the reaction function is monotone. And our theorem is consistent to the previous concludes.

作为一个特例，即反应项是拟单调的，我们的构造耦合拟上解和拟下解的方法也适用并且与以前文献的结论一致。

Following that, the theorem of maximum entropy andthe theorem of monotonicity are proved as well as the positivity of entropy.

本文指出了度量模糊变量的不确定性和度量模糊集的不确定性之间的本质差异，表明了定义模糊变量的熵的意义所在。

We present a SNMP-based topology discovery algorithm using direct connection theorem and simple connection theorem for judging relationship of switches in subnets. In order to in discover the map of network without SNMP, several key problems such as subnet guessing and multi-address routers are discussed in details. And then a topology discovery algorithm based on primitive protocols is presented. We also deeply study some routing protocols such as OSPF and BGP and propose a routing-protocols-based algorithm for topology discovery.

基于判断交换机互联的直接连接定理和间接连接定理，提出了一种完整的基于SNMP的拓扑发现算法；详细讨论了子网获取、多址路由器处理等关键问题，针对不同的网络环境给出了相应的解决方案，并以此为基础提出了一种基于通用协议的拓扑发现算法；在对OSPF，BGP等网络路由协议进行分析的基础上给出了一种基于路由协议的拓扑发现算法，并设计了一个自上而下的拓扑发现框架结构。

Firstly, the eigenvalue problem of a class of second order elliptic equation with critical potential and indefinite weights is considered. Then, using critical point theory, Trudinger-Moser inequality and the properties of the first eigenvalue, we prove the existence of a nontrivial solution for a class of nonlinear elliptic with critical potentialand indefinite weights in R~2. Secondly, we prove the existence of nontrivial solutions for a class of subcritical and critical elliptic systems with indefinite part in R~2 byusing a generalized linking theorem, Trudinger-Moser inequality and concentration-compactness principle.5. The existence of at least three weak solutions for discrete boundary value problem is established by using a three critical point theorem introduced by Ricceri.

首先，讨论了R~2中一类带不定权且含临界位势的二阶椭圆型方程的特征值问题，并借此特征值问题的第一特征值性质，利用山路引理及Trudinger-Moser不等式，证明了R~2中一类带不定权且含临界位势的非线性椭圆型方程非平凡解的存在性；其次，利用广义环绕定理，Trudinger-Moser不等式及集中列紧原理，得到了R~2上一类具有强不定部分的半线性椭圆型方程组在非线性项分别为次临界增长和临界增长情形下非平凡解的存在性。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。