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

国家自然科学基金(91118003): 作品数：32被引量：117H指数：6; 导出分析报告; 相关作者：何炎祥李清安徐超陈勇江南更多>>; 相关机构：武汉大学徐州工业职业技术学院湖北工业大学东华理工大学更多>>; 相关期刊：《China Communications》《Tsinghua Science and Technology》《计算机学报》《Wuhan University Journal of Natural Sciences》更多>>; 相关主题：低功耗物联网定理证明可扩展总线编码更多>>; 相关领域：自动化与计算机技术农业科学轻工技术与工程更多>>

无线传感器网络中公钥机制研究综述被引量：12: 《计算机学报》2020年第3期381-408,共28页何炎祥孙发军李清安何静汪吕蒙; 国家自然科学基金(91118003,61373039,61502346)资助.; 物联网是当前学术界和产业界的研究热点,作为物联网主要构成部分之一的无线传感器网络(Wireless Sensor Networks,WSNs),其安全与人们的生活安全及隐私息息相关.过去近二十年来WSNs安全得到了广泛深入的研究,其中公钥机制从最初的不可...; 关键词：传感器网络安全综述密码学原语密钥协商密钥管理物联网

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

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 跨集群复制反向扫描跨行事务

SHMA:一种云平台的监控框架被引量：4: 《计算机科学》2017年第1期7-12,36,共7页陈林应时贾向阳; 国家自然科学基金面上项目:面向性能改善的SaaS软件部署方案自优化方法(61373038);国家自然科学基金重点项目:可信软件构造理论与方法研究(91118003)资助;国家863高技术研究发展计划:网构化软件运行支撑和在线管理技术与机制(2012AA011204-01); 由于云平台架构的复杂性和工作负载的不可预测性,云监控对保证云平台的高可用性有重要意义,云平台上资源的动态性、多样性以及资源规模巨大给云平台监控带来了一定的困难。研究并提出一种面向云平台的可扩展多层次监控框架SHMA,SHMA采...; 关键词：云监控微服务可扩展多层次

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

基于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阶段同步分支转移

DPTSV:A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation被引量：2: 《China Communications》2016年第1期161-175,共15页ZHAO Bo XIANG Shuang AN Yang TAO Wei; supported by the State Key Program of National Natural Science Foundation of China(Grant No.91118003);the National Natural Science Foundation of China(Grant No.61173138,61272452,61332019);the National Basic Research Program of China("973"Program)(Grant No.2014CB340600);the National High-Tech Research and Development Program of China("863"Program)(Grant No.2015AA016002); This paper analyzes the threat of TCG Software Stack(TSS)/TCM Service Module(TSM) deadlock in multi-user environment such as cloud and discusses its causes and mechanism.In addition,this paper puts forward a dynamic p...; 关键词：TCG software stack/TCM service module deadlock multi-user trusted platform module real-time value

基于k近邻最弱前置条件的程序多路径验证方法被引量：5: 《计算机学报》2015年第11期2203-2214,共12页郭曦王盼王建勇张焕国; 国家自然科学基金(61332019,61173138,61272452,91118003);国家“九七三”重点基础研究发展规划项目基金(2014CB340600);国家“八六三”高技术研究发展计划项目基金(2015AA016002);湖北省自然科学基金(2014CFB144);中央高校基本科研业务费专项基金(2662015QC009)资助~~; 程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性...; 关键词：程序验证静态分析最弱前置条件符号执行控制流图

新型非易失性存储器架构的缓存优化方法综述被引量：12: 《计算机研究与发展》2015年第6期1225-1241,共17页何炎祥沈凡凡张军江南李清安李建华; 国家自然科学基金重点项目(91118003);国家自然科学基金面上项目(61170022;61373039);国家自然科学青年基金项目(61402145);高等学校博士学科点专项科研基金项目(2013014111002512);安徽省自然科学青年基金项目(1508085QF138); 随着半导体工艺的发展,处理器集成的片上缓存越来越大,传统存储器件的漏电功耗问题日益严峻,如何设计高能效的片上存储架构已成为重要挑战.为解决这些问题,国内外研究者讨论了大量的新型非易失性存储技术,它们具有非易失性、低功耗和高...; 关键词：非易失性存储器存储技术计算机体系结构缓存优化方法

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(91118003)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(91118003)

检索结果分析

下载全文

用户登录

高级检索检索式检索