城市绿化带雨洪利用的蓄滞作用分析——以宝鸡市北坡生态公园为例

分析了城市绿化带雨洪利用的蓄滞过程,该过程的核心是把雨洪蓄积及下渗与绿化带相结合,实现城市雨洪利用的规模化和可控化.对城市绿化带及服务区域的产流做了初步的计算,给出了两区域的产流强度公式,确立了在绿化带区域实施雨洪叠加利用、蓄渗结合的思想,并按照该原则对宝鸡市北坡生态公园的两广场作了详细的雨洪利用规划,根据两广场的实际状况实现雨洪的梯级蓄积利用,并确定了将广场绿化带实施低势改造的方式,对类似区域开展雨洪利用规划具有一定的借鉴意义.     

基于SynoTPys VMM方法的FPGA验证技术

针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.     

基于Synopsys VMM方法的FPGA验证技术

针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.     

户用风力发电与电网联合供电模式浅析

在分析风力发电发展现状,以及目前几种小型风力发电常用供电模式的基础上,指出了“户用风力发电与电网联合供电”模式具有更大的发展潜力,并将其与“风光互补”模式在经济性方面进行了详细的对比分析.介绍了这种模式在节能、环保,以及安全性等方面的突出优点和国内外研究现状,认为在电网覆盖地区,为了减少消耗不可再生能源、保护环境、降低电网负荷,值得推广“户用风力发电与电网联合供电”模式.     

FPGA通用验证平台建立方法研究

现场可编程门阵列(Field Programmable Gate Array,FPGA)的设计可靠性直接影响产品的可靠性,因此必须对FPGA设计进行高效和充分的验证.对传统功能仿真验证进行了分析,从验证方法和方法学角度阐述了验证平台的发展趋势,提出并实现了一种层次化的通用验证平台,利用该平台对两个被测设计(Design Under Test,DUT)进行验证.验证结果表明,该方法建立起的验证平台具备一定的通用性,可有效提高验证覆盖率和验证效率.     

两种管径比的绕流热柱体旋涡信号比较

在考虑壁面热效应的情况下,当雷诺数为0.6×104~5.0×104,分别对管径比为0.4和0.24两种工况下的柱体尾迹旋涡脱落的流动情况进行实验.结果表明:加热使得旋涡流动发生明显变化,其影响表现在旋涡脱落信号傅里叶变换峰值的改变上;这种影响随雷诺数的变化有一临界值ReL,加热在ReL两侧对旋涡所起作用相反,并且ReL随管径比的不同而不同.通过对不同管径比工况的分析比较,发现同等加热强度下小管径比的壁面热效应对旋涡流动影响更明显.     

互动是网络电视的未来

大概在2001年,笔者和电影资料馆一位资深人士闲聊未来电视、电影发展的时候,笔者提到将来希望可以出现一种新的电视模式,用户可以和电视内容互动,可以通过自己的选择来改变电视的结局。但是尽管当时我们谈了很多这类节目的未来发展,同时我们也清醒地认为这样的互动必须基于一个快速完善的网络环境,至少带宽问题不会成为瓶颈。     

集值统计法及其应用研究

运用集值统计法,对防空作战能力进行评估,为作战指挥员正确决策提供科学依据.