tion的例句大全

Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-( tion's) equivalence, communication primitive's equivalence and the equivalence of code movement.

本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系：通信等价、通信原语等价和代码移动等价。

互联网摘选

This paper approves the importance in producing minimum vibra-tion energy during the broken of stiff sandstone roof in working of stress releasing seams by caving method.

论文证实了用垮落法开采卸压层使坚硬砂岩顶板折断时产生的振动能为最小的要义。

互联网摘选

Simulation Research of Distillation Process Based on Computer Simu la tion Platform

基于计算机模拟平台的蒸馏过程仿真研究

互联网摘选

Clinical feature and follow-up observa-tion on 22 cases of sporadic cretinism

小儿散发性克汀病22例临床表现及随访

互联网摘选

Next we focus mainly on the decomposition grammar, the calcula-tion of partition function and Boltzmann sampling of canonical joint structures as well as base pairing probabilities over multiple sequence alignments.

接着我们主要致力于介绍正则联合结构的分解语法、配分函数的计算、玻尔兹曼取样以及多重序列比对上的碱基配对概率。

互联网摘选

This produces soft spots, and in some cases, severe unpredicted distor ? tion .

这样一来就就有软点产生, 有时, 甚至会产生无法预料的严重 畸变.

互联网摘选

The deductive rules of argument express the lowest requirement for rationality of legal argumenta-tion.

可以说，演绎模式的说理规则表达了对于法律论证最低限度的理性要求。

互联网摘选

This paper briefly describes how to improve the picture resolu-tion by use CAA and CAD.

本文概要介绍如何通过CAA及CAD提高图像分辨率。

互联网摘选

As the police van screamed through the London traffic, the policewoman listened in to her radio and passed the informa-tion to Alan.

警车从伦敦的行人车辆中呼啸而过，女警察听着她的对讲机，把信息传给阿兰。

互联网

This paper describes the syntheses and structural characterization of two amine salts of ibupro ˉ fenusing elemental analyses, IR and X_ray powder diffrac ˉ tion techniques.

合成了两个布洛芬有机胺盐，并用元素分析、红外和X射线粉末衍射对其结构进行了表征，首次报道了布洛芬乙胺盐的晶体结构。

互联网

Of all these IAAA vulnerabilities, in the experi ­ ence of cloud service providers, currently, authentica ­ tion issues are the primary vulnerability that puts user data in cloud services at risk [ 5].

以云服务提供商的经验而言，在所有这些IAAA漏洞中，目前验证问题是主要的漏洞，因为它让用户放在云服务里的数据蒙受风险[5]。

互联网摘选

Online services like Facebook, Twitter and the like, are called out of manipula-tion — making products so good that people can't stop using them.

像脸书、推特等类似网络服务是应运而生的操纵大师，这些产品如此完美，让人们欲罢不能。

六级真题- 2017年 12月 1卷 信息匹配

Analytical solution of unsteady heat conduc-tion in fully developed regime

非稳态导热充分发展阶段的分析解

互联网摘选

The space varia-tion of magnetization just below the Curie point is described by the corresponding eigenfunction;

略低于居里点时系统磁化的空间分布可用相应的本征函数描写；

互联网摘选

Chitosan acetate/ PAN and chitosan/ PAN composite membranes were prepared by infrared radia-tion ( IR lamp) method. The pervaporation separation of ethanol-water mixtures was studied.

本文以壳聚糖为膜材，采用红外光照法，研制了壳聚糖/聚丙烯腈复合膜（CS/PAN）和壳聚糖醋酸盐/聚丙烯腈复合膜（CSA/PAN），并用于乙醇水混合物的分离。

互联网摘选

Based on these experiences and analyzing trends of social effect evalua-tion, the author discusses feasibility of implementing social effect evaluation in forest project, and puts forward some measures to do the work.

本文作者根据工作中的实际经验，从林业外资项目社会影响评估工作现状入手论述了林业项目活动中开展社评的可行性以及对如何开展好林业社评工作进行了探讨。

互联网摘选

Safety evaluating and residual life estimating of missile propellent tanks can be carried out with these data coupling with non-destructive testing informa-tion.

结合无损检测信息可以对导弹推进剂贮箱进行安全性评定和剩余寿命评估。

互联网摘选

So the construc-tion and improvement of the departmental budget system is a comprehensive reform project which needs a lot of hard work.

因此，建立健全部门预算制度是一项综合性的改革，内容宽泛，力度应当很大。

互联网摘选

Purpose: This study was to investigate the effect of the selection of acquisition conditions on SPECT tomographic resolu-tion.

目的：探讨采集条件的选择对SPECT断层分辨率的影响。

互联网摘选

Most believe that the Special Resolu ­ tion Regime for retail banks, included in a new Banking Act this year, should be extended to invest ­ ment banks.

今年出台的新银行业法案为零售银行制定了一份特别决议制度。大多数人认为，该份制度应该也对投资银行推广。

互联网摘选