对一般的0-1整数规划问题提出了一种半自动化的DNA计算模型。首先产生所给定的0-1整数规划问题的所有可能解,然后设置对应于0-1整数规划问题的约束不等式的探针,利用这些探针设计半自动化装置对所有可能解进行自动分离,最终找出0-1整数规划问题的解。该模型的最大优点在于具有自动化的特点;同时,从理论上来讲,该模型适合含有任意变量的任意0-1整数规划问题的求解。