黄波

作品数:11被引量:28H指数:3
导出分析报告
供职机构:复旦大学软件学院并行处理研究所更多>>
发文主题:黑板模型人工智能智能决策系统C语言故障诊断专家系统更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机学报》《小型微型计算机系统》《计算机研究与发展》《软件学报》更多>>
所获基金:国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国防科技重点实验室基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
非局部跳转控制流的自动消除
《计算机学报》2000年第6期585-592,共8页陈桂林 黄波 臧斌宇 朱传琪 
国家自然科学基金;教育部博士点专项科研基金
longjmp是 C语言中实现非局部跳转的库函数调用 ,它破坏了程序的结构性 ,并使常见的数据流分析技术无法在包含 longjmp的程序段上有效地进行 .文中提出一种消除 longjmp的算法 ,该算法用转移语句和返回语句的结合来模拟非局部跳转功能 ...
关键词:程序结构化 非局部跳转控制流 自动消除 
上下文敏感的过程间指针分析被引量:8
《计算机学报》2000年第5期477-485,共9页黄波 臧斌宇 韦俊银 朱传琪 
国家自然科学基金;教育部科学技术项目资助
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方...
关键词:上下文敏感 批针分析 C语言 程序设计 
从变量的初始化中获取指针指向信息被引量:1
《计算机研究与发展》2000年第2期147-154,共8页黄波 臧斌宇 朱传琪 
国家自然科学基金
从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个实用的从变量的初始化中获取指针指向信息的方法.在此方法中,变量的初始化首先被转换成语义等价的语...
关键词:指针指向信息 指针分析 C语言 编译程序 
程序自动并行化系统中IR的面向对象设计被引量:3
《计算机工程》1999年第11期5-7,共3页张瑜 黄波 朱传琪 
从构造一个高性能的程序自动并行化系统的需求出发,介绍了程序自动并行化系统AGASSIZ中IR(IntermediateRepresentation)的设计原则与设计方法,阐明了此种IR的设计给整个程序自动并行化系统的...
关键词:程序自动并行化 IR 面向对象 并行编译 
指针数组的过程内别名分析被引量:3
《软件学报》1999年第6期600-607,共8页黄波 臧斌宇 俞一峻 朱传琪 
国家自然科学基金;国家863高科技项目基金;国家教育部博士点基金
指针别名分析在C语言的并行优化中占有重要的地位,但已有的指针别名分析只能处理指针标量的情况.文章在介绍已有指针别名信息表示法的不足的基础上,提出了一种能够表示指针数组别名信息的表示方法,它可以更加准确地表示指针别名信...
关键词:指针别名 指针数组 并行优化 并行编译 
同归约变换结合的自动单模变换技术
《计算机学报》1999年第6期561-566,共6页俞一峻 李剑慧 黄波 朱传琪 
国家自然科学基金;国家八六三高技术研究发展计划;教育部科学技术项目基金;国防科技重点实验室基金
针对应用自动单模变换的两大困难:如何自动找出使多重循环并行化的恰当的单模变换矩阵以及如何解决妨碍单模矩阵计算的非常数归约相关距离,提出了如何对给定常数距离矩阵,自动找出使循环并行化的恰当的单模变换矩阵的技术;然后提出...
关键词:相关性分析 循环并行化 单模变换 并行化编译 
故障诊断专家系统的知识网络设计被引量:3
《软件学报》1998年第7期554-560,共7页黄波 倪重匡 高丽萍 
该文针对识别与分类两种故障诊断模型,提出了一种知识网络的结构设计方法,并给出了详细的推理算法与故障判决算法.此种知识网络通过消息传递来实现不精确推理,具有分布式特性.该文还提出了网络结点判决函数的机器学习算法,采用卷...
关键词:故障诊断 专家系统 知识网络 判决函数 机器学习 
基于互相关系数近似不变前提下的独立采样
《小型微型计算机系统》1997年第12期36-40,共5页黄波 唐亮 倪重匡 
本文介绍了一种基于互相关系数不变前提下的对原始时间序列的独立采样方法。这种方法可以改善对两个时间序列的静态性能的比较结果,并且可以使比较速度大大加快。在本文中还通过例子说明了此方法的运用,实际证明是有效的。
关键词:互相关系数 独立采样 系统仿真 
故障诊断专家系统的新型知识网络推理模型
《复旦学报(自然科学版)》1997年第6期625-632,共8页黄波 倪重匡 
介绍故障诊断专家系统中的一种新型知识网络表示法,并给出了详细的推理算法与故障判决算法.此知识网络的推理通过消息传递来实现,具有分布式特性,且在整个知识网络的推理与故障判决中融入了不精确推理算法,故能适合大多数的故障诊...
关键词:故障诊断 专家系统 知识网络 不精确推理 
一种基于黑板模型的智能决策系统生成器的结构设计被引量:10
《计算机研究与发展》1997年第5期382-386,共5页黄波 倪重匡 
本文介绍了一种智能决策系统生成器的结构设计,此设计以黑板系统为模型.通过内置的黑板结构、知识源结构及推理控制策略,此类生成器可为用户提供一个简易。
关键词:生成品 智能决策系统 黑板 知识源 人工智能 
检索报告 对象比较 聚类工具 使用帮助 返回顶部