摘要：为了使用尽可能少的RSU实现对目标区域的有效覆盖,设计c街道模型,将对区域的覆盖转化为对区域内街道的覆盖,然后,在该模型下提出基于贪心策略的多项式(GBP,greedy-based polynomial)时间近似算法,得到RSU的部署方案以解决覆盖问题。针对城市中一些地形复杂的区域,设计Cue模型(complex urban environment model),将目标区域划分为子区域,然后提出基于shifting策略的多项式时间近似算法,并对算法的近似比率和时间复杂度进行了理论分析与证明。仿真结果表明,算法GBP能够有效地解决城市环境车联网中的区域覆盖问题。

摘要：给出了用库中的一组存储器模块来综合一个源存储器模块的方法 ,该方法支持使用高层次综合和设计再利用的现代 VISI设计方法学 .定义存储器的映射为端口映射、字长映射和字数映射 ,最后把这 3个子问题综合起来形成完整的算法 .实验结果表明 ,寄存器传输级工艺映射(RTLM)

摘要：为在一定的时间限制下得到最少的缓冲器插入数目和连线分段数目 ,提出了一种深亚微米电路设计方法 .该方法通过将传统的可变尺寸驱动连线模型改为缓冲器连线分段模型 ,得到了最优的缓冲器插入数目和连线分段数目 .实验结果表明 ,在不同的时间限制下 。

摘要：功耗估计是数字 VLSI设计中需要重点考虑的因数 .由于芯片管腿数的增加 ,通过穷举仿真获得电路平均功耗的方法也越来越不现实 .文中将最小平方估计方法应用于 COMS VLSI的平均功耗估计 .该方法与电路功耗的概率分布无关 ,而且是无偏估计 .在 ISCAS85基准电路上的仿真结果表明 ,新方法与 Monte Carlo方法相比 。

摘要：基于生物启发的分子通信是一种以生物化学分子作为信息载体、用于互联纳米机器以组成分布式纳米网络的通信技术。归纳了分子通信的定义和特性,以及基于分子通信纳米网络的应用领域和国内外相关领域的重要科研活动与项目;介绍了分子通信的系统结构,其中重点描述了信息分子的传输机制;分别从系统的设计与实现、理论研究和基于分子通信的纳米网络技术3个方向总结和分析了分子通信的研究与发展现状,并展望了未来的研究方向。

摘要：通过实地研究主要位于宜兴市域的区域乡村景观代表性样方，评价并阐明了人口密集的长江下游平原区乡村景观的结构，土地管理与土壤有机碳储量的关系。景观绘图是基于1m分辨率的IKONOS影像并采用生态立地分类及绘图标准，通过直接解译和实地检验对边界清晰的均质景观缀块进行分类和绘图；依据区域权重分层取样设计方法，在生态立地斑块中随机设定取样点进行土壤和淤泥取样；利用区域权重系数进行区域土地利用／覆被和土壤有机碳储量评价计算。结果表明：在2．13×106hm^2的长江下游平原区乡村景观面积范围内，0-30cm土壤有机碳储量为76．97h。该区域土地利用／覆被的主要类型为水田，水产养殖，非渗漏性建筑用地，旱地1年生作物和水浇地多年生作物，这5种类型的面积百分数和土壤有机碳储量百分数分别为83％和85％。其中平原稻田面积为0．89×10^6hm^2，占总面积的42％；其0—30cm土壤有机碳储量高达36．60h，占总储量的48％。通过区域分层取样和小尺度景观斑块的区域权重推绎分析，揭示了人口密集的乡村景观中土地利用／覆被方式对当地和区域土壤有机碳的影响模式。这种在小尺度下对土地管理调查，土壤有机碳和其它生态特征研究的方法明显优于传统的基于30—1000m分辨率遥感影像的土地覆被研究和基于土壤类型的区域土壤有机碳储量评价方法。

摘要：为了提高轴向变量柱塞泵/马达小排量时的综合效率,基于柱塞式液压泵阀配流原理,引入变有效排量(VVD)理论,提出采用液控单向阀控制柱塞单元有效输出/输入实现轴向柱塞泵/马达配流及变量的配流机构,介绍变量阀配流机构的基本原理.基于AMEsim建立物理模型进行仿真研究,将变量阀配流机构应用于弯轴式轴向柱塞马达进行初步的原理样机实验研究.仿真和原理样机试验结果表明,采用该配流机构能够实现设计的配流、变量功能,具有提高高压泵/马达容积效率以及简化液压系统的潜在优点.

摘要：将感应电流磁共振电阻抗成像(IC-MREIT)应用于人体头部组织电导率重构,并在三层球头模型上进行仿真研究。首先建立二次磁场Z方向磁感应强度摄动对有限元头模型中单元电导率摄动的灵敏度矩阵;然后分析系统中激励线圈个数、激励线圈与三层球头模型相对位置及激励线圈半径等因素对灵敏度矩阵性态的影响,为IC-MREIT系统激励线圈优化设计提供指导;最后采用灵敏度矩阵法对三层球头模型非均匀电导率分布进行重构,仿真结果证明IC-MREIT技术用于重构头部组织电导率分布是可行的,在无创头部组织电导率检测领域具有潜在的应用价值。

摘要：提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.

摘要：基于铁磁性材料的磁致伸缩特性,提出一种用于非铁磁性板结构损伤检测的磁致伸缩传感器。该传感器分为激励和接收两部分,由8字型线圈、镍带以及偏置永磁铁组成。根据磁致伸缩效应,激励部分在板中激励导波,波在板中传播,遇缺陷及边缘反射,通过磁致伸缩逆效应,由接收部分接收其反射信号。根据反射信号的到达时间和波在板中传播的速度,可判断出板中缺陷所在位置。改变恒定偏置磁场与时变磁场的方向可以在板中激励不同波型的导波。实验结果证明:该传感器设计是可行的,且具有价格便宜、灵敏度高、可与被测结构分离等优点。