查询词典 type problem

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 的返回类型。

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

Company 6-24KV medium voltage products, the main production and distribution of Products as follows: First, the main products: 1, XGN15-12 ò type SF6 Ring Net Cabinet (with FLN36-12 or FLN48-12 load switch) 2, XGN15 - 12 ó Type SF6 Ring Net Cabinet (with ABB-SFG load switch) 3, GN15-12 type SM6 imitation ring counters (with load switch SC6 Schneider) 4, DFFW-10 type outdoor Cable Branch Box (available with SF6 load switch) 5, FLN36-12, FLN48-12-type SF6 load switch and at the top of unit 6, YBP prefabricated Continental me change, KYN28A in the rear-mounted switchgear Second, the main distribution Products: 1, Beijing ABB-SFG-12A / K at the top of unit 2, ABB-SafeRing/SafePlus series inflatable counter 3, Schneider SM6, RM6 Series ring counter 4, ring counter agent ABB PARTS (Fuck electricity to open the current transformer, EKL series fault indicator), Shenzhen Deep Electric Ltd. to create the domestic electricity sector, users, manufacturers solemn commitment to the industry: product shelf-life forê, maintenance-free period of 10 years, under normal use conditions to ensure reliable operation of 20 years, such as product quality have any problem , the company will be sent within 24 hours of treatment and to ensure user satisfaction.

公司以6-24KV中压产品为主，主要生产及经销产品如下：一、主要生产产品：1、XGN15-12Ⅱ型SF6环网柜（配FLN36-12或FLN48-12负荷开关）2、XGN15-12Ⅲ型SF6环网柜（配ABB-SFG负荷开关）3、GN15-12Ⅳ型仿SM6环网柜（配施耐德SC6负荷开关）4、DFFW-10型户外电缆分支箱（可配SF6负荷开关）5、FLN36-12、FLN48-12型SF6负荷开关及顶部单元6、YBP□预装式欧式箱变、KYN28A中置式开关柜二、主要经销产品：1、北京ABB-SFG-12A/K顶部单元2、ABB-SafeRing/SafePlus系列充气柜3、施耐德SM6、RM6系列环网柜4、代理ABB环网柜配件（电操、开启式电流互感器、EKL系列故障指示器）深圳市深创电气有限公司向国内电力部门、用户、同行业厂家郑重承诺：产品保质期为壹年，免维护期为10年，在正常使用条件下保证可靠运行20年，如产品有任何质量问题，公司将于24小时内派员处理并保证用户满意为止。

A novel hybrid algorithm, which combines predictor-corrector primal-dual interior point method and genetic algorithm, is presented for dynamic and static reactive optimization in this dissertation. The algorithm fully make use of the advantage of interior point method in solving successive optimization problem and the advantage of genetic algorithm in solving discrete optimization problem. The original problem is divided into three parts: total successive problem, discrete problem and successive problem.

结合内点法和遗传算法，本文提出了一种新颖的混合算法用于求解动、静态无功优化问题，算法充分利用了内点法易于求解连续优化问题和遗传算法易于求解离散优化问题的优势，将原优化问题分解为初步的连续优化问题、离散变量优化问题、连续变量优化问题这三个子问题分别求解。

After a further analysis based on the empirical results,a trial probe on the cognitiveprocessing mechanism of the problem representation of the word problem in two types of MLDwas made by the author.The MRD performed much poorer than the MLD only in the mostdifficult equation listing of word problem and the medium and most difficult problemrepresentation of word problem,which showed no difference in computation and comprehensionof simple meaning of the problem,but the gap between two types of MLD became wide as afunction of difficulty and cognitive loading.It indicated that the MLD only had some advantage over MRD for they used more cognitive skills to solve the problem.

基于以上实验的结果，对两类数学困难小学生的应用题问题表征的认知机制作如下推断：混合型数学困难学生仅在高难度水平的应用题列式成绩和中高难度水平应用题问题表征水平上比单纯型数学困难学生得分显著低下，表明两类数学困难小学生在计算能力与理解简单题意的能力上并无差异，但随着难度提高，认知负荷加重，两类数学困难学生在应用题解题上的差异得以突显，表明当需要运用更多的认知能力解决问题时，单纯型数学困难学生比混合型困难学生更具优势。

Results There were fetal type in 12 cases, embryonal type in 7 cases, anaplasia type in 3 and mixed type in 2. The cytoplasmic postive expression of CK, AFP, S-100 protein and Vimentin of epithelial tumor cells were found in 14, 10, 9 and 6 cases respectively. Positive staining of CEA, P53 and P16 of nuclei of epithelial tumor cells were found in 11, 9 and 7 cases respectively.Among the 12 cases who underwent surgical excision, 8 patients with fetal type survived over 5 years. Conclusions This study suggests that immunoreaction of hepatoblastomas are different in the histological subtypes.

结果 胎儿型12例，胚胎型7例，间变型3例和上皮间叶混合型2例；细胞角蛋白、甲胎蛋白、S-100蛋白和波形蛋白在肿瘤上皮细胞浆的表达分别为14例、10例、9例和6例，癌胚抗原、P53和P16蛋白在细胞核中的表达分别是11例、9例和7例；手术切除肿瘤12例中8例生存期超过5年者均为胎儿型。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。