国家自然科学基金(61170022)
- 作品数：22 被引量：119H指数：5
- 相关作者：何炎祥徐超陈勇李清安吴伟更多>>
- 相关机构：武汉大学徐州工业职业技术学院湖北工业大学更多>>
- 发文基金：国家自然科学基金江苏省“青蓝工程”基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 一种基于随机Petri网的Web服务组合性能瓶颈定位策略被引量：13
- 2013年
- Web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现Web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的Web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过结构转换得到性能瓶颈定位分析结构集{顺序结构,分支结构,汇聚结构},在此基础上提出一种Web服务组合性能瓶颈定位策略.该策略首先根据库所中token消耗的速度将库所分成主动受阻库所、被动受阻库所和流通库所3类,然后分别基于3类库所在3种分析结构中的不同分布情况,通过顺向结构分析和逆向结构分析相结合的方法,讨论瓶颈可能存在的位置,并给出如何确定3种分析结构的结构发现定理.实验证明策略的预测结果是有效的.
- 何炎祥沈华
- 关键词：随机PETRI网WEB服务WEB服务组合
- 一种多核系统可靠性加强的任务调度方法被引量：5
- 2013年
- 多核系统已经被广泛应用于各行各业,其稳定性和可靠性也越来越受到人们的关注.在分析了现有芯片可靠性模型的基础上,增加温度和工作负载对多核芯片可靠性的影响,建立了对多核系统的可靠性评估模型.该模型以处理器为依托,从指令到任务,逐层构建可靠性评估指标,以便于定量分析影响多核系统可靠性的因素.同时,以该模型为指导,设计了一种面向多核系统可靠性的任务调度方法,该方法通过对评估指标值的计算,选择评估指标值尽可能高的调度策略对多核系统中的任务进行调度,以减少由于芯片本身可靠性而导致的错误.通过模拟实验可以看出,该任务调度算法能有效减少系统的出错率45%左右,为系统的稳定运行提供了可靠的保证.
- 徐超何炎祥陈勇刘健博吴伟李清安
- 关键词：多核系统任务调度稳定性
- 一种面向应用需求的代码保护方法
- 2012年
- 为了防止攻击者对编译后可执行代码进行读取分析和篡改,提出了一种基于编译器分析的软硬件相结合的保护框架。首先对具体应用需求进行分类(数据重要型和算法重要型),然后提取分类后的关键代码块,生成带标记的二进制代码,最后综合数字签名(RSA)和(AES)加解密算法对标记信息进行相应处理,并将其加载到FPGA进行校验运行。实验分析显示,该方法具有较好的可操作性和可维护性,既减小了软件保护的开销,降低了系统实现成本,又达到了保护目的。
- 徐超何炎祥陈勇吴伟刘健博
- 关键词：数字签名FPGA
- 基于2阶段同步的GPGPU线程块压缩调度方法被引量：1
- 2016年
- 通用图形处理器(general purpose graphics processing unit,GPGPU)在面向高性能计算、高吞吐量的通用计算领域的应用日益广泛,它采用的SIMD(single instruction multiple data)执行模式使其能获得强大的并行计算能力.目前主流的通用图形处理器均通过大量高度并行的线程完成计算任务的高效执行.但是在处理条件分支转移的控制流中,由于通用图形处理器采用串行的方式顺序处理不同的分支路径,使得其并行计算能力受到影响.在分析讨论前人针对分支转移处理低效的线程块压缩重组调度方法的基础上,提出了2阶段同步的线程块压缩重组调度方法 TSTBC(two-stage synchronization based thread block compaction scheduling),通过线程块压缩重组适合性判断逻辑部件,分2个阶段对线程块进行压缩重组有效性分析,进一步减少了无效的线程块压缩重组次数.模拟实验结果表明:该方法较好地提高了线程块的压缩重组有效性,相对于其他同类方法降低了对线程组内部数据局部性的破坏,并使得片上一级数据cache的访问失效率得到有效降低;相对于基准体系结构,系统性能提升了19.27%.
- 张军张军何炎祥沈凡凡江南
- 关键词：通用图形处理器线程调度
- 面向总线翻转编码的低能耗指令调度方法
- 2014年
- 能耗是设计嵌入式系统不可忽视的一个重要方面.针对嵌入式设备主要能耗来源之一的总线能耗,提出了一种基于总线翻转编码的低功耗指令调度方法.该方法以程序执行频度的profile信息为指导,利用数据随机性增强算法调度指令,获得适应总线翻转编码的指令序列,既减少总线翻转次数,又获得较为平衡的总线使用率,最终达到节约能耗的目的.以MiBench测试用例集为基准进行的对比实验可以看出,该方法能够有效地减少总线翻转次数.相对于未编码优化的arm-linux-gcc的指令序列,平均优化率可达到26%左右.相对于VSI+BI方法,平均优化率也能达到10%以上.
- 何炎祥陈勇吴伟徐超李清安
- 关键词：低功耗总线编码指令调度编译器优化
- 面向总线的低功耗优化方法探究被引量：3
- 2014年
- 随着社会信息化水平的不断提高,信息产业的快速发展,由此带来了能源的消耗也越来越高。特别是芯片集成度越来越高,系统应用越来越复杂,这就使得功耗问题成为嵌入式系统必须面对的一个关键问题。单纯的硬件功耗优化已经不能满足要求,基于软件的功耗优化取得了很好的成效。在编译阶段,通过减少总线的翻转次数来降低系统的功耗。针对指令地址总线,结合遗传算法进行函数段的分配,结合相关的编码策略,减少总线翻转,从而降低其功耗。针对数据总线,使用蚁群算法进行指令调度,用0-1翻转编码,有效减少了其总线翻转,降低了功耗。这种基于数据总线和地址总线的优化算法,能够在特定的实验平台下通过实验验证,算法对于总线功耗的优化效率大约为25%左右。
- 刘钱何炎祥廖希密陈勇
- 关键词：低功耗总线编码指令调度
- 基于符号执行的能耗错误检测方法被引量：2
- 2016年
- 能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类能耗错误的特点,设计了对应的能耗错误检测方法.该方法首先利用过程内分析,获得单个函数的符号执行信息.然后借助过程间分析对单个函数的符号执行信息进行全局综合,得到更为精确的执行开销、锁变量匹配等相关信息,以更好的检测能耗错误.同时,符号执行记录了对应的分支路径信息,利用该信息能够结合约束求解器较为方便的生成出错的测试用例,进而定位错误位置.通过示例和实验,验证了该方法在能耗错误检测方面的可行性和有效性.
- 徐超陈勇葛红美何炎祥
- 关键词：过程间分析
- 基于模拟关系的编译优化实现正确性验证方法被引量：2
- 2012年
- 编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化编译中的常量折叠优化和变量替换的验证作为示例显示了本方法的有效性和可靠性.
- 徐超何炎祥吴伟陈勇刘健博
- 关键词：定理证明
- 基于主谓情感差异性句法分析框架的跨语言情感分析
- 2016年
- 随着互联网的快速发展和全球化进程的加快,因特网提供的信息资源呈现出多语言化的特点.各语言可利用资源的不平衡给网络信息的研究和利用带来障碍.在此背景之下,利用资源丰富语言对资源贫乏语言进行情感分析具有重要的应用价值与现实意义.提出一种基于主谓情感差异句法分析框架,实现跨语言的情感分析.将目标语言数据翻译后作为测试集,利用句法分析工具Stanford Parser进行句法分析,结合情感词典和转折词表,再基于双语语料训练出贝叶斯分类器后对跨语言测试语料进行最终的情感分析.实验结果表明,本文方法在情感分类的准确率上高于传统方法 20%以上,具有一定的实用价值.
- 伊马木.达吾提何炎祥刘续乐
- 关键词：STANFORDPARSER贝叶斯分类
- 一种基于语义的业务活动推荐方法被引量：2
- 2014年
- 以企业复杂业务逻辑为背景,针对动态构造业务流程中的用户遗漏或错选工作等问题,提出了一种基于语义的业务活动推荐方法。首先定义面向业务活动的基础本体模型并在此基础上构建了基本推理规则,接着详细描述了方法所采用的推荐策略并在此基础上设计了推荐算法。方法的工作机制是接收并分析业务活动事件并调用推荐算法,推荐算法访问知识库,生成最终的推荐结果呈现给用户。最后通过国家综合减灾应用系统案例来验证方法的有效性。
- 张龙应时贾向阳龚致远李琳
- 关键词：语义
