摘要:本文提出了一种模糊知识的表示模式，给出了在模糊意义下的基于解释的学习的一种描述，以及解释、学习机制，使在解释学习中能够学习到一些带有模糊修饰词的新概念．本文描述形式同算子模糊逻辑而语义与其不同．

摘要:远程数据库访问（ＲＤＡ）是ＯＳＩ应用层一个特别应用服务元素（ＳＡＳＥ），是数据库基础标准，是构造分布数据库开放式体系结构的基础．本文遵照国际标准ＲＤＡ模型、服务、协议，研究并给出实现ＲＤＡ客户／服务器体系结构模型、方法与系统原型．

摘要:本文提出了一种有效的并行汉字／字符串相似检索技术．通过引入搜索状态向量及字符一模式匹配向量，该技术将字符串匹配比较转化为简单的整数字位运算，通过对字符串方向相反的搜索有效地实现了多处理机对汉字／字符串的并行相似检索．文中也给出了并行实现算法，同时分析了算法的复杂性．

摘要:ＳＶＭ系统或称ＤＳＭ系统是在基于分布存储器的多处理机上，实现物理上分布但逻辑上共享的存储系统．它集共享存储器易于编程和分布存储器可扩充性好于一体，为ＭＰＰ计算机的使用带来了方便．本文首先介绍了ＳＶＭ系统的数据一致性问题及其解决办法，然后提出了一种新的固定分布管理算法ＮＦＤＭＡ，并对此算法作了分析，最后与李凯的固定分布管理算法作了比较．

摘要:区域运算是轮廓求解算法集中的核心算法．本文介绍适用于复杂ＰＣＢ电路和二维不规则图案的一种区域运算算法，阐述了它的数学模型、算法描述、正确性证明和复杂性分析．与典型的算法比较，它有明显的优越性．

摘要:本文分析了大型稀疏矩阵线性方程组直接法求解的回代过程．基于改进的树结构（Ｍ—ｔｒｅｅ），提出了一种新的面向分布存储多机系统的稀疏三角矩阵线性系统并行Ｆｏｒｗａｒｄ求解算法ＭＰＦＳ．文中讨论了Ｍ—ｔｒｅｅ的结构特征，并将所提出的并行求解算法与基于Ｅｌｉｍｉｎａｔｉｏｎ—ｔｒｅｅ求解算法进行了分析和比较．结果表明，ＭＰＦＳ算法不仅适用于更多的稀疏矩阵系统，而且在求解过程中可以开发Ｅｌｉｍｉｎａｔｉｏｎ—ｔｒｅｅ算法不能开发的计算并行性，从而使求解性能得到显著改进．

摘要:智能计算机辅助教学（ＩＣＡＩ）系统是一个综合多领域知识的复杂的知识系统．理想的ＩＣＡＩ应具有强的自适应性以实现个别化教育的目的．计算反射是指能因果关联地对自身进行处理的一种计算行为．本文从计算反射的基本思想出发，讨论了知识系统中计算反射的基本模型，进而推广到ＩＣＡＩ系统的设计中，提出了将教师实体和学生实体作为“自身”的反射性的ＩＣＡＩ系统的初步模型．各知识实体均由对象层和反射层组成，在不同层次上依赖不同的知识源完成不同性质的任务．

摘要:本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率．

摘要:ＩＭＤＢＳ是一个集成式的多数据库系统，该系统是通过对已有的局部异构数据库进行信息和数据的集成，为全局用户提供共享的集成信息；同时每个局部应用仍能在被集成后的数据上运行，这样就保证了局部数据库的自治性．ＩＭＤＢＳ系统主要是基于源标签集成机制，并与非一范式（ＮＦ²）模型相结合作为多源数据模型，多源数据语言为ＰＳＱＬ／ＮＦ，它是一个类ＳＱＬ语言，非常方便于用户的使用．该系统具有自下而上集成关系、网状和层次数据库以及自上而下地进行分布数据管理的功能，较好地解决了异构分布库系统的全局分布透明性

摘要:循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．