新产品ST19NP18是在取得巨大成功的上一代ST19WP18TPM的基础上改进而成的，制造技术采用了能够给PC制造商带来更多成本效益的0.15微米制造工艺。 安全芯片TPM嵌入在计算机系统主板内，用于安全地保存密钥、密码和数字...

我们已经知道对于任意一个3SAT实例，如果某个子句中包含相同文字多次，那么可以去掉多余的，如果同时包含了某个变量的肯定及否定，那么可以将这个变量去掉，再在每个子句中添加一些没用的辅助变量，这样就可以将每个...


先进行判断，EXACT 4SAT属于NP。
然后将3SAT归约到EXACT 4ASAT就可以证明后者的NP完全性。
我们已经知道对于任意一个3SAT实例，如果某个子句中包含相同文字多次，那么可以去掉多余的，如果同时包含了某个变量的肯定及否定，那么可以将这个变量去掉，再在每个子句中添加一些没用的辅助变量，这样就可以将每个子句所包含的文字数目扩充到四个。
结果3SAT实例转换成了一个EXACT 4SAT问题。 

由于接入控制是NP问题，于是利用所提LP-PSO算法来实现优化控制，并分析和证明了所提算法的收敛性。在系统可行的情形下，提出了联合优化功率和传输速率分配的方案，通过改进拉格朗日对偶（Lagrange duality）算法来...

名词短语隐喻性的知识可能会在共指解析中得到有益的利用，从而绕过非隐喻名词短语的解析。... 在ACE2003语料库上进行的实验证明了我们的方法在名词短语的照应性确定中的巨大有效性及其在基于学习的共指分解中的应用。

在本文中，我们使用分析技术来探索Np> 0态下的多变流体动力涡旋的物理特性。 特别是，我们证明了在这种物理状态下，有效声时空的特征是反射表面半径的有限离散集合{rc（Np，m; n）} n = 1n = Nmax，它可以支持边际...

分布式信息流模型可以细粒度地控制信息的访问和传播，但其灵活性也增加了系统安全需求表达和策略管理实施的复杂性，严重制约了模型在云计算等分布式系统中的应用。对此，设计了一种基于安全断言的策略描述语言以表达...

其内容包含基本理论，如计算模型NP-完全性，以及较深入的课题，如线路复杂性、概率复杂性和交互证明系统等。此外，《计算复杂性导论》还包括了复杂性理论近年来两个较重大的突破，即概率可验证明及其在近似算法上的...

其内容包含基本理论，如计算模型NP-完全性，以及较深入的课题，如线路复杂性、概率复杂性和交互证明系统等。此外，《计算复杂性导论》还包括了复杂性理论近年来两个较重大的突破，即概率可验证明及其在近似算法上的...

研究多处理机任务调度模型Pm|fix，pj=1|Cmax，即在m个处理机系统中调度n个时间长度都为1的多处理机任务，每个任务指派到所需一组处理机上不可剥夺地执行。其更一般的问题是Pm|fix|Cmax，在网络并行计算、多播系统及...

研究多处理机任务调度模型PmfixCmax，即在m个处理机系统中调度n个多处理机任务，每个任务指派到所需一组处理机上不可剥夺地执行。该问题应用广泛但早已证明为NP难问题，而且也不存在常数近似算法。在E.Bampis等人...

无线网络实现串行干扰消除算法可以提高网络吞吐量，在采用串行干扰消除算法的无线网络系统中，如何控制节点间传输功率使系统效用最大化是一个NP-Hard难题。针对此问题提出非合作博弈算法来解决节点间的传输功率控制...

15.3 其他证明系统概述 256 15.4 元数学的思考 258 本章学习内容 258 本章注记和历史 258 习题 259 第16章 代数计算模型 260 16.1 代数直线程序和代数线路 261 16.1.1 代数直线程序 261 16.1.2 例子 262 ...

软硬件划分已被证明是NP完全问题，大多数研究主要集中在寻找各种快速的近似算法，常见的有爬山法、遗传算法、模拟退火、禁忌搜索等。这些算法大多只能处理小规模问题，而且是单纯从算法角度来研究软硬件划分问题，并...

这类问题在网络并行计算、多播系统及工程规划等领域都有广泛的应用，但早已被证明为NP难问题，而且也不存在常数近似算法。基于团划分方法构造了该问题的多项式时间近似算法，通过模拟实验进行了验证，和最大宽度优先...

流水线是制造系统中广泛采用的一类生产模式。业已证明机器数超过三台的流 水车间调度问题为NP难问题，对该问题的研究有重要的理论和工程价值。传统调度 问题解决方法包括数学建模、启发式和元启发式算法等，能在较短...

压缩采样（CS）的最新结果证明了其在高分辨率雷达目标估计和成像中的可行性[2,10,14,15,17,19,23,29,30,32-34]。 但是，信号恢复被简化为对方程的欠定线性系统寻求稀疏解。 这可能非常困难，因为即使找到近似真实...

本文提出质粒DNA计算,首先把顶点着色问题转化为求最大独立集问题,然后给出了图顶点着色问题的质粒DNA分子生物实验,利用限制性内切酶的特性切割有边相连的顶点,得到最大独立集,在试验中特别引入了一个备用试管,最后给...

在模型中我们考虑使用多输入多输出的正交频分复用系统作为传输技术。我们的约束条件包括物理层的功率约束、资源块约束、MAC层的延时和数据传输速率约束、网络层的数据排队长度约束，传输层的数据包传输错误概率约束...

实践证明车辆路径问题是一个典型的NP难题，如果只是采用传统的方法，要想得到问题的最优解或者是满意解就显得比较的困难，因此采用现代启发式算法来对这些问题进行求解是现代专家学者想要解决这类问题的关键。...

12 基于免疫算法的运输中心规划算法（史峰） 随着物流业的快速发展，配送在整个物流系统中的所起的作用越发重要，因而配送中心的选址对于 企业的网络布局、经营方式等起到了重要作用。然而，配送中心的选择具有计算...

第1章　算法在计算中的作用 1.1　算法 1.2　作为一种技术的算法 思考题 本章注记 第2章　算法基础 2.1　插入排序 2.2　分析算法 2.3　设计算法 2.3.1　分治法 2.3.2　分析分治算法 思考题 本章注记 第3章　函数的...

在有关算法的书中，有一些叙述非常严谨，但不够全面；另一些涉及了大量的题材，但又缺乏严谨性。本书将严谨性和全面性融为一体，深入讨论各类算法，并着力使这些算法的设计和分析能为各个层次的读者接受。全书各章...

该系统实现了基于深度框架的语音识别中的声学模型和语言模型建模，其中声学模型包括CNN-CTC、GRU-CTC、CNN-RNN-CTC，语言模型包含transformer、CBHG，数据集包含stc、primewords、Aishell、thchs30四个数据集。...

该系统实现了基于深度框架的语音识别中的声学模型和语言模型建模，其中声学模型包括CNN-CTC、GRU-CTC、CNN-RNN-CTC，语言模型包含transformer、CBHG，数据集包含stc、primewords、Aishell、thchs30四个数据集。...