-
陈勇浩
-
-
- 所属机构:西安交通大学
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 可移值COMMON LISP系统XJD LISP的设计及实现研究
- 陈勇浩
- 关键词：程序设计语言系统设计
- 综合文本写作系统HTWS及其在计算机辅助教学中的应用
- 1993年
- 本文介绍了一个综合文本写作系统HTHS的特点、设计实现及其在计算机操作系统辅助教学(OSCAI)中的应用,并探讨了将综合文本技术应用于计算机辅助救学的意义和方法。HTWS足一个CAI课件写作和学习的环境,它提供了一个把CAI课件知识组织成以综合文本方式表示的课件文卷的写作工具以及对课件文卷进行学习的浏览器(Browser)。OSCAI是基于HTWS的一个辅助教学软件,操作系统知识以综合文本方式进行组织,学习者通过HTWS的浏览器学习OS知识。HTWS作为在CAI中引入综合文本技术的工具具有普遍的应用价值,本文提出的OSCAI结构对于综合文本技术在CAI中的应用模式也具有一般性。 HTWS和OSCAI用Turboc语言实现,运行于IBM PC及其兼容机上。
- 陈勇浩
- 关键词：CAT辅助教学软件
- 可移植COMMON LISP系统XJD LISP的设计及实现研究
- 陈勇浩
- 一个用于一阶逻辑自动定理证明的新算法
- 1993年
- 本文提出一个用于一阶逻辑(FOPC)自动定理证明的并行算法,它基于分治的思想,把原问题子句集S划分成两个独立的子句集S1和S2,并通过并行地证明S_1和S_2的不可满足性。本文首先讨论了子句集的划分问题,引入了导出子句集及划分因子的概念;然后,在此基础上,提出了FOPC定理证明的并行算法;最后,给出了算法的有效性和完备性证明。文中还讨论了子句集的化简及算法性能评价等问题。
- 陈勇浩
- 关键词：一阶逻辑自动定理证明
