知识库维护过程中检查其协调性的有效方法

本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作，最后给出结论.     

智能教学系统中知识表示模型的研究与设计

研究了智能教学系统功能与结构。分析了知识库模型在智能教学系统中的重要地位;通过对知识库中的教学内容与教学规则两类知识的分析和对超媒体知识表示的研究,构建了一个基于层次结构的超媒体网络模型,并在知识网络图中节点里嵌入教学规则,以实现教学内容的动态组织、呈现和教学过程中的自适应导航。该模型为教学系统的决策与分析提供了智能的辅助手段。     

SDSS中空间知识库系统模型的设计

提出并实现了一个适用于智能化空间决策支持系统（SDSS）的空间知识库系统模型。在本知识库系统模型上，知识表示采用一阶谓词逻辑和案例两者相结合的方式，对于不同的知识表示方式，实现了相应的知识推理机制及相互间的切换，在此基础上，还设计实现了对案例知识的学习与获取方法。     

基于变精度粗糙集模型的流感诊断仿真系统

研究流感诊断仿真系统,因流感还缺乏概念准确的描述,为了降低流感诊断的复杂度,提高诊断决策的准确性,在深入研究变精度粗糙集模型的基础上.提出了一种基于 STL 的变精度粗糙集模型,并将模型应用于流感诊断仿真系统中.通过在流感决策表上直接建立变精度粗糙集模型,获取了流感诊断决策,建立流感诊断知识库提供了先验知识.在流感诊断仿真实验中,根据流感诊断决策规则进行了多次测试,测试结果表明仿真系统所获取的决策规则具有很高的正确率,达到了预期结果,可用于流感诊断.     

施工方案智能决策支持系统的面向对象模型

本文应用面向对象技术分析建筑施工组织设计，建立了包括施工项目子模型和施工活动子模型的施工领域模型，并在此基础上建立了施工方案智能决策支持系统模型。同时以钢筋砼建筑的施工方案决策为例，提出了知识库中知识的面向对象表示与增长机制以及决策过程的实现方法。     

基于故障树的故障诊断IDSS的设计

将智能决策支持技术引入故障诊断，给出系统的总体设计，并详细阐述基于故障树的知识库和推理机的设计。采用面向对象基于框架、规则、元知识集成的广义故障树知识表示方法，同时给出了基于故障树最小割集和最小路集的故障快速推理算法，实现了故障的迅速诊断。     

面向决策的知识管理系统开发组件研究

研究了面向决策的知识管理系统（DOKMS）的概念模型，指出DOKMS包括知识库的构建与知识库的操作两个部分。在知识库构建方面，研究了元知识的标准化问题，提出了一个有冗余的元知识标准化方案；而在知识库操作方面，建立了查询引擎学习模型与用户偏好学习模型，以实现知识库的联想查询与知识推送，在该基础上，设计了知识库的数据结构，并运用面向对象方法设计开发出了DOKMS开发组件。     

产生式知识的有序二叉决策图表示及其推理

为了更完整地表示产生式规则构成的知识库及更有效地进行知识推理,给出了基于有序二叉决策图OBDD(Ordered Binary Decision Diagram)的产生式知识表示模型.在此基础上实现了基于OBDD的知识推理规则及相关算法,并结合实例对OBDD模型及其推理规则的可行性进行了分析.     

基于知识的程序设计训练系统PES的研究与实现

针对程序设计的特点，本文提出了以示例教学和程序设计练习为核心的基于知识的程序设计训练系统ＰＥＳ。着重讨论其系统组成、知识表示、知识库组织、错误诊断、学生模型、教学策略、示例环境和练习环境等几个方面的关键技术。     

虚拟导游的行为模型研究

行为模型是虚拟导游的关健内容之一,文章从导游行为的特点出发对虚拟导游的行为模型进行研究,并基于此提出一种由感知器、领域知识库和决策推理器三部分组成的行为模型.感知器感知环境信息,领域知识库记录导游的行为规则,决策推理器基于领域知识库进行行为推理.论文介绍了感知器、领域知识库和决策推理器的作用、原理及其实现方法,并给出了...     

Case-based teaching using the Laboratory Animal System for learning C/C++ programming

Teachers and students often consider learning programming a difficult pursuit. Face-to-face learning alone cannot provide effective teaching or efficient solutions for learning. A case teaching model can make students active in programming courses, even as it relies on solid learning theory and pedagogical strategies. This paper reports a study based on a case teaching model in C/C++ programming. The Laboratory Animal System (LAS) is a standalone case for management of laboratory animals. This paper includes an overview of LAS architectural design and user interface by C/C++ and presents the design, implementation, and evaluation of the model, as well as its implications for learning computer programming. The case method provides an interactive learning environment for students. Based on a survey of student feedback, students can learn C/C++ programming and gain knowledge more quickly and effectively using the case teaching model than through some traditional methods of teaching.     

C语言代码缺陷分析辅助编程实践系统

网络课程C语言编程学习中, 师生互动性差、教学效率低, 学生难以凭借自身能力解决编程中常见的代码缺陷问题. 为了更好帮助学生解决学习中的难题, 辅助老师达到教学目的, 研究一款代码缺陷检测辅助学生编程实践系统. 该系统首先对易犯的代码缺陷分类, 分析编译器不易检测的语法、词法和语义缺陷; 然后构建智能分析器,集成多种检...     

基于ImageJ的数字图像处理课程实验教学案例

针对计算机科学与技术专业中的数字图像处理实验教学问题,提出一种基于Java语言和ImageJ平台的数字图像处理实验教学方案。数字图像处理课程实验教学的目的是通过给学生布置难易适中的实验,让学生在实验课程中独立完成数字图像处理问题的解决。虽然学生已经学过Java语言,考虑到并不是所有学生都熟悉ImageJ软件,实验任务的起点通常是首先让学生理解并且测试已有的ImageJ插件的代码模板。其次教师要求学生在已有数字图像处理代码的基础上根据实验要求逐步对现有的插件进行扩充。由于ImageJ软件是开源的,并且本身是开放式的插件架构体系,使得这种构造性的实验教学方法成为可能。     

形式化方法在高中算法教学中的应用研究

国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介绍算法与算法设计方法时,无法说清楚算法设计的过程;在教学实践中,这一问题更加突出。这给高中生学习、理解及掌握算法和算法设计方法带来很大的困难。本文从新课程实验教材中及数学高考题中选取两个问题,用支持算法程序形式化开发的PAR（Partition And Recur）方法与PAR平台,从待求解问题的精确功能描述出发,经过一系列等价数学变换,最后得到正确的算法和程序。实践说明PAR方法与PAR平台可以在高中算法教学及学生能力评测中发挥建设性作用。     

Can experts' explanations help students develop program design skills?

This paper reports and experimental investigation of the effectiveness of case studies for teaching programming. A case study provides an “expert commentary” on the complex problem-solving skills used in constructing a solution to a computer programming problem as well as one or more worked-out solutions to the problem. To conduct the investigation, we created case studies of programming problems and evaluated what high school students in ten Pascal programming courses learned from them. We found that the expert's commentary on the decisions and activities required to solve a programming problem helped students gain integrated understanding of programming. Furthermore, the expert's commentary imparted more integrated understanding of programming than did the worked-out solution to the problem without the expert's explanation. These results support the contention that explicit explanations can help students learn complex problem-solving skills.We developed case studies for teaching students to solve programming problems for the same reasons that they have been developed in other disciplines. The case method for teaching complex problem solving was first used at Harvard College in 1870 and has permeated curricula for business, law and medicine across the country. These disciplines turned to the case method to communicate the complexity of real problems, to illustrate the process of dealing with this complexity and to teach analysis and decision making skills appropriate for these problems.     

基于考试过程和知识结构的数据挖掘算法研究

为了研究学生在不同阶段对知识点的掌握情况,基于对数据挖掘的理论研究,把知识结构与考试成绩相结合来进行数据研究。以教育测量学为基础,结合数据挖掘的决策树算法,针对原有的C4.5算法提出改进算法,应用试卷中涉及到的知识点的难易程度与知识点种类进行知识结构细化,以便确定单个学生或群体学生对知识点的掌握程度和试卷中各知识点之间的关系。结果显示,改进后算法的计算公式比原计算公式简单实用;根据决策树模型,使用剩余数据对计算公式进行验证,能够更快地得出对程序设计这个知识点的掌握是 影响成绩相对重要的因素。使用测试数据对已创建的决策树进行验证,准确率为90%。最后对决策树进行可视化展示,为学生的学习安排、教师的教学方案及安排等提供有效的参考。     

软件测试实验教学探索

针对软件测试课程教学中缺乏系统实例、重技术实现轻文档工作、测试工具使用流于产品说明等问题,文章就探索实验教学进度和内容进行了论述。依据实际软件开发过程中软件测试实施的方式方法,提出设计一套系统的软件测试实验内容。文章还阐述了在教学过程中采用案例教学法,提供给学生完整的案例系统及充分的设计文档,让学生学会根据设计文档书写测试文档、掌握测试工具的使用及自动化测试工具的开发。     

基于PBL的在线教学模式研究 — —以C语言程序设计课程的应用为例

In view of the problems in the online teaching of C Language Programming course in epidemic stage, an online teaching method based on PBL is proposed. In order to cultivate the ability of students to effectively apply basic knowledge and computation- al thinking to practical projects, teachers prepare resources before class, group programming in class and "task achievement tree" evaluation display after class, which effectively realizes the teaching standardization of the program class.     

Simulating engineering systems under uncertainty and optimal decision making

A new technology (technique) that helps construct a mathematical model of a complex engineering system by optimal decision making based on it is given. To construct the model of an engineering system, methods of regressive analysis are used to transform the initial (experimental) data into a vector (multiobjective) mathematical programming problem. To solve it, methods are presented that rely on criteria normalization and principle of guaranteed result. The technique of constructing models of engineering systems, methods of solving the vector mathematical programming problem and optimal decision making are demonstrated by the test examples in Matlab.     

Java语言实验教学改革探讨

针对Java语言实验课程的教学现状,本文探讨了该课程实验教学方面的改革。通过在课程中引入敏捷方法和自动单元测试,来激发学生的学习兴趣,提高学生的编程能力、沟通能力和团队合作能力,改善学