析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

将向量处理引入数据流计算机

数据流计算机解决了多机系统存储器延时和同步２个不易解决的基本问题，可以充分利用程序的各级并行成分．这种计算机在算术运算等方面性能优越，但在结构数据（如向量）处理方面开销大、效率低．将向量处理技术引入数据流计算机，能有效地解决这个问题．通过在类似Ｍａｎｃｈｅｓｔｅｒ的数据流计算机上增加向量处理功能，并进行了矩阵乘运算的模拟．结果表明，增加向量处理后，矩阵乘运算的效率比近几年提出的Ｍｏｎｓｏｏｎ和Ｅｐｓｉｌｏｎ等数据流计算机提高一倍，甚至２倍以上．     

基于中间曲面的局部纹理映射技术

提出一种以平面和一般参数曲面作为中间曲面的局部纹理映射方法，与传统的纹理映射方法相比，不仅能准确地确定纹理贴图的位置，而且可以灵活地改变贴图区域的大小，增加了纹理映射的应用范围，减小了纹理映射中的图案变形。     

计算机自动排样系统的设计与实现（I）

用Ｂｒｌａｎｄ Ｃ＾＋＋在４８６微机上设计一个可运行于ＤＯＳ环境下的计算机自动排样系统。讨论系统的设计思想和实现技术，同时探讨所提出的基于多边形包围盒的自动排样算法。     

高考数学复习软件的开发研究

对试题管理及试卷智能生成方法进行探讨，在此基础上设计高考数学复习软件，分析系统数据结构、系统组成以及系统功能和特点，还讨论了试卷智能生成、试卷及试卷信息检索、图文混显等主要功能模块的设计方法和特点．     

离心泵叶轮平面图及木模图的计算机辅助设计

采用数值计算方法，推导出离心泵叶轮平面图和木模图上各个坐标系的计算公式，并在此基础上编写了叶轮平面图及木模图的计算机辅助设计程序。该设计程序既可作为旧叶轮的改进或新叶轮的设计，也可作为叶栅流场分析的子程序，为叶片优化设计提供依据．大大提高叶轮平面图及木模图的设计质量和设计速度     

教育要“从娃娃抓起”──试论邓小平加强基础教育的思想

邓小平教育思想极其丰富。文章从教育要从娃娃抓起是具有战略眼光的一着，培养“四有”新人要从娃娃抓起，从娃娃抓起的关键是加强中小学教师队伍建设等三个方面阐述了邓小平加强基础教育的思想。