基于FEFLOW的某深埋长隧洞典型段涌水量预测

涌突水危害是在隧洞建设过程中最为棘手的问题之一。建立隧洞涌水量预测计算模型,成功预测隧洞涌水位置和涌水能力有助于优化隧洞施工方案,并能减少施工事故。该文以某深埋长隧洞为例,基于有限元数值模拟软件FEFLOW,结合隧洞穿越段地下水含水介质特性、岩体水文地质结构、地下水流动系统特征,建立了地下水流数值模型,进行了模型识别。验证期模拟及实测的地下水位拟合良好。利用模型计算了某深埋长隧洞典型段的涌水量。最后比较分析了数值法、解析法以及水均衡法计算结果的差异,三者计算结果趋于一致,验证了数值模拟计算方法的可行性。     

基于Zadoff-Chu序列的OFDM精确定时同步算法

针对OFDM系统在多径衰落环境下通过能量大小定时而产生定时误差的问题,文中提出了一种基于Zadoff-Chu序列的第一径检测算法,利用序列相关性得到信道冲激响应估计值,此外分析了残留频偏对定时同步的影响,并通过改进自适应门限抑制残留频偏来判定准确定时位置。算法在时域完成,实现简单且运算量小。通过仿真对比其他算法可以看出,文中所提算法在高速移动多径环境中第一径检测概率高、均方误差小,特别是低信噪比下仍能准确同步。     

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

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

基于PCIe接口的多径信道实时测量设备设计方法

针对当前商用无线多径信道测量设备结构复杂、价格昂贵、灵活性不够的问题,提出了一种基于PCIe接口的软件化无线信道实时测量设备设计方法。该方法利用PCIe接口对接收到扩频测量信号进行获取,并利用多线程方式进行相关处理,具有实时测量的能力,可对无线信道多径特性开展实时测量,具有结构通用性好、测量算法改变灵活、信息存储量内容丰富和实时性较好的特点。给出了一个实际的研制案例,测试结果表明,该设计方法对于较低带宽的测量信号具有良好的适用性。     

泄漏电缆的多天线矩阵建模

对于信息化高度依赖的今天而言,面向地下矿山和隧道无线通信系统一直存在着可靠性不高的问题。泄漏电缆(LF)是地下轨道交通环境中应用最广泛的无线电波传输介质,其辐射槽根据所需工作信号波长而设计,具有辐射稳定衰减小等特点,起到了双向天线的作用。基于泄漏电缆传输理论,将其建模为具有多输入单输出(MISO)系统的多天线阵列来研究泄漏电缆槽口对辐射特性的影响。在假定二进制相移键控(BPSK)调制的各种条件下,通过仿真估算该MISO系统的接收信号情况。仿真结果可以看出,该泄漏电缆模型可以很好地匹配仿真结果,对泄漏电缆设计具有指导意义。