1、

However it has not been thoroughly investigated in software testing research.. This thesis proposes an approach to automatic generation of test oracle from restricted MITL ( Metric Interval Temporal Logic).

本文提出了基于受限度量区间时序逻辑(Metric Interval Temporal Logic,MITL)的测试预言自动生成技术。

互联网摘选

2、

As a one of important circulation systems, The business agent systerm, from the 19th century until now, has been through several hundred years test in the world scope and not to fade.

从19世纪至今,商业代理制作为重要的流通制度之一,在全世界范围不断传播、扩张和发展。

互联网摘选

3、

The Duff-Gordons, the only passengers to testify about the disaster, were cleared by the British Wreck Commissioner's inquiry, which determined that they did not deter the crew from attempting to rescue other people but that others might have been saved if the boat had turned around.

达夫-戈登夫妇是唯一需要为那场灾难出庭作证的乘客,后来经过英国船难委员会的审讯,被宣告无罪。委员会裁定,在救生艇回头可以救援更多人的情况下,达夫-戈登夫妇并没有阻止船员尝试施救。

互联网摘选

4、

The density ρ and surface tension γ of lithium tetraborate melt have been systematically measured from 1100K up to about 1500K. The experimental results indicate that the melt density and surface tension decreased linearly with increasing temperature.

系统测量了四硼酸锂(Li2O-2B2O3)熔体的密度ρ、表面张力γ随着温度的变化规律,实验结果表明在1100K到1500K范围内Li2O-2B2O3高温熔体的密度和表面张力随着温度的升高均线性减小。

互联网摘选

5、

At the presence or catalyst, the synthesis process of epoxy ester from tetrabromobisphenol a epoxy resin and oleic acid has been reported.

介绍了在催化剂存在下从四溴双酚A环氧树脂和油酸合成环氧酯的过程。

互联网摘选

6、

In the absence of any metals and additives, A atom-economic method for synthesis of bromo-substituted alkynyl sulfides from alkynyl bromides and tetrahydrothiophene has been developed under mild reaction conditions.

发现了在无任何金属催化剂及添加剂的条件下,利用炔溴与四氢噻吩反应有效合成溴取代的炔硫醚的方法。

互联网摘选

7、

Kucsma is initially targeting chefs, but says she's also been in talks with both corporate retailers and food manufacturers ( non-disclosure agreements prevent her from providing company names and details).

库斯玛最初瞄准的目标客户是厨师,但她也表示,她目前也在与企业零售商和食品制造商进行接洽(由于保密协议的缘故,她无法提供合作企业的名称和细节)。

互联网摘选

8、

The authorities have been concerned that the banks' eagerness to return the money and free themselves from the strict Congressional supervision imposed under the programme would prompt troubled lenders to repay funds before they were financially strong enough to do so.

有关政府机构一直担心,银行急切希望偿还资金,摆脱Tarp计划强加给它们的严格国会监督,将会促使问题贷款机构在财力还不够强大的情况下,提早归还资金。

互联网摘选

9、

In the big background of the idea of bankruptcy transferring from bankruptcy liquidation to bankruptcy prevention, the absolute superiority of exemption right has been disputed and challenged.

在破产理念由破产清算转向破产预防的大背景下,别除权的绝对优先受偿性受到质疑和挑战。

互联网摘选

10、

This being the final season, HBO has been reticent to reveal much about what to expect, but this hasn't stopped fans from theorising.

作为这个剧集的最后一季,HBO一直保持沉默不愿剧透,但这并没有阻止粉丝的各种推理。

互联网摘选

11、

Israel is a political economic and military power in the Middle East, which has been carrying out positive diplomatic activities with African countries to break away from the international isolated situation since its foundation in 1948.

以色列是中东地区的一个政治经济军事强国,1948年建国后以色列就积极的开展对非外交,以摆脱被国际社会孤立的态势。

互联网摘选

12、

Founded by a nomadic branch of the Indo-European family who settled the Iranian plateau, no empire before it had ever been as large. It stretched all the way from the borders of present day India to Greece, Egypt and Russia.

波斯波利斯是当时最大的王国,起源于定居伊朗高原的印欧语系的游牧民族分支,它从现今的印度一路延伸到希腊,埃及和俄罗斯的边界。

互联网摘选

13、

43 loess samples taken from China, France and Belgium were analysed in the laboratory. The common characters and difference of carbonate content, sizes, heavy minerals and clay minerals of the loess samples have been compared.

本文对采自中国、法国、比利时等国43块黄土样品进行实验室处理后,分析对比了它们在碳酸盐含量、粒度组成、重矿物组成及粘土矿物成分方面的共同特性及差异性。

互联网摘选

14、

He inherited a great deal of money from his father and has been living the life of Riley ever since.

他从父亲那里继承了一大笔钱,一直过着舒适的生活。

provided by jukuu

15、

From Algeria to Afghanistan, from Somalia to South Sudan, many have been killed or kidnapped in the line of duty.

从阿尔及利亚到阿富汗,从索马里到南苏丹,许多人在执行任务时被杀害或被劫持。

互联网摘选

16、

According to the vulgar idea, the fire in his laboratory had been brought from the lower regions, and was fed with infernal fuel; and so, as might be expected, his visage was getting sooty with the smoke.

按照一种粗俗的说法,他实验室中的火来自下界,而且是用炼狱的柴薪来燃烧的;因此,理所当然地,他的面孔也就给那烟熏得越来越黑了。

互联网摘选

17、

It's been a trend recently for Chinese entertainment shows to move from the small screen to the big screen.

如今,中国娱乐节目从小银幕搬上大银幕已成为一种趋势。

互联网摘选

18、

And the small screen is simply too small to really read on, so I've been more annoyed than happy when it alerted me to texts from my loved ones;

小屏幕实在是太小了,根本没法用它好好读东西,所以每当它提示我,重要的亲朋好友给我发信息了,我的感觉不是高兴,而是烦躁;

互联网摘选

19、

Bread is the staff of life. The grain problem has been critical to the survival and development of human from early ages on.

民以食为天,自古以来,粮食问题就是关系到人类生存与发展的根本性问题。

互联网摘选

20、

From the introduction of study history done by foreign scholars about phase noise, we can know the target of phase noise analysis. In general, with the increasing accuracy of the model, the research goal has been changed to simplify the model.

然后介绍了国外相位噪声的研究历史,从国外的研究历史中可以知道相位噪声的研究目标,总的来说,随着模型的准确性不断提高,其研究的目标已经逐渐向模型的简化方向发展。

互联网摘选

  • 今日热词
  • 热门搜索

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

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