逻辑模拟智能教学写作环境的研究

RESEARCH ON LOGIC SIMULATION INTELLIGENT TUTORING AUTHORING ENVIRONMENT

基于智能教学系统(ITS)模型,本文将数字系统自动化设计逻辑模拟的抽象级概念、描述工具及模拟算法等问题引入到计算机辅助教学研究领域,在对逻辑模拟教学环境进行分析的基础上,提出了一个由辅助教学系统写作环境支持下设计ITS教学策略、实现领城知识表示的方法,并将逻辑模拟ITS写作环境定义为二元组AE=(T,R),进而讨论了逻辑描述、逻辑图构造、指令负载描述、操纵逻辑模型运行的模拟机制以及为获取模型相关组织说明的学习机制的设计等问题。

Based on the model of Intelligent Totoring System(ITS), this paper introduces the abstract-level concept oflogic simulation of digital system automation design, description tool, simulation algorithm and so on, into the area of Computer Assisted Instruction(CAI). On the basis of analysis oflogic simulation instruction environment, it proposes an approach for designing the ITS instruction strategy and implementing the representation of domain knowledge, which is supporting by authoring environment of assisted instruction system. With defining authoring environment of logic simulation ITS as dyadic group AE= (T,R), some problems are discussed, including logic description, logic diagram construction, instruction load description, simulation mechanism which manipulate performance of the logic model and the design of studying mechanism for capturing relational orgnization explanation of the model, ect.