查询词典 especially valued or antique knife

Based on the fundamental works done by professor Fan Ky, who was the founder of this direction, the present paper introduces the definitions of the class of meromorphic univalent operator-valued functions with positive operator coefficients on Hilbert space and the argument of the operator-valued functions, improves and extends some problems in classical geometry theory of complex functions to the case of operator-valued functions, and studies them respectively.

基于该方向的首倡者Fan Ky教授关于该理论的奠基性工作，本文引入了一类星形算子值函数的定义以及解析算子值函数辐角的定义，将经典的复变函数几何理论中的一些问题推广到了解析算子值函数的情况，并分别进行了讨论。

On the basis of extending the concepts of the derived function, primitive function and integration of interval-valued function to complex interval-valued function and using the descomposition theorem of complex fuzzy set, the derived function, primitive function and integration of complex fuzzy set-valued function and some properties of them are proved.

2在国际上最先引入了复模糊集合与复模糊数的基本概念，证明了它们的基本代数运算的封闭性，并且其运算可通过α水平复集合的相应运算来进行

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代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

Around the finite solution problem of fuzzy differential equation, the fuzzy structure element method is put forward about the calculation of fuzzy analysis, and this method is applied to systematically study many problems such as formulation of fuzzy-valued function, difference of fuzzy-valued function, integration of fuzzy-valued function under the Riemann meaning, and the solution structure of fuzzy differential equation etc..

围绕模糊微分方程定解问题，提出了模糊分析计算的模糊结构元方法，并利用模糊结构元的方法对模糊值函数的表述问题、模糊值函数的微分、黎曼意义下的模糊值函数积分以及模糊微分方程的解的结构等问题，进行了深入系统的研究。

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乘子算子及一类奇异积分算子的有界性。

Optimization; parametric quadratic convex programming; set-valued map; directional derivative; linear stability; solution-set map; parametric linear programming; error bound; subdifferential map; lower locally directionally Lipschitzian; upper locally di-rectionally Lipschitzian; locally directionally Lipschitzian; convex function; quasidiferential; kernelled quasidiferential; quasi-kernel; star-kernel; star-diferential; Penot diferential; subderivative; superderivative; epiderivative; set-valued optimization; set-valued analysis; subdifferential; optimization condition;ε-dual; scalization; generalized subconvexlike-cone;ε-Lagrange multiplier

基础科学，数学，运筹学最优化；集值映射；方向导数；线性稳定；最优解集映射；参数线性规划；参数凸二次规划；误差界；次微分映射；下局部方向Lipschitzian；上局部方向Lipschitzian；局部方向Lipschitzian；凸函数；拟微分；核拟微分；拟核；星核；星微分； Penot-微分；上导数；下导数； Epi-导数；集值优化；集值分析；集值映射的次微分；最优性条件；广义锥次类凸；ε-对偶；数乘；ε-Lagrange乘子

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 three-valued neural networks model, the energy function of two-valued neural networks model can not be applied, so the energy function need to be find for the three -valued neural networks model, and here two kind model algorithms are compared in this paper.

在三值神经网络模型中，二值模型的能量函数不能适用于三值模型，因此需要求解三值模型的能量函数，在此本文对三值神经网络测试生成算法与二值神经网络测试生成算法进行比较。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。