1、

Compared with previous certifying compilers, this compiler could deal with much more complex program properties, such as partial correctness about values.

而且,相比已有的出具证明编译器,该编译器可以处理更加复杂的程序性质,例如值相关的部分正确性。

互联网摘选

2、

Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.

形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。

互联网摘选

3、

In processing the software data, the theory of partial repeatability offers a criteria for evaluating different classifier by building" center function", "fluctuation zone" and "correctness factor".

在对复杂数据的处理过程中,“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标,提供了一种分类优劣的评价标准。

互联网摘选

4、

This time, design of steam cooler and drain cooler tubing system has had many changes, that compares with long since, the more rational structure, so much the better heat transfer efficiency. Research on the Partial Load Property of Heater with Drain Cooler

此次,在蒸、疏冷的管系设计中,与以往相比有较大变化,使结构更为合理,传热效果更佳。带疏水冷却器的回热加热器变工况特性研究

互联网摘选

5、

Aircraft Recognition via Extraction of Closed Contour and Partial Feature Matching

基于闭合轮廓提取和部分特征匹配的飞机识别

互联网摘选

6、

Chernobyl's reactor lacked a containment facility, unlike the Fukushima plant, whose GE-made containment vessels have withstood both an earthquake, tsunami, and thus far, a partial meltdown.

切尔诺贝利核电站的反应堆缺少防范设施,而福岛核电站有美国通用制造的防范设施,而且福岛核反应堆已经经历了一场地震和一场海啸,迄今为止,也只是部分核心熔毁而已。

互联网摘选

7、

Partial Connective Stability of Large-Scale Systems With Functionally Dependent Factory

具有函数型关联因子的大系统的部分联结稳定性

互联网摘选

8、

Improvement Connecting Wire Used for Partial Discharge Test

利用空气介质中电晕理论对局部放电试验用导线的改进

互联网摘选

9、

The maximal angle of visual field is obviously increased by drilling partial occipital condyle, and the middle clivus can be increasingly exposed through removal of jugular tubercle.

磨除部分枕髁可显著增加术野显露角度,磨除颈静脉结节可增加中斜坡的显露。

互联网摘选

10、

Partial coherency analysis can lower the interference of the crosstalk. Meanwhile, some researchers proved that the imaginary part of coherency is not affected by volume conductivity.

偏相干系数分析能降低信号串扰,同时,有研究者证明相干系数的虚部不受容积传导的影响。

互联网摘选

11、

The moisture sensor based on the gaseous electrical conductance is then developed. Its humidity sensitivity in vapour partial pressure is better than 1 Pa/ nA, and its response time is less than 1 second.

基于低电压气体导电机理的湿敏传感器的水汽分压强灵敏度优于1Pa/nA,反应时间优于一秒。

互联网摘选

12、

The method involves the application of a partial reflection boundary condition which is discussed.

这种方法能够考虑到绕射和部分反射的影响。

互联网摘选

13、

Objective : To explore the value of semiconductor laser in partial inferior turbinectomy.

目的: 探讨鼻内窥镜引导下行半导体激光下鼻甲部分切除术的应用价值.

互联网摘选

14、

Nonlinear behaviour occurs when partial tension and shear are exerted on quasi-static fibre reinforced composite.

准静态下纤维增强复合材料在偏轴拉伸和剪切时有明显的非线性.

互联网摘选

15、

Lacking moral rationality is the main partial failure of medical system reform in China.

我国医疗体制改革“基本不成功”就在于制度建设缺乏道德合理性考量.

期刊摘选

16、

Lacking moral rationality is the main partial failure of medical system reform in China.

我国医疗体制改革“基本不成功”就在于制度建设缺乏道德合理性考量.

期刊摘选

17、

Objective : To compare the and disadvantages between power system and semiconductor laser in partial inferior turbinectomy.

目的: 比较动力系统与半导体激光下鼻甲部分切除术的优缺点.

互联网摘选

18、

The third stage is the Cretaceous fine-grained granite stocks and apophyses of mainly crustal source. They are formed by partial melting, remelting or anatexis of crustal materials dominated by sedimentary component.

第三期燕山晚期细粒花岗岩小岩体是由以沉积组分为主的地壳物质经部分熔融、重熔或深熔而成。

互联网摘选

19、

Abjective: To evaluate the clinical results of immediate implant function loading in the partial edentulous jaws.

目的:对部分牙缺失种植即刻功能负荷进行临床探讨。

互联网摘选

20、

Partial Forming Method of the NC Machining of the Rotary Burs

旋转锉加工的半成形法

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈