【摘 要】
：
智能组卷是一个典型的约束满足问题。首先对传统的组卷问题的定量的评价准则进行了分析，说明了它在实际应用中存在的问题，引入了智能组卷的四种不同的约束类型：强约束、亚约束、柔性约束和弱约束的概念，提出了一种定性定量相结合的评价体系。针对智能组卷的约束满足问题的特殊性，该文运用启发式知识，采用了生成测试和局部修正相结合的约束满足方法，进行智能组卷，取得良好效果。文中提出的方法在国家物理试题库智能组卷系统中
【机 构】
：
中国科学技术大学自动化系，安徽合肥 230027
论文部分内容阅读
智能组卷是一个典型的约束满足问题。首先对传统的组卷问题的定量的评价准则进行了分析，说明了它在实际应用中存在的问题，引入了智能组卷的四种不同的约束类型：强约束、亚约束、柔性约束和弱约束的概念，提出了一种定性定量相结合的评价体系。针对智能组卷的约束满足问题的特殊性，该文运用启发式知识，采用了生成测试和局部修正相结合的约束满足方法，进行智能组卷，取得良好效果。文中提出的方法在国家物理试题库智能组卷系统中的应用，受到有关专家的肯定。
其他文献
7月18日,银行间信用债市场交投有所放缓,现券收益率涨跌互现,呈现出震荡盘整的态势。分析人士指出,尽管伴随利率市场的回暖,近期信用债表现向好,投资风险偏好略有上升,但在监
男人想要健康强壮,吃什么很重要。这15种食材,对男人的健康非常有益,不妨加入食谱中吧。1.瘦红肉红肉富含蛋白质,并且是铁的极好来源,而铁在膳食中是普遍缺乏的。红肉还能提
小学语文学习是对一个学生对汉语言文学了解的启蒙教育,所以,采用适合不同年龄学生的独创的教学方法尤为重要,在小学初等阶段,语文教学的趣味性更能培养学生了解语文的兴趣。
目的总结14例亲属肾移植的经验,探讨活体供肾的临床效果。方法13例为血缘亲属供肾,1例为非血缘亲属供肾,血型相同,淋巴毒试验阴性,4例HLA配型中,全配1例,单配体相同3例。4例
目的 探讨动态脑电图在癫(癎)诊断和分型中的应用价值.方法 回顾性分析46例癫(癎)患者的临床和动态脑电图资料,比较动态脑电图与常规脑电图的结果及癎样放电在清醒期和睡眠期
综述了近几年来关于最具商业前景的直接二甲醚燃料电池的研究成果,文中主要探讨了新型阳极催化剂的开发,膜电板结构对电池性能的优化以及操作条件对电池性能的影响.建议在深
随着互联网的出现,读者获取信息的方式越来越快捷便利了。互联网把我们带进了电子时代。网络改变了人们的生活,网络也向传统媒体发出了强有力的挑战,尤其是报刊杂志受到的挑
又到流感肆虐的季节,有的妈妈犹豫到底要不要给孩子接种流感疫苗,也有的妈妈认为即使接种了流感疫苗也还会得感冒,那接种还有什么用?那么,接种流感疫苗到底有没有必要?接种了
大宗商品交易市场2015年7月31日,自贸区首批面向国际的大宗商品交易市场运营。大宗商品交易市场就是很多大宗商品在一个场所内集中交易。长期以来国内大宗交易市场普遍存在两
高考大纲对于写作的“发展等级”部分,有深刻、丰富、有文采、有创新等要求.而就议论文写作而言,有创新就意味着观点要新、例证要新.高考作文存在的普遍问题之一就是用例陈旧