在实现嵌入式系统的过程中，软硬件协同设计技术通常需要考虑在缩短上市时间的基础上满足各种设计约束。协同设计的一个关键要求是对系统模块进行一个有效的软硬件划分，在满足功耗，延迟，硬件面积等因素的约束下，使得系统的某个属性，比如通讯代价，硬件资源开销等达到最优。　　 作为软硬件系统设计的关键步骤之一，软硬件划分技术对于系统的整体性能有显著的影响。而该划分问题本身已经被证明是NP完全问题，所以通常通过设计一些近似算法来对此类问题进行求解。本文将一类软硬件划分问题转化成扩展的0-1背包问题，然后设计了一个启发式算法来解决这个问题，并使用了禁忌搜索这种智能优化方法对该启发解进行提升，从而达到在满足系统软件代价和通讯代价的前提下，使得系统的硬件代价最小的优化目标。充分的实验数据表明，本文提出的算法和国内外最新的工作相比，能产生质量更好的解，本文算法最高能提升百分之二十八。　　 本文还将软硬件划分问题抽象成一个图平衡划分问题，在这个新的计算模型下，本文运用了同样的策略来解决这一类问题。除了在软硬件划分领域，该问题还被证明是一类广泛应用在大规模集成电路设计，图像分割，数据挖掘等领域的NP完全问题，所谓平衡划分问题，就是对于给定的图，寻求一个可行划分，将顶点集合划分到两个互不相交的集合中，使得系统的割边数最少，并且要求划分结果要保持两个集合中的顶点数目大致相等。本文提出了一个简单高效的多启动(Multi-start)的启发式算法来解决这个平衡划分问题，并采用禁忌搜索对该启发解进行提升。实验数据表明，在最好情况时，本文算法在和当前最新工作中算法性能相当，而且在平均性能上要显著优于原文算法。本文算法在平均性能上最高能提升百分之五十以上。