查询词典 disjunction gate

The types of gate commonly used are: sprue gate, edge gate, overlap gate, fan gate, diaphragm gate, ring gate, film gate, pin gate, subsurface gate and winkle gate.

常用的浇口类型是：主流道型浇口，边缘浇口，叠合式浇口，扇形浇口，薄膜浇口，环形浇口，膜状浇口，点浇口，潜伏式浇口和曲线潜伏式浇口。

Three layout alternatives of Haikou Gate are put forward. The first alternative is to make full use of the old Liuduo North Gate and Haikou Gate, the second is to demolish the old Liuduo North Gate and Haikou Gate to construct Haikou North Gate and Haikou Sorth Gate dividually and the third is to demolish the old Liuduo North Gate and Haikou Gate to construct holistic Haikou Gate.

主要内容如下： 1、对于海口南北闸布置进行了三种方案比选：方案一利用六垛北闸和老海口闸方案；方案二拆除六垛北闸和老海口闸分建海口闸方案；方案三拆除六垛北闸和老海口闸合建海口闸。

The host produces: The wedge type gate valve, the bright pole coal gas gate valve, the gate valve, the electrodynamic balance-like double damper plate gate valve, the box thread gate valve, the bright pole underground gate valve, the electrically operated dark pole wedge type gate valve, seals the gate valve, the knife gate valve, the cut-off valve, the box thread cut-off valve (Japanese-style, Soviet type), to turn on lathe softly opens the type check valve, to risefall the check valve, the noise elimination check valve, to clamp the small dish shape check valve, the vertical check valve, to stand lies the dual purpose check valve, the small dish shape by-pass valve, the by-pass valve, the stopcock, the Three Contacts stopcock, the plunger valve, the ball valve, the flange reed valve.

主产：楔式闸阀、明杆煤气闸阀、闸阀、电动平衡式双闸板闸阀、内螺纹闸阀、明杆地下闸阀、电动暗杆楔式闸阀、软密封闸阀、刀型闸阀、截止阀、内螺纹截止阀、旋启式止回阀、升降止回阀、消声止回阀、对夹碟形止回阀、立式止回阀、立卧两用止回阀、碟形平衡阀、平衡阀、旋塞阀、三通旋塞阀、柱塞阀、球阀、法兰蝶阀。

Valve types, according to the sealing surface configuration can be divided into wedge gate-type valve Rising Stem Resilient Gate Valve and parallel to the gate-type valve, wedge gate-type valve can be divided into: single-gate type, dual gate plate, air traps and flexible gate plate; parallel gate-type valve can be divided into single-ram type and double plate.

闸阀的种类，按密封面配置可分为楔式闸板式闸阀和平行闸板式闸阀，楔式闸板式闸阀又可分为：单闸板式、双闸板式、空气疏水阀和弹性闸板式；平行闸板式闸阀可分为单闸板式和双闸板式。

Page 32. There are several logic gate configurations, among them the AND gate, NAND gate, OR gate, NOR gate, EXCLUSIVE OR gate and EXCLUSIVE NOR gate.

有几种逻辑门配置，其中包括：与门，非门，或门，或非门、与非门、异或门和同或门。

The circuit comprises a comparison circuit, a negation gate and a first coincidence gate, wherein the comparison circuit is used to output read screen signals of a storage unit corresponding with bus signals of a second port address, the negation gate is used to inverse the read screen signals of the storage unit which are corresponding with the bus signals of the second port address, one input end of the first coincidence gate receives the read screen signals of the storage unit which are corresponding with the bus signals of the second port address after being inversed, the other input end of the first coincidence gate receives the read enable signals of a second port, and the output end of the first coincidence gate is connected with the read enable end of the second port.

所述电路包括：比较电路，用于输出第二端口地址总线信号对应的存储单元读屏蔽信号；非门，用于对第二端口地址总线信号对应的存储单元读屏蔽信号进行非运算；第一与门，第一与门的一路输入端接收非运算后的第二端口地址总线信号对应的存储单元读屏蔽信号，第一与门的另一路输入端接收第二端口的读使能信号，第一与门的输出端连接第二端口的读使能端。

The paper introduces the structural character of some main forms of safety gate such as manpower safety gate,cage driving vertical move safety gate,inclined pole gliding safety gate,foldaway safety gate,and hydraulic horizontal moving safety gate.

介绍了人工操作式、罐笼带动垂直升降式、液压驱动斜杆式、折叠式、平移式等几种主要安全门的结构特点，比较了它们的技术性能，指出了新型安全门的发展趋势。

There are many problems in the relationship bewteen town government and village committee after the cancellation of the agricultural tax, including that the liceity of town governments facing challenges because the absence of the supply of rural public goods; the "attach-up" of town governments leading to disjunction between town governments and village committee; the bureaucratization of town governments intensifying their confrontation with the village committees; the disjunction and confrontation leading the excessive autonomy of villages; the failure of the system of "one case one meeting" strengthening the tendency of town subordination of villages.

取消农业税后我国的乡村关系中存在着诸多问题：行政村公共产品供给缺位，乡镇政府面临着合法性挑战；乡镇政府的"上附性"会导致其与行政村的脱节；乡镇政府的官僚化会加剧其与行政村的对立；乡村之间的脱节与对立会导致行政村的过度自治化；"一事一议"制度失效会强化行政村的乡镇附属化倾向。在这里需要说明的是，行政村的过度自治化和乡镇附属化倾向在农业税改革之前就存在着，但农业税改革之后这些情况虽然存在，但却是由不同的原因引起的。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

To summarize molecular, morphology, chromosome and pollen characters, the conclusion was reached that Epimedium was an nd monophyletic taxon. To divide the genus into any groups would be artificial. It is proposed that the disjunction by space, climate and seas were the main reason of respectively differentiation of each group by the view of geographic and climate changes in the temperate zone of the world. Because of its evolution-conservation, the disjunction did not bring about obvious divergence on the level of molecular and morphology.

综合分子特征和形态、细胞学、孢粉学等性状，提出淫羊藿属是一个进化上极为保守的、自然的单系的植物类群，进行属下任何阶元的划分都将是人为的，从旧世界温带的地质变化及气候变迁的角度推测，空间、气候和海洋的隔离是产生类群各自分化的主要原因，但由于其进化上极度保守，这些隔离尚未产生出类群间形态上和分子水平上的明显趋异。

So it was last week in Selma , alabama.

上星期在亚拉巴马州塞尔马市发生的事件也是这样一个转折点。

The group also spearheads various social programs in China.

该组织还带头参与中国的各种社会活动。