A test of the fail-safe N for self-help programs.

A meta-analysis of published studies on the clinical efficacy of selected self-help programs (F. Scogin et al; see record 1990-15222-001) indicated that such conditions were more effective than no-treatment controls. Calculation of a fail-safe N showed that 53 nonsignificant studies would have to exist to render the conclusions of the meta-analysis invalid. Results indicate that unpublished research is unlikely to threaten the validity of the original meta-analysis. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

研究生人工智能课程教学探索

从研究生教学特点和人工智能学科的自身特点出发,结合多年来研究生课堂教学实践,探讨在人工智能课程中采用基于问题的启发式教学、基于案例的探究式教学等教学方法。实践表明,这些方法不仅能使学生深入理解人工智能的基本概念和理论,而且有利于培养学生的创新和科研能力。     

本科毕业设计的管理及问题分析

针对本科毕业设计中存在的毕业设计选题不当,指导教师职责不规范,论文质量不高等现象,文章分析其存在原因,介绍了本科毕业设计的管理中需要注意的各个环节以及可能出现的问题,并提出问题的解决方法。     

基于文献阅读研讨的研究生专业课程教学评价方法

研究生文献阅读研讨课是上海大学研究生专业课程改革的一次有益尝试,该课程在教学内容和教学方式上与传统的教师主导型课堂教学模式有较大差异,文章在介绍研究生文献阅读研讨课教学特点的基础上,提出一种以文献阅读和研讨为主的研究生专业课程,通过分析近三年计算机学院的评估结果,提出改进措施。     

智能科学与技术专业本科培养计划的面向应用思考

工科学校的人才教育应该以技术能力和技术创新的培养为目的,根据学校的自身条件、生源特点、社会需求来确定合适的培养计划。本文针对上海理工大学光电信息与计算机工程学院智能科学与技术本科专业的培养计划及专业建设,提出了以需求、技能、创新为目标的面向应用思考。     

基于PageRank的计算机性能评价方法

现有选择性计算机性能评价方法主要使用基准程序评价方法,基准程序中各子程序的输出往往因为单位不同而无法进行进一步数据处理,同时基准程序评价方法广泛采用的权重和评分方法缺乏理论依据。针对该问题,提出基于佩奇排名(PageRank)的计算机性能评价方法,采用比较数据序列间相似性的方法产生邻接矩阵从而为各项评估功能计算PageRank得分。实验结果表明,该方法能客观反映目标计算机系统的性能。     

计算机系列研究生暑期学校办学体会

阐述了暑期学校的办学基本理念,介绍具体的办学方案和经验。通过分析问卷调查结果表明,该次办学收到了良好的教学效果,为今后继续打造暑期学校品牌提供了依据与参考。     

论信息素养在研究生培养过程中的作用和地位

面对信息时代的严峻挑战,培养研究生信息素养已成为当代高等教育面临的一个重要任务。文章探讨信息素养在研究生培养过程中的作用和地位,以期高等院校更注重把信息素养纳入到研究生教育目标和评价体系之中,使研究生更自觉主动地把提升信息素养作为自身学习与发展的重要目标。     

Updating Epistemic Logic Programs

We consider the problem of updating non-monotonic knowledgebases represented by epistemic logic programs where disjunctiveinformation and notions of knowledge and belief can be explicitlyexpressed. We propose a formulation for epistemic logic programupdate based on a principle called minimal change and maximalcoherence. The central feature of our approach is that duringan update or a sequence of updates, contradictory informationis removed on a basis of minimal change under the semanticsof epistemic logic programs and then coherent information ismaximally retained in the update result. Through various updatescenarios, we show that our approach provides both semanticand syntactic characterizations for an update problem. We alsoinvestigate essential semantic properties of epistemic logicprogram update.