1、

The algorithm follows the magic-set paradigm of a rewriting phase followed by semi-naive bottom-up evaluation, and achieves its efficiency by reducing the arity of the recursive predicates in the transformed rules.

和右线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现。

互联网摘选

2、

However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of IDB ( Intensional DataBase) predicates increasing.

但是随着递归IDB(Intensional Database)谓词的项的个数增大,经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。

互联网摘选

3、

From September 18th 1931, Japanese-occupied Area became another name of northeast China during the following fourteen years. The Colonial controls of Manchukuo make the modern literature come into an broken time and space in the northeast of China.

从1931年9月18日开始,沦陷区在此后的十四年间成为了东北黑土地的另一种称谓,伪满洲国的殖民统治也使东北现代文学进入了一个断裂的异态时空。

互联网摘选

4、

In Kant's opinion, "apriority" refers to any experience independent of human beings.

在康德那里,所谓先验就是指独立于人的经验。

互联网摘选

5、

In this particular index, the user looks up specific invoices only by their INVOICE_NUMBER& in other words, only equality predicates are applied to the INVOICE_NUMBER column.

在这个特定的索引中,用户仅按INVOICE NUMBER查找特定的索引,换句话说,仅向INVOICE NUMBER列应用了相等性谓词。

互联网摘选

6、

A rainbow kaleidoscopic energy band of antigravity plasma swirled around the sphere, and often appeared as what you now term the aurora or northern lights.

彩虹般千变万化的反重力等离子能量带围绕其间,且常常会出现你现在所谓的极光或北极光。

互联网摘选

7、

Used as a form of address and salutation by soldiers to a victorious Roman general.

凯旋将军士兵对凯旋的罗马将领的称谓和问候形式.

互联网摘选

8、

He told reporters that " the so-called stability of prices, is the stable price increases. "

他告诉记者, “ 所谓 稳定房价, 指的是稳定房价的上涨速度. ”

互联网摘选

9、

So if I have this special mixture here, of A and B, at this point here, I form what's called an azeotrope.

如果我们有这样子特殊的A和B的混合物,在这个点,我们得到了所谓的共沸混合物。

互联网摘选

10、

The academic case for central bank independence was avowedly a second best one, in response to what was called the credibility problem.

由于所谓的“可信度问题”,支持央行独立的学术论据被公开宣称为次优论据。

互联网摘选

11、

The avowed case for compassion has some superficial merit.

所谓的“出于同情”的确是有些许道理。

互联网摘选

12、

However, business people are good at availing themselves of loopholes in legislation. Therefore, it is necessary to define clearly "transfer" and "for profits" when the PDPO is amended.

不过,商人善于钻法例空子,日后提出修订时,条例必须清楚界定何谓「转移」与「图利」。

互联网摘选

13、

Japanese accessory word and auxiliary verb have obvious differences either in expressing meanings or practical language applications compared with nouns, verbs or, other words.

日语中所谓的助词、助动词与名词、动词等其它词相比,无论是在表达的意义上,还是在实际的语言运用中都存在着明显的不同。

互联网摘选

14、

In 1867 the so-called "Compromise" created the Dual Monarchy of Austria-Hungary, dismembered after the first World War.

1867年,根据所谓协约建立了奥地利&匈牙利二元君主国,第一次世界大战后解体。

互联网摘选

15、

In the Northern Hemisphere, the phenomenon is called aurora borealis, or northern lights.

在北半球,这种现象就是所谓的黎明的女神,或北极光。

互联网摘选

16、

We are now at what should be the peak of what scientists call "Cycle 24"-which is why last week's solar storm resulted in sightings of the aurora borealis further south than usual.

我们现在正处于科学家所谓的第24个太阳活动周期的高峰期,这就是为什么上周的太阳风暴导致比平常更偏南的地方出现北极光。

互联网摘选

17、

In the Southern Hemisphere, it's called aurora australis, or southern lights.

在南半球,它的所谓南极光,或是南部灯。

互联网摘选

18、

Used attributively as a form of address in letters, and politely or ironically in speech

冠于信函中的称谓及用于言语,以示礼貌或讽刺

互联网摘选

19、

The IAEA report also says there has been a breakdown of communication between the agency and Iran over alleged research on an atomic weapon.

国际原子能机构报告还表示,该机构与伊朗间所谓的核武器研究交流已经中断。

互联网摘选

20、

But Pakistan Army Spokesman Athar Abbas tells VOA that the troop movements are not what he called an "ominous buildup."

但巴基斯坦军方发言人阿巴斯告诉记者说,调兵并非他所谓“具有不祥征兆的增兵”。

互联网摘选

  • 今日热词
  • 热门搜索

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

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