王文敏
- 作品数：17 被引量：7H指数：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算法产生式系统
- 成员系统模型及其归约
- 1994年
- 本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序设计语言，对研究支持多种（一般而言并行特别是分布协同式）ＡＩ问题求解的模型及其语言做了有益的尝试．
- 李明树王文敏唐朔飞胡铭曾
- 关键词：归约人工智能
- 对推理机体系结构的研究及层次型包驱动结构HPDM的设计被引量：1
- 1989年
- 本文对推理机的结构进行了全面的探讨,并指出了并行模型及核心语言对体系结构所施加的影响。文中作者给出了一个基于包驱动执行机制的推理机概念性的方案HPDM,该方案的硬件构成是层次型网状多处理机系统,本文最后对该结构进行了性能评价。
- 方滨兴刘佳葳胡铭曾王文敏
- 关键词：推理机体系结构计算机
- 一种快速组合算子归约模型FCRM
- 1990年
- 本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的归约路径仅为Turner模型的一半。
- 王文敏方滨兴孙希文胡铭曾
- 关键词：程序设计
- 并发产生式系统程序设计语言COPS5
- 1994年
- 开发产生式系统的并行性是加快产生式系统执行速度的主要和有效方法。本文从产生式系统的计算模型着眼讨论，提出了并发产生式系统的计算模型──ＭＰｏｓｔ系统，并在ＯＰＳＳ语言基础上设计实现了一种基于上述模型的并发产生式系统程序设计语言ＣＯＰＳ５。
- 李明树唐朔飞王文敏
- 关键词：程序语言程序设计产生式系统
- 一种函数语言的快速组合算子归约计算模型FCRM
- 在分析了Turner归约模型中组合算子表达式的组合膨胀原因后，提出了一种快速组合算子归约模型FCRM。该文描述了FCRM的形式体系，转换规则T和归约规则R[*vC*]，并且证明和验证了：采用FCRM的转换规则T一般可将组...
- 王文敏方滨兴王岷
- 关键词：算子函数语言
- 支持协同式AI问题求解的分布式成员系统模型
- 1995年
- 本文在分析了接近于人类思维方式的产生式系统基础上，提出了一种基于人类思维过程的有限关联团块的观点，并在此观点之上设计了一种支持协同式ＡＩ问题，求解分布式成员系统模型。
- 王文敏郭鼎印刘欣然徐旭
- 关键词：产生式系统
- PMS中的一种匹配通信机制
- 1997年
- 过去在产生式系统的并行实现方面,人们往往将注意力放在共享存储的多处理器系统和专体系结构的机器上,而对基于消息传递的计算机系统却没有给予太多的关注。
- 刘欣然胡铭曾王文敏
- 关键词：PMS通信人工智能
- 基于知识的空间站GaAs自动生产线协同故障诊断系统被引量：1
- 1993年
- 本文在采用OPS5开发的HITDIAGI系统基础上,从结构、通信、调度、运行4方面介绍了并发成员系统程序设计语言MS-1用于设计开发双机环境下、空间站GaAs自动生产线协同故障诊断的基于知识系统的成功尝试.
- 李明树洪炳熔王文敏
- 关键词：GAAS故障诊断半导体材料
