摘要：数字签核是帮助数字芯片设计者确保开发产品的功能性和完备性的工具,由于先进工艺数字芯片流片费用极为昂贵,流片前签核的重要性越来越高。本文介绍了数字签核的两个关键环节时序和噪声验证,具体阐述了时序和噪声验证环节的核心挑战、关键技术和基本流程,并就新兴技术的结合进行详细讨论。

摘要：日益增长的数据量对数据处理的要求越来越高,于是出现了数据密集型服务。在解决复杂问题时,多个数据密集型服务通常会形成一个服务组合。由于服务组件之间存在大量的数据传输,巨大的传输时延会对系统的整体性能造成影响。在边缘计算环境中,基于否定选择算法,为降低服务组合中的数据传输时间提出了一种优化部署策略。首先,给出了此类数据密集型服务组件部署问题的定义,并为该部署问题构建优化模型;然后,设计了一种否定选择算法来获取最佳的部署方案;为了评估该算法的适用性和收敛性,使用遗传算法和模拟退火算法与其对比,结果显示,提出的算法在这种数据密集型服务组件的部署问题中表现得更为出色。

摘要：目前基于彩色图像的手姿态2D关键点热图估计大多数采用卷积姿势机或沙漏网络进行,但这两种网络不能同时满足高分辨率表示保持学习和多尺度特征融合。针对该问题引用了一种多尺度高分辨率保持的网络,该网络采用高低分辨率表示并行设计的结构,并通过融合所有分辨率表示增强各分辨率表示的特征,而且拥有多个阶段提取高质量特征用于2D热图估计。为得到3D手姿态,还使用了全局旋转视角不变的方法将2D热图映射到3D姿态。在三个公开数据集(RHD、STB、Dexter+Object)上分别对2D手姿态估计和3D手姿态估计进行了实验,结果验证了该方法在手姿态估计中的有效性。

摘要：针对传统广播覆盖有限,覆盖成本及维护成本高,容易受干扰,应急预警和信息发布能力差等问题,提出了一种基于云计算和3G的新型的数字化广播系统设计方案.该系统由播控平台、播控终端以及接收终端三部分构成,系统利用电信3G网络的基础设施,实现分组和定点广播,很好地解决了应急情况下的紧急广播问题.通过实验验证,系统具有资源集中、弹性供给、终端简化、快速部署的优点.

摘要：为获取及时、准确的车辆位置信息,研究基于ARM Cortex-A7嵌入式处理器架构以及Android的车载定位系统。以车载定位为应用背景,提供了整个系统的软/硬件解决方案,实现了及时、准确的车载定位功能。首先对项目背景、系统框架作了简单介绍,提出了系统的软/硬件性能指标,确定了器件选型,随后介绍了系统的软/硬件设计方案,包括原理图设计、PCB设计及系统软件流程等,最后对整个系统进行了测试,结果表明:系统运行稳定,能够精确实现定位功能。

摘要：设计并实现了交通安全信息主动推送系统,根据车辆位置,通过手机终端将高速公路上的道路交通安全信息主动推送给驾驶员。为满足推送需求设计并实现了一种基于地图投影的兴趣点(Point of Interest,POI)检索算法。首先分析了基于位置服务(Location Based Service,LBS)云检索的工作模式,在此基础上提出一种G_Cell算法,该算法利用高斯投影原理将地图网格化,实现了一种基于位置服务的POI检索算法。实验结果表明:所提出的G_Cell算法比直接计算两点之间的距离算法更稳定、有效。

摘要：随着导航系统的发展,车载导航系统的装配量越来越大,用户和市场对导航系统的定位精度要求越来越高。本文设计了基于北斗高精度定位车载导航系统,装配了具有强大处理能力的处理器和适合航位推算的传感器模块。不仅采用高精度定位模块提高了定位精确度,而且从软件方面也可以提高定位精确度,例如采用提高定位精确度的成熟算法,例如卡尔曼滤波、航位推算及地图匹配等。可以达到车道级定位精确度。

摘要：结合道路出行者对交通事件信息的需求,基于Android操作系统,采用Netty通信框架与JSON数据封装格式,设计了城市交通信息快速告知终端,实现了与城市交通信息推送集成管理平台间的数据交互;应用百度语音合成、百度地图开发和SQLite数据库操作等相关技术,整体上实现了交通事件信息的采集与上传、信息接收与处理、信息播报以及车主互通等功能。测试结果表明:终端性能可靠,能有效完成数据处理和实时交通事件信息展示。

摘要：针对当前计算机辅助城市规划系统中普遍存在数据交换能力弱、协同性不强、效率低等问题,设计并实现了一个全新的计算机辅助城市规划系统,即CAUPS.详细介绍了CAUPS中实体关系的定义和构成,采用KQML的消息格式来完成多实体Agent间的通信,同时KQML也被用作实体Agent与知识库中规则间的交互传递方式.在此基础上利用实体关系可以定制出符合用户需求的评估模型.在性能上使用轻量级控制策略和重量级控制策略,实现了多实体Agent间的同步、协调和控制.基于实体关系自定义的评估模型实现方法以及多Agent协作策略等技术已成功应用于杭州钱塘江沿岸规划项目中.

摘要：在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证。提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段。探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础。最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验证和提高网构软件系统的相关质量属性。