查询词典 integer valued function

The division with surplus, the comprehensive division and Eisenstein Test applications on polynomial that can not be divided are mainly discussed; the sufficient condition of that polynomial with coefficient being integer has no integer root, that cubic polynomial with coefficient being integer is irreducible in rational domain and that polynomial with coefficient being integer has not two completely same roots are summed up.

主要论述了带余除法、综合除法及不可约多项式艾森斯坦判别法的应用；总结出了整系数多项式的无整数根的充分性，三次整系数多项式在有理数域上不可约的充分性，整系数多项式无重根的充分性。

We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.

我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。

The properties and expression of knowledge are discussed in brief and binary and multiple truth expression and inference of knowledge are studied focally. The neural networks which can realized the three valued logic are overviewed. The new idea of uncertain inference based on three valued logic is proposed for the first time The models of neural logic, which can realize three valued logic and uncertain three valued logic inference are proposed, too. The learning algorithm of coefficient of MVL's function based on the canonical realization of MVL network is investigated for the first time and the appropriate algorithm is proposed.

4简要地论述了知识的特征及其表现形式，重点研究了知识的真值二值和多值表示法以及基于知识真值表示法的逻辑推理；通过对目前可实现三值逻辑推理的逻辑神经元及其网络的简要回顾，指出了各自的局限性，首次提出了基于三值逻辑的不定性推理的新概念以及可实现三值逻辑和三值逻辑不定性推理的逻辑神经元模型，同时对基于这种逻辑神经元模型的推理系统的应用领域进行了探索性尝试；另外，首次对基于多值逻辑网络正规实现的多值逻辑函数的系数参数的学习算法进行了研究，并提出了相应的学习算法。

From the point of view of measure theory, this paper gives the unified definition of measurable real fuzzy set-valued function and n-dimensional measurable real fuzzy set-valued function, and discusses the fundamental properties of them and their invers fuzzy set-valued function by combining with fuzzy σ-algebra.

5研究了有界闭复模糊数的四则运算、交并运算以及上下确界、上下极限与极限运算的若干基本性质

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..

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

Under the conditions of compatibility or sub-compatibility between a set-valued mapping and a single-valued mapping, the existence of cotnnlon fixed points for two set-valued mapping and a single-valued mapping in complete metric space is discussed.

在集值映象与单值映象相容或次相容的条件下，讨论了度量空间中两个集值映象和一个单位映象的公共不动点的存在性，改进和推广了一些相应结果。

Under the conditions of compatibility or sub-compatibility between a single-valued mapping and a set-valued mapping,a necessary and sufficient condition for set-valued mapping pair and single-valued mapping which have the common fixed point in complete convex metric space are given.

在单值映象与集值映象相容或次相容的条件下，给出了完备凸度量空间中集值映象对与单值映象存在公共不动点的一个充要条件，改进和推广了某些已知结果。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

We introduce the notion of fuzzy-valued continuous function on a compact set K in a metric space, and discuss its properties; On this base, we study the uniformly d∞-convergence of a sequence of fuzzy-valued continuous function on K. We prove that the space of fuzzy-valued continuous functions on K, i.e. C(K, E1), is a complete metric space with respect to the metric D.

引入了定义在某度量空间的紧子集K上的模糊数值连续函数和水平连续函数的概念，讨论了它们的某些性质；在此基础上，研究了K上模糊数值连续函数列的一致d∞-收敛性，证明了K上模糊数值连续函数空间C(K， E1)关于度量 D 构成一个完备的度量空间。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样