面向SOC芯片的跨时钟域设计和验证

随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。CDC设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz、10个时钟域设计、多种工作模式),该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。

心脏核磁共振图像左心室底层组织分割方法

提出了一种基于局部灰度聚类(LIC)模型和分水岭算法的心脏核磁共振成像(MRI)图像左心室底层组织分割方法.首先,使用LIC模型对图像进行初步分割,提取出图像中的组织和器官;然后,使用分水岭算法弥补粘连的不同组织或器官之间缺失的边界,将其分开,人工选取种子点进行区域生长初步提取左心室;最后,利用左心室形状特征的先验知识判断提取的左心室中是否包含主动脉,若包含则去除主动脉,得到精确的左心室分割结果.实验结果表明,该方法能有效去除心脏MRI图像上左心室底层存在的弱边界和边缘泄露的影响,得到准确的左心室底层组织分割结果.

我国地方产业集群内创新动力的生成与衍化机制:产业技术轨道视角

产业技术轨道的缺失与低端循环锁定是形成我国地方产业集群内自主创新动力普遍不足和产业升级能力缺乏的关键因素。模块化条件下,产业集群竞争优势更主要体现在产业技术轨道的主导权与控制权方面。通过建构“3力”模型和主因素分解,解析了转型背景下影响我国地方产业集群内产业技术轨道生成与衍化动力的制度、技术、产业特征、外向关联度等方面的关键因素,指明主企业领导型企业网络对现阶段我国地方产业集群内产业技术轨道生成与衍化的重要推动作用。雁阵式、辐射式与中介式技术转移扩散平台模式对促进我国传统型地方产业集群产业技术轨道的形成具有现实作用。

自驱动往复式高压水射流泡沫冲砂装置研究

采用高压水射流泡沫冲洗油管是油管内冲砂解堵的有效手段,冲砂装置的结构与性能决定了冲砂解堵的效率。选择圆锥收敛形冲砂喷嘴进行了水力冲砂性能的试验研究,确立了水力模型,构建三维建模虚拟样机并进行运动仿真及可行性分析。提出了液流自动力双向往复式旋转喷头的设计构想,为冲砂喷头的研制提供了新的研究方向。

高强度开发地区可持续交通发展模式规划研究——以深圳市前海深港现代服务业合作区为例

为减少或避免高强度开发地区未来可能遇到的交通拥堵问题,在规划初期应明确其交通发展模式。以深圳市前海深港现代服务业合作区为例,分析城市与区域中心开发中的关键问题,以目标为导向,确定各类交通方式的合理规模,探讨可行对策,最终确立适宜的交通结构,并把规划方案反馈于城市与区域中心的交通基础设施建设。最后,利用Logit模型研究出行影响因子,从规划、政策及投资三方面提出保障措施。

单层叉筒网壳的预应力研究

对拉索预应力单层叉筒网壳的非线性分析方法进行了深入的研究,采用有初始应变的拉索单元来引入预应力,可方便地进行预应力结构的非线性分析,拉索单元始终包含在结构模型中,分析准确而高效.本文提出了初始应变分析法与预应力结构的张拉锚固和使用各阶段的对应关系,即将预应力张拉锚固施工作为非线性分析的第一增量步处理,从而实现了连续的非线性分析.应用初始应变分析法,探讨了设置于支座间的预应力拉索和辐射状预应力拉索对单层叉筒网壳结构的作用.

筒式减振器瞬态双向流固耦合仿真系统的开发设计

通过现场试验,发现减振器在低速区动态效应明显,在最大速度点处可以忽略动态效应,并根据试验建立了阻尼力的计算公式。分析了Dytran的显式算法及其进行双向流固耦合计算的理论框架,探讨了降低流固耦合仿真计算规模和提高计算精度的方法,开发了筒式液压减振器瞬态双向流固耦合有限元分析系统。通过仿真分析获得了各速度点下的阻尼力值,其误差在10%以内,同时确定了筒内流场及空穴的分布。仿真模型可用于冲击载荷响应和流致振动研究。

局部双层叉筒网壳的非线性和线性分析

叉筒网壳由圆柱面网壳交贯而成,局部双层叉筒网壳是介于双层叉筒网壳和单层叉筒网壳之间的网壳结构形式.本文首先提出了三种局部双层网壳的构成方式,继而针对局部双层叉筒网壳的布局特点,对其进行了非线性、线性、刚接、铰接等多种计算模型的比较分析,揭示了双层区域的线性性质和单层区域的非线性性质,进而有的放矢地提出了“非线性-线性联合”这种适合局部双层网壳分析的合理、准确、高效的方法.

自适应尺度参数的非均匀图像快速水平集分割

由于不同对象区域之间强度范围的重合,在存在强度不均匀的情况下很难分割图像。针对这一问题,提出一种新的水平集分割方法。在非均匀图像模型的基础上,推导出图像域的最优分割平面。在平面上,提出一种新的基于区域的压力函数,并在水平集公式中定义一个能量泛函。通过对能量泛函最小化,在对非均匀图像分割的同时,对偏置场进行估计。另外,为了准确估计偏置场,针对核函数设计一种新的自适应尺度参数。在真实图像和人工合成图像上的实验结果表明,该方法在精度、效率和鲁棒性方面有很好的优越性。

典型工况下集中供热管网水力特性分析

介绍集中供热管网水力基本模型、计算模型。通过模拟一级管网,对两种典型运行方式(水泵定扬程和末端定压差)下供热管网的初调节、用户阀门调节的管网水力特性进行分析。