查询词典 partially-ordered set

The invention discloses a double-temperature double-chamber light wave sterilizing cabinet, which comprises the following parts: box, low-temperature chamber and high-temperature chamber in the box and control device, wherein the upper baffle rack is set in the low-temperature chamber, one lower baffle rack is set in the high-temperature chamber, the screen and keyboard are set on the box, the low-temperature chamber possesses first door with drawer switch and the high-temperature chamber possesses second door with drawer switch, the knife and fork rack is set on the bottom of first door, whose extending direction is vertical the door, the rotary lamp rack of ultraviolet tube is set in the low-temperature chamber, the light wave generating device is set in the high-temperature to emit light wave.

一种双温双室光波消毒柜，包括一箱体、设置在箱体内的低温室和高温室、控制装置，该低温室中设有一上隔物架，该高温室中设有一下隔物架，在箱体的上部依次设有显示屏、按键；该低温室具有抽屉式开关的第一门体，该高温室具有抽屉式开关的第二门体；在第一门体的底部设有一拉伸方向与门体拉伸方向垂直的、可以从左右两侧拉出的刀叉架；在该低温室内设有一设置有紫外线灯管的旋转灯架，在该高温室内设有一用于发射光波的光波发生装置。本发明消毒柜，使用范围广泛，功能齐全，消毒效果好。

It is shown that the return time set of strong scattering is Poincaré set, the return time set of scattering is recurrent set and the return time set of weak scattering is recurrent set for group rotation.

特别地，我们得到了强扩散系统的回复时间集为Poincaré序列，扩散系统的回复时间集为回复序列以及弱扩散系统的回复时间集为相对于群旋转的回复序列。

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

The concept of Galois connections for partially ordered objects in a topos is introduced and the kernel operator and closure operator are investigated.

在任意 topos 中引入了偏序对象之间的 Galois 联络的定义，刻画了偏序集对象上的核算子和闭包算子。

In chapter 2, by virtue of the properties of partially ordered F-type topological space, we establish some fixed point theorems of increasing mappings in this kind of space. At the same time, we investigate the existence of maximum fixed point and minimum fixed point of increasing mappings on an order interval.

第二章，利用半序F-型拓扑空间的基本性质，建立这类空间上单调增映射的不动点定理，研究其序区间上单调增映射的最大、最小不动点的存在性。

In this paper,we discuss the extension of the Dω-order and D*ω-order in partiany or-dered group,obtain the necessary and sufficient condition for an extension of the partial-or-der in partially ordered group to Dω-order and D*ω-order, and the condition for the exten-sion of every partial order in a group to Dω-order.

讨论了偏序群的Dω－序扩展，得到了偏序群的偏序可扩展成为Dω－序的充要条件，以及每一偏序均可扩展成为Dω－序的条件，同时刻划了Dω－序群。

In vector optimization one investigates optimal elements such as minimal, strongly minimal, properly minimal or weakly minimal elements of a nonempty subset of a partially ordered linear space.

前言在向量最优化中，人们研究偏序线性空间中非空子集的最优元，比如极小元，强极小元，真极小元或者弱极小元。

The free vibration of a nonlinear elastic rectangular plate is explored, considering influence of material nonlinearity and static-load in plane on its dynamic characteristics. Exact solution to free vibration of each mode of the rectangular plate is obtained according to the fixed point theory of partially ordered space. So the whole process of free vibration is described.

对非线性弹性矩形板的自由振动进行了研究，考虑了材料非线性和面内静载对板动力特性的影响，并根据半序空间的不动点理论求得该矩形板在自由振动时各阶模态的精确解，描绘了其自由振动的全过程。

In chapter 4, in the frame of partially ordered F-type topological space, we research the existence of the solution of a nonlinear operator equation Lx = Nx, and the convergence of the iterative sequence {u_n} which satisfies Lu_(n+1)= Nu_n for a solution of the equation. Then, we give the conditions for multiplicity of the solutions of this operator equation.

第四章，在半序F-型拓扑空间框架下研究一类非线性算子方程Lx=Nx解的存在性，以及满足Lu_(n+1)=Nu_n的迭代序列{u_n}对于方程解的收敛性，并给出这类算子方程具有多解性的条件。

Thesame rank Lipschitz continuous development of single-valued mappings is proven by means of partially ordered theory on finite dimensional Euclidean spaces.

借助于冲一预解算子研究了有限维欧氏空间中的集值混合类变分不等式问题和广义集值变分包含问题的全局误差界。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我