摘要：文中研究基于TK资源数据库的GUI设计。首先给出资源的定义 ,讨论了资源数据库的作用及其管理 。

摘要：组件对象模型 (COM)技术是微软许多软件的基础和未来发展的方向 ,它提供了跨开发工具、操作系统和网络的开发方式。Lisp是在人工智能领域中应用最广泛的计算机语言 ,但是在面向对象的程序设计中存在诸多不足。COM技术在人工智能领域的应用 ,可以将用Lisp开发的人工智能推理核心与其它的开发工具 (VB、VC ++或VJ ++等 )开发的应用集成 ,发挥各自的优势 ,从而达到跨开发工具协同工作的目的。本文主要论述了如何利用COM技术将人工智能推理核心与其它前端应用集成 ,提出了一套完整的解决方案 ,并成功地将该技术应用在智能教育软件的开发中 ,取得了较好的效果。

摘要：如何将自然语言表述的初等几何命题自动转化为计算机可理解的作图语言是自然语言处理中的空白,也是实现教育软件人机交互的难点。文中通过对几何范围内的受限自然语言的研究,建立了有效可行的语言理解模型,实现了从自然语言到形式化规则的自动转化,并且设计出相应的软件。

摘要：在建立了几何知识库的基础上,利用语义关系图,提出了几何知识库中搜索引擎的基本架构。本框架类型尽管以几何知识为背景,但是同样适用于其他领域知识中基于语义的搜索引擎的设计。

摘要：文中提出一种判定归一化的处理方法,这种方法把编译器在语法分析过程中遇到的递增和递减循环统一成一种模式处理,而循环的递增和递减交由目标生成模块来判断。通过这种方法,使得编译过程中的各模块的功能能进一步趋于均衡和简化,同时也为代码优化提供更多的优化条件。G iNaC是基于Linux的开放源码符号计算平台,这种方法应用在G iNaC编译器的设计中取得了很好的效果。

摘要：因为安全的问题,防火墙阻塞了除HTTP协议以外的所有协议。设计XLM-CORBA框架可克服Internet和ORB对象通讯的困难。它利用XML来通讯,XML是以文本为基础的,可以被HTTP所传输,可以穿越防火墙。提出了框架设计的思想,并阐述了设计的具体步骤和它的实现。

摘要：设计和实现了GPU上基于流的光线跟踪算法,采用一种基于线索二叉树的KD-Tree结构组织场景,避免了传统KD-Tree结构在遍历场景时在堆栈上的开销。算法在组织复杂场景上,优于利用传统KD-Tree和均匀剖分结构加速场景遍历的方法,在普通PC上实现了光线跟踪的快速渲染。

摘要：由于OpenGL图形系统没有提供现成的直线动态消隐的功能,因此在设计三维动态几何软件时,直线的动态消隐很困难。利用OpenGL图形系统,在研究现有的消隐技术——深度缓存算法的基础上,通过两条直线的叠加和视点移动角度的计算,实现了直线的动态消隐。而且,这种方法也适用于被曲面遮挡的直线的消隐,和被平面或者曲面遮挡的曲线的消隐。

摘要：文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。

摘要：讨论模式识别和搜索技术在智能教学软件设计中的应用 ,特别是多项式因式分解的算法和解题过程的自动产生。