基于卡口上下文和深度置信网络的车辆轨迹预测模型研究

针对车辆轨迹预测中节点序列的时序特性和实际路网中的空间关联性,该文提出一种基于深度置信网络和SoftMax (DBN-SoftMax)轨迹预测方法.首先,考虑到轨迹在节点集合中的强稀疏性和一般特征学习方法对新特征的泛化能力不足,该文利用深度置信网络(DBN)较强的无监督特征学习能力,达到提取轨迹局部空间特性的目的;然后,针对轨迹的时序特性,该文采用逻辑回归的预测思路,用当前轨迹集在路网特征空间中的线性组合来预测轨迹;最后,结合自然语言处理领域中的词嵌入的思想,基于实际轨迹中节点存在的上下文关系,运用节点的向量集表征了节点间的交通时空关系.实验结果表明该模型不仅能够有效地提取轨迹特征,并且在拓扑结构复杂的路网中也能得到较好的预测结果.     

微处理器敏捷设计方法综述

随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内外的实践表明,微处理器敏捷设计方法是一种能有效提升微处理器设计生产率的方法.通过对比软硬件设计的差异,分析出敏捷设计的本质及其应用于微处理器设计所面临的挑战.综述了微处理器敏捷设计领域近年来代表性研究实践,归纳出微处理器敏捷设计关键使能技术,探讨了该领域未来潜在的研究方向.     

面向计算思维培养的大学计算机基础课程实训体系建设与应用

分析如何精准明确知识体系、如何构建配套实训体系,以落实计算思维培养的问题,提出并设计以计算思维核心能力为核心的知识体系,以及与该知识体系相配套的实训体系,并给出基于该实训体系进行计算思维核心能力培养的方法。     

基于四轴飞行器的合训类本科毕业设计实践

针对信息化战争的发展趋势和基础合训类学员的任职需求,以提高学员的综合实践能力和激发学员的学习兴趣为目的,介绍基于AR.Drone四轴飞行器开展飞行器控制软件的合训类本科毕业设计的探索实践。     

基于LPC2214和μC/OS-II的iButton接口

为了在电力设备点检中正确区分各设备,采用iButton作为设备的电子数据标识.通过对iButton初始化及写入相应的操作时序,从硬件接口和软件编程两个方面,详细介绍在μC/OS-II实时操作系统中使用LPC2214读取iButton 64位标识码的设计方法.其接口设计已成功应用于点检机中.     

HDL描述中决策图模型的提取方法和实现

决策图模型描述了TVLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型，给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统，取得了良好的效果。     

RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法，给出了该算法的正确性证明的理论框架；并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简，实现模拟矢量自动生成状态化简目的，实验结果表明：该算法对状态化简效果非常明显，可以有效地解决状态空间爆炸问题。     

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式，可有效避免生成冗余约束；利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题，以及处理各种HDL描述风格的问题；采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度，提高路径覆盖率．生成的模拟矢量也能用于低层次设计验证和故障模拟，加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证，发现了RTL级设计描述中的错误．     

一种高效的模拟覆盖率分析方法研究

在覆盖率驱动的模拟验证方法中，模拟覆盖率分析时间直接影响模拟验证的效率．针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外，对模拟重放过程进行了改进，提出一种高效的基于VCD文件的模拟覆盖率分析方法．该方法模拟重放时只针对HDL描述中的控制语句进行求解．实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法．实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时，模拟重放效率提高2倍多．     

TMD控制优化设计及振动台试验研究

以Kanai-Tajimi谱作为理论分析和振动台试验的地震激励模型,在运用复模态法获得多自由度带TMD结构随机地震响应解析解的基础上,对TMD结构参数的优化取值问题进行系统的理论与试验研究,运用常规的和基于动力可靠性约束的两种优化设计方法,得出TMD结构的优化参数取值,并通过一个三层2m×2m×6m的大尺度TMD减震结构模型的振动台试验,检验优化设计方法的有效性,该方法可用于基础隔震结构、带TLD减震结构以及带TMD、TLD抗风结构的优化设计。