-
题名机载SAR实时成像系统中的数据可视化研究
被引量：2
- 1
-
-
作者
王堃
章立生
王宏安
王贞松
韩承德
戴国忠
-
机构
中国科学院软件研究所人机交互技术与智能信息处理实验室
中国科学院计算技术研究所计算机系统结构研究室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第1期26-32,共7页
-
基金
国家自然科学基金重大项目 (698962 5 0 )
国家自然科学基金重点项目 (7993 10 0 0 )
国家"八六三"高技术研究发展计划重点课题基金 (2 0 0 1AA413 0 2 0 )
-
文摘
SAR实时成像系统在国防等很多领域都有着重要的应用 ,系统对数据可视化方面的要求也越来越高 ,但目前国内对SAR实时成像系统的数据可视化方面的研究还不多 提出了一种针对SAR实时成像系统的新的数据可视化方案 ,并已在实际的飞行成像中得到了检验 新方案实时提供的信息更全面、更直观、可分析性更强 ,具有较强的信息表现能力和双向实时交互能力 ,能够较好地辅助对图像的在线分析
-
关键词
机载SAR
实时成像系统
数据可视化
合成孔径雷达
缩略图
-
Keywords
SAR
real-time imaging
visualization
thumbnail
-
分类号
TN958
[电子电信—信号与信息处理]
-
-
题名单片系统(SoC)设计技术
被引量：12
- 2
-
-
作者
陈岚
唐志敏
-
机构
中国科学院计算技术研究所计算机系统结构研究室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第1期9-16,共8页
-
基金
国家自然科学基金 (69773 0 0 7)
中国科学院计算技术研究所领域前沿青年基金 (2 0 0 0 60 10 )资助
-
文摘
集成电路技术在近 10年里有了飞速的发展 ,加工工艺从 0 .5μm ,0 .6μm亚微米级工艺发展到 0 .2 5μm ,0 .18μm甚至 0 .1μm的深亚微米 (DSM)和超深亚微米级工艺 (VDSM) .单芯片集成度大大提高 ,加上集成电路设计的多年积累 ,单个芯片有能力实现复杂系统 ,这就是单片系统 (system on a chip) .在单芯片上实现复杂系统不是简单地将过去的设计在同一芯片上简单的集成 ,需要考虑许多新的技术问题 .将介绍单片系统的设计特点以及涉及单片系统设计的关键技术 ,其中包括设计复用技术、使用 IP核的注意事项以及端口标准化等问题 ;深亚微米设计的设计要点和难点 :深亚微米电路的电学模型以及连线延迟计算方法和避免传输线效应的方法 ;同时还将介绍单片系统的测试技术和一些测试方案 ,物理综合概念和目前流行的能提供深亚微米设计能力的主流
-
关键词
单片系统
可测试性设计
物理综合
集成电路
涤亚微米加工
-
Keywords
system on a chip, design reuse, IP core, design for test, physical synthesis
-
分类号
TN402
[电子电信—微电子学与固体电子学]
-
-
题名整数乘法电路的形式化验证方法研究
被引量：6
- 3
-
-
作者
王海霞
韩承德
-
机构
中国科学院计算技术研究所计算机系统结构研究室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2005年第3期404-410,共7页
-
基金
国家自然科学基金项目(69896250-1)
-
文摘
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸,解决该问题的一种有效途径是采用反向替换方法.函数替换算法是反向替换方法的核心算法,如果保证被替换变量位于被替换函数的决策图顶层,替换算法可以简化.通过设置变量序和限定变量替换顺序,提出了一种保证被替换变量始终位于被替换函数决策图的顶层的反向替换方法,可极大降低整数乘法器验证的运行时间和内存使用量.实验结果表明,采用改进的反向替换方法,在1GB内存下,可将Add-Step乘法器的验证规模从84×84位提高到256×256位,将Diagonal乘法器的验证规模从84×84位提高到206×206位.
-
关键词
形式验证
决策图
＊PHDD
反向替换方法
-
Keywords
formal verification
decision diagram
* PHDD
backward substitution method
-
分类号
TP391.7
[自动化与计算机技术—计算机应用技术]
-
-
题名数字灌区网格GIS的系统框架
被引量：7
- 4
-
-
作者
方金云
张汉松
陈春仔
何建邦
-
机构
中国科学院计算技术研究所计算机系统结构研究室
中国灌溉排水发展中心
国土资源部信息中心
中国科学院地理科学与资源研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第12期1689-1693,共5页
-
基金
国家"八六三"高技术研究发展计划基金 ( 2 0 0 1AA13 5 2 10
2 0 0 2AA114 0 2 0 )
中国科学院计算技术研究所知识创新项目 ( 2 0 0 3 60 2 0)
-
文摘
实现灌区信息的互联互通互操作是数字灌区建设的重要目标 ,网格GIS是实现数字灌区建设目标的关键技术 提出了灌区网格GIS系统框架 ,包括灌区数据标准、规范与共享 ;空间数据库群和业务数据库集成管理 ;灌区服务体系和灌区应用示范等方面内容 在系统中数据库群之间的集成依靠虚拟数据库技术和联邦数据库技术 ,系统的服务划分为本地服务和协同服务 。
-
关键词
灌区
网格
织女星地理信息系统
地理信息系统
系统框架
-
Keywords
irrigated district
grid computing
Vega GIS
GIS
system framework
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名支持有向有环图的微调度方法
被引量：1
- 5
-
-
作者
文严治
连瑞琦
吴承勇
冯晓兵
张兆庆
-
机构
中国科学院计算技术研究所计算机系统结构研究室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2005年第3期387-393,共7页
-
基金
国家"八六三"高技术研究发展计划软件重大专项基金项目(2002AA1Z2104)国家"八六三"高技术研究发展计划基金项目(2001AA111061)
-
文摘
指令调度是编译器中的重要优化阶段.如何充分利用处理器结构相关的资源,发掘程序并行性,以提高编译优化性能和增强代码可适应性,一直是指令调度的研究难点之一.目前微调度已经取得了一定的效果,但对软件流水产生的有向有环图则未能提供支持.在ORC中提出并实现了一种基于IA-64体系结构的支持有向有环图的微调度方法,有效地减少了程序执行周期和流水线停顿,取得了较为满意的编译优化性能.
-
关键词
有向有环图
模调度
微调度
-
Keywords
directed cyclic graph
modulo scheduling
micro-scheduling
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
