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.     

基于EPICENTRE的海洋钻探数据库构建方法研究

随着海洋在经济发展中的地位日益突出,海洋地质调查越来越重要,如何合理地管理使用海洋地质调查数据成为研究热点.文中以海洋钻探为例,采用面向对象的技术方法,提出了基于EPICENTRE数据模型的海洋钻探数据库构建方法,实现了海洋钻探业务与EPICENTRE数据模型的关联.该方法得到的海洋钻探数据库是面向业务的,与传统的关系数据库相比具有良好的可扩展性,稳定性以及关联性等优点.文中重点对业务模型与逻辑模型的关联技术进行了介绍.     

形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

水库周边违建问题清查整治中的依法行政与权利救济

针对临近水库的别墅等建筑物的清查整治,在实体层面,尤其对于五证齐全的建筑物,如何定性为违建需要慎重把握,对水库管理范围的界定是一个重点问题;在程序层面,应避免执法中因急于求成而催生的程序违法.强拆行为会产生重大损失,涉及多方主体和多重法律关系,应理清其中各方的法律责任,妥善解决纠纷.     

Identifying epidemic spreading dynamics of COVID-19 by pseudocoevolutionary simulated annealing optimizers

Neural Computing and Applications - At the end of 2019, a new coronavirus (COVID-19) epidemic has triggered global public health concern. Here, a model integrating the daily intercity migration...     

基于改进扩展关联模型的飞机组件测试性研究

多信号流图模型是一种简单而有效的系统建模方法,已广泛地应用于测试性分析和故障诊断领域;为了减少飞机维修过程中组件的不必要更换,提高维修效率,对多信号流图模型的建模方法进行研究,以飞机音频管理组件(AMU)为例,建立多信号流图模型,构建故障一测试关联矩阵和故障一故障关联矩阵;为与实际出现的组件故障信息相匹配,对故障一故障矩阵进行改进,构建了实际故障信息一故障关联矩阵,对组件模型进行测试性分析;由实际维修经验可知,该信号模型可快速地定位故障,给出相应的维修措施,减少通常维修中采取的不必要措施,降低了人为因素的影响,大大地缩短了维修时间.     

基于自由摆的平板精确控制与激光追踪系统

以TI公司的MSP430F5438单片机为控制核心,结合步进电机和精密电位器WDD35D-4,实现了基于自由摆的平板控制与激光追踪系统。当摆杆摆角为45°～60°时,平板可以承载8枚一元硬币,并在5个摆动周期内维持稳定;当摆杆摆角为30°～60°时,固定在摆杆平板上的激光笔可以在15s内找到并跟踪1.5m远处的靶心。     

全方位太阳辐照度测量系统设计

设计一种以DSP为核心的全方位太阳辐照度测量系统,利用安装在云台上的太阳能电池板的转动以获取全方位的太阳辐照度数据。通过对采集到的数据进行分析,既可以测试太阳能电池板在各种安装方式（如平放、斜放和幕墙）下的发电效率,又可对光伏建筑一体化的光伏电站建设方案进行评估,还可在建成之后对光伏电站的发电状态进行管理和监测。