基于网络环境的智能计算机辅助教学系统的研究

文章对比了CAI与ITS的优劣,概述了基于网络环境的智能计算机辅助教学系统的设计,旨在为提高计算机辅助教学水平服务。     

基于产生式系统的智能教学研究

随着人工智能技术的引入,计算机辅助教学发展成为计算机智能教学系统（ITS）。ITS大大地提高和改善了教学效果和效率。知识推理主要应用于智能教学系统的教学策略、教学方法的产生和调整方面。本文介绍了智能教学系统的形式化模型,提出了基于产生式系统的推理策略。     

基于产生式系统的智能教学研究

随着人工智能技术的引入,计算机辅助教学发展成为计算机智能教学系统(ITS)。ITS大大地提高和改善了教学效果和效率。知识推理主要应用于智能教学系统的教学策略、教学方法的产生和调整方面。本文介绍了智能教学系统的形式化模型,提出了基于产生式系统的推理策略。     

逻辑模拟在计算机设计中的应用

我国新研制的一台大型计算机的指令控制部件(简称指控)逻辑设计应用寄存器级逻辑模拟,使指控在生产之前完成逻辑正确性调试。本文从逻辑设计角度论述逻辑模拟结构、逻辑模拟程序、指控部件描述和指控模型调试。     

基于Web和数据挖掘的ITS系统的设计与实现

网络化和智能化是计算机辅助教学发展的两大趋势,基于网络环境的智能教学系统(ITS)的研究已经成为当前和今后相当长时期的一个重要课题。本文结合“首都师范大学智能教学系统”的开发过程,主要讨论了系统模型的构建、数据挖掘技术的应用以及知识库、教师模型、认知型学生模型的建构、基于模糊理论的知识表示和推理等关键技术和实现方法。目的在于借助通用的、一般的技术手段,为学习者提供一个自主的、智能化、个性化的、有利于学生意义建构的学习环境。     

一个有效的逻辑设计验证系统

随着 VLSI 技术的发展,逻辑模拟在数字系统的设计中占有越来越重要的地位,已经成为不可缺少的工具。本文给出了一个有效的、实用化的设计验证系统的 GFLS,它是一个多级混合的逻辑模拟系统。文中系统地讨论了 GFLC 的功能、特色,采用的模拟模型,硬件描述语言 GFHDL,如何利用它辅助数字电路的设计,以及性能效率和应用情况等。     

基于Web技术的计算机专业本科阶段远程辅助教学系统设计

计算机专业远程辅助教学系统突破了时间和空间限制,使学生可以在任何时间、任何地点进行计算机专业知识的学习。为满足更多学生的学习需求,本文将提出并设计基于Web技术的计算机专业本科阶段远程辅助教学系统。通过Web技术建立远程辅助教学系统多层结构框架,按照不同功能模块设计教学系统数据库,以Web技术构建远程辅助教学模型,完成计算机专业本科阶段远程辅助教学系统设计。实验结果表明,新系统的功能、性能及安全性均较好,可实现计算机专业远程辅助教学。     

智能型计算机辅助汉语教学系统

本文提出了智能型计算机辅助汉语教学系统的设计与实现方法。讨论了该系统中的领域知识表示、教学知识表示、学生模型的建造以及教学决策等问题。提出了新领的适合于汉语领域知识表示的“ 网络关系给构” 表示法, 根据模糊教学理论建立了可用于对学生能力作出综合评价和进行教学决策的“ 模糊逻辑”的模型。     

数字双极电路的开关级逻辑模拟

本文描述双极数字电路逻辑模拟的一种新方法。该方法是以晶体管开关电平模型的发展和用开关图表示电路为基础的。它自动地把电路划分为子电路,然后根据子电路的输入和初始条件表示的结点逻辑状态产生符号逻辑表达式。因此,该法从晶体管网络表或布局中提出了一个门级功能描述。利用求得的逻辑表达式或开关图模型能够完成逻辑和故障模拟。该法对共模逻辑(CML)双极电路设计的逻辑模拟已用计算机程序实现。     

Verilog与VHDL时序控制机制比较及转换方法

Verilog和VHDL都是基于通用逻辑模拟的，但二者在时序控制机制上存在着明显的差别，且采用的模拟时序模型亦不相同。在将Verilog描述转换为具有等同模拟行为的VHDL描述时，必须首先保证时序控制机制转换的正确并设法消除二者在模拟时序模型上的差别。该文结合行为级时序模型对Verilog和VHDL的时序控制机制进行比较，在此基础上提出行为级verilog描述向VHDL转换的方法。经在已完成的Verilog-VHDL转换程序中应用，证明了其正确性。最后给出转换实例及模拟比较结果。     

智能教学系统新进展

智能教学系统(ITS)历来是计算机辅助教学(CAI)的研究重点。介绍了ITS的概念和发展,重点分析了ITS在体系结构、知识表示与管理方面的新进展和一些新技术在ITS中的应用,对MAS、数据挖掘、知识管理、本体论、网格等技术在ITS中的应用进行了综述,以期有助于ITS的发展。     

基于Web的智能教学系统的研究与实现

基于Web的智能教学系统综合传统的ITS系统优势,同时又结合Web的特点,系统具有智能性,能够智能地引导学生学习。它是以认知科学为理论基础,综合利用人工智能技术、教育心理学、计算机科学等多门学科的成果而形成的一种对学生实施有效教学的技术。提出了一种基于Web的智能教学系统模型,给出了智能教学系统的知识库的设计、学生模型的构建方法及教学策略的设计,并探讨了学生模型的学习评价,最后对实现系统的关键技术进行了研究。     

基于Web的智能教学系统的研究与实现

基于Web的智能教学系统综合传统的ITS系统优势,同时又结合Web的特点,系统具有智能性,能够智能地引导学生学习.它是以认知科学为理论基础,综合利用人工智能技术、教育心理学、计算机科学等多门学科的成果而形成的一种对学生实施有效教学的技术.提出了一种基于Web的智能教学系统模型,给出了智能教学系统的知识库的设计、学生模型的构建方法及教学策略的设计,并探讨了学生模型的学习评价,最后对实现系统的关键技术进行了研究.     

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.     

智能辅助教学写作环境CourseTalk的设计与实现

本文介绍了一个智能辅助教学写作环境CourseTalk的设计与实现.在这个环境中使用了综合媒体结构(Hypermedia)、Prolog和黑板结构等技术,以及推理与查询相结合的搜索策略,并提出一种通过编辑直接定义关系数据以及可以用Prolog语言方便地描述教学策略的方法.同时还讨论了有关知识获取、教学策略选择和学生模型等问题.     

基于情感识别的智能教学系统研究

针对传统的智能教学系统(ITS)在情感方面的缺失,提出了基于情感识别技术的ITS模型.该系统模型在传统的教学系统上新增情感识别模块,利用人脸表情识别以及文本识别等技术所构建,可以获取和识别学生的学习情感,并根据学习情感进行相应的情感激励策略,实现情感化的教学.     

基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测

时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题.一方面,使用时态描述逻辑ALC-LTL公式来表示待验证的时态规范;另一方面,在对系统建模时借助描述逻辑ALC对领域知识进行刻画.针对上述扩展后得到的模型检测问题,提出了基于自动机的ALC-LTL模型检测算法.模型检测算法由3个阶段组成:首先将时态规范的否定形式和系统模型分别构造成标记büchi自动机;接下来构造这两个自动机的乘积自动机,并将关于ALC的推理机制融入到乘积自动机的构造过程中;最后对该乘积自动机进行判空检测.与LTL模型检测相比,时态描述逻辑ALC-LTL的模型检测引入了描述逻辑的刻画和推理机制,可以在语义Web环境下对语义Web服务等复杂系统的时态性质进行刻画和验证.     

“数据库”网络辅助教学系统的设计与实践

通过对大专院校中"数据库"这门课的教学方法和教学手段的详细调研,阐述了目前这门课的教学现状,介绍了基于B/S模式的配合课堂教学的网络辅助教学系统的设计过程及实现方案,同时论述了设计过程中如何将这一网络辅助教学系统和数据库教学有机地结合起来的手段,以及使用这一网络辅助教学系统时应该注意的问题。     

智能教学系统中教学策略的研究

智能教学系统(Intelligent Tutoring System,ITS)兴起于二十世纪七十年代,是一门具有深入研究与应用价值的新型教育技术.简言之,ITS就是模仿人类教学专家的经验、方法来辅助教学工作的计算机系统[1].     

国际集装箱货运代理出口业务模拟实验辅助教学系统的研究与设计

本文在分析了国际货运代理业务的运作特点以及它在教学中的难点后,结合计算机模拟实验教学的基本原理,构建一个国际集装箱货运代理出口业务模拟实验教学系统结构模型,并就如何在计算机局域网络环境下设计与实现该模拟实验辅助教学系统提出设计方案。