布尔逻辑DNA序列比对系统的软件平台设计