陈有刚 作品数:15 被引量:0 H指数:0 供职机构: 东北财经大学 更多>> 相关领域: 文化科学 自动化与计算机技术 经济管理 更多>>
智能化信息系统中的广义推理系统 1991年 本文给出可以直接应用于智能化信息系统中的两个广义推理系统。前者的规则集是由形如〈任意表达式〉(?)〈结论〉的规则组成的;后者的规则集是由形如F=f(n,x_1,…x_n;a_1,a_2, …)的规则函数构造的。它们可以对一般信息系统中的数据库文件直接进行精确推理或非精确推理。 陈有刚关键词:智能化 信息系统 财会CAI及其功能设计 财会CAI,即使用计算机辅助会计课程教学的系统,这是现阶段进行会计课程教学的最高形式。财会CAI可以使学生使用计算机学习会计理论,做练习,实践会计过程。这是会计课程教学手段和教学方法的重大改革。 陈有刚 刘庆军文献传递 《专家系统》CAI的研制及应用 《专家系统》CAI是辅助《专家系统》课程教学的软件包,简称之为ES-CAI它的特点是形象化,有效性和智能性。它为学习《专家系统》提供了一个良好的环境。它对于学习《专家系统》原理,对于研制和应用《专家系统》是有意义的。ES... 陈有刚文献传递 人工智能与智能化的计算机辅助教学系统 (一)研制人工智能辅助教学系统的意义计算机辅助教学系统简称之为CAI(Computer Aided Instruction)。CAI的研制和应用,被誉为教育史上的第四次革命.它具有直观形象。生动有趣的特点,便于理解和接受... 陈有刚文献传递 智能化计算机辅助教学系统中的正反向教学策略 1智能化计算机辅助教学系统的特点智能化的计算机辅助教学系统,简称之为ICAI,它一般具有下列几个特点。(1)在ICAI中,每个课件一般是智能化的,或者有较高的智能化程度。(2)在ICAI中,应给出和设计几个典型的学生模型... 陈有刚 蔡得久文献传递 计算机科学中的形式化 1992年 计算机科学中的形式化可分为描述概念的形式化、证明定理的形式化、定义语法的形式化、编译语言的形式化和处理文本的形式化等等.本文重点讨论将逻辑语言编译为ALGOL语言的形式化生成. 陈有刚关键词:计算机科学 逻辑语言 形式化 关于经济学知识工程的设想和实现 1998年 该论文面向经济学知识,将计算机科学技术,人工智能和专家系统,智能化信息系统和决策支持系统,计算机辅助教学,高科技在经济管理决策中的应用等等相结合,研制一个关于经济学知识的综合性的系统,称之为经济学知识工程。 陈有刚 段鹏飞 蔡得久关键词:经济学 知识工程 人工智能 《人工智能》CAI的使用说明书 计算机辅助教学(Computer-Aided Instruction或Computer-Assisted Instruction)。简称之为计算机教学系统或CAI。它是现代电化教学的最高形式,被誉为教育史上的第四次革命,... 陈有刚文献传递 有限自动机代数及其算法 1990年 本文提出有限自动机代数及其算法,它对于用有限自动机识别句子是有意义的。 陈有刚关键词:有限自动机 代数 语法分析 计算机辅助教学系统 1990年 计算机辅助教学(即 CAI)被誉为教育史上的第四次革命,是现代电化教学的最高形式,CAI 的主要功能是使用计算机辅助教师讲授、演示,还可以通过人机对话做练习、自学和考试,可以进行教与学的交流。我先后研制、应用并出版七门计算机课程的计算机辅助教学系统,已构成一个计算机 CAI 系列,并可以实现教学过程的形象化、智能化和高效率,进而可以提高教学质量。 陈有刚关键词:计算机课程 计算机辅助教学 电化教学 教育史 计算机理论 计算机原理