High-level synthesis design flow for power side-channel security

The lack of efficient security guidance is a prominent problem in the design flow of high-level synthesis. To tackle this issue, this paper proposes a security-based high-level synthesis design flow featuring the power side-channel vulnerabilities. The side-channel leakage is quantified by establishing a secure component module library, a more efficient and secure parallel scheduling mechanism is generated by optimizing the control flow, and a more secure architecture of the storage system is achieved by optimizing the data flow. The goal is to perform tradeoffs between performance and security, reducing the side-channel risks at the early stage of design and simultaneously generating more secure and efficient cryptographic cores in hardware. Furthermore, the proposed HLS design flow is verified on a field programmable gate array platform. Experimental results show that, in comparison with the traditional design flow, this method reduces the resources by 72% and the clock cycles by 70% and increases the throughput by 88%, and that it can lower the power side-channel risks within an ongoing design to the greatest extent.     

研究动画角色的类型化、系列化

动画角色类型化、系列化设计是动漫产业向多元化发展的一环,它能使动画片中角色更感人,更具明星效应,同时产生更大的商业附加值。在我国,动画角色造型质量上不去这一现象,这已成为阻碍中国动画设计产业不断发展的重要瓶颈。文章主要分析美国、日本经典动画片中角色的类型化、系列化,找到他们合乎时代要求并成功的原因,得出趋同、趋异的动画角色系列化设计方法,为创新角色设计找到可以依据的途径。     

大摇摆情形的自对准方法

在风等干扰的影响下,载体易产生较大幅度的摇晃,造成捷联惯导系统初始姿态存在较大失准角,而由于缺少基准信息,并且包含失准角信息的导航误差不能直接量测,进而影响自对准精度.由于载体仅发生摇晃,并没有相对移动,从而存在零速的摇晃中心,若视载体为刚体,则载体各点的姿态是相同的.由于摇晃中心处的自对准是较为成熟的静基座对准问题,从而只需获得摇晃中心处的姿态误差即可.为了获得摇晃中心的位置,我们利用杆臂效应原理,通过将水平失准角扩展为待估参数,减小了模型误差,提高了摇晃中心位置的估计精度.对于摇晃基座存在大失准角问题,利用估计状态闭环补偿系统模型,逐步减小模型误差,获得较好的对准精度.最后通过仿真例子进行了验证.     

一种动态Q值多标签识别算法的性能分析

EPCglobal组织发布的第二代超高频射频识别空中接口协议EPC-C1G2协议可同时识别多个标签,该协议采用时槽ALOHA算法来解决多标签识别时产生的碰撞问题。文章首先介绍了EPC-C1G2协议多标签碰撞解决所需的参数和命令,指出协议中的Q值决定了解决碰撞时所用的时槽数。时槽数越多,标签越不容易碰撞,但识别时间越长,因此,恰当地选择Q值可以在标签识别时间和识别标签数之间找到最佳点。文中同时给出了一种动态Q值算法,该算法可根据标签碰撞解决的实际情况动态调整Q值,使标签识别更高效。文章最后对这种多标签识别流程的性能进行了仿真分析。     

基于DWT的水印嵌入规则性能研究

在数字水印研究中,一个重要的问题是水印的不可见性与鲁棒性之间的折中。根据实际应用,数字水印的嵌入规则主要有乘性规则、加性规则和一种区域融合嵌入规则。本文主要从数字水印的抗攻击性方面,结合不同的嵌入规则,对各种常见图像攻击进行测试,在检测不同嵌入规则性能优劣的同时,为水印方法的选择与应用,提供指导和参考,以达到最佳的使用目的。     

城市洪涝试验研究进展

城市洪涝物理试验与原型试验是开展数值模型验证及提高预报预警精度的重要手段。从城市产流过程、地表洪水演进以及地表径流与管网水流交互三方面,综述了近年来国内外城市洪涝试验的研究进展。针对目前城市洪涝试验研究中存在的不足,指出今后应完善现有城市产汇流过程相关机理方面的试验研究,深入研究地表与管网垂向交互过程,加强与城市洪涝期间的流动行为密切相关过程的定量试验研究。     

淮安河湖长制信息云平台研究

主要总结淮安建设河湖长制信息云平台的成功经验和做法,系统阐述河湖长制信息云平台在设计时的架构思路和建设中的注重点,为建设更加完备的智慧河湖长信息云平台提出建议.     

自动化学科面临的挑战

本文分析了控制理论与应用、模式识别与智能系统、导航制导与控制、系统科学与工程、人工智能与自动化交叉等领域的发展现状. 结合科技发展、国内国际研究前沿和新兴领域对自动化科学技术的需求, 提出重点发展智能控制理论和方法、高性能作业机器人、信息物理系统、导航与控制技术、重大装备自动化技术、自主智能系统和人工智能驱动的自动化技术优先领域, 加强数据驱动控制理论、人工智能基础理论研究, 进一步发展人机协同、跨域融合的智能自动化, 为实现国家社会的全面信息化智能化提供理论和技术保障.     

高灰度级TFT-LCD显示系统的实现

提出了一种以FPGA为核心控制器的高灰度级TFT-LCD显示系统的设计方案。该系统采用幅值-帧速率控制调制-空间混合灰度调制方法,首先将10 bit的R、G、B信号分割成高8 bit数据和低2 bit数据,低2 bit数据经过空间处理后平均分到4个相邻的8 bit数据上,然后把这8 bit数据继续分割成高6 bit数据和低2 bit数据,其中高6 bit数据用于幅值调制,低2 bit数据用于帧速率控制调制,从而实现1 024个灰度等级显示。试验结果表明,该系统具有良好的显示效果和较高的显示灰度等级。     

基于混合Petri网的交叉口交通信号控制研究

为优化交叉口绿灯时间,根据交叉口交通流的动态属性和交通信号的离散属性,建立了城市交通网络中单交叉口信号控制的混合Petri网模型.用连续Petri网描述交叉口容量和交通流变化,用离散时延Petri网控制交叉口各个相位的交通信号,每个相位都有控制绿灯延长时间的Petri网模型.在执行了最短绿灯时间后,根据当前等待通过的车辆数,通过禁止弧对绿灯延长时间加以控制,以确定最佳绿灯时间.最后对该模型进行计算机仿真,仿真结果表明该方案对单一交叉口实现了更有效的控制.