汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

调制光寻线系统及其在自动行走机器人中的应用

为了使机器人可以沿着地面上的指示线自动行走 ,研制了一套调制光寻线系统。调制光寻线系统基于主动式光电检测法中的调制光检测原理 ,同时 ,它针对机器人的具体工作环境 ,还采用了多点巡回检测以及同步采样等技术 ,进一步发挥了调制光检测法的优点 ,如抗干扰能力强、作用距离远、适应范围广等 ,实现了为机器人的控制系统提供可靠的位置信息的功能     

臭氧活性炭去除水中硫醇类致嗅物质的研究

硫醇类物质是南方某江排洪时饮用水中嗅味的主要致嗅物质。以乙硫醇为典型致嗅物质,研究了臭氧活性炭对乙硫醇的去除特性。结果表明,臭氧活性炭对乙硫醇有很好的去除效果,其中臭氧氧化是去除乙硫醇的关键工艺,活性炭发挥的作用有限;去除乙硫醇嗅味的适宜臭氧接触时间是15 min,当水质变化不大时,完全氧化水中乙硫醇所需要的有效臭氧投加量(mg/L)为乙硫醇初始浓度(μg/L)的0.04倍。当进水乙硫醇浓度大于100μg/L时,需要增加适宜的预氧化处理,与臭氧活性炭联用才能有效去除水中硫醇类致嗅物质产生的嗅味。     

大学生认识论信念、学习焦虑和学业成就的关系研究

该研究采用大学生认识论信念问卷、学习焦虑问卷、学业成就问卷等工具,对283名大学生一般领域的认识论信念、学习焦虑、学业成就之间关系进行调查研究。结果表明：（1）年级变量在认识论信念上的得分的主效应显著,专业变量在认识论信念上的得分主效应显著,两者的交互作用不显著;（2）认识论信念与学习焦虑的负相关显著,学习焦虑与学业成就的负相关显著,认识论信念与学业成就之间正相关显著;（3）学习焦虑在认识论信念与学业成就的关系中起调节作用。     

我国精神信仰研究的文献计量学分析

该研究采用文献计量学方法,检索到2002年至2012年间我国期刊数据库中有关精神信仰的心理学研究文献。分别从论文总量、论文时间分布、论文在不同期刊的分布、研究力量地域分布、研究力量机构分布、论文合作方式、研究方式分布、研究人群分布和研究内容分布等情况进行统计分析,总结了这一时期精神信仰的研究成果与不足。     

软件测试方法的教学探讨

本文根据作者多年软件测试的教学经验和体会,结合企业对软件测试人员的实际需求,针对软件测试课程中的核心内容—软件测试方法的教学进行了研究和探讨。     

用daikon发现循环不变式

随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replace C程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。     

臭氧活性炭去除水中硫醇类致嗅物质的研究

硫醇类物质是南方某江排洪时饮用水中嗅味的主要致嗅物质。以乙硫醇为典型致嗅物质,研究了臭氧活性炭对乙硫醇的去除特性。结果表明,臭氧活性炭对乙硫醇有很好的去除效果,其中臭氧氧化是去除乙硫醇的关键工艺,活性炭发挥的作用有限;去除乙硫醇嗅味的适宜臭氧接触时间是15min,当水质变化不大时,完全氧化水中乙硫醇所需要的有效臭氧投加量(m g/L)为乙硫醇初始浓度(μg/L)的0.04倍。当进水乙硫醇浓度大于100μg/L时,需要增加适宜的预氧化处理,与臭氧活性炭联用才能有效去除水中硫醇类致嗅物质产生的嗅味。     

软件测试的教学与实践

本文根据作者多年软件测试的教学经验和体会,结合企业对软件测试人员的要求,提出了软件测试教学与实践的方法,包括如何分层次地开展测试理论教学、如何设计基础性实验和综合性实验以及学生参与企业实习时应该着重培养哪些技能等。