您的位置： 专家智库 > >

赵莹

作品数：2 被引量：6H指数：2
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇智能辅导
  • 1篇智能辅导系统
  • 1篇软件自动化
  • 1篇人工智能
  • 1篇自动化
  • 1篇辅导系统
  • 1篇TABLEA...
  • 1篇CAI

机构

  • 2篇吉林大学

作者

  • 2篇全炳哲
  • 2篇赵莹
  • 2篇金淳兆

传媒

  • 1篇计算机研究与...
  • 1篇计算机科学

年份

  • 1篇1997
  • 1篇1995
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
智能辅导系统被引量：4
1995年
六十年代初期,计算机技术开始应用于教学领域,这时的计算机辅助教学(CAI)系统只能于简单的课程安排和进阶测验。七十年代,随着人工智能(AI)的不断发展和成熟。
赵莹全炳哲金淳兆
关键词：智能辅导系统CAI人工智能
基于Tableau方法的程序综合系统──DTPS被引量：2
1997年
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序．
赵莹全炳哲金淳兆
关键词：TABLEAU方法软件自动化
全选 清除 导出
共1页<1>
聚类工具0