查询词典 scalar valued function

A theorem of the alternative for the generalized subconvexlike set-valued maps is established using the separation theorem of convex sets in a Banach spaces, the concept of weak Benson proper efficient elements for a vector optimization problem is introduced, and the optimality necessary and sufficient Lagrange conditions for a vector set-valued map constrained optimization problem with the weak Benson proper efficiency is developed, with which the optimality Lagrange conditions for a nonconvex vector top-base constrained optimization of set-valued maps with the Benson proper efficiency are obtained.

刘莹 ，刘三阳，盛宝怀运用凸集分离定理对广义锥次类凸集值映射建立了一种择一性定理。引入向量优化弱Benson真有效元的概念，对带约束的非凸向量集值优化问题建立了在弱Benson真有效意义下有效元应满足Lagrange乘子型的必要及充分条件，并用这一结果建立了多目标主从非凸向量集值优化在弱Benson真有效意义下最优解的Lagrange乘子型充要条件。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

In the fourth chapter,we discuss theapplication of the atomic decomposition theory to the vector-valued harmonicanalysis.We give the Hardy inequalities in the vector-valued martingale space,we also study the Mikhlin multiplier operator and singular integral operator in thevector-valued Hardy space.

第四章我们主要研究原子分解理论在向量值调和分析中的应用，建立了向量值鞅空间上的Hardy不等式，向量值Hardy空间上的Mikhlin乘子算子及一类奇异积分算子的有界性。

In recent years, set-valued optimization make much progress. In Chapter 5, based on Clarke tangent cone, we establish epiderivative of a class of set-valued maps and its properties. And furthermore, sufficiency optimization conditions of set-valued optimization are also obtained.

在第5章中，针对近几年发展起来的集值优化，基于Clarke切锥利用Epigraph建立了一类集值映射的Epi-导数并讨论它的一些性质，同时给出集值优化的充分的最优性条件。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

In this paper,some equivalence properties of one-valued selection under the set-valued mapping is introduced and give a sufficient and necessary condition of set-valued mapping being a metric projection.

介绍了集值映射的单值选择的几个等价性质，并给出了集值映射成为度量投影的一个充要条件。结果将度量投影情形推广到了集值度量投影情形

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

Furthermore we introduce the concepts of coverings and lattice-valued homomorphisms,we prove that the L-valued fuzzy transformation semigroups in which the multiplication is fuzzy transformation semigroup inducible is equivelent to usual faithful transformation semigroups in the sence of lattice-valued strong homomorphism.

若格半群中的乘法是格值变换半群可诱导的，在格值强同态下证明了格值可诱导变换半群和一般有效变换半群是等价的。

Thirdly,quasi-normal inequalities of a-variation maximal operator and a-conditional variation maximal operator of scalar predictable tree martingales areidentified by the use of martingale transforms and by the construction of convex or concave function method;on this basis and with the help of previsiblity or regu-larity,Burkholder-Davis-Gundy\'s inequality of a-variation maximal operator and a-conditional variation maximal operator of scalar predictable tree martingales are iden-tified by the application of Hardy-Lorentz interpolation theory.At the same time,bythe use of G.

再次，应用鞅变换和构造凸或凹函数方法证明了标量值可料树鞅的α-方极大算子和α-条件方极大算子的拟范数不等式；然后，在这些拟范数不等式的基础上，应用Hardy-Lorentz空间插值方法证明了当树鞅是可控或正规树鞅时关于标量值可料树鞅α-方极大算子和α-条件方极大算子的Burkholder-Davis-Gundy's不等式成立。

In this paper, the Jacobi elliptic function method is generalized to study nonlinear coupled scalar field equation , and a lot of new analytic solutions of nonlinear coupled scalar field equation are obtained.

推广了Jacobi椭圆函数展开方法，研究了非线性耦合标量场方程组的求解问题，得到了更多更新的非线性耦合标量场方程组的解释解。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。