计算任务与体系结构匹配的异构计算可扩展性分析 被引量：10

1

作者 郝水侠 曾国荪 谭一鸣 《电子学报》 EI CAS CSCD 北大核心 2010年第11期2585-2589,共5页

扩展性是衡量高性能并行系统的一个关键要素,而扩展性的研究主要集中在同构的高性能系统上,异构系统研究的文献很少.本文以异构系统为研究对象,根据实际应用任务,将计算任务分为三类:单任务模型、元任务池模型和fork-join任务队列模型,... 扩展性是衡量高性能并行系统的一个关键要素,而扩展性的研究主要集中在同构的高性能系统上,异构系统研究的文献很少.本文以异构系统为研究对象,根据实际应用任务,将计算任务分为三类:单任务模型、元任务池模型和fork-join任务队列模型,并给出这三类计算任务的定义.提出描述基于计算任务和体系结构相匹配的异构计算系统匹配矩阵,给出异构计算的可扩展性定义.针对上述三种计算任务模型以及异构匹配给出异构系统的可扩展性条件,为异构系统的可扩展性提供了理论依据.用实例分析证实了这种方法的有效性. 展开更多

关键词 异构计算 匹配矩阵 可扩展性条件

在线阅读 下载PDF 职称材料

基于构件使用依赖关系的构件复用可信度计算方法 被引量：3

2

作者 王燕玲 曾国荪 《计算机应用》 CSCD 北大核心 2015年第12期3524-3529,共6页

在网络构件库中构件数量持续增长的情况下,为解决用户无法从质量参差不齐的海量构件中选取优质构件的问题,提出了一种基于构件使用依赖关系的复用可信度计算方法。该方法将构件库作为证据库,首先,对证据库中的构件依赖信息进行采集整理... 在网络构件库中构件数量持续增长的情况下,为解决用户无法从质量参差不齐的海量构件中选取优质构件的问题,提出了一种基于构件使用依赖关系的复用可信度计算方法。该方法将构件库作为证据库,首先,对证据库中的构件依赖信息进行采集整理;接着,定义每一个构件的基本信任函数,在此基础上根据构件依赖信息的不同来源为每一条证据设置不同的可信权重值;然后,通过特定的转换算法将由此获得的结果生成构件最终的可信度。实例分析中,利用该方法评估构件取得的结果值与预想中的一致,且与参考构件的内部与外部质量模型所得出的结论相符,但该方法大大降低了构件可信评估的工作量,提高了评估效率。结果表明该方法能够客观反映构件的可信性,可作为构件库中构件检索的一种可信度量机制,帮助实现构件的优质检索和复用。 展开更多

关键词 软件构件 依赖关系 构件描述 可信证据 可信度

在线阅读 下载PDF 职称材料

一种基于线程关系的软件水印算法 被引量：8

3

作者 许金超 曾国荪 《电子学报》 EI CAS CSCD 北大核心 2012年第5期891-896,共6页

针对目前基于线程顺序的软件水印算法存在的隐藏信息量小效率不高的不足,提出了一种新的基于线程间关系的软件水印算法.其主要思想是通过修改程序的源代码控制程序运行中线程间的相互关系,从而在线程关系中隐藏软件水印.文中给出了关系... 针对目前基于线程顺序的软件水印算法存在的隐藏信息量小效率不高的不足,提出了一种新的基于线程间关系的软件水印算法.其主要思想是通过修改程序的源代码控制程序运行中线程间的相互关系,从而在线程关系中隐藏软件水印.文中给出了关系和关系矩阵等概念的形式化定义,描述了软件水印的嵌入和提取过程.文章对该算法的不易觉察性和数据率进行分析比较,总结了有针对性的攻击方式,并对攻击下软件水印的安全性进行实验验证. 展开更多

关键词 数字版权 软件水印 线程关系 水印算法

在线阅读 下载PDF 职称材料

基于栈状态关系的动态软件水印算法 被引量：5

4

作者 许金超 曾国荪 《计算机应用》 CSCD 北大核心 2013年第4期1065-1069,1091,共6页

针对已有软件水印算法的不足,提出了一种基于栈状态关系的动态软件水印算法。算法通过控制程序运行过程中产生的栈状态转移关系隐藏软件水印,给出了栈状态转移图的概念,并对其满足的性质进行了阐述;给出了详细的嵌入和提取算法,并通过... 针对已有软件水印算法的不足,提出了一种基于栈状态关系的动态软件水印算法。算法通过控制程序运行过程中产生的栈状态转移关系隐藏软件水印,给出了栈状态转移图的概念,并对其满足的性质进行了阐述;给出了详细的嵌入和提取算法,并通过一个具体实例描述了软件水印嵌入过程。对该算法的安全性和效率的实验和分析表明,该算法有着良好的隐蔽性,并能有效抵抗多种攻击。 展开更多

关键词 数字版权 软件安全 软件水印 栈 水印算法

在线阅读 下载PDF 职称材料

一种面向方面软件体系结构模型 被引量：3

5

作者 朱春国 曾国荪 《计算机应用研究》 CSCD 北大核心 2010年第9期3387-3389,3394,共4页

为了分离软件系统中的核心关注点和横切关注点,通过引入面向方面软件开发的思想设计了一种面向方面软件体系结构模型,并详细分析了该模型的三个基本构成单元,即构件、连接件和方面构件。最后通过一个网上支付实例验证了该模型具有一定... 为了分离软件系统中的核心关注点和横切关注点,通过引入面向方面软件开发的思想设计了一种面向方面软件体系结构模型,并详细分析了该模型的三个基本构成单元,即构件、连接件和方面构件。最后通过一个网上支付实例验证了该模型具有一定的理论意义和实用价值。 展开更多

关键词 面向方面软件体系结构 横切关注点 构件 连接件 方面构件

在线阅读 下载PDF 职称材料

异构计算中的时间和能耗优化执行方法 被引量：2

6

作者 俞莉花 曾国荪 《计算机科学》 CSCD 北大核心 2011年第10期285-290,共6页

计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性。异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上执行的最佳效果。当前,异构计算中的时间优化执行方法较成熟,... 计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性。异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上执行的最佳效果。当前,异构计算中的时间优化执行方法较成熟,但同时将时间和能耗联合起来作为异构计算优化执行目标方面的研究很少。以高性能计算和绿色计算为总目标,针对异构计算环境中并行任务分配调度执行问题,提出了异构任务模型、异构计算速率矩阵、异构计算功率矩阵,利用能耗时间归一思想,给出并行任务在异构处理机上时间与能耗启发式优化执行算法,并通过实例分析证实算法的可行性和有效性。 展开更多

关键词 异构计算 任务执行 时间优化 能耗优化

在线阅读 下载PDF 职称材料

支持CPU+GPU协同计算的C源程序预处理划分策略

7

作者 姚鼎 曾国荪 丁春玲 《计算机应用》 CSCD 北大核心 2013年第A02期67-72,76,共7页

GPU技术的兴起为构建高性能异构协调计算平台提供了一个新的有效途径,针对如何在CPU+GPU并存的环境下,设计高效的应用程序以更好地发挥GPU技术,开展支持CPU+GPU协同计算的C源程序预处理划分策略研究。从计算任务的C语言源程序出发,分析... GPU技术的兴起为构建高性能异构协调计算平台提供了一个新的有效途径,针对如何在CPU+GPU并存的环境下,设计高效的应用程序以更好地发挥GPU技术,开展支持CPU+GPU协同计算的C源程序预处理划分策略研究。从计算任务的C语言源程序出发,分析程序的内存访问、运算密度、流程控制结构、数据并行性等各种特征,同时考虑CPU和GPU的特点和差异,以此作为关键依据,对C源程序进行预处理,给出划分和标识程序段适合CPU或GPU执行的策略和算法。此外,以传统典型程序为测试用例开展实验。实验结果表明,策略和算法具有一定的有效性,在一定程度上提升了计算的效率。 展开更多

关键词 协调计算 CPU+GPU C源程序 划分策略

在线阅读 下载PDF 职称材料

基于模型检测的时间空间性能验证方法 被引量：6

8

作者 钮俊 曾国荪 王伟 《计算机学报》 EI CSCD 北大核心 2010年第9期1621-1633,共13页

对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Mark... 对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Markov Reward Process,CTMRP)作为时间或空间性能验证模型;用正则式表示路径约束,扩展连续随机回报逻辑CSRL(Continuous Stochastic Reward Logic)的时态路径算子,用以刻画更加广泛的基于状态或路径的时间或空间性能验证属性;提出并证明CTMRP在确定性策略下空间时间可达概率的对偶性质,将带有约束的空间性能验证最终转化为时间性能的可达分析,给出验证算法.文中的结论和算法为复杂系统的性能分析提供了新的思路和方法. 展开更多

关键词 不确定性 模型检测 时间空间性能 可达概率 对偶

在线阅读 下载PDF 职称材料

绿色评价模型的互模拟等价及逻辑保持 被引量：4

9

作者 钮俊 曾国荪 王伟 《计算机学报》 EI CSCD 北大核心 2013年第5期967-976,共10页

绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸... 绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段. 展开更多

关键词 绿色评价 模型检测 随机过程 评价指标 互模拟 绿色计算

在线阅读 下载PDF 职称材料

一种基于DAG图的异构可重构任务划分方法 被引量：4

10

作者 郝水侠 曾国荪 谭一鸣 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第11期1693-1698,共6页

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,... 为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性. 展开更多

关键词 有向无环图(DAG) 异构计算任务 可重构体系结构 任务划分

在线阅读 下载PDF 职称材料

构造基于信任机制的自组织资源拓扑 被引量：7

11

作者 王伟 曾国荪 《计算机研究与发展》 EI CSCD 北大核心 2007年第11期1849-1856,共8页

利用P2P覆盖网络(P2P overlay networks)进行资源组织是当前研究的热点,如何保证资源获取的可靠性是研究人员面临的一个主要问题.利用节点的动态自组织属性,基于节点物理位置的拓扑构造可以提高P2P网络的性能,但没有关注P2P网络中恶意... 利用P2P覆盖网络(P2P overlay networks)进行资源组织是当前研究的热点,如何保证资源获取的可靠性是研究人员面临的一个主要问题.利用节点的动态自组织属性,基于节点物理位置的拓扑构造可以提高P2P网络的性能,但没有关注P2P网络中恶意节点的问题;基于偏好的拓扑构造可以有效地提高资源共享和搜索的效率,但没有考虑节点实际提供服务的能力和节点行为的可靠性.提出了一个基于信任机制的自组织资源拓扑构造方案,利用Bayesian方法根据节点的行为来评估节点的信任度,通过节点间基于信任关系的链路更新,构造出新的自组织拓扑结构.仿真实验表明,该拓扑结构不仅有利于节点发现资源的效率,提高整个P2P网络的交互性能,还能使节点聚集在服务能力较强的可信节点周围,保证资源选取的可靠性. 展开更多

关键词 信任 资源管理 P2P网络 Bayesian方法 自组织

在线阅读 下载PDF 职称材料

基于内存操作的动态软件水印算法 被引量：2

12

作者 许金超 曾国荪 《通信学报》 EI CSCD 北大核心 2013年第2期128-137,共10页

提出了一种基于内存操作的动态软件水印算法,算法通过控制本地代码程序中的内存分配释放和使用等行为隐藏软件水印。定义了动态簇、簇间内存关系、内存关系矩阵等概念,详细描述了软件水印的嵌入和提取过程。分析了算法的平台依赖性、可... 提出了一种基于内存操作的动态软件水印算法,算法通过控制本地代码程序中的内存分配释放和使用等行为隐藏软件水印。定义了动态簇、簇间内存关系、内存关系矩阵等概念,详细描述了软件水印的嵌入和提取过程。分析了算法的平台依赖性、可信性、数据率、开销,并通过实验对该算法的隐蔽性和抗攻击能力进行了探讨。 展开更多

关键词 数字版权 软件水印 内存操作 水印算法

在线阅读 下载PDF 职称材料

一种新型的撤销成员的无加密短群签名方案 被引量：2

13

作者 马海英 曾国荪 《计算机科学》 CSCD 北大核心 2012年第4期41-45,66,共6页

针对撤销成员的群签名中如何降低群成员的计算量、缩短签名长度等问题,提出了一种新型的撤销成员的无加密短群签名方案,并证明了其安全性。基于XDDH,LRSW和SDLP假设,通过将有效期属性编入签名钥来实现成员的有效撤销;为了提高签名的效率... 针对撤销成员的群签名中如何降低群成员的计算量、缩短签名长度等问题,提出了一种新型的撤销成员的无加密短群签名方案,并证明了其安全性。基于XDDH,LRSW和SDLP假设,通过将有效期属性编入签名钥来实现成员的有效撤销;为了提高签名的效率,没有使用加密算法,而是采用签名随机化的方法来保持签名者的匿名性。在成员的通信和计算开销方面,本撤销方案比以往撤销方案有很大的优势,成员可以错过任意多次更新,签名时只需下载最新更新值即可,群公钥保持不变,签名和验证的计算开销与撤销成员数无关,签名长度仅为1195bits。 展开更多

关键词 群签名 撤销成员 知识签名 IND-CCA2匿名性 安全性证明

在线阅读 下载PDF 职称材料

基于DAG图的自适应代码划分优化算法 被引量：1

14

作者 周静 曾国荪 《计算机工程》 CAS CSCD 北大核心 2007年第20期15-17,共3页

并行编译的两大工作是程序代码划分和调度。对于调度问题,目前已有大量的解决方案,但是针对代码划分提取并行性的研究工作却非常少。该文提出了通过合并结点来划分DAG图的新的划分算法。实例分析证明,该算法是一种有效的、低复杂度的自... 并行编译的两大工作是程序代码划分和调度。对于调度问题,目前已有大量的解决方案,但是针对代码划分提取并行性的研究工作却非常少。该文提出了通过合并结点来划分DAG图的新的划分算法。实例分析证明,该算法是一种有效的、低复杂度的自适应代码划分解决方案,并且适用于异构计算的任务图划分。 展开更多

关键词 并行编译 有向无环图 代码划分 任务合并 关键路径

在线阅读 下载PDF 职称材料

Web数据挖掘中的可信数据来源 被引量：1

15

作者 鲍宇 曾国荪 管红杰 《计算机科学》 CSCD 北大核心 2009年第4期211-214,共4页

从大量Web信息中获取有用的信息是Web数据挖掘的关键问题。如何评价Web信息是否可信,现在主要方法是通过BadRank算法进行内容评测,或是通过链接权重进行相关引用数计算。可信数据来源是数据挖掘的前提,在基于关键词的数据挖掘中,通过评... 从大量Web信息中获取有用的信息是Web数据挖掘的关键问题。如何评价Web信息是否可信,现在主要方法是通过BadRank算法进行内容评测,或是通过链接权重进行相关引用数计算。可信数据来源是数据挖掘的前提,在基于关键词的数据挖掘中,通过评价挖掘所涉及的不同数据域,以及数据域自身的可信性,对在不同域所获得的挖掘数据给以权重,从而对挖掘结果的序列产生影响,提高挖掘算法在获取可信结果方面的效率。并通过试验测试了可信域评价的效果。 展开更多

关键词 WEB数据挖掘 Web可信数据 数据挖掘

在线阅读 下载PDF 职称材料

基于动态阈值的陌生网络实体间信任建立方法

16

作者 鲍宇 曾国荪 +1 位作者 陈波 夏冬梅 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第11期1682-1688,1693,共8页

不完全信息的自动信任协商中存在如披露最少证书获得对方最大信任、协商效率等优化问题.利用博弈分析信任协商过程中的协商方的收益,给出权衡资源比重方法,量化了信任协商的计算过程,提出基于动态阈值的信任协商建立方法.动态阈值具有... 不完全信息的自动信任协商中存在如披露最少证书获得对方最大信任、协商效率等优化问题.利用博弈分析信任协商过程中的协商方的收益,给出权衡资源比重方法,量化了信任协商的计算过程,提出基于动态阈值的信任协商建立方法.动态阈值具有随证书披露与信息完整而进行自主变化的能力,可以减少协商过程的隐私披露.样例分析和仿真试验表明:使用动态阈值方法可以限制证书披露的数量,提高不完全信息下信任建立的效率. 展开更多

关键词 信任协商 协商策略 信任建立 动态阈值

在线阅读 下载PDF 职称材料

The SPAD test:循环级投机并行化方法

17

作者 周静 曾国荪 《小型微型计算机系统》 CSCD 北大核心 2007年第11期1932-1936,共5页

传统的并行编译技术能够在编译期间进行相关性分析,有效地并行化循环程序,但是对于程序运行时潜在的并行性却无能为力.因此,并行编译技术必须使用实时依赖分析技术,尽可能挖掘循环级并行性.本文提出仿射依赖关系,消除了循环迭代依赖;基... 传统的并行编译技术能够在编译期间进行相关性分析,有效地并行化循环程序,但是对于程序运行时潜在的并行性却无能为力.因此,并行编译技术必须使用实时依赖分析技术,尽可能挖掘循环级并行性.本文提出仿射依赖关系,消除了循环迭代依赖;基于投机并行思想,提出了SPAD方法.实例分析表明,SPAD是有效的.与LRPD和SPNT方法相比较,SPAD做了重要的改进,因此是更通用的投机并行化方案. 展开更多

关键词 并行编译 投机并行 循环级并行 依赖分析

在线阅读 下载PDF 职称材料

Web机群服务质量控制自管理模型

18

作者 刘涛 曾国荪 《计算机工程》 CAS CSCD 北大核心 2007年第24期32-34,共3页

基于服务类别的资源请求和服务等级给出一种资源划分策略,对各类别的服务请求状态进行建模,使用反馈控制理论的方法对各类别资源进行动态调整,与资源调整规则相结合,以适应访问的突发性和保证服务质量要求,实现了Web机群服务质量的自管... 基于服务类别的资源请求和服务等级给出一种资源划分策略,对各类别的服务请求状态进行建模,使用反馈控制理论的方法对各类别资源进行动态调整,与资源调整规则相结合,以适应访问的突发性和保证服务质量要求,实现了Web机群服务质量的自管理。实验表明自管理模型能有效支持区分服务质量和资源效用控制。 展开更多

关键词 服务质量 自管理 控制理论

在线阅读 下载PDF 职称材料

一种基于非功能属性决策的可信Web服务发现模型 被引量：5

19

作者 胡旭东 曾国荪 陈波 《计算机科学》 CSCD 北大核心 2009年第2期95-98,共4页

Web服务注册中心为服务请求者寻找Web服务带来方便,但由于其缺少对服务非功能信息的支持,无法很好满足用户需求,最终导致服务发现可信程度不高。首先对Web服务质量、服务信誉等非功能属性进行分析,通过服务行为观测机制获取较客观的属... Web服务注册中心为服务请求者寻找Web服务带来方便,但由于其缺少对服务非功能信息的支持,无法很好满足用户需求,最终导致服务发现可信程度不高。首先对Web服务质量、服务信誉等非功能属性进行分析,通过服务行为观测机制获取较客观的属性指标数据,利用多属性决策方法,提出一种可信的Web服务发现模型。模型能帮助服务请求者发现最优的、可信的服务。最后通过一个应用实例验证了模型的有效性。 展开更多

关键词 服务质量 服务信誉 发现模型 多属性决策

在线阅读 下载PDF 职称材料

基于图非均衡划分的软件定义网络异构控制器负载优化部署 被引量：4

20

作者 王也夫 曾国荪 丁春玲 《计算机应用》 CSCD 北大核心 2016年第4期883-888,893,共7页

大规模软件定义网络(SDN)往往需要逻辑上集中的控制器在物理上分布式部署。针对控制器部署中控制器负载不均衡的问题,提出一种基于图非均衡划分的SDN异构控制器负载优化部署方法。首先,分析控制器部署要求以及部署带来的控制器负载均衡... 大规模软件定义网络(SDN)往往需要逻辑上集中的控制器在物理上分布式部署。针对控制器部署中控制器负载不均衡的问题,提出一种基于图非均衡划分的SDN异构控制器负载优化部署方法。首先,分析控制器部署要求以及部署带来的控制器负载均衡和时延问题;其次,利用图论和余弦相似度,量化描述和计算异构控制器情况下的控制器负载均衡和时延,并运用图划分理论将控制器负载优化部署问题转化为一个具体的图划分问题;最后,基于多级划分的图划分思想,提出控制器负载优化部署方法。对实际网络拓扑的模拟实验结果表明,提出的部署方法可以有效实现接近最优的控制器负载分布。 展开更多

关键词 软件定义网络 控制器 优化部署 图划分 负载均衡

在线阅读 下载PDF 职称材料