您的位置: 专家智库 > >

黄波

作品数:11 被引量:48H指数:5
供职机构:复旦大学软件学院并行处理研究所更多>>
发文基金:国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 11篇自动化与计算...

主题

  • 3篇知识
  • 2篇诊断专家系统
  • 2篇知识网
  • 2篇知识网络
  • 2篇智能决策系统
  • 2篇生成器
  • 2篇人工智能
  • 2篇专家系统
  • 2篇决策系统
  • 2篇故障诊断
  • 2篇故障诊断专家...
  • 2篇黑板模型
  • 2篇C语言
  • 2篇并行化
  • 1篇单模
  • 1篇知识源
  • 1篇指针别名
  • 1篇指针数组
  • 1篇上下文
  • 1篇上下文敏感

机构

  • 11篇复旦大学

作者

  • 11篇黄波
  • 6篇朱传琪
  • 4篇臧斌宇
  • 3篇倪重匡
  • 2篇俞一峻
  • 1篇高丽萍
  • 1篇陈桂林
  • 1篇唐亮
  • 1篇张瑜
  • 1篇李剑慧
  • 1篇梁骏
  • 1篇韦俊银

传媒

  • 3篇计算机学报
  • 2篇计算机研究与...
  • 2篇计算机工程
  • 2篇软件学报
  • 1篇复旦学报(自...
  • 1篇小型微型计算...

年份

  • 3篇2000
  • 3篇1999
  • 1篇1998
  • 3篇1997
  • 1篇1996
11 条 记 录,以下是 1-10
排序方式:
一种基于黑板模型的智能决策系统生成器的结构设计被引量:14
1997年
本文介绍了一种智能决策系统生成器的结构设计,此设计以黑板系统为模型.通过内置的黑板结构、知识源结构及推理控制策略,此类生成器可为用户提供一个简易。
黄波倪重匡
关键词:智能决策系统黑板知识源人工智能
基于互相关系数近似不变前提下的独立采样
1997年
本文介绍了一种基于互相关系数不变前提下的对原始时间序列的独立采样方法。这种方法可以改善对两个时间序列的静态性能的比较结果,并且可以使比较速度大大加快。在本文中还通过例子说明了此方法的运用,实际证明是有效的。
黄波唐亮倪重匡
关键词:系统仿真
程序自动并行化系统中IR的面向对象设计被引量:3
1999年
从构造一个高性能的程序自动并行化系统的需求出发,介绍了程序自动并行化系统AGASSIZ中IR(IntermediateRepresentation)的设计原则与设计方法,阐明了此种IR的设计给整个程序自动并行化系统的设计所带来的便利。
张瑜黄波朱传琪
关键词:程序自动并行化IR面向对象
指针数组的过程内别名分析被引量:8
1999年
指针别名分析在C语言的并行优化中占有重要的地位,但已有的指针别名分析只能处理指针标量的情况.文章在介绍已有指针别名信息表示法的不足的基础上,提出了一种能够表示指针数组别名信息的表示方法,它可以更加准确地表示指针别名信息.在此表示法的基础上,提出了指针数组的过程内别名分析算法.此算法完全包含了指针标量的别名分析,对现有的指针别名分析算法所不能解决的一些问题能进行有效地处理.
黄波臧斌宇俞一峻朱传琪
关键词:指针别名指针数组
上下文敏感的过程间指针分析被引量:13
2000年
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .
黄波臧斌宇韦俊银朱传琪
关键词:上下文敏感C语言程序设计
从变量的初始化中获取指针指向信息被引量:3
2000年
从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个实用的从变量的初始化中获取指针指向信息的方法.在此方法中,变量的初始化首先被转换成语义等价的语句序列,然后在指针分析的过程中融入对这些语句序列的分析而求取出相关的指针指向信息.这个方法被实现在复旦大学并行处理研究所开发的C程序分析工具Agassiz系统内,实验数据说明是非常有效的.
黄波臧斌宇朱传琪
关键词:C语言
故障诊断专家系统的知识网络设计被引量:7
1998年
该文针对识别与分类两种故障诊断模型,提出了一种知识网络的结构设计方法,并给出了详细的推理算法与故障判决算法.此种知识网络通过消息传递来实现不精确推理,具有分布式特性.该文还提出了网络结点判决函数的机器学习算法,采用卷包裹算法来实现判决函数边界点集的选取,减少了曲线拟合的计算量.
黄波倪重匡高丽萍
关键词:故障诊断专家系统知识网络
基于黑板模型的智能决策系统的自动生成被引量:5
1996年
介绍了一个智能决策系统的自动生成器,此生成器以黑板系统为模型,通过内置的黑板结构、知识源结构及推理控制策略,此生成器可为用户提供一个简易、友好的智能决策系统生成平台。事件驱动的概念贯穿了整个设计的始终。在内置的决策推理控制策略中,由于不精确推理算法的使用,使得由此生成器生成的智能决策系统能决策快速而准确。此生成器能满足普遍的智能决策系统的设计需求。
黄波梁骏倪重匡
关键词:生成器智能决策系统黑板模型人工智能
同归约变换结合的自动单模变换技术
1999年
针对应用自动单模变换的两大困难:如何自动找出使多重循环并行化的恰当的单模变换矩阵以及如何解决妨碍单模矩阵计算的非常数归约相关距离,提出了如何对给定常数距离矩阵,自动找出使循环并行化的恰当的单模变换矩阵的技术;然后提出将数组归约相关表示为最小常数距离向量,从而使存在归约相关的多重循环也能够应用自动单模变换技术,为自动单模变换技术走向实用化提供了理论依据.
俞一峻李剑慧黄波朱传琪
关键词:并行化编译
故障诊断专家系统的新型知识网络推理模型
1997年
介绍故障诊断专家系统中的一种新型知识网络表示法,并给出了详细的推理算法与故障判决算法.此知识网络的推理通过消息传递来实现,具有分布式特性,且在整个知识网络的推理与故障判决中融入了不精确推理算法,故能适合大多数的故障诊断专家系统模型.
黄波倪重匡
关键词:故障诊断专家系统知识网络
共2页<12>
聚类工具0