边界扫描在MPP大规模并行计算机调试诊断中的应用

1

作者 徐钦桂 杨桃谰 《计算机应用》 CSCD 北大核心 2004年第B12期270-273,共4页

大规模并行计算机和核心路由器等大型计算机系统的设计中都存在硬件调试和故障诊 断的困难,利用边界扫描技术可解决电路测试、基于裸机的程序加载和运行状态信息的采集等问题。 简述了边界扫描机制的工作原理,设计和实现了一个基于... 大规模并行计算机和核心路由器等大型计算机系统的设计中都存在硬件调试和故障诊 断的困难,利用边界扫描技术可解决电路测试、基于裸机的程序加载和运行状态信息的采集等问题。 简述了边界扫描机制的工作原理,设计和实现了一个基于边界扫描的通用通路测试平台描述了该平 台的软件结构和通路测试算法,并介绍了系统在一个MPP大规模并行计算机中的应用情况。 展开更多

关键词 边界扫描 多处理器系统 通路测试 大规模并行计算机 核心路由器 嵌入式系统

在线阅读 下载PDF 职称材料

Ad hoc网络体系结构研究 被引量：12

2

作者 李勇 黄均才 +1 位作者 王凤碧 尹峻勋 《计算机应用》 CSCD 北大核心 2005年第1期163-164,175,共3页

Adhoc网络体系结构的设计不同于传统网络的体系结构。首先阐述Adhoc网络的节点结构,比较了几种典型的网络结构,然后给出了一种用于Adhoc网络的协议栈。和其他模型不同的是,我们的模型在传输层和应用层之间增加一层中间件,屏蔽操作系统... Adhoc网络体系结构的设计不同于传统网络的体系结构。首先阐述Adhoc网络的节点结构,比较了几种典型的网络结构,然后给出了一种用于Adhoc网络的协议栈。和其他模型不同的是,我们的模型在传输层和应用层之间增加一层中间件,屏蔽操作系统和网络的低层细节,同时增加通信的可靠性、安全性。 展开更多

关键词 AD HOC 网络 网络体系结构 协议栈 中间件

在线阅读 下载PDF 职称材料

XScale体系结构及编译优化问题 被引量：3

3

作者 徐钦桂 李勇 +1 位作者 张杰明 杨桃澜 《计算机应用》 CSCD 北大核心 2004年第B12期162-164,167,共4页

XScale是一款具有业界领先高性能特性的ARM兼容嵌入式微处理器构架,被应用处理 能力要求很高的嵌入式应用领域,如PDA、高带宽网络交换等。XScale引入了一系列高性能微处理 器的设计技术,XScale体系结构的复杂性给编译优化带来了挑... XScale是一款具有业界领先高性能特性的ARM兼容嵌入式微处理器构架,被应用处理 能力要求很高的嵌入式应用领域,如PDA、高带宽网络交换等。XScale引入了一系列高性能微处理 器的设计技术,XScale体系结构的复杂性给编译优化带来了挑战。分析了RISC、ARM和XScale体系 结构的特点以及这些特点给编译优化带来的挑战,并介绍了提高XScale应用程序性能的优化函数 库、编译优化和程序并行化等技术及其功效。 展开更多

关键词 嵌入式系统 编译优化 嵌入式编译器 XSCALE ARM 高速缓存 高性能计算

在线阅读 下载PDF 职称材料

基于Monad的纯函数式语言通道系统设计 被引量：2

4

作者 袁华强 孙永强 《计算机科学》 CSCD 北大核心 2004年第3期167-169,共3页

本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。

关键词 纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程

在线阅读 下载PDF 职称材料

无向哈密顿图的一个充分必要条件及计算公式 被引量：1

5

作者 侯爱民 郝志峰 《计算机工程与应用》 CSCD 北大核心 2011年第14期7-9,69,共4页

哈密顿图的判定问题是一个NP完全问题,是图论理论中尚未解决的主要问题之一。1968年,Grinberg证明了一个必要条件,提高了判定非哈密顿可平面图的效率,由此产生了很多3-正则3-连通非哈密顿可平面图的研究成果。根据无向哈密顿图的特征,... 哈密顿图的判定问题是一个NP完全问题,是图论理论中尚未解决的主要问题之一。1968年,Grinberg证明了一个必要条件,提高了判定非哈密顿可平面图的效率,由此产生了很多3-正则3-连通非哈密顿可平面图的研究成果。根据无向哈密顿图的特征,提出了基本圈的分解、合并、单条公共边连通,原子圈等概念。任何一个简单连通无向图G是哈密顿图,当且仅当,哈密顿圈要么其本身就是一个包含所有顶点的原子圈;要么总是可以分解成若干个原子圈,这些原子圈按照某种次序以单条公共边连通。根据这个充分必要条件,推导出了一个必要条件计算公式。它不仅能处理平面图,也能处理非平面图;甚至能处理某些Grinberg条件不能处理的平面图。此外,对一些实际案例的测试结果验证了充分必要条件和计算公式的有效性。 展开更多

关键词 原子圈 分解 合并 单条公共边连通 充分必要条件 必要条件计算公式

在线阅读 下载PDF 职称材料

一种基于组合Monad的纯函数式通道系统操作

6

作者 袁华强 孙永强 《计算机工程与应用》 CSCD 北大核心 2004年第25期88-89,95,共3页

Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。

关键词 纯函数式语言 MONAD

在线阅读 下载PDF 职称材料

基于小世界理论的DSR路由协议的改造 被引量：4

7

作者 李勇 李伟 赵维佺 《计算机工程》 EI CAS CSCD 北大核心 2005年第18期102-104,共3页

对动态源路由协议进行了分析,认为DSR协议中路由发现过程使用了泛洪方法,造成了时间的延迟和带宽的浪费,也不符合网络的本质规律,进而提出利用计算机网络的小世界特性对DSR的路由发现过程进行改造,并用NS2进行仿真,证明了该想法。

关键词 AD-HOC网络 路由算法 优化 小世界

在线阅读 下载PDF 职称材料

利用单词超团的二分图文本聚类算法 被引量：4

8

作者 朱君 曲超 汤庸 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第3期439-442,共4页

鉴于目前传统文本聚类方法中利用文档间的相似度进行聚类存在的问题,在传统的文本挖掘基础上提出了一种新的文本聚类算法——利用单词超团的二分图文本聚类算法。该算法用文档中单词的关联模式来评估文档间的相似度及主题类别预测,并利... 鉴于目前传统文本聚类方法中利用文档间的相似度进行聚类存在的问题,在传统的文本挖掘基础上提出了一种新的文本聚类算法——利用单词超团的二分图文本聚类算法。该算法用文档中单词的关联模式来评估文档间的相似度及主题类别预测,并利用图划分策略来大大降低文档相似度比较算法的复杂度,同时将超团作为特征结构的扩展,可以在一定范围内减少语言信息的丢失,提高聚类效果。经实验证明该算法具有较高的有效性。 展开更多

关键词 二分图划分 文本聚类 单词超团

在线阅读 下载PDF 职称材料

一种文本聚类算法 被引量：3

9

作者 李向军 徐国华 刘立平 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期155-158,共4页

目的通过对现有聚类常用算法的研究,给出一种适用于大规模中文文本数据集聚类的算法DBTC(density basedtextclustering)。方法采用在DBSCAN算法基础上改进提出的DBTC算法,对中文文本数据集进行聚类。结果DBTC算法可以发现任意形状的簇,... 目的通过对现有聚类常用算法的研究,给出一种适用于大规模中文文本数据集聚类的算法DBTC(density basedtextclustering)。方法采用在DBSCAN算法基础上改进提出的DBTC算法,对中文文本数据集进行聚类。结果DBTC算法可以发现任意形状的簇,对中文文本聚类的准确率高达80%以上。结论经过分析和实验证明DBTC算法比基本的DBSCAN算法更适合于大规模数据集。 展开更多

关键词 文本聚类 数据挖掘 簇 相似度 密度

在线阅读 下载PDF 职称材料

求解图同构的判定算法 被引量：9

10

作者 侯爱民 《计算机工程与应用》 CSCD 北大核心 2011年第16期52-57,103,共7页

图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件:在子图同构的前提下,根据新增顶点及相应关联边的关系,利用子图同构函数,判断父图同构的充分必要条件。基... 图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件:在子图同构的前提下,根据新增顶点及相应关联边的关系,利用子图同构函数,判断父图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用反证法证明了这个充分必要条件的成立。设计并实现了图同构的一个判定算法,通过实例验证了算法的正确性和有效性。 展开更多

关键词 子图同构 图同构 对应点无限衍生技术 判定算法

在线阅读 下载PDF 职称材料

图同构的一个充分必要条件 被引量：6

11

作者 侯爱民 《计算机工程与应用》 CSCD 北大核心 2009年第30期57-61,共5页

图同构的判定性问题是图论理论中的一个难问题,至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想,也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件,即在子图同构的前提下,根据新增顶点及相应关联边的关系,判断... 图同构的判定性问题是图论理论中的一个难问题,至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想,也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件,即在子图同构的前提下,根据新增顶点及相应关联边的关系,判断母图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用数学归纳法证明了这个充分必要条件的成立。 展开更多

关键词 子图同构 母图同构 对应点无限衍生技术

在线阅读 下载PDF 职称材料

图同构的矩阵初等变换判定及算法设计 被引量：3

12

作者 侯爱民 《计算机工程与应用》 CSCD 北大核心 2006年第20期51-54,共4页

判断图同构的一种有用的方法是对图的邻接矩阵进行初等变换,变成另一个图的邻接矩阵。不幸的是,当初等变换后两个矩阵不能相等时,并不能说明两个图不同构,因为可能存在另一种变换途径,使得两个矩阵相等。另一方面,这种穷尽变换途径的方... 判断图同构的一种有用的方法是对图的邻接矩阵进行初等变换,变成另一个图的邻接矩阵。不幸的是,当初等变换后两个矩阵不能相等时,并不能说明两个图不同构,因为可能存在另一种变换途径,使得两个矩阵相等。另一方面,这种穷尽变换途径的方法有n!种可能(n为图的顶点个数);当n太大时,尝试每一种可能来说明两个图是否同构是不可行的,是一个NP难问题。文章提出了一个简单有效的判断图同构的方法。首先,利用邻接矩阵生成行码距异或矩阵和行码距同或矩阵;其次,寻找邻接矩阵、行码距异或矩阵、行码距同或矩阵间保持行元素一样的行-行置换;如果这种置换存在,则图同构,否则不同构。最后,根据行-行置换确定出同构函数,它给出了两个图的顶点间具有保持相邻关系的一一对应。 展开更多

关键词 行码距异或矩阵 行码距同或矩阵 行-行置换 图同构

在线阅读 下载PDF 职称材料

一种推广的可解耦合网络模型 被引量：1

13

作者 李勇 韦洛霞 《计算机工程与应用》 CSCD 北大核心 2005年第10期80-82,共3页

提出了一种推广的耦合网络模型,该模型考虑了耦合网络中可能存在的三种主要连接:老节点之间的再生连接、新节点与老节点间的直接连接以及两网络中的交叉连接。通过主方程的建立及严格求解,给出了有关度分布函数的幂律渐近解表达式及相... 提出了一种推广的耦合网络模型,该模型考虑了耦合网络中可能存在的三种主要连接:老节点之间的再生连接、新节点与老节点间的直接连接以及两网络中的交叉连接。通过主方程的建立及严格求解,给出了有关度分布函数的幂律渐近解表达式及相关的幂指数。 展开更多

关键词 复杂网络 耦合网络 无标度

在线阅读 下载PDF 职称材料

流媒体实时传播的瓶颈分析 被引量：2

14

作者 刘勇生 《图书馆论坛》 CSSCI 北大核心 2004年第4期117-118,139,共3页

文章着重讲述了流媒体中流式传输的方法 。

关键词 流媒体传播 实时传播 服务器 网卡 PCI总线 计算机

在线阅读 下载PDF 职称材料

基于上下文感知的访问控制模型:CaRBAC

15

作者 冀高峰 汤庸 +1 位作者 朱君 刘晓玲 《计算机研究与发展》 EI CSCD 北大核心 2006年第z3期233-238,共6页

目前应用系统中的访问控制模型基本上从系统的角度出发去保护资源.在控制访问权限的同时,并没有考虑当时主体和客体的上下文信息.随着协同工作的发展,上下文信息对于协同工作的顺利进行起到重要的参考作用.这些变化导致人们对安全的认... 目前应用系统中的访问控制模型基本上从系统的角度出发去保护资源.在控制访问权限的同时,并没有考虑当时主体和客体的上下文信息.随着协同工作的发展,上下文信息对于协同工作的顺利进行起到重要的参考作用.这些变化导致人们对安全的认识从孤立系统中主体个体的保护转为协同系统中动态授权的控制.讨论了一个在RBAC基础上的新的访问控制模型.该模型适合于协同工作中的访问控制,通过对协同工作中的上下文信息进行感知来管理各种权限,实现了一个主动安全模型.并采用描述逻辑的方法对该模型进行了形式化描述.最后讨论了下一步的研究方向. 展开更多

关键词 RBAC CaRBAC 上下文感知 描述逻辑 ALCQ

在线阅读 下载PDF 职称材料

一种基于组合Monad的纯函数式Lazy I/O操作

16

作者 袁华强 王亚强 孙永强 《计算机工程与科学》 CSCD 2006年第7期119-122,共4页

Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征。本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征。

关键词 纯函数式语言 MONAD lazy I/O

在线阅读 下载PDF 职称材料

基于楔波的图像压缩

17

作者 黄仁泰 李金徽 张宗念 《科学技术与工程》 2008年第14期3757-3760,3769,共5页

分析了楔波近似理论的基础上,采用任意局部退化模型代替局部恒定退化模型,用楔波近似方法压缩图像,并与基于小波变换和基于Contourlets的两种图像压缩方法进行了对比。结果表明:在高比特率区域,楔波压缩图像的性能超过了小波变换和conto... 分析了楔波近似理论的基础上,采用任意局部退化模型代替局部恒定退化模型,用楔波近似方法压缩图像,并与基于小波变换和基于Contourlets的两种图像压缩方法进行了对比。结果表明:在高比特率区域,楔波压缩图像的性能超过了小波变换和contourlets方法;而在低比特率区域,contourlets和楔波则更优秀;特别是几何特征十分突出的图像,楔波压缩的效果最佳。但是楔波的不足是重构图像中有明显的边缘,这可以通过采用高阶系统如platelets加以改善。 展开更多

关键词 楔波 图像 压缩 小波 轮廓波

在线阅读 下载PDF 职称材料

一种楔波近似快速算法

18

作者 黄仁泰 《计算机应用》 CSCD 北大核心 2007年第9期2154-2156,共3页

为了降低多边形区域上矩计算的复杂度和减少楔波近似的运算时间,提出了一种楔波近似快速新算法。采用任意局部退化模型代替局部恒定退化模型,对比实验结果表明:新算法与现有文献的算法相比,运算速度提高了3个数量级;适用于不同参数的模... 为了降低多边形区域上矩计算的复杂度和减少楔波近似的运算时间,提出了一种楔波近似快速新算法。采用任意局部退化模型代替局部恒定退化模型,对比实验结果表明:新算法与现有文献的算法相比,运算速度提高了3个数量级;适用于不同参数的模型,灵活性得到较大提高。 展开更多

关键词 楔波 算法 图像近似 图像矩

在线阅读 下载PDF 职称材料