期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
高层次数据流低功耗综合
1
作者 王冠军 马光胜 李光顺 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2009年第5期1331-1336,共6页
在基于Horner展开的基础上给出了高层次数据流低功耗综合方法。对电路的函数描述进行转换,得到最终的多项式形式,并应用Horner展开。根据Horner展开的结果对数据流进行调度、分配、绑定。在综合的过程中考虑绑定和布局对电路实现的互连... 在基于Horner展开的基础上给出了高层次数据流低功耗综合方法。对电路的函数描述进行转换,得到最终的多项式形式,并应用Horner展开。根据Horner展开的结果对数据流进行调度、分配、绑定。在综合的过程中考虑绑定和布局对电路实现的互连线长度的影响。通过减少互连线的长度,进而减少电路的功耗。该方法可以在满足电路设计性能和面积的前提下,得到较优的电路设计结果。实验结果表明,该方法比一般综合方法减少功耗约20%,说明了其有效性。 展开更多
关键词 计算机应用 低功耗 数据流综合 霍恩形式 高级综合 布图规划
下载PDF
一种综合数据流和控制流的协议测试集自动生成法 被引量:3
2
作者 王建国 吴建平 陈修环 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2000年第3期117-120,共4页
为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序... 为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。 展开更多
关键词 协议 计算机网络 测试集 综合数据流 控制流
原文传递
Analysis of ecological effects of comprehensive treatment in the Tarim River Basin using remote sensing data 被引量:4
3
作者 Tan Kelong Wang Xiaofeng Gao Huijun 《Mining Science and Technology》 EI CAS 2011年第4期519-524,共6页
Based on multi-type,multi-temporal remote sensing data,we have monitored recent changes in cultivated land use and vegetation,in sandy areas and salinized desertification in the Green Corridor zone of the main channel... Based on multi-type,multi-temporal remote sensing data,we have monitored recent changes in cultivated land use and vegetation,in sandy areas and salinized desertification in the Green Corridor zone of the main channel of the Tarim River Basin.The results of our investigation show that the ecological environment in the Green Corridor of the main channel of the Tarim River Basin has conspicuously improved from 2002 to 2004.These improvements show up largely in such aspects as an increase in the rate of vegetation cover,a reduction in desertification land areas and a weakening in the intensity of sandy and the salinized land.On the other hand,the cultivated area in the Tarim River Basin significantly increased from 2002 to 2004.The rate of growth in cultivated areas during this period was significantly higher than that from 1999 to 2002.The increase in the use of irrigation resulting from the substantial increase in cultivated areas has a long-term potential restraining effect on the restoration of ecological functions of the Tarim River. 展开更多
关键词 Ta-rim River Basin Cultivated land changes Water transportation Ecological effect Remote sensing
下载PDF
River management system development in Asia based on Data Integration and Analysis System(DIAS) under GEOSS 被引量:5
4
作者 Toshio KOIKE Petra KOUDELOVA +3 位作者 Patricia Ann JARANILLA-SANCHEZ Asif Mumtaz BHATTI Cho Thanda NYUNT Katsunori TAMAGAWA 《Science China Earth Sciences》 SCIE EI CAS CSCD 2015年第1期76-95,共20页
This paper introduces the process of development and practical use implementation of an advanced river management system for supporting integrated water resources management practices in Asian river basins under the f... This paper introduces the process of development and practical use implementation of an advanced river management system for supporting integrated water resources management practices in Asian river basins under the framework of GEOSS Asia water cycle initiative (AWCI). The system is based on integration of data from earth observation satellites and in-situ networks with other types of data, including numerical weather prediction model outputs, climate model outputs, geographical infor- mation, and socio-economic data. The system builds on the water and energy budget distributed hydrological model (WEB-DHM) that was adapted for specific conditions of studied basins, in particular snow and glacier phenomena and equipped with other functions such as dam operation optimization scheme and a set of tools for climate change impact assess- ment to be able to generate relevant information for policy and decision makers. In situ data were archived for 18 selected ba- sins at the Data Integration and Analysis System (DIAS) of Japan and demonstration projects were carded out showing poten- tial of the new system. It included climate change impact assessment on hydrological regimes, which is presently a critical step for sound management decisions. Results of such three case studies in Pakistan, Philippines, and Vietnam are provided here. 展开更多
关键词 integrated water resources management tools climate change impact assessment Asian river basins Asian Water Cycle Initiative
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部