查询词典 point type

If the body of L is a statement block, if the set formed by the types of the expressions in the block's return statements contains exactly one type to which each type in the set is implicitly convertible, and if that type is not the null type, then that type is the inferred return type of L .

如果 L 的体是一个语句块，如果由语句块中 return 语句表达式的类型形成的集合正好包含一个集合中每个类型都可隐式转换成的类型，那么这个类型就是推导出的 L 的返回类型。

In order to solve this problem and dismantle the fuses automatically, the detonators are classified into three types, i. e. slot type, hole type, nut locking and smooth cylinder type. Three types of tools used to dismantle the fuses are designed, which are bit type, pin type and jaw type.

针对这一问题和引信自动分解的要求，将传爆管分为槽型、孔型、锁紧螺母和光滑圆柱面型等三种类型，相应地设计了刀片型、卡针型和卡爪型三种旋卸头，重点研究了卡爪型及其卡爪曲线设计计算方法。

It s rope trolley type has mainly single trolley basic type with wire winding system, single trolley with through grab wire coinding type, double trolley type with main trolley and compensation trolley ,single trolley with four drums and planet reducer synchronous type and single trolley with four drums and electric synchronous type.

其牵引小车的型式主要有单小车钢丝绳缠绕系统基本型，单小车钢丝绳贯穿抓斗缠绕式，带有主小车和补偿小车的双小车式，单小车四卷筒行星减速驱动同步型，单小车四卷筒电气同步型。

Research results show that under AC voltage the voltage distribution of Y-type insulator strings is extremely non-uniform and the voltage distribution curve of Y-type insulator string is similar to that of I-Type suspension insulator string; under DC voltage the voltage distribution of Y-type insulator string is also extremely non-uniform, the voltage undertaken by the insulators at the conductor side of Y-type insulator string is higher than that undertaken by other insulators of the same string, and as a whole the voltage distribution trend is that the voltage undertaken by the insulators at both ends of the Y-type insulator string is higher than the voltage undertaken by the insulators at the middle of the same insulator string.

研究结果表明：在交流电压下，Y型绝缘子串的电压分布极不均匀，其电压分布曲线和交流悬垂I串类似；在直流电压下，Y型绝缘子串的电压分布极不均匀，绝缘子串导线侧绝缘子分担电压高于其它绝缘子，总体上呈现导线侧和杆塔侧两端高、中间低的分布趋势。

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.

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

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

The company mainly of Health Products mainly include: right welder mainly: UN1-1, UN1-5, UN1-7, UN1-10, UN1-16 type of welder, UN2-25, UN2-75, UN2-100, UN2-150 type on the welder, UNT chain right welder, BUN saw blade on the welder, spot welder are: DN1-10, DN1-16, DN1-25, DN1-40-type spot welder, DNK-40, DNK-75, DNK -100 Pneumatic point of convex welder, DN2-25, 40-type portable spot welding machine, automatic Welding Machine, Dust network dedicated welder, FN seam Welder, FNZ-16 automatic seam welder, BX1, 3,6 series of AC arc welder, MH steel vertical submerged to the welder, HGS-40-type steel rib peeling rolling straight screw thread machine, bar straightening machines, etc. dozens of kinds of products sold to all provinces, municipalities, and its excellent performance, reliable quality, perfect after-sales service, and quickly occupied the domestic market and exports in some countries in Southeast Asia, deeply general customers trust and praise.

本公司主要生产主要有：对焊机主要有：UN1-1、UN1-5、UN1-7、UN1-10、UN1-16型对焊机，UN2-25、UN2-75、UN2-100、UN2-150型对焊机，UNT链条对焊机，BUN锯条对焊机，点焊机有：DN1-10、DN1-16、DN1-25、DN1-40型点焊机，DNK-40、DNK-75、DNK-100型气动点凸焊机，DN2-25、40型便携点焊机，全自动排焊机，除尘网专用焊机，FN缝焊机，FNZ-16自动缝焊机，BX1、3、6系列交流弧焊机，MH钢筋竖向埋弧对焊机，HGS-40型钢筋直螺纹剥肋滚丝机，钢筋调直机等几十种产品，销往全国各省、市、以其卓越的性能，可靠的质量、完善的售后服务，迅速占领国内市场，并有部分产品出口中东南亚国家，深受广大用户的信赖和好评。

The series of products of our unit have SJ72-2-3 type high speed pairs of line chain sewing machines, SJ1-2 woolen blanket lockstitch border plane, SJ-38 type large shell stitch machines, SJ-27 type medium shell stitch machines, SJ-17 type small shell stitch machines,SJ-8500 high speed lockstich, four needles back muscle machine, triangle needles, three point four steps type zigzig sewing machine,SJ-6150 high-speed lock stitch sewing machine with side cutter,GJ4-2 nail the machine of deducting ,GJ4-2-1 tie the machine ,GJ4-2-2 nail the trade mark machine .the products sell well in all parts of the country.

本厂的系列产品有SJ72-2-3型高速双线链式缝纫机，SJ1-2毛毯锁边机、SJ-38大贝型机、SJ-27中贝型机、SJ-17小贝型机、SJ-8500高速平缝机、四针背筋机、三角针、三步四点曲折缝缝纫机、SJ-6150高速平缝机、GJ4-2钉扣机、GJ4-2-1打结机、GJ4-2-2钉商标机，产品畅销全国各地。

This type of cable tray is made of 4mm-6mm diameter high quality steel wire and is weld by special welding machine crossing and also welding in T type on side and on top, so that each welding point can bear 500 kg tension. T type welding formed safe T edge is the global patent of mesh type cable tray, which avoids the sharp surface of welding point and can not only protect cables but also protect workers.

桥架采用直径4mm-6mm的高品质钢丝根据力学原理进行优化配置混合，并采用特殊订制的焊接机进行横纵交叉焊接及其侧弦和顶弦的T型焊接，以达到每个焊点能承受500公斤的张力。T型焊接所形成的安全T型边沿是网格式桥架的全球专利，避免了焊接点的尖锐端面，不仅能保护线缆，对施工及安装人员也更安全。

Sb can combine with Cu and P to form a low melting point compound which lowers the melting point of binary Cu-8P eutectic alloy by nearly 200℃. Bi and Cu can create compounds with low melting point(270℃) distributing at the boundaries and that is the reason why the melting point of (Cu-8P)-Bi is lower than that of binary Cu-8P eutectic alloy. The eutectic cluster can be refined with the addition of Fe, and that is the reason why the addition of Fe can decrease the melting point of Cu-8P alloy. Two means of decreasing the melting point of Cu-8P are found.

一定量的Sb与Cu， P形成低熔点相，从而大幅降低了Cu-8P合金的熔点，使其熔点降低近200℃；加入少量Bi后， Bi与Cu在共晶团晶界上形成熔点为270℃左右的低熔点化合物，且Bi的加入明显细化Cu-8P合金共晶团，从而使Cu-8P合金的熔点降低；加入Fe能明显细化Cu-8P合金的共晶团，使层片间距由8μm减为2μm以下，并使共晶团由层片状向短棒状转变，虽然Fe与Cu形成熔点为806℃的高温相，但Fe的细化作用使得Cu-8P合金的熔点降低，但降低幅度不大。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。