摘要：针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法。该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证模型;最后利用模型检测器对所构造的模型进行验证,当模型违反设定的安全验证属性时,检测到其中的硬件木马。利用Trust-HUB硬件木马测试基准的实验结果表明,该方法生成的形式化验证模型,能够有效检测寄存器传输级硬件设计中的木马。

摘要：注塑成型是热塑性塑料成型最常用的方法之一,采用计算机模拟技术能够为注塑过程提供有力的指导,减少缺陷的发生,保证制品质量。主要介绍了计算机模拟对特殊制品注塑过程的作用,对注塑过程缺陷的预测和改善。

摘要：针对非线性网络化控制系统中滤波器参数的摄动问题,考虑传感器-滤波器存在随机一步时延和丢包,设计了1种非脆弱耗散全阶滤波器。滤波器参数具有范数有界不确定性。通过构造Lyapunov函数,使用线性矩阵不等式方法推导出非脆弱耗散滤波器存在的充分条件。通过解矩阵不等式得到滤波器参数的求解表达式。该滤波器不仅是非脆弱的,而且滤波误差系统满足稳定性和耗散性能要求,同时减少了状态增广带来的计算负担。仿真算例验证了非脆弱耗散滤波器的有效性。

摘要：数据传输路径优化算法是当前船舶通信网络研究中的重要方向,为了解决当前数据传输路径优化算法存在时延大、数据传输功率低等不足,提出了面向物联网的船舶通信网络数据传输路径优化算法。首先针对数据传输时延大的问题,对全部物联网节点进行分簇操作,减少数据传输重复信息,加数据传输速度,然后设计了根据最短距离建立船舶通信网络数据传输路径最化算法,最后采用进行仿真实验,以验证船舶通信网络数据传输性能。结果表明,本文方法缩短了船舶通信网络数据传输时延,加快了船舶通信网络数据传输速度,而且船舶通信网络数据传输成功率得到了明显改善。

摘要：在近现代中国社会变革与文化转型历程中,故宫博物院是一座具有特殊意义的里程碑。故宫博物院承载着政治、文化和艺术的丰富内涵,是中国社会变革进程的时代见证与经典缩影。进入新世纪,故宫博物院立足文化自觉与文化创新,有序推进＂平安故宫＂和＂学术故宫＂建设,全面提升故宫博物院的硬实力与软实力。2020年为紫禁城建成600周年,2025年是故宫博物院百年华诞,紫禁城和故宫博物院正走向百年历史进程的重要十年。

摘要：电力系统市场化之后,在新的规则下进行报价以及在新的规则下竞价成功是许多发电厂商极其关心的问题,文中给出了一种应用Java技术构建基于Internet的电力市场培训系统,该系统可以让市场中的发电厂商了解电力市场规则并能够让其进行模拟报价,实践证明该系统有很好的应用效果。

摘要：低功耗、微型化是当前无线通信产品尤其是便携产品的迫切要求。文中首先简要介绍系统级RF收发芯片nRF24E1的各个功能模块及其特性。然后,设计了具有良好性能的无线耳机系统。并在此基础上给出了无线耳机的软硬件设计。最后,给出实际应用中的一些体会。

摘要：在大运河文化带建设中,首先必须明确文化带建设的立场与原则,进而从治理体系的严密设计入手考量,激发知识、技术、劳动、管理、资本等的活力,使大运河文化在社会的精神财富与物质财富的创造中源泉涌流,再现辉煌。大运河是中国智慧处理协调人与自然关系的结晶,其中蕴含着依然可资借鉴的治理之道。在当代,构建大运河文化带建设的治理体系,提升治理能力,是大运河可持续发展道路的出发点,也是"统筹保护好、传承好、利用好"大运河的基础和题中要义。

摘要：该文设计了以AT89C51芯片为核心的交通灯控制器,进行对同一道路不同情况下的交通状况的控制。利用单片机实现交通信号灯的控制,使交通得以有效管理,降低了成本,提高了效率。通过测试证明,该系统实现了对道路交通的智能控制。

摘要：铜基凸台板属热电分离电路板,通过发热元器件与散热铜基接触实现直接散热,主要应用于大功率照明,电源和工控电子等高发热量电子产品领域。铜基凸台表面无法实现布线设计,影响布线密度。通过对凸台进行微尺寸,小间距设计,提升电路板布线密度,并解决了挠性子板褶皱、压合凹陷和控深精度等制造关键技术问题,获得微凸台高散热刚挠结合电路板,满足终端电子产品对高密度贴装和高散热的设计需求。