查询词典 partially-ordered set

Fuzzy logic is studied with algebraic tools in this paper. A kind of algebraic abstract of fuzzy logic, Implication Algebra on a partial ordered set, is given. The relations between Implication Algebra and other algebraic structures, such as MV-Algebra and Heyting Algebra etc., and the filter and the structure of Implication Algebra on a partial ordered set are studied.

本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。

People had always considered the problem of selecting dynamically threshold as a problem about measure of fuzziness of fuzzy sets, but they did not notice that it is essentially comparison of elements in an algebra structure, and thereby regarded mistakenly order homorphism (partial ordered set to totally ordered set) as order isomorphism.

本文从模糊系统理论和代数理论的相关思想出发，在序结构的观点下从理论上对模糊度的不一致性进行了详细的分析，提出了模糊度计算公式选用的统一标准，进而结束了随意选用模糊度计算公式的混乱状态。

Company has 8 sets Vertical Machining Center, 1 set Horizontal Machining Center, 6 sets NC lathe, 1 set O.D. Grinding machine, 1 set Plane Grinding machine, 3 sets EDM, 1 set CMM, 1 set universal tool microscope, 1 set cutter aligner, 1 set roughness instrument, etc., much of equipments are the most advanced in domestic.

主要 设备有：加工中心9台（最大加工范围800mm）、数控车床6台（最大加工直径360mm）、外圆磨、平面磨、慢走丝线切割机、快走丝线切割机，电火花成形机、三维坐标测量仪、万能工具显微镜，精密对刀仪、粗糙度仪等。

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 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

OSB production line,Particleboard production line,MDF production line,HDF production line,Plywood complete set of Equipment,Composite panels complete set of Equipment,HF Bending wood complete set of Equipment,Blockboard production line,Artificial board cover complete set of Equipment,Bamboo Filaments floor complete set of Equipment,Bamboo board complete set of Equipment,Bamboo mat complete set of Equipment, Composite pallet board tray machine.

复合板生产线、胶合板成套设备、刨花板OSB成套设备、细木工板成套设备、贴面成套设备、纤维板成套设备、竹地板成套设备、模压托盘设备。

The second motivation is the replacement of a Boolean algebra of sets by the distributive lattice of filters of a finite partially ordered set.

一个自然的问题是：能否给出射影空间中放置不同维数的线性族类似的公理体系？

Birkhoff, every finite distributive lattice is isomorphic to the lattice of all filters of a finite partially ordered set.

由G.Birkhoff的一个基本定理，每个有限分配格同构于一个有限偏序集所有滤子的格。

In Section 3, we study the relation between subsets and filters of partially ordered set 〓. We also obtain some basic results on dependence.

第3节研究了偏序集的子集和滤子之间的关系，我们得到了一些基本的结论，这些都是为后面的主要结论做准备。

Task scheduling aims at scheduling a set of partially ordered computational tasks onto a multiprocessor system by a given strategy in order to obtain a better system performance.

任务调度问题是指根据一定的调度策略，把一组并行处理的任务按规定的时序分配到系统的多个处理机节点上，以期获得较好的系统执行性能。

The directed graph or transitive graph is constructed by transitivity of partially ordered set.

研究铁路车站作业计划编制过程中，如何编制调机运用计划的关键问题。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。