Under the background of China's rapid urbanization, study on comparative analysis of the spatial structure of urban agglomerations between China and the US can provide the policy proposals of space optimization fo...Under the background of China's rapid urbanization, study on comparative analysis of the spatial structure of urban agglomerations between China and the US can provide the policy proposals of space optimization for the Chinese government. Taking the Beijing-Tianjin-Hebei(BTH) and Boswash as study area, we mapped the subpixel-level impervious surface coverage of the BTH and Boswash, respectively, from 1972 to 2011. Further, landscape metrics, gravitational model and spatial analysis were used to analyze the differences of the spatial structures between the BTH and Boswash. The results showed that(1) the area of the impervious surface increased rapidly in the BTH, while those remained stable in the Boswash.(2) The spatial structure of the BTH experienced different periods including isolated cities stage, dual-core cities stage, group cities stage and network-style cities stage, while those of the Boswash was more stable, and its spatial pattern showed a "point-axis" structure.(3) The spatial pattern of high-high assembling regions of the impervious surface exhibited a "standing pancake" feature in the BTH, while those showed a "multi-center, local aggregation and global discrete" feature in the Boswash.(4) All the percentages of the impervious surface of ecological, living, and production land of the BTH were higher than those of the Boswash. At last, from the perspective of space optimization of urban agglomeration, the development proposals for the BTH were proposed.展开更多
微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方...微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是"申威-1号"RTL级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析.展开更多
基金National Natural Science Foundation of China,No.41671339
文摘Under the background of China's rapid urbanization, study on comparative analysis of the spatial structure of urban agglomerations between China and the US can provide the policy proposals of space optimization for the Chinese government. Taking the Beijing-Tianjin-Hebei(BTH) and Boswash as study area, we mapped the subpixel-level impervious surface coverage of the BTH and Boswash, respectively, from 1972 to 2011. Further, landscape metrics, gravitational model and spatial analysis were used to analyze the differences of the spatial structures between the BTH and Boswash. The results showed that(1) the area of the impervious surface increased rapidly in the BTH, while those remained stable in the Boswash.(2) The spatial structure of the BTH experienced different periods including isolated cities stage, dual-core cities stage, group cities stage and network-style cities stage, while those of the Boswash was more stable, and its spatial pattern showed a "point-axis" structure.(3) The spatial pattern of high-high assembling regions of the impervious surface exhibited a "standing pancake" feature in the BTH, while those showed a "multi-center, local aggregation and global discrete" feature in the Boswash.(4) All the percentages of the impervious surface of ecological, living, and production land of the BTH were higher than those of the Boswash. At last, from the perspective of space optimization of urban agglomeration, the development proposals for the BTH were proposed.
文摘微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是"申威-1号"RTL级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析.
