Lightweight relevance filtering for machine-generated resolution problems

Irrelevant clauses in resolution problems increase the search space, making proofs hard to find in a reasonable amount of processor time. Simple relevance filtering methods, based on counting symbols in clauses, improve the success rate for a variety of automatic theorem provers and with various initial settings. We have designed these techniques as part of a project to link automatic theorem provers to the interactive theorem prover Isabelle. We have tested them for problems involving thousands of clauses, which yield poor results without filtering. Our methods should be applicable to other tasks where the resolution problems are produced mechanically and where completeness is less important than achieving a high success rate with limited processor time.     

Psychological distance asymmetry: The spatial dimension vs. other dimensions

In this research we demonstrate an asymmetry between the spatial dimension and the other three dimensions of psychological distance—i.e., the temporal, social, and hypothetical dimensions. The first study shows that a distal prime along the spatial dimension leads to greater perceived distance along the other three dimensions, but not the other way around. We theorize that this is because people understand temporal, social, and hypothetical distance in terms of spatial distance. Hence, symmetric priming effects should occur when similarities between the spatial dimension and other dimensions are highlighted. Indeed, the last three studies, using multiple operationalizations, show that such priming effects could become symmetric when people engage in relational processing.     

母亲依恋风格与孤独症谱系障碍儿童母子依恋:母亲教养方式的中介作用

早期依恋对孤独症谱系障碍（Autism Spectrum Disorders,简称ASD）儿童的心理健康、人际关系以及未来的社会融合有重要影响。本研究采用问卷调查法,对从北京、青岛、郑州、武汉、无锡和赤峰市等地28所融合幼儿园中筛选出来的210名ASD儿童及其母亲进行施测,考察母亲的依恋风格对ASD儿童母子依恋的影响,以及母亲教养方式在其中的中介作用。研究发现：（1）总体而言,ASD儿童与母亲之间的依恋关系总体状况良好;轻度ASD儿童的母子依恋水平显著高于中度、重度ASD儿童;（2）母亲依恋回避、依恋焦虑与ASD儿童母子依恋均呈显著负相关;母亲关爱、鼓励自主与ASD儿童母子依恋均呈显著正相关,母亲控制与ASD儿童母子依恋呈显著负相关;母亲依恋回避、依恋焦虑与母亲关爱均呈显著负相关,与母亲控制均呈显著正相关;（3）母亲关爱在母亲依恋回避与ASD儿童母子依恋之间起部分中介作用,母亲关爱、母亲控制在母亲依恋焦虑与ASD儿童母子依恋之间起完全中介作用。     

中国中小学生综合幸福感量表的编制研究

幸福是人类社会的终极目标和共同追求。幸福社会基础在民生,关键靠教育,重心在培养学生的幸福感。本研究以中国特色世界视野的马克思主义幸福观为理论基础,在综合借鉴国内外相关研究成果基础上,通过对5029名中小学生的测量,编制了中国文化背景下的中小学生综合幸福感量表。量表由道德幸福感、心理幸福感、学业幸福感、健康幸福感和社会幸福感五大分量表构成,包括17个因子,共113个项目,力争科学、系统、全面反映中小学生的幸福感水平。研究结果表明,该量表具有良好的信效度,可用于测评中国中小学生的综合幸福感发展状况     

连续报告任务中无效后线索对后线索效益的影响

本文采用连续报告任务,从非线索指示项目的角度入手,探讨无效后线索的存在是否会影响后线索效应的产生,以此进一步了解“后线索效益”的产生机制。结果表明,无论采用空间后注意线索,还是非空间的颜色后注意线索,都产生了“后线索效益”,即后线索确实提高了被试视觉工作记忆的表现。无效后线索的存在不会影响“后线索效益”的产生,该效益的理论解释符合优先提取说,即被试会利用后注意线索优先提取线索指示项目,产生更快和更准确的反应。     

爆发怒与潜在怒及其在认知操作中的功能

研究旨在证明;实验1.实验室人工诱发婴儿被试愤怒情绪被划分为爆发怒与潜在怒两种愤怒表现形式,它们在婴儿进行的“迂回”作业操作中显示了不同的功能作用：爆发怒被试的操作效果显著优于潜在怒被试。实验２．以实验１同样的方法诱发婴儿被试愤怒情况下,在另一项“寻找”作业中验证了爆发怒与潜在怒两种愤怒形式确实具有不同的功能作用,实验２以心率水平测量作为验证指标。     

青少年自我同一性状态的发展及其与父母教养权威性、同一性风格的关系

采用修订的自我同一性状态问卷、同一性风格问卷和父母教养方式问卷对1233名初中生、高中生和大学生进行调查研究,考察青少年自我同一性状态的发展特点以及父母教养权威性、同一性风格和自我同一性状态之间的关系。结果发现:从初中到高中,青少年的自我同一性状态表现出前进的发展趋势,高中和大学阶段处于四种同一性状态的人数比例不存在明显差异;男大学生比女大学生更多地处于同一性获得状态;父母教养权威性既对同一性状态有直接预测作用,又以同一性风格为中介对其产生间接影响。     

初中生认识论信念及其与学习方式、学业成就的关系

该研究采用自编的初中生认识论信念问卷、R-LPQ-2F问卷等工具,对557名初中生一般领域的认识论信念、学习方式、学业成就之间关系进行调查研究。结果表明:1)不同类型学校、年级、性别的初中生在认识论信念的某些维度上存在差异,学校与年级两个变量在接受-建构信念上存在交互效应,学校与性别两个变量在零散-联系信念上存在显著的交互效应;2)认识论信念对学业成就既有直接作用,又有间接作用;3)学习方式在认识论信念对学业成就的影响中发挥着中介作用。     

罗夏墨迹测验在西方的发展历史与研究现状

历史上罗夏墨迹测验（RIM）一直被视为投射测验而用精神分析的理论解释它,使其偏离了客观化的发展方向。综合罗夏系统则又回归到了实证的研究道路。综合系统仍视之为一个不完全结构化的、间接的测量方法,因此在人格研究中有独特的作用。关于RIM虽然仍有争议,但其科学研究价值已基本得到公认,目前要做的工作是发展它和完善它     

《管子》与《齐民要术》对读偶得

《管子》与《齐民要术》表有枝叶之异,而里则本根相连。二书在“重农思想”、“民本思想”、“大农业观”、“农时观”、“科技兴农思想”等方面,有着密切的关联性和相通性,甚至可以说相通相同、一脉相连;然而由于成书年代的不同,在“商业思想”方面却有很大差异。《齐民要术》重农而富民强国的思想是直接受了齐文化深刻影响的。《管子》与《齐民要术》可谓广义齐文化园地里的双璧。二书的智慧都对当今社会的新农村建设具有重大的启迪意义和借鉴价值。因而,如同《管子》一样,《齐民要术》亟需深入研究、有效开发和利用。