您的位置: 专家智库 > >

王文敏

作品数:17 被引量:7H指数:2
供职机构:哈尔滨理工大学计算机科学与技术学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 16篇期刊文章
  • 1篇会议论文

领域

  • 15篇自动化与计算...
  • 1篇电子电信

主题

  • 6篇产生式
  • 6篇产生式系统
  • 5篇程序设计
  • 4篇人工智能
  • 3篇设计语言
  • 3篇程序设计语言
  • 2篇通信
  • 2篇系统模型
  • 2篇归约
  • 2篇PLUS
  • 2篇PMS
  • 2篇RETE
  • 2篇AI
  • 2篇并发
  • 1篇语言
  • 1篇数据流
  • 1篇算子
  • 1篇体系结构
  • 1篇通信机制
  • 1篇推理机

机构

  • 15篇哈尔滨工业大...
  • 3篇哈尔滨电工学...
  • 2篇哈尔滨理工大...
  • 1篇中国科学院软...

作者

  • 17篇王文敏
  • 10篇胡铭曾
  • 5篇李明树
  • 4篇刘欣然
  • 4篇方滨兴
  • 3篇唐朔飞
  • 2篇郭鼎印
  • 1篇赵晶
  • 1篇洪炳镕
  • 1篇孙希文
  • 1篇陈光熙
  • 1篇汪浩
  • 1篇洪炳熔
  • 1篇郭福顺

传媒

  • 4篇计算机学报
  • 3篇微电子学与计...
  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 2篇哈尔滨电工学...
  • 1篇微机发展
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇全国青年计算...

年份

  • 1篇1998
  • 1篇1997
  • 1篇1996
  • 1篇1995
  • 2篇1994
  • 1篇1993
  • 3篇1992
  • 2篇1990
  • 4篇1989
  • 1篇1987
17 条 记 录,以下是 1-10
排序方式:
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年
本文提出了一种基于有限关联团块观点的成员系统模型,主要针对不确定性情况给出了其归约操作的形式化描述,讨论了它与产生式系统的关系,并根据该模型及其归约过程,成功地设计实现了一种并发成员系统程序设计语言,对研究支持多种(一般而言并行特别是分布协同式)AI问题求解的模型及其语言做了有益的尝试.
李明树王文敏唐朔飞胡铭曾
关键词:归约人工智能
对推理机体系结构的研究及层次型包驱动结构HPDM的设计被引量:1
1989年
本文对推理机的结构进行了全面的探讨,并指出了并行模型及核心语言对体系结构所施加的影响。文中作者给出了一个基于包驱动执行机制的推理机概念性的方案HPDM,该方案的硬件构成是层次型网状多处理机系统,本文最后对该结构进行了性能评价。
方滨兴刘佳葳胡铭曾王文敏
关键词:推理机体系结构计算机
一种快速组合算子归约模型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故障诊断半导体材料
共2页<12>
聚类工具0