地铁车站风道结构冻结暗挖法施工技术

以福州地铁6号线潘墩站出入口风道穿越地下高压电缆管廊工程为背景,分析了工程技术重难点,提出冻结设计方案及参数。通过对温度和变形位移的监测分析得到结论,冻结后的土层形成强度高、封闭性好的冻结帷幕,具有挡土和隔水双重作用。冻结后采用交叉中隔壁法进行施工,结构施工完成后采用双液浆进行注浆,联络通道和地下高压电缆管廊变形得到有效控制,验证了冻结法设计方案的可行性。     

消费者"最后一公里"配送模式、服务方式与配送时隙的联合选择

为描述消费者对"最后一公里"配送模式、服务方式和配送时隙的联合选择行为,选取社会经济属性、配送活动属性和配送服务属性3类变量作为效用变量,以配送模式子集合、服务方式子集合和配送时隙子集合的组合作为选择项,构建基于广义极值(GEV)理论的交叉巢式Logit模型。通过问卷调查获得的数据,对模型参数进行估计和检验,并进行配送服务属性类效用变量的直接弹性分析。参数估计结果表明,当效用变量改变时,如果配送服务发生在上午,消费者会先变更其配送时隙,然后变更配送模式,最后考虑改变服务方式;如果配送服务发生在下午,消费者会先变更配送模式,然后变更配送时隙,最后变更服务方式。直接弹性分析表明,消费者对送货上门带来的等待时间、服务水平和经济损失都比较敏感;对职业人的配送服务相对信任,而对非职业和无人的服务方式较为顾虑;对8:00～10:00送货上门服务和12:00～16:00自提货物服务的各方面都很关注。     

正交试验法在气体分析仪自动校准装置数据验证中的应用

以En值的绝对值为试验目标，采用正交试验法对气体分析仪自动校准装置进行了数据验证，验证结果表明，该装置输出的目标浓度值的气体和使用相同浓度的二级气体标准物质在各自的不确定度范围内等效一致，对数据进行了极差分析和方差分析，结果表明气体总流速及目标气体的组分数对输出量值的影响较大。     

FPCB补强机动态特性优化与精度分析

针对柔性电路板(FPCB)贴补强机的结构进行了动态特性计算与分析,发现补强机一阶、二阶固有频率偏低以及动态特性差等设计方面的问题,导致补强机平台变形量大、补强精度低下等现象发生。为此,根据有限元分析结果,对补强机的结构进行了优化和改进设计,在不同的位置增加了斜拉筋和三角肋板来提高结构的刚度和模态,使补强机的动态特性得到明显提高。实验检测表明,改进设计后,补强机的稳定性和定位精度得到了明显的提高。     

空调复杂曲面钣金件的设计、分析及验证方法

本文讲述空调复杂空间曲面钣金件的设计思路及分析方法。主要从设计方法、模拟分析、零件测量比对等方面分析空间复杂曲面钣金件的设计思路,以满足结构使用要求、强度刚度以及经济要求。     

SCVerify:抗功耗侧信道攻击软件实现的验证

功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.     

基于双向位图的CSR大规模图存储优化

大数据时代,Graph500是评测超级计算机处理数据密集型应用能力的重要工具,E级验证系统的图遍历处理能力主要受限于内存空间和访存带宽,尤其是内存空间利用率直接决定了图的测试规模和测试性能.针对天河E级验证系统小内存特征,提出了基于双向位图的大规模图数据压缩存储方法(bidirectional-bitmap based CSR,Bi-CSR),Bi-CSR在CSR矩阵压缩的基础上引入行方向位图和列方向位图协同完成稀疏矩阵压缩存储,行方向位图主要负责行方向位图的压缩存储与索引,列方向位图除了进一步压缩图存储空间,还负责为顶点遍历向量并行优化提供加速空间.Bi-CSR大幅度减少了稀疏矩阵存储空间.面向天河E级验证系统,当图输入规模为237时,Graph500的图存储空间节约效率接近70%,全系统稳定测试性能为2.131E+12TEPS,性能最大加速比超过100倍.