李清安
- 作品数：36 被引量：79H指数：5
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金江西省教育厅科学技术研究项目国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 通用图形处理器线程调度优化方法研究综述被引量：4
- 2016年
- 随着通用图形处理器(GPGPU)并行计算能力的日益增强,其应用范围越来越广.然而由于不规则计算任务使得通用图形处理器资源难以得到充分利用,其性能并未达到最大化.在论述GPGPU微体系结构的基础上,该文重点讨论了多种针对GPGPU性能提升的线程调度优化方法,主要从针对优化分支转移提升线程级并行度、针对访存效率的提升和针对标量指令执行以提升资源利用率三方面的线程调度优化方法进行了分析和比较.另外,由于功耗问题已成为制约GPGPU发展的主要因素之一,该文还分析了影响GPGPU功耗效率的主要原因及目前提高GPGPU功耗效率的主要低功耗技术,并对目前针对GPGPU功耗优化的典型线程调度优化方法进行了分析比较.最后,该文指出了未来线程调度优化方法需要进一步探讨的一些问题.
- 何炎祥张军张军沈凡凡江南李清安
- 关键词：通用图形处理器功耗
- 基于LLVM的编译实验课程设计
- 针对新工科建设形势下,原有编译实验课程面临广度与深度不足、管理方式有待改进、个性化及技术前沿性不足等方面的挑战,分析国外一流高校编译实验课程设计的特点,提出基于LLVM设计编译实验课程的思路,以应对前述挑战.
- 李清安袁梦霆王汉飞吴黎兵何炎祥
- 关键词：实验教学
- 基于敬畏感的产品分享机制研究：小我感知视角
- 分享经济是未来经济的重要组成部分,是随着信息技术革命的发展满足人类社会发展需求的必然结果。分享经济的蓬勃发展将有助于推进信息经济理论的重大突破,还将有助于化解长期困扰人类发展的资源、环境、公平、信任等诸多难题。然而分享经...
- 李清安
- 关键词：敬畏感自我认同
- 文献传递
- 自动化代码尺寸缩减方法、装置、设备及可读存储介质
- 本发明提供一种自动化代码尺寸缩减方法、装置、设备及可读存储介质，该方法包括：将中间表示线性化为总指令序列IS；将总指令序列IS转化为无符号整数序列V；根据无符号整数序列V构造后缀树；从后缀树中获取冗余总数组RVV；生成冗...
- 李清安商文翰
- 分区内存体系结构片选指令优化方法
- 2016年
- 在分区内存体系结构中,如何尽可能少地插入片选指令是研究的热点。根据该问题的特点,构建了片选优化的图划分模型,并在该模型的基础上,提出了一种二阶段启发式搜索算法求解该问题。该算法首先根据节点自身的大小与图中分区大小快速获得一个初始可行解,然后在该可行解基础上利用节点之间边的权值和分区之间的权值作为启发式参数,搜索更优的解。通过对MiBench用例集和实际嵌入式系统的测试,验证了该模型及相应启发式算法的有效性,相对于VPAB算法,平均优化率达到37.99%,略优于成熟的商用编译器PICC,大幅度减少了片选指令的数量。
- 陈勇袁梦霆李清安
- 关键词：图模型启发式搜索嵌入式系统
- 绿色编译优化策略:研究综述被引量：2
- 2013年
- 随着人类活动对环境影响的日益增大,各种高能耗、低资源利用率、高污染电子设备的大量应用,给环境带来了严峻的挑战。如何减少对环境的破坏已经成为人们不可忽视的一个重要问题。编译器既是必不可少的基础软件,又是研制软件的重要工具,目前很多编译优化的研究已经从传统单纯的性能优化逐渐转变为对能耗、资源利用率等绿色需求相关优化的研究。根据现有的绿色需求相关定义以及编译器的主要特点,提出了绿色编译器的定义及其主要目标。针对各种面向绿色需求的新型体系结构,分别从总线、存储系统和处理器这三个组成计算机的重要部件出发,分析了现有编译器在软件运行过程中的相关优化方法及其可能的改进方案。最后,分析了编译器在提高软件测试效率,减少绿色指标软件开发过程中开销的相关方法,为以后绿色编译优化的研究奠定了基础。
- 何炎祥陈勇吴伟李清安江南徐超
- 关键词：能耗资源利用率
- 无线传感器网络中公钥机制研究综述被引量：9
- 2020年
- 物联网是当前学术界和产业界的研究热点,作为物联网主要构成部分之一的无线传感器网络(Wireless Sensor Networks,WSNs),其安全与人们的生活安全及隐私息息相关.过去近二十年来WSNs安全得到了广泛深入的研究,其中公钥机制从最初的不可行认知到现今的广泛研究应用,在WSNs中的可行性正逐渐被认可.然而公钥机制是否可以在WSNs中全面展开、其被引入到WSNs后会带来哪些问题、还有哪些尚未解决,这些都有待进一步探究.本文梳理了WSNs中公钥机制研究的高质量文献并将其归结为原语类、密钥管理类、认证与访问控制类、其他应用类,对比分析了各类文献中的经典研究工作,总结了WSNs中引入公钥机制的必要性、可行性及相关问题与挑战,针对这些挑战分析了其现有解决情况,最后对研究方向及可能的解决方案进行了展望.
- 何炎祥孙发军李清安何静汪吕蒙
- 关键词：传感器网络密钥协商密钥管理物联网
- 一个机器检测的Micro-Dalvik虚拟机模型被引量：5
- 2015年
- 给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后,以定理的形式描述了语义满足的性质,并得到证明.这个模型的指令集包括了大部分Dalvik虚拟机指令,为获得形式语义的清晰化,它在Dalvik VM指令集上进行了必要的抽象,对其实质没有改变,因而具有较大的实用性.该形式化模型通过了定理证明助手Isabelle/HOL的验证.
- 何炎祥江南李清安张军张军
- 关键词：形式化验证定理证明
- 基于消费者的消费品品牌资产评估与应用研究
- 李清安
- 关键词：消费者品牌资产品牌资产评估
- 基于建模与推理的命题逻辑教学方法研究
- 2019年
- 面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果.
- 袁梦霆李清安吴黎兵何炎祥
- 关键词：命题逻辑案例教学
