查询词典 integer valued function

We prove that in every induced locally compact 〓fuzzy topological groupthere exist at least one regular fuzzy set-valued Haar measure.We define the fuzzymeasurable group and prove that the fuzzy set-valued Haar measure in a fuzzymeasurable group is essentially unique.We also construct the fuzzy topologicalstructure on a group by the fuzzy set-valued measure such that make it a fuzzytopological group.

证明了诱导局部紧〓模糊拓扑群上存在模糊集值Haar测度，定义了模糊可测群，通过对模糊可测群的研究证明了诱导局部紧〓模糊拓扑群上的模糊集值Haar测度本质上的唯一性，并利用模糊可测群上的模糊集值测度构造了群上的模糊拓扑结构使之成为模糊拓扑群。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

The interactions between two semifolded solitons are elastic,while the interactions among other nonlinear multivalued and single valued excitation patterns such as the interactions between semifolded soliton and single valued localized soliton,semifolded soliton and folded soliton,and the interaction among semifolded soltion,folded soliton and single valued localized solitons,are nonelastic generally,which reveal different exotic and important nonlinear mechanical properties.

半折叠孤子之间的非线性相互作用是弹性，而半折叠孤子与单值局域孤子、半折叠孤子与折叠孤子以及更复杂的半折叠孤子、折叠孤子、单值局域相干孤子之间等多值和单值非线性激发模式间的相互作用是非弹性的，呈现出多样的非线性特性。

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教授关于该理论的奠基性工作，本文引入了一类星形算子值函数的定义以及解析算子值函数辐角的定义，将经典的复变函数几何理论中的一些问题推广到了解析算子值函数的情况，并分别进行了讨论。

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个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。