云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(61170022)

国家自然科学基金(61170022): 作品数：22被引量：141H指数：5; 导出分析报告; 相关作者：何炎祥徐超陈勇李清安吴伟更多>>; 相关机构：武汉大学徐州工业职业技术学院湖北工业大学贺州学院更多>>; 相关期刊：《微特电机》《变压器》《计算机学报》《Wuhan University Journal of Natural Sciences》更多>>; 相关主题：低功耗定理证明线程调度线程通用图形处理器更多>>; 相关领域：自动化与计算机技术电气工程更多>>

机械化定理证明研究综述被引量：13: 《软件学报》2020年第1期82-112,共31页江南李清安汪吕蒙张晓瞳何炎祥; 国家自然科学基金(90818018,91018009,61170022,91118003,61373039);华为技术有限公司合作项目(YB2015090035);湖北工业大学校博士科研启动基金(BSQD2017043)。; 随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明...; 关键词：定理证明证明助手消解自然演绎类型化的λ演算编程逻辑求精

硅钢卷材二维剪切下料问题的一种求解算法被引量：7: 《变压器》2018年第3期17-20,共4页朱强薛峰李碧青; 国家自然科学基金面上项目(61170022);广西自然科学基金项目(2015GXNFBA139264);贺州市科技开发项目(1506002); 本文中作者讨论了硅钢卷材二维剪切下料问题。提出了一种顺序启发式下料算法,并通过实际生产中的实例计算验证了本文中算法的正确性。; 关键词：硅钢卷材剪切下料排样

基于4块排样方式的电机用圆形片下料算法被引量：4: 《微特电机》2017年第10期74-77,共4页高淑婷李碧青; 国家自然科学基金项目(61170022);广西自然科学基金项目(2015GXNFBA139264); 介绍一种基于4块排样方式的下料算法。构造4块排样方式的无约束生成算法和有约束生成算法;然后采用线性规划规划算法迭代调用无约束排样算法生成第一部分下料方案,采用顺序启发式算法顺序调用有约束排样算法生成第二部分下料方案;最后...; 关键词：圆形片下料 4块排样方式下料算法电机铁心

Feedback Learning Based Dead Write Termination for Energy Efficient STT-RAM Caches: 《Chinese Journal of Electronics》2017年第3期460-467,共8页SHEN Fanfan HE Yanxiang ZHANG Jun JIANG Nan LI Qing'an LI Jianhua; supported by the National Natural Science Foundation of China(No.91118003,No.61170022,No.61373039,No.61402145,No.61502346);the Natural Science Foundation of Hubei Province(No.2015CFB338);the Natural Science Foundation of Anhui Province(No.1508085QF138);the Science and Technology Project of Jiangxi Province Education Department(No.GJJ150605); Spin-torque transfer RAM(STT-RAM) is a promising candidate to replace SRAM for larger Last level cache(LLC). However, it has long write latency and high write energy which diminish the benefit of adopting STT-RAM cach...; 关键词：Dead blocks Energy efficiency Spintransfer torque RAM(STT-RAM) Last level cache(LLC)

HBase针对移动互联网业务的改进与优化: 《小型微型计算机系统》2017年第5期1158-1163,共6页雷军刘绍辉冯宏华何炎祥; 国家自然科学基金面上项目(61170022)资助;国家自然科学基金重点项目(91118003)资助; Apache HBase是当前互联网公司广为使用的开源NoSQL数据库.小米公司几乎所有的在线业务,包括米聊和小米云服务,都使用HBase作后端存储.在海量数据处理应用中,发现HBase的功能存在一定的缺失,在写入吞吐量等性能度量上存在瓶颈.本文针对...; 关键词：HBASE 跨集群复制反向扫描跨行事务

Semi-supervised Software Defect Prediction Using Task-Driven Dictionary Learning被引量：2: 《Chinese Journal of Electronics》2016年第6期1089-1096,共8页CHENG Ming WU Guoqing YUAN Mengting WAN Hongyan; supported by the National Natural Science Foundation of China(No.91118003,No.61170022,No.61003071); We present a semi-supervised approach for software defect prediction. The proposed method is designed to address the special problematic characteristics of software defect datasets, namely, lack of labeled samples and...; 关键词：Software defect prediction Task-driven dictionary learning Cost-sensitive Semi-supervised learning Sparse representation

通用图形处理器线程调度优化方法研究综述被引量：4: 《计算机学报》2016年第9期1733-1749,共17页何炎祥张军沈凡凡江南李清安刘子骏; 国家自然科学基金(61170022,61373039,61462004)资助; 随着通用图形处理器(GPGPU)并行计算能力的日益增强,其应用范围越来越广.然而由于不规则计算任务使得通用图形处理器资源难以得到充分利用,其性能并未达到最大化.在论述GPGPU微体系结构的基础上,该文重点讨论了多种针对GPGPU性能提升的...; 关键词：通用图形处理器线程调度优化性能功耗

基于2阶段同步的GPGPU线程块压缩调度方法被引量：1: 《计算机研究与发展》2016年第6期1173-1185,共13页张军何炎祥沈凡凡江南李清安; 国家自然科学基金重点项目(91118003);国家自然科学基金项目(61373039,61170022,61462004);江西省教育厅科技项目(GJJ150605)~~; 通用图形处理器(general purpose graphics processing unit,GPGPU)在面向高性能计算、高吞吐量的通用计算领域的应用日益广泛,它采用的SIMD(single instruction multiple data)执行模式使其能获得强大的并行计算能力.目前主流的通用图...; 关键词：通用图形处理器线程调度线程块压缩重组 2阶段同步分支转移

基于符号执行的能耗错误检测方法被引量：2: 《电子学报》2016年第5期1040-1050,共11页徐超陈勇葛红美何炎祥; 国家自然科学基金(No.61170022);江苏省高校自然科学研究面上项目(No.15KJB520019);江苏省"六大人才"高峰项目资助;江苏省高校"青蓝工程"优秀青年骨干教师培养对象资助;江苏高校优势学科建设工程资助项目; 能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类...; 关键词：能耗错误符号执行错误检测过程内分析过程间分析

基于主谓情感差异性句法分析框架的跨语言情感分析: 《小型微型计算机系统》2016年第3期494-498,共5页伊马木.达吾提何炎祥刘续乐; 国家自然科学基金面上项目61303115)资助;国家自然科学基金项目(61170022)资助; 随着互联网的快速发展和全球化进程的加快,因特网提供的信息资源呈现出多语言化的特点.各语言可利用资源的不平衡给网络信息的研究和利用带来障碍.在此背景之下,利用资源丰富语言对资源贫乏语言进行情感分析具有重要的应用价值与现实意...; 关键词：跨语言情感分析句法分析 STANFORD PARSER 贝叶斯分类

国家自然科学基金(61170022)