制度创新、技术保障,培养高质量软件实用人才

<正>当前软件工程的发展非常迅速,这要求软件工程教育必须紧跟学科的发展,不断地将与国际先进水平一致的新内容融入到教学当中。同时软件工程是一门实践性非常强的学科,学生必须参加大量的项目,通过实践才能真正掌握软件工程的知识。在培养具有国     

基于对象类型的API补全方法

近年来, 随着软件技术在各行各业、不同领域的应用不断扩展与深入, 同时伴随着软件架构、服务计算等技术的不断发展, 软件行业涌现出了功能丰富且规模庞大的第三方API或库, 软件开发者在实现软件功能的时候也越来越依赖这些API. 但学习这些API的使用是非常困难且耗时的, 主要有两方面的原因: 1)相关文档的缺失和错误; ...     

法院综合信息管理系统的实现技术

本文介绍法院综合信息管理系统的数据库结构和软件主要功能,并讨论了系统实现的关键技术,给出了一种基于ORDB和软件构件的信息系统构造方法,分析了司法决策支持系统的实现技术。     

一种可更新的查询语言UXQL

数据变换和数据集成等应用需要对XML文档进行更新，而现有的查询语言对此支持不够。提出了一种可更新的XML查询语言UXQL。它具有统一的数据模型，能够同时对多个异构数据源中的文档进行更新和查询操作。同时它的结构简单，可以很方便地实现和优化。详细描述了UXQL的文法和语言成分，并给出了实现框架和应用实例。     

《植物学》实践教学改革探索与实践

在分析传统<植物学>实践教学内容、教学方法、考核体系种种弊端的基础上,提出了森林公安<植物学>课程实践教学改革的主要内容,即充分利用校园植物资源和当地植物资源丰富的公园;建设小型珍稀植物园;由中队教官带队野外实习,加强学生管理;建立完善的植物学实践考核体系.     

模型法求规划的研究

模型法求规划是一种通用的规划方法。它从给定问题的模型中抽取出规划。本文综述了模型法求规划的基本方法。首先介绍了SATPLAN和CSP,以讨论模型法求规划的通用框架。然后介绍了新近开发的模型法求规划系统,BLACKBOX和GP-CSP。在将模型法与演绎法和CBP法进行比较后,给出了模型法求规划的未来研完方向。     

一个增量式判定树学习算法INDUCE

ＩＮＤＵＣＥ算法采用自顶向下判定树归纳的学习方法,不仅具有健壮性好,效率高和正确率高等优点,还具有增量学习能力,可以动态修正概念描述的不足,该算法还运用了构造性归纳的思想,在学习过程中生成新的描述子,使概念描述空间搜索的效率得到提高。运行实例表明,ＩＮＤＵＣＥ具有很好的应用前景。     

基于语义的Web挖掘

基于语义的Web挖掘是使用从现有Web数据中抽取的语义或直接使用Web数据中已有的语义结构来帮助Web挖掘。它有效地结合了语义网和Web挖掘两个领域的研究成果,既可以通过开发新的语义结构来帮助Web挖掘,又可以利用挖掘结果促进语义网的创建。本文介绍了基于语义的Web挖掘的基本思想和研究现状,分析了语义网和Web挖掘相结合的优势,并详细论述了国际上关于利用数据挖掘技术创建语义网,利用语义挖掘Web数据和直接挖掘语义网三个方面的研究工作。     

行动推理中循环因果关系的研究

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一．该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法．基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法．转化后的因果理论消除了循环依赖,而且可以采用单调推理方法．基于因果闭包语义,证明了转化前后的因果理论具有相同的模型．当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果．     

软件工程专业工程化实践教学体系的构建与实施

软件产业的迅速发展对软件 行业从业人员提出了更高 层次的要求,尽管国内高校软件人才的培养数量日益攀升,但高端软 件人才的匮乏却严重阻碍着我国 IT企业的发展,主要原因是国内计算 机软件相关专业的教学基本上仍停 留在传统的理工科人才培养模式 中,普遍缺少对学生工程能力和职 业素质的训练,同时也缺乏进行这些训练所需的教学环境,培养出的学生与产业界的需求往往存在较大的脱节,难以快速融入现代IT 企业的运作。 因此,迫切需要对软件专业的教学体系进行工程化改造,逐步建立工程化实践教学体系,着力培养学生的工程化开发能力和职业素…