摘要：本文对货场道路的功能、分类、设计和布置形式进行了探讨,并对车辆在货场内的运行径路和车流交叉问题作了分析,在此基础上,提出货场道路的合理布置方案.本文还用几个大型货场出入交通流的统计资料,说明目前货场交通流构成混杂、在时间上分布不均衡、车辆空驶率相当高,提出实行统一取送货办法,以改进运输服务,缓解城市交通拥挤状况.

摘要：近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。