查询词典 Hal

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

HAL's outpouring of feeling contrasts with the emotionlessness that characterizes the human figures in the film, who go about their business with an almost robotic efficiency.

HAL 的情感发泄跟电影里人的那种冷漠无情形成鲜明对照，那些人以机器人般的效率干着手头的活计。

Dave, my mind is going," HAL says, forlornly."

戴夫，我的思想要没了，" HAL 可怜巴巴地说道。"

Excellent adhesion and adherence , resistance to heat and discoloration , available for processes of immersion Ni-Au , immersion tin or silver ; Lead Free HAL , hole plugging , green ink bridging , etc .

具附着力强、密着性高、耐高温不变色、能做沉镍金或沉锡、沉银、喷纯锡、塞孔、绿油桥等工艺。

The post cured film provides excellent adhesion and adherence , resistance to heat and discoloration , available for processes of immersion Ni-Au , immersion tin or silver ; Lead Free HAL , hole plugging , green ink bridging , etc .

具附着力强、密着性高、耐高温不变色、能做沉镍金或沉锡、沉银、喷纯锡、塞孔、绿油桥等工艺。

I don't know, Hal.

我不知道，哈尔。

HAL: I think you know what the problem is just as well as I do.

哈尔：我想你和我一样知道问题是什么。

Hal: You really don't remember, do you?

你真的不记得了，是吗？

I can't blame Hal tor anything. It was me.

我不能责怪哈里，都是我的错

I like going out with Hal because he's such a good company.

我喜欢同哈尔一起出去，因为他是一个很有趣的伙伴。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。