王文敏 作品数:17 被引量:7 H指数:2 供职机构: 哈尔滨理工大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
OPS产生式系统及其并行执行 1989年 本文叙述了产生式系统OPS5的文法、执行方式和用于匹配的操作RETE算法。从OPS5的文法分析角度论述了OPS5包含三个级别的五种并行性,并依据静态和动态特性数据对OPS5并行性的开发进行了分析。最后介绍了国外开发产生式系统并行执行模型和并行产生式系统机的现状。 王文敏 胡铭曾关键词:产生式系统 描述语言 程序设计 OPS OPS5并行选择全状态处理模型RETE-Plus及其算法 被引量:2 1992年 本文首先通过建立一种状态分析方法,证明了RETE算法所保存的中间状态集IS(P_1)的不完备性,论述了RETE算法用于并行处理的局限性以及产生式间状态处理时间的差异.然后,提出了一种产生式系统并行选择全状态处理模型RETE^+,证明了RETE^+所处理的全状态集FS(P_j)具有准完备性质.计算表明,RETE^+的状态处理时间比RETE快得多,并且消除了状态处理时间差异.最后给出了RETE^+模型的主要算法. 王文敏 陈光熙 胡铭曾关键词:RETE算法 产生式系统 一种快速组合算子归约模型FCRM 1990年 本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的归约路径仅为Turner模型的一半。 王文敏 方滨兴 孙希文 胡铭曾关键词:程序设计 并发产生式系统程序设计语言COPS5 1994年 开发产生式系统的并行性是加快产生式系统执行速度的主要和有效方法。本文从产生式系统的计算模型着眼讨论,提出了并发产生式系统的计算模型──MPost系统,并在OPSS语言基础上设计实现了一种基于上述模型的并发产生式系统程序设计语言COPS5。 李明树 唐朔飞 王文敏关键词:程序语言 程序设计 产生式系统 一种函数语言的快速组合算子归约计算模型FCRM 在分析了Turner归约模型中组合算子表达式的组合膨胀原因后,提出了一种快速组合算子归约模型FCRM。该文描述了FCRM的形式体系,转换规则T和归约规则R[*vC*],并且证明和验证了:采用FCRM的转换规则T一般可将组... 王文敏 方滨兴 王岷关键词:算子 函数语言 支持协同式AI问题求解的分布式成员系统模型 1995年 本文在分析了接近于人类思维方式的产生式系统基础上,提出了一种基于人类思维过程的有限关联团块的观点,并在此观点之上设计了一种支持协同式AI问题,求解分布式成员系统模型。 王文敏 郭鼎印 刘欣然 徐旭关键词:产生式系统 PMS中的一种匹配通信机制 1997年 过去在产生式系统的并行实现方面,人们往往将注意力放在共享存储的多处理器系统和专体系结构的机器上,而对基于消息传递的计算机系统却没有给予太多的关注。 刘欣然 胡铭曾 王文敏关键词:PMS 通信 人工智能 基于知识的空间站GaAs自动生产线协同故障诊断系统 被引量:1 1993年 本文在采用OPS5开发的HITDIAGI系统基础上,从结构、通信、调度、运行4方面介绍了并发成员系统程序设计语言MS-1用于设计开发双机环境下、空间站GaAs自动生产线协同故障诊断的基于知识系统的成功尝试. 李明树 洪炳熔 王文敏关键词:GAAS 故障诊断 半导体材料 支持人工智能问题求解语言DMS通讯设计 1996年 本文阐述了DMS(DistributedMemberSystem)通讯原语的设计,它是基于产生式系统OPS5的优点而克服其缺点,为了支持人工智能问题求解而设计的语言环境. 郭鼎印 王文敏 刘欣然 徐旭关键词:人工智能 DMS 通信 并发产生式系统COPS通讯原语的设计 1989年 COPS(Concurrent Official Production System)是将产生式系统程序设计语言OPS5和面向进程的程序设计范例相结合,而设计的用于支持协同式问题求解的程序系统。本文详细阐述了COPS通讯原语的设计及其对应的语法和语义。COPS不仅能在单机上实现,而且也可以直接的移植到分布式系统上。 汪浩 王文敏 郭福顺 胡铭曾关键词:产生式系统 COPS