Two heuristic strategies for solving satisfiability ( SAT ) problem were presented.

  • 提出了两个用于求解可满足性 ( SAT ) 问题的启发式策略.
  • 来源:互联网摘选更新时间:2026-07-12 19:06:07

  • 重点词汇
  • satv.坐(sit的过去式,过去分词);
  • solvingv.解决( solve的现在分词 );解答;解释;揭示;
  • forconj.因为,由于;
  • 两名n.Two; two things; two o'clock; a pair;
  • heuristicadj.启发式的;探试的,探索的;
  • problemn.问题;习题;
  • were be的过去时复数和第二人称单数形式;有时代替 was,用于条件从句、动词 wish 之后等;
  • strategiesn.策略( strategy的名词复数 );战略;战略学;对策;
  • 相关例句
1、

Fourier inverse transform IFFT, to restore the signal from the frequency domain.

用傅里叶反变换IFFT, 从频域恢复信号.

互联网摘选

2、

Graphic Presentation of Application Related Concepts in Fourier Analysis.

图示富氏分析之应用相关概念.

互联网摘选

3、

Further analysis shows that the quadrature filtering algorithm is a simplified algorithm of Discrete Fourier Transform ( DFT ) .

进一步分析表明,正交滤波算法是 离散傅立叶 变换的一种简化算法.

互联网摘选

4、

The influences of the CCD resolution and the discrete Fourier transform on correlation results are discussed.

讨论了CCD分辨率 和离散傅里叶变换等因素对光电混合检测效果的影响.

互联网摘选

5、

Results of the numerical experiment show it is effective and useful in solving 0-1 knapsack problem.

仿真实验结果表明了该算法求解0-1背包问题的有效性与适用性.

互联网摘选

6、

According to thethe existed algorithms of 0-1 knapsack problem, a new non-recursive algorithm the paper.

针对目前求解0-1背包问题算法的优缺点, 开发了一种新的 非 递归算法.

互联网摘选

7、

These are universal data structures.

这些都是常见的数据结构.

互联网摘选

8、

Practice information hiding: Separate the application of data structures from their implementation.

使用信息隐藏: 将数据结构的应用与它的执行分开考虑.

互联网摘选

9、

His doctoral thesis was on Algorithms and Data Structures for Dynamic Graphs.

他的博士论文是动态图表的算法和数据结构.

互联网摘选

10、

Variables are used to store values of data structures.

变量是用来存储数据结构内容的.

互联网摘选

11、

Relative kernel service routines and basic data structures are carefully designed.

给出了相关内核服务例程和基本的数据结构的设计.

互联网摘选

12、

As in," We know exercise is good, but why?"

例如,“我们知道运动有益,但是为什么?”

互联网摘选

13、

Repeat these five steps, as in the last exercise.

照前面的练习一样,重复这五个步骤。

《牛津高阶英汉双解词典》

14、

She's doing an AS in French.

她正为参加高级证书辅助考试学习法语。

《牛津高阶英汉双解词典》

15、

The inscription reads: 'To Emma, with love from Harry'.

题赠写着:“献给爱玛,爱你的哈里”。

《柯林斯高阶英汉双解学习词典》

16、

I realized she'd transferred all her love from me to you

我意识到她已把所有的爱从我身上转移到了你身上。

《柯林斯高阶英汉双解学习词典》

17、

The biggest problem is that the children are all hungry for the love from their parents.

最大的问题是孩子们都渴望得到父母的爱。

中考真题- 2018 衡阳 阅读E

18、

Let love from a abstract concept into specific image.

将父爱由一个抽象的概念转变成为具体的、生动的形象。

互联网摘选

19、

But we build the concept of love from many other different ideas.

但是我们是在许多其他不同的概念基础之上构建爱的概念和感觉。

provided by jukuu

20、

Take care, Dad! With love from us both.

我们俩都向你问候,多保重,爸爸。

互联网摘选

  • 今日热词
  • 热门搜索

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

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