查询词典 numeric data 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 的主体是一个声明块，且如果这套由表达式类型格式化的在该声明块中的返回声明包含确实的一种类型，并且这套类型中每个类型都是可以被隐式转换的，再且那类型不为 null 类型，那么类型可以从 L 的返回类型所推断的。

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 system can receive data from the STEP-NC interpreter by using the resource model of the function block type database, then translate the receiving data into the data of function block format; the tool path generator can dynamically transfer the function block in the function block type database; it can also use the data of function block management resource to export DSP order; depending on VC to edit function database and Dynamic Linkable Library, we can connect the tool path generator with research platform, use the tool path generated from the tool path generator to drive the tool move.

结果 通过功能块类型库中的资源模型接收STEP-NC解释器解释的数据，并将接收的数据转化成功能块格式的数据；依据工艺规划好的加工工序，刀具路径生成器动态调用功能块类型库中的功能块；利用功能块处理资源提供的数据，输出DSP指令；依靠VC语言编辑函数库和动态链接库，将刀具路径生成器与实验平台建立关联，基于刀具路径生成器生成的刀具轨迹驱动机床刀具运动。

This language can be extended when components are well designed. By the introduction of a data type conversion function in the edge design and can-connect function in input terminal, the extended data flow language successfully solved the data conversion between different data types. It is a difficult problem in data flow language to realize conditional jump and recursion, however, by using the mechanism of active condition, this dissertation solves the problem well.

相比其它现有的数据流语言，扩展数据流语言具有以下特点：元件设计中定义了一种可激活函数，不同类型的节点允许定义各自的可激活条件，通过合理设计虚拟仪器元件，可以扩展语言的功能；在边的定义中引入类型转换函数，在输入端的设计中引入可连接函数，从而解决了不同数据类型之间数据传递的问题；在数据流语言中实现条件分支与循环通常是具有挑战性的一个问题，本文采用可激活函数的机制给出了一种解决方法。

Unallowed operand type for this function! Numeric operand or operand of date or time type expected.

在给定位置的操作没有定义给当前的返回类型。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。