查询词典 integer valued function

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

Because 3-valued logic has a truth more than 2-valued logic, the quantity of truth of function of 3-valued logic is more than it of 2-valued logic, and 3-valued logic has a more powerful ability to handle problems than 2-valued logic does.

由于三值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。

based on the analysis of the traditional gnss carrier phase measurement model and the rule of the integer ambiguity estimation,the quality of normal integer mapping is gained,then,the theory of rough integer mapping is proposed,the question of gnss integer ambiguity estimation is solved,the searching efficiency of integer ambiguity is improved,the problem of gnss carrier phase measurement in a certain extent is solved.

摘 要：在分析传统的基于gnss载波相位测量模型对整周模糊度解算的一般规律后，得出一般归整映射的性质，进而提出粗糙归整映射理论，用来解决整周模糊度浮点解归整问题，提高了整周模糊度的搜索效率，一定程度上解决了载波相位实时测量的技术难题。

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

In this part, the paper inspects and studies Lukasiewicz"s 3-valued logic, the truth function of 3-valued logic, the study of axiomatized system of Lukasiewicz"s 3-valued logic and the many-valued generalizations of Lukasiewiczs 3-valued logic, etc.

在这一部分中，文章考察的内容主要有卢卡西维茨的三值逻辑理论、三值逻辑的真值函项、卢卡西维茨的三值逻辑的公理化研究和卢卡西维茨的三值逻辑的推广等。

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)几个存在性定理；最后讨论了集值向量均衡问题系统，利用集值映射的拟凸性，在较弱的条件下证明了解的存在性。

The research is carried on from four aspects. One is, based on answering the above open problem on a finite dimensional Euclidean space by means of partially ordered theory, to research the existence of solutions, global error bounds of proximal solutions and sensitivity of parametric unique solutions and present a class of variable-parameter three-step iterative algorithms for generalized set-valued variational inclusion problems by using - resolvent operator of set-valued mapping.Two is to consider the convexity, closedness and boundedness of the solution set of general set-valued variational inclusion problems and the sensitivity of the parametric solution set by means of graphical convergence theory. Three is to discuss directly the existence of solutions by using analytical methods for set-valued mixed quasi-variational-like inequalities and suggest a class of direct variable-parameter three-stepiterative algorithms for solving generalized set-valued variational inclusions.

研究分有三个方面：一是借助于偏序理论在有限维欧氏空间中解决了上述公开问题，在此基础上利用集值映射的η-预解算子，研究了广义集值变分包含问题解的存在性、逼近解的全局误差界、参数唯一解的灵敏性，并提出了一类变参数三步迭代算法；二是借助于图收敛理论研究了一般集值变分包含问题解集的凸性、闭性和有界性以及参数解集的灵敏性；三是用分析的方法直接讨论了集值混合拟类变分不等式问题解的存在性并提出了一类求解广义集值变分包含问题的直接变参数三步迭代算法。

Some operational laws of interval-valued intuitionistic fuzzy numbers, score function and accuracy function of interval-valued intuitionistic fuzzy numbers are intriduced. Based on these operational laws, some aggregation operators, including interval-valued intuitionistic fuzzy ordered weighted arithmetic averaging operator and interval-valued intuitionistic fuzzy hybrid aggregation operator, are proposed.

论文摘要：对区间直觉模糊信息的集结算子进行了进一步研究，引入了区间直觉模糊数的一些运算法则、区间直觉模糊数的得分函数和精确函数，并基于这些运算法则，提出了一些新算子：区间直觉模糊数有序加权算术平均算子和区间直觉模糊数混合集结算子。

We prove the fuzzy set-valued characteristicfunction of a compact Baire fuzzy set can be approached by fuzzy set-valuedcontinuous functions with fuzzy compact support sets,the integral of integrablesimple Baire fuzzy set-valued function can be approached not only by the integralsof integral simple fuzzy set-valued functions,but also by the integrals of fuzzy set-valued continuous function with fuzzy compact support sets.

定义了诱导空间上具有模糊紧支集的模糊集值连续函数，说明了它与分明的具有紧支集的连续函数的关系，证明了紧贝尔模糊集的模糊集值特征函数可以用具有模糊紧支集的连续函数列来逼近，可积简单贝尔模糊集值函数的积分可以用可积简单模糊集值函数的积分来逼近，还可以用具有模糊紧支集的模糊集值连续函数的积分来逼近。

The course is a comprehensive introduction to the theory, algorithms and applications of integer optimization and is organized in four parts: formulations and relaxations, algebra and geometry of integer optimization, algorithms for integer optimization, and extensions of integer optimization.

本课程对整数最优化的理论、算法和应用做了全面的介绍。课程分为四部分：公式和松弛、整数最优化的代数学和几何学、整数最优化的算法，以及整数最优化的拓展。

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方程。