高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06)
- 作品数：30 被引量：76H指数：4
- 相关作者：曾国荪郝水侠钮俊谭一鸣徐洪珍更多>>
- 相关机构：同济大学国家高性能计算机工程技术研究中心教育部更多>>
- 发文基金：高效能服务器和存储技术国家重点实验室开放基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 异构重构计算系统应用任务调度的性能分析被引量：1
- 2012年
- 异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算系统模型和应用任务模型为基础,利用异构匹配、重构耦合矩阵,实现应用任务和处理部件的优化选择和耦合匹配,通过调度算法求出应用任务在异构重构计算系统中的完成时间,并进行了实例分析.
- 谭一鸣曾国荪郝水侠
- 关键词：性能分析
- 云计算环境下聚合服务的随机模型检测
- 2012年
- 当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CSRL,用以刻画增强行为描述的统一验证属性,给出随机模型检测方法。分析表明,该方法能有效刻画运行时云服务动态行为并对其正确性、可靠性进行验证。
- 钮俊曾国荪
- 关键词：云服务工作流MARKOV过程
- 基于模型检测的数据流异常测试技术研究被引量：2
- 2011年
- 程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。
- 陈涛许金超钮俊
- 关键词：软件测试数据流异常
- 一种基于贝叶斯理论的软件可靠度评估方法被引量：1
- 2012年
- 针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.
- 许金超曾国荪王伟
- 关键词：可靠度贝叶斯理论软件测试
- 计算任务与体系结构匹配的异构计算可扩展性分析被引量：10
- 2010年
- 扩展性是衡量高性能并行系统的一个关键要素,而扩展性的研究主要集中在同构的高性能系统上,异构系统研究的文献很少.本文以异构系统为研究对象,根据实际应用任务,将计算任务分为三类:单任务模型、元任务池模型和fork-join任务队列模型,并给出这三类计算任务的定义.提出描述基于计算任务和体系结构相匹配的异构计算系统匹配矩阵,给出异构计算的可扩展性定义.针对上述三种计算任务模型以及异构匹配给出异构系统的可扩展性条件,为异构系统的可扩展性提供了理论依据.用实例分析证实了这种方法的有效性.
- 郝水侠曾国荪谭一鸣
- 关键词：异构计算匹配矩阵
- P2P环境下文件共享的信任建立博弈模型及稳态分析被引量：3
- 2010年
- P2P环境下文件共享中节点的信任建立是彼此进行安全交互的前提,现有的信任关系的建立依赖于可信的第三方,但在P2P网络中没有中心服务器和可信第三方提供担保,这种节点信任关系的建立相当困难。为此,借助演化博弈理论提出了一种信任建立博弈模型,从而为P2P文件共享中陌生节点提供信任保障。运用复制动态原理对信任建立博弈模型进行了求解分析,并对P2P文件共享系统的稳态进行了分析,给出初步仿真实验结果。
- 项兴彬曾国荪夏冬梅
- 关键词：P2P文件共享信任建立演化稳定策略
- 绿色评价模型的互模拟等价及逻辑保持被引量：4
- 2013年
- 绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段.
- 钮俊曾国荪王伟
- 关键词：评价指标互模拟
- 随机模型检测连续时间Markov过程被引量：2
- 2011年
- 功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision process)能够统一刻画复杂系统的概率选择、随机时间及不确定性等重要特征。提出用CT-MDP作为系统定性验证和定量分析模型,将复杂系统的功能验证和性能分析转化为CTMDP中的可达概率求解,并证明验证过程的正确性,最终借助模型检测器MRMC(Markov Reward Model Checker)实现模型检测。理论分析表明,提出的针对CTMDP模型的验证需求是必要的,验证思路和方法具有可行性。
- 钮俊曾国荪吕新荣徐畅
- 关键词：功能性能
- 基于随机Petri网的可重构核心单元分析被引量：3
- 2011年
- 利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。
- 王福焕曾国荪
- 关键词：可重构计算随机PETRI网性能分析
- 异构计算中体系结构感知的并行任务分簇方法
- 2013年
- 异构计算是高效能计算发展的必然趋势,针对异构计算运行中并行任务和体系结构难匹配的问题,提出了实现并行任务和体系结构匹配的并行任务分簇方法。首先给出效能的概念及异构计算中体系结构感知的分簇问题,然后从理论上分析了异构匹配与效能的关系,提出了实现异构计算匹配和结构匹配的分簇理论,目的是发挥异构计算中机器的潜能,协同处理并行任务,实现高效能。在此基础上,给出相应的算法。最后通过仿真实验说明,该方法可通过簇图与体系结构的匹配缩短通信开销在执行时间上所占的比例,从而缩短并行执行时间,以提高系统利用率,最终实现异构计算的高效能。
- 郝水侠曾国荪
- 关键词：异构计算分簇
