国家自然科学基金(60921002)

作品数：11被引量：26H指数：3
导出分析报告
相关作者：张兆庆刘志勇公帅熊锦华于洪涛更多>>
相关机构：中国科学院中国科学院大学中国科学院研究生院龙芯中科技术有限公司更多>>
相关期刊：《计算机学报》《高技术通讯》《网络新媒体技术》《计算机集成制造系统》更多>>
相关主题：体系结构副作用分析互操作微控制器匹配性更多>>
相关领域：自动化与计算机技术自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
边缘海静力数值预报模式并行算法研究
《计算机科学》2016年第1期14-17,29,共5页逄仁波 张云泉 谭光明 徐建良 贾海鹏 解庆春 
海洋公益性行业科研专项:海洋渔业安全环境保障服务系统关键技术研究及示范应用(201205006);国家自然科学基金面上项目(61272136);国家自然基金重点基金(61133005);国家自然基金创新群体成员(60921002);中国科学院计算技术研究所创新课题(20136030);中国科学院计算技术研究所计算机体系结构国家重点实验室创新课题(CARCH301)资助
边缘海静力数值模式是国内针对边缘海特点自主开发的数值预报模式,但该模式因物理求解方程较多且采用不宜并行化的SOR求解算法而程序计算时间过长。针对上述问题,提出基于三维网格和海洋模式特点的SOR并行求解算法,该算法在保留三维网...
关键词：数值模式 预报 并行 非阻塞 SOR 
Single-particle 3D reconstruction on specialized stream architecture and comparison with GPGPUs
《High Technology Letters》2014年第4期333-345,共13页段勃 Wang Wendi Tan Guangming Meng Dan 
Supported by the National Basic Research Program of China(No.2012CB316502);the National High Technology Research and DevelopmentProgram of China(No.2009AA01A129);the National Natural Science Foundation of China(No.60921002)
The wide acceptance and data deluge in medical imaging processing require faster and more efficient systems to be built.Due to the advances in heterogeneous architectures recently,there has been a resurgence in the fi...
关键词：Stream architecture general purpose graphic processing unit GPGPU） field programmable gate array （FPGA） CRYO-EM 
基于二进制插桩的共享指令集异构多核处理器进程迁移方法被引量：1
《高技术通讯》2014年第1期23-28,共6页刘宏伟 邱吉 高翔 陈云霁 
国家"核高基"科技重大专项课题(2009ZX01028-002-003;2009ZX01029-001-003;2010ZX01036-001-002);国家自然科学基金(60921002)资助项目
研究了异构多核处理器进程迁移的特点,针对目前解决共享指令集异构多核处理器异构多核间进程迁移方法存在效率、代价、兼容性或者可编程性上的不足,提出了一种基于二进制插桩的进程迁移方法,该方法能够充分利用共享指令集异构多核的优势...
关键词：共享指令集(ISA) 异构多核处理器 进程迁移 二进制插桩 内核模拟 
基于交互冲突的服务互操作匹配性检测被引量：9
《计算机学报》2013年第12期2479-2490,共12页公帅 熊锦华 刘志勇 
国家"九七三"重点基础研究发展规划项目基金(2007CB310805);国家科技支撑计划(2011BAH11B02);国家自然科学基金创新群体项目(60921002)资助~~
随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何实现快速检测的挑战,另一方面要解决如何准确地检测完整且精...
关键词：WEB服务 业务流程 互操作 匹配性检测 行为约束关系 
用于多核同步优化的cache一致性协议设计
《高技术通讯》2013年第11期1110-1116,共7页陈李维 张广飞 汪文祥 王焕东 李玲 
国家“核高基”科技重大专项课题(2009ZX01028-002-003,2009ZX01029-001-003,2010ZX01036-001-002);国家自然科学基金(60921002,61003064,61050002,61070025,61100163,61133004,61173001,61232009);863计划(2012AA010901,2012AA011002,2012AA012202,2013AA014301)资助项目
通过对多核同步过程中的访存行为进行分析,提出了一种识别同步类型的方法,并设计了一种实现同步优化的新的cache一致性协议。该协议增加了一个用于记录同步信息的cache状态,通过阻塞的方式可以让多个处理器核串行地完成同步操作,保证同...
关键词：同步 栅障 锁 CACHE一致性协议 片上多核处理器(CMPs) 
面向最终用户的组合服务推荐被引量：1
《计算机集成制造系统》2013年第8期1876-1882,共7页公帅 熊锦华 刘志勇 
国家973计划资助项目(2007CB310805);国家科技支撑计划资助项目(2011BAH11B02);国家自然科学基金创新群体资助项目(60921002)~~
为了提高服务组合的效率,提出基于混合相似度策略的组合服务推荐方法,基于用户未完成的组合服务来推荐相似度最高的若干已完成的组合服务。根据组合服务完成程度的不同,提出两种组合服务相似性度量方法:基于BCR模型的行为相似性度量和...
关键词：最终用户 组合服务 业务流程 相似度计算 服务推荐 
基于消息的内存系统关键技术研究被引量：1
《网络新媒体技术》2013年第1期29-37,共9页陈明宇 阮元 黄永兵 陈荔城 崔泽汉 陈明扬 
中科院战略性先导专项课题(编号:XDA06010401);973计划(编号:2011CB302502);国家自然科学基金(编号:60921002;60925009)
提出了一种基于异步的请求和应答消息的新型访存协议。相比于传统的同步总线式内存体系结构,可变粒度的访存提高了内存带宽的有效利用率,异步消息访问有利于内存容量的扩展。本文通过分析典型应用程序的访存行为评估了消息式内存可能带...
关键词：消息式 内存 体系结构 访存粒度 
计算与通信相结合的体系结构
《集成技术》2012年第1期89-92,共4页唐志敏 
国家"973"重点基础研究发展规划项目(2011CB302501);国家自然科学基金创新研究群体(60921002)资助
本文从应用和技术两个方面,分析了通信与计算相结合的计算机体系结构的研究与开发现状,以及云、网、端方面的新兴应用对处理器结构的需求,提出了适合通信应用的众核处理器研究思路。
关键词：相结合 体系结构 可编程处理器 通信网络 计算机应用 通信系统 处理器阵列 研究思路 计算技术 服务器 
别名集切片与并行化研究被引量：1
《计算机工程》2011年第21期6-10,共5页桑春雷 张兆庆 
国家"973"计划基金资助项目(2011CB302504);"核高基"重大专项(2009ZX01036-001-002);国家自然科学基金创新研究群体资助项目(60921002)
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序...
关键词：别名集切片 并行程序分析 切片技术 别名分析 程序检错 
静态检测中断驱动程序的数据竞争被引量：9
《计算机研究与发展》2011年第12期2290-2299,共10页霍玮 于洪涛 冯晓兵 张兆庆 
国家"八六三"高技术研究发展计划基金项目(2008AA01Z115);"核高基"国家重大科技专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展计划基金项目(2011CB302504);国家自然科学基金项目(60921002)
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一...
关键词：微控制器 中断驱动程序 数据竞争检测 过程间数据流分析 副作用分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部