许金超
- 作品数：12 被引量：47H指数：4
- 供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：上海市卫生系统百名跨世纪优秀学科带头人培养计划国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于软件水印的云平台下软件服务保护安全协议
- 为了抵抗云中软件服务来自运行环境内部的侵权问题，提出了一种基于软件水印的云平台下软件服务保护安全协议。协议结合云计算的实际需求，引入了可信的软件水印服务云负责软件水印的嵌入和提取。协议不仅满足软件版权保护基本要求，而且给...
- 许金超曾国荪王伟
- 关键词：云计算数字版权软件水印安全协议
- 文献传递
- 云环境下可用性感知的并行任务调度方法被引量：17
- 2013年
- 云计算是一种新兴的计算模式,倡导一切皆服务.云计算由于能够共享分布在世界各地的计算资源,在大规模计算和数据存储中越来越受到重视.云计算是当前IT工业界、学术界研究的热点领域,云环境中的资源可用性已成为云计算不可忽视的问题.对于云计算,当处理器的处理速度不同,不是一直可用于计算时,可用性成为设计和发展云计算系统的关键需求.根据并行任务图及树形云平台的结构特点,分别讨论了影响并行任务可用性需求和计算资源可用性保障的关键因素,给出一种可用性的量化计算公式.并且通过感知任务"可用性需求"和计算资源"可用性保障",实现可用性匹配,提出了两种可用性感知的调度算法Afsa和Agsa.模拟实验表明该算法能够改善云环境中资源可用性和可靠性,对提高任务调度的成功率具有实际意义.
- 曹洁曾国荪钮俊许金超
- 关键词：云计算任务调度
- 云计算中相似驱动的并行任务划分方法
- 云计算是并行计算、分布式计算和网格计算等高性能计算的进一步发展，它的异构性、按需等特征对高性能计算提出了新的挑战。针对云计算的典型特征，提出了基于并行任务和云环境相似驱动的任务划分方法。首先用图刻画了并行任务和云环境，建...
- HAO Shuixia郝水侠XU Jinchao许金超
- 关键词：云计算并行处理任务调度
- 一种基于线程关系的软件水印算法被引量：8
- 2012年
- 针对目前基于线程顺序的软件水印算法存在的隐藏信息量小效率不高的不足,提出了一种新的基于线程间关系的软件水印算法.其主要思想是通过修改程序的源代码控制程序运行中线程间的相互关系,从而在线程关系中隐藏软件水印.文中给出了关系和关系矩阵等概念的形式化定义,描述了软件水印的嵌入和提取过程.文章对该算法的不易觉察性和数据率进行分析比较,总结了有针对性的攻击方式,并对攻击下软件水印的安全性进行实验验证.
- 许金超曾国荪
- 关键词：数字版权软件水印水印算法
- 云计算中相似驱动的并行任务划分方法
- 云计算是并行计算、分布式计算和网格计算等高性能计算的进一步发展，它的异构性、按需等特征对高性能计算提出了新的挑战。针对云计算的典型特征，提出了基于并行任务和云环境相似驱动的任务划分方法。首先用图刻画了并行任务和云环境，建...
- 郝水侠许金超
- 关键词：云计算
- 文献传递网络资源链接
- 基于模型检测的数据流异常测试技术研究被引量：2
- 2011年
- 程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。
- 陈涛许金超钮俊
- 关键词：软件测试数据流异常
- 基于贪婪启发式的多期多目标动态网络选址被引量：10
- 2012年
- 为弥补现有选址模型考虑需求变化及客户满意度的不足,研究了随机需求环境下的配送中心选址并设计了衡量客户满意度的函数.运用随机机会约束规划为基本建模工具,将模型设计拓展到多期规划决策领域并构建了动态多期多目标选址模型,模型不仅考虑了最小化配送中心运作成本,而且考虑了客户最大满意度;运用主要目标法将多目标选址模型转化为单目标选址模型,采用满意度高优先的客户指派原则设计了贪婪启发式求解算法.算例结果表明,模型的非劣解包含了传统的以最小化物流成本为目标的选址模型的最优解,从而为配送中心选址提供更加灵活全面的决策依据.
- 朱伟徐克林周炳海许金超
- 一种基于贝叶斯理论的软件可靠度评估方法被引量：1
- 2012年
- 针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.
- 许金超曾国荪王伟
- 关键词：可靠度贝叶斯理论软件测试
- 基于栈状态关系的动态软件水印算法被引量：5
- 2013年
- 针对已有软件水印算法的不足,提出了一种基于栈状态关系的动态软件水印算法。算法通过控制程序运行过程中产生的栈状态转移关系隐藏软件水印,给出了栈状态转移图的概念,并对其满足的性质进行了阐述;给出了详细的嵌入和提取算法,并通过一个具体实例描述了软件水印嵌入过程。对该算法的安全性和效率的实验和分析表明,该算法有着良好的隐蔽性,并能有效抵抗多种攻击。
- 许金超曾国荪
- 关键词：数字版权软件水印水印算法
- 相似驱动的细粒度并行任务重构算法被引量：1
- 2013年
- 异构计算是高性能计算技术的发展趋势,计算任务与体系结构匹配成为异构计算亟待解决的问题。重构技术为实现两者匹配带来了契机,要么任务重构适应体系结构,要么体系结构重构适应任务。提出基于相似驱动的并行任务重构算法以实现异构计算匹配。通过给出任务和系统匹配度量机制定义了图重构操作和图重构基本问题。根据问题给出细粒度重构算法,该算法主要有3个过程:任务图节点对融合、节点和边重构及重构精化过程。用格林威治大学典型实例图作为并行任务及典型体系结构测试了该算法。实验表明它在给定的误差范围内能保证计算任务和体系结构匹配。
- 郝水侠曾国荪马小信许金超
- 关键词：体系结构异构计算
