查询词典 partially-ordered set

Strengthen the automatic control type class to set up and is set up Guarantee the peace and steadiness of railway transportation Summary: The automatic control type class sets up and is set up, but it is " human-oriented " to insist Management idea,it combine actually with homework characteristic production of teams and groups, through setting up and amplifying there aren't quality, to make the automatic control type class and set up and have the implementing method, promote worker's self- management, selfdiscipline in homework, examine oneself and implement the improvement of respects such as the standardized homework,etc.

加强自控型班组建设确保铁路运输安全稳定摘要：自控型班组建设，就是坚持&以人为本&的管理理念，结合班组的生产实际和作业特点，通过建立健全素质培训机制、优胜劣汰机制、激励约束机制，来制定自控型班组建设实施办法，促进职工在作业过程中自我管理、自我约束、自我检验和按程序自觉落实标准化作业等方面自控能力的提高，实现班组在安全生产等各方面的自治自控，达到铁路运输安全稳定的目的。

From the burden increased aspect clarify set upthe necessity of station, then pass to drew up to set up generalizeof transformer substation and line direction to consider, and passto analysis of carry the data, safety, economic and dependableconsider and made sure the 110 kV, 35 kV, 10 kV and station useelectricity of lord connect line, then again through burdencalculation and power supply scope made sure main number, capacityand model number of the transformer set, also in the meantime makesure the station uses capacity and model number of transformer,end, according to biggest keep on work electric current and shortcircuit calculating of calculation result, to the high pressureRong break a machine, insulate a switch, female line, insulate sonand wear a wall set tube, electric voltage with each other feelingmachine, electric current with each other the feeling machinecarried on choose a type, thus completed a 110 kV electricity apart of design.

本文首先根据任务书上所给系统与线路及所有负荷的参数，分析负荷发展趋势。从负荷增长方面阐明了建站的必要性，然后通过对拟建变电站的概括以及出线方向来考虑，并通过对负荷资料的分析，安全，经济及可靠性方面考虑，确定了110kV ，35kV ，10kV 以及站用电的主接线，然后又通过负荷计算及供电范围确定了主变压器台数，容量及型号，同时也确定了站用变压器的容量及型号，最后，根据最大持续工作电流及短路计算的计算结果，对高压熔断器，隔离开关，母线，绝缘子和穿墙套管，电压互感器，电流互感器进行了选型，然后进行配电装置和平面布置的设计以及防雷的设计，从而完成了110kV 电气一次部分的设计。

Partial ordered set is an algebraic structure. It is of great practical significance to study the relation between the order and various applied sciences, such as computer science, management science and social science.

偏序集是一个拓代数结构，建立序与计算机科学、管理科学及社会科学中各种不同的应用的联系，其研究具有重要的实际意义。

The problem then becomes constructing such an ordering, and it turns out that every set can be well-ordered if and only if the axiom of choice is true.

问题就变成构造这样一个排序，而它使得所有集合可以是良序的，当且仅当选择公理为真。

He was obliged to break in upon his daily routine, employ an assistant, and early in July his physician ordered him to set out for Engadine, and try the chalybeate water-cure at Saint Moritz.

他不得不中断后，他每天例行的，聘请1名助理，并在7月初他的医生命令他定出恩加丁，并尝试在圣莫里兹的铁剂水治疗。

In the first part, for competitive discrete-time dynamical systems on a strongly ordered topological vector space, we prove that any α-or ω-limit set is unordered and lies on some invariant hypersurface with codimension one, which generalizes M.

在第一部分中，对于强序拓扑向量空间上的竞争离散动力系统，我们研究了极限集的序结构和极限集的几何位置，证明了任何α-或ω-极限集是无序的且位于一个完全无序的，余维为1的不变Lipschitz流形上。

In this paper, the connectivity axiom and the continuity axiom in Von Neumann-Morgenstern Rational behavior axioms are weakened. Then, a set of axiom for lattice ordered decision-making behavior, which can describe the decision-making behavior more rationally, is constructed. At last, the relative unique existence theorem for utility function is obtained.

根据偏好关系所具有的格序特征，将Von Neumann-Morgenstern理性行为公理体系中的连通性公理弱化为格连通性公理，并相应地弱化连续性公理，得到了一集能更为合理地描述具有"有限理性"的决策行为的格序决策行为公理体系，构造并证明了在格序决策行为公理体系之下，效用函数的存在惟一性定理。

In this paper, the completeness of no endpoint dense ordered set is proved by Robinson method. And the sufficient conditions are given to prove the completeness of a theory from Robinson method.

文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完全理论的充分条件。

An ordered set of all the letters used in a language, including letters with diacritical signs where appropriate, but not including punctuation marks .

某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。

An ordered set of all the letters used in a language, in clud in g letters with diacritical signs where appropriate,but not in clud in g punctuation marks.

某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。