智能组卷是教育测量标准化、规范化的重要组成部分,但不符合题库条件的组卷目标会导致组卷失败。为此,提出一种组卷目标的满足性检查与处理模型,给出满足性检查的判定准则,对分解目标的满足性检查与调整进行算法设计,并利用Transact-SQL 对其实现。实验表明,模型能够提高组卷的效率和成功率。关键词:智能组卷;试题库;组卷目标;Transact-SQLAbstract: This article introduces a satiability checking and adjusting model of paper targets for intelligent paper generation system, and mainly discusses the satiability detection criterions of paper targets. And then the arithmetic of checking and adjusting paper sub targets is designed and implemented. The experiment shows that the model brings the better efficiency and rate of success of intelligent paper generation.Keywords: Intelligent Paper Generation; Item Bank; Paper Targets; Transact-SQL