层次图(混合Horn)公式的部分极大可满足性

本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat(及其变种)的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题.本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数.另一个被称为Vector-Tabu-Sat的过程,对所有的布尔变元进行独立的Tabu长度参数管理.一些数值实验的结果显示,我们改进的Tabu-Sat变种在子句个数增长的时候优于Walksat.     

爱是什么

这是一组来自4至8岁孩子的语言。专业人员向这群孩子问了这样一个问题：“爱是什么意思？”孩子们给出了各不相同却同样透彻的答案。     

《狼图腾》编辑策划的经验和体会

介绍<狼图腾>策划出版过程、社会反响和评价,以及出版经验和体会.     

嘴唇上的河流

1 我每天面对着一条大河居住,我想:什么时候我能住成苏轼或者李白呢? 我看到今夜的月光是从李白和苏轼的诗句中复制并粘贴到天上去的. 这些丝丝缕缕仿佛内心的光线啊,它们是爱.     

小蜗牛

我们的手太神奇了,它能创造出各种各样的东西。纸叠的小动物栩栩如生,自制的美食别有风味,动手制作的小玩具滑稽可爱……各种美食,小制作在小朋友的手中诞生。     

《中文核心期刊要目总览》2004版及收录浙江省核心期刊浅析

本文比较分析了《中文核心期刊要目总览》2004版的特色，并对浙江省列入的核心期刊从数量、质量、学科分布等方面进行了计量分析，提出了提高浙江省中文核心期刊数量、质量的建议。     

加强高校精神文明建设 营造高校育人环境

高校精神文明是社会主义精神文明建设的重要组成部分。加强高校精神文明建设是推进全社会精神文明建设的一个重要方面。在创建过程中坚持以人为本的原则，不断提高师生的思想道德素质，提升校园文化层次，为培养合格的社会主义建设人才营造良好的环境。     

新课程标准下开展化学探究性学习的实践与探索

全日制义务教育《化学课程标准(实验稿)》将科学探究作为此次课程改革的突破口，在第三部分“内容标准”中明确提出：“义务教育阶段化学课程中的科学探究，是学生积极主动地获取化学知识、认识和解决化学问题的重要实践活动”，同时“科学探究是一种重要的学习方式，也是义务教育阶段化学课程的重要