Firstly we present a data race and atomicity analysis method based on abstract interpretation.

  • 首先,提出了一种基于抽象解释的数据竞争和原子性分析方法。
  • 来源:互联网摘选更新时间:2025-01-19 23:35:54

  • 重点词汇
  • andconj. 和,与;而且;于是,然后;因此;
  • racen.赛跑;竞争;人种;民族;
  • firstlyadv.第一,首先(主要用于列举条目、论点时);
  • methodn.方法;有条不紊;
  • based on基于;以……为基础
  • aart. (用于可数名词或单数名词前,表示未曾提到的)一(人、事、物);用于前有形容词或后有短语的不可数名词前;一(个);每一(个);任一(个);
  • abstractadj.抽象的,理论上的;难解的;抽象派的;茫然的;
  • presentadj. 现在的;目前的;出席的;[语法学]现在时的;存在;当前的;出现;出席;在场;现存的
  • analysisn.分析,分解;梗概,要略;[数]解析;验定;
  • 相关例句
1、

According to the carbon atomicity the substance are separated into three kinds i.e. easy-into-aquatic substance ( C_20);

根据碳原子数将其划分为易进入水体物质(进入水体物质(C(15)-C(20))和难进入水体物质(>C(20))三类;

互联网摘选

2、

Relationship between the surface hydrophobicity contact angle and proximate, ultimate analysis of coal was studied by using relative atomicity concept.

笔者引用相对原子数概念,对表征煤表面疏水性的接触角与煤的工业分析、元素分析结果之间的关系进行了分析探讨。

互联网摘选

3、

They are returned student.

他们都是留学生.

互联网摘选

4、

Costs and risks in relation to the returned goods are the responsibility of the Buyer.

所有因退货产生的风险和相关费用由买家承担.

互联网摘选

5、

Responsible for returned goods quality checking.

负责退货的质量检查.

互联网摘选

6、

Incoming Materials and returned goods must be placed under Quarantine Status.

接收货物和退货必须放在待验区域.

互联网摘选

7、

There are various mechanisms to let functions communicate that the returned value is not valid.

有多种机制来让函数通告返回值是无效的.

互联网摘选

8、

That is, the value returned by an output operation is the output stream itself.

也就是说, 输出操作返回的值是输出流本身.

互联网摘选

9、

The value returned is used in subsequent calls that require an authInfo value.

返回值用于需要authInfo值的后续调用.

互联网摘选

10、

Type of the value returned by a function.

函数返回值的类型.

互联网摘选

11、

However, this technique ignores the value returned by the procedure.

但是, 这种方式会忽略该过程返回的值.

互联网摘选

12、

The value returned by a command to its caller.

命令返回给其调用者的值.

互联网摘选

13、

At least , and at last, I was off the sea, nor had I returned empty-handed.

至少, 我总算从海上回到了陆地, 而且不是空手回来的.

互联网摘选

14、

Experimental results show that the particle surface of powders produced by Ar atomisation is enriched with S 、 C 、 Ti 、 O and TiC particles also precipitate on the surface.

结果表明:氩气雾化粉末颗粒表面硫、氧、碳、钛的含量较高,并有TiC相析出。

互联网摘选

15、

Now, we are told, the atomisation of traditional media and the spread of social networks has meant we all live in our own "filter bubbles."

如今,我们被告知,传统媒体原子化以及社交网络的蔓延意味着,我们都生活在我们自己的“过滤泡沫”中。

互联网摘选

16、

The one in1945 signified the end of pre-war social atomisation and adumbrated the birth of the welfare state;

比如1945年的大选标志着战前社会分离的结束,同时预示着福利国家的诞生;

互联网摘选

17、

The sprayer shall be spring controlled spray valves ( variable flow area) which ensures fine atomisation of condensate at all loads.

喷雾器应为弹簧控制喷射阀式(变速流动区域),保证任何负载情况下冷凝物的雾化。

互联网摘选

18、

Studies were made for the effect of alloy composition and water atomisation on high chromium iron powder for plasma transferred arc surfacing.

本文对等离子喷焊用高铬铸铁粉末的合金成分和水雾化制粉工艺进行探讨。

互联网摘选

19、

Combined combustion and high performance atomisation system for incineration of liquid wastes, also functioning as ignition and support burner.

为焚化废液而组成的燃烧和雾化系统,也有点燃和支持燃烧器的功能。

互联网摘选

20、

The hydride generation, transportation, atomisation and some instrumental Parameters were studied by a kind of orthogonal design.

以正交设计法对该还原反应、氢化物转移、原子化及原子荧光测定条件等进行了详细研究。

互联网摘选

  • 今日热词
  • 热门搜索

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

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