It is proved that the SEE' satisfiability is solvable in the polynomial time by means of giving a concrete deterministic Turing Machine.

  • 通过给出具体的确定型图林机,证明了SBE的可满足性(SAT)问题在多项式时间内可解。
  • 来源:互联网摘选更新时间:2025-01-20 17:26:52

  • 重点词汇
  • deterministicadj.确定性的;
  • timen.(以分钟、小时、天等计量的)时间;(钟表所显示的)时间,钟点,时刻;(世界某一地区所计量的)时,时间;(某事发生或应该发生的)时间,时候;(完成比赛所需要的)时间;(一生中的)一段日子,时期,时候;(一生中的)一段日子,时期,时候;次,回;倍;(以某种方式经历的)事件,时刻;(历史)时期,时代,年代,世道;(乐曲正确的)速度,节奏;一段时间;生命(期),期限,时限;(用于报刊名)时报;时机,机会;工作时间;规定时间;<美> <体>(一场或一局的)比赛时限,暂停;(赛跑等)所用时间,成绩;当代,时代潮流;<音>拍子,节拍;<英>(酒店等的)营业时间,打烊时间;服役期,刑期;妊娠期,产期;生命期,死期;计时工资率;学徒期;衡量时间的方法;完成赛跑或竞赛项目的)所用时间
  • inprep. 在里面;在(某范围或空间内的)某一点;在(某物的形体或范围)中;在…内;在…中;进入
  • turingn.图灵机(一种可不受储存容量限制的假想计算机);
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • provedv.证明( prove的过去式和过去分词 );检验,试验;
  • givingn.礼物,给予物;
  • by means of用,依靠;将;借助于;
  • 相关例句
1、

Optimal Adaptive Controllers of Deterministic System

确定性系统的最优自适应控制器

互联网摘选

2、

PID controller is simple and suitable for the deterministic system which can establish precise mathematical model.

这是因为PID控制器结构简单、参数少并且容易整定。但是,PID控制器只适用于可建立精确数学模型的确定性系统。

互联网摘选

3、

European soccer is what a mathematician might call a deterministic system.

从数学角度来说,或许可以把欧洲足球称为确定性系统。

互联网摘选

4、

Simply put, a chaotic system is a deterministic system that exhibits random behavior.

简单来说,一个混沌系统是存在随机现象的确定性系统。

互联网摘选

5、

Modern science assumes that the universe is a deterministic system.

现代科学认为,宇宙是一个具有因果关系的系统。

互联网摘选

6、

Theory and Method of Optimal Control Solution to Dynamic System Parameters Identification(ⅰ) Fundamental Concept and Deterministic System Parameters Identification

动力学系统参数辨识问题最优控制解的理论与方法(Ⅰ)&基本概念及确定性系统参数辨识

互联网摘选

7、

The fuzzy system is an extension of deterministic system.

模糊系统是对确定性系统的推广。

互联网摘选

9、
10、

Theoretical analysis of the performance of resolution for deterministic signal in the cases where the signal is known or unknown is made. Their corresponding Cramer-Rao lower bounds ( CRLB) are obtained.

对确定型信号在信号已知和未知两种情况下的多径分辨性能进行了理论分析,导出了相应的Cramer-Rao低界。

互联网摘选

11、

A chaos signal is a deterministic signal but has highly unpredictable and random nature. Its unique characteristics make it very attractive in the application area of secure communication.

混沌信号是一个确定性的信号,但是它却具有很高的不可预测性和随机性,这两个独特的性质促使它在保密通信领域具有很高的吸引力和应用价值。

互联网摘选

12、

However, the investigations are usually carried out in the context of periodicity detection and deterministic signal.

这些研究通常是在周期性的探测和决定性的信号环境里进行的。

互联网摘选

13、

Research on Deterministic Signal Estimation of Acoustic Vector Sensor

确定信号情况下矢量水听器检测及估计性能研究

互联网摘选

14、

6, The convergence rate of deterministic signal is slower than the one of uncorrelated signal.

确定性信号的收敛速率慢于不相关信号的速率。

互联网摘选

15、

Then the lattice hydrodynamic model with the onramp system is proposed and the stochastic and deterministic onramp simulation methods are designed.

随后提出了匝道系统的格子流体力学模型,并设计了随机型和确定型匝道两种数值模拟方法。

互联网摘选

16、

Deterministic computer simulation is widely used in science and technology.

确定性计算仿真在科学研究和工程技术中的应用非常广泛。

互联网摘选

17、

The paper establishes the deterministic simulation model using the theory of sine summation. The model parameters are determined using the Method of Equal Distances and the Method of Equal Areas.

用正弦和理论建立了信道的确定性仿真模型,并用等面积算法和等距离算法确定了模型的参数。

互联网摘选

18、

A. new evaluating index system of water resources is proposed, and deterministic simulation, probabilistic simulation, dynamic programming, and multiobjective programming techniques are used in this paper.

本文提出了一种新的评价指标体系,采用了确定性与随机性两种动态模拟技术,以及动态规划,多目标规划等优化技术,应用于长治市水资源开发利用规划中。

互联网摘选

19、

It is not economical and maybe brings about negative control effects to make control strategies by deterministic simulation with typical conditions and faults according to conservative principles.

按典型的工况和故障的确定性仿真及保守原则制定控制策略,其决策不但不经济,还有可能带来危险的负效应。

互联网摘选

20、

Deterministic Simulation Model for Mobile Fading Channel

移动衰减信道确定性的仿真模型

互联网摘选

  • 今日热词
  • 热门搜索

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

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