氧气浓度对好氧甲烷氧化耦合反硝化过程的影响

好氧甲烷氧化耦合反硝化反应是一个重要连接甲烷和氮循环的过程。文中考察了4种氧气浓度(2.5%、5%、10%和21%)对好氧甲烷氧化耦合反硝化反应的影响。试验结果表明,21%的氧气浓度可以促进甲烷氧化,提高体系中溶解性有机碳的浓度,同时一定程度上抑制甲烷氧化耦合反硝化反应。甲烷浓度为6%～8%时,10%氧气浓度下甲烷氧化耦合反硝化反应的脱氮效率最高。     

扩频信号检测技术综述

扩频信号具有功率谱密度低、抗干扰能力强、隐蔽性能好等优点,且具有良好的抗截获性能,广泛运用于通信、雷达、导航等军事通信系统中。在当前激烈的军事对抗中,制信息权至关重要,对扩频信号进行有效检测具有重要意义。通过阅读国内外文献,根据不同检测算法对扩频信号不同特征的检测特点,总结出五类扩频信号检测算法：基于能量的扩频信号检测、载波频率检测、扩频码周期检测、扩频码速率检测和其他检测法。     

自动驾驶交叉路口测试场景建模及验证方法

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言（CCSL）作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性.     

提拉法生长平肩同成分铌酸锂晶体的研究（英文）

提拉法生长的晶体肩部形状普遍为斜肩,但斜肩的肩部质量差且加工难度大,会降低晶体的利用率,生长平肩晶体可以解决该问题。然而,平肩晶体对热场和扩肩工艺要求非常高,扩肩阶段易出现多晶和包裹体缺陷。铌酸锂晶体作为一种多功能晶体材料,在电子技术、光通信技术、激光技术及集成光子学技术等领域得到了广泛应用。本研究以同成分铌酸锂晶体为例,利用数值模拟和实验方法,研究了提拉法生长平肩晶体的热场和扩肩工艺。结果表明：提拉法生长平肩晶体时,放肩阶段结晶前沿的界面形状需保持微凸;反射屏降低(10 mm)可减小结晶前沿的温度梯度,避免肩部生成多晶;扩肩速度以监控为主,微调加热功率保证扩肩趋势,适当增大扩肩初期(?≤30 mm)的速度,降低中后期(?≥35 mm)的扩肩速度,可达到不产生包裹体和缩短放肩周期的目的;采用小幅度(Δt=10 min)微调拉速(Δv=0.2mm/h)和功率的策略,可实现拉速(0～1.5mm/h)的快速变化(1.5～2h)而不影响晶体扩肩趋势和质量。使用优化后的热场和扩肩工艺,获得了系列三英寸平肩同成分铌酸锂晶体,晶体光学均匀性良好。     

面向空地协同移动边缘计算的服务布置策略

无人机辅助的移动边缘计算被认为是在下一代移动通信网络中能高效灵活处理时延敏感的计算密集型任务的潜力技术之一.本文研究了基于无人机的空地协同移动边缘计算的服务布置问题,具体而言,如何在满足任务时延需求和其他资源约束的情况下,通过联合优化无人机和地面基站的服务布置、无人机航迹、任务卸载和计算资源分配,以最小化所有用户的总能...     

一种应用于在线标定的可观测度分析方法

对惯性器件误差标定前必须进行可观测性分析,针对当前可观测性分析方法不能得到每一个误差参数的可观测度,无法为标定过程中载体的机动路径设计提供足够依据这一问题,提出了一种新的动态系统可观测度分析方法并用于惯性器件在线标定中。该方法定义各误差参数都独立对应一个可观测度,通过合理拆分可观测矩阵,利用范数最优化受约束理论,计算得到每一个参数的可观测度。利用MATLAB软件搭建仿真平台,对比分析了基于奇异值分解的可观测度分析方法和新方法计算结果的特点,并利用新方法计算结果针对性调整载体机动路径,试验结果表明:利用该方法得到的各误差参数的可观测度与标定中各状态量的滤波收敛特性具有一致性,证明了该算法的特点及准确性。     

钛/铝复合板研究进展

将薄层钛合金板与铝合金板结合可以得到具有优异性能的钛/铝复合板,具有广阔的应用前景.采用爆炸焊接技术成功制备了TC1/1060/6061复合板,对2个界面的界面形貌和元素进行测试,分析夹层存在的优势;同时建立与试验条件一致的有限元模型,对界面状态和焊接过程进行分析,最后对复合板进行拉伸试验和剪切试验,验证界面结合质量. 结果表明,TC1/1060界面为直线型形貌,1060/6061界面为波状形貌,且每个波形都伴随着涡流区,TC1/1060界面处的元素扩散范围为4.38 μm,且没有检测到钛/铝金属间化合物的产生.数值模拟再现爆炸焊接过程中射流的形成,界面温度沿着界面形貌分布,界面压力在碰撞点处达到最大,且呈现出椭圆形分布,复合板具有较高的抗拉强度和剪切强度,满足结构使用需求.     

排烟口布置方式对防护工程机械排烟效果的影响

防护工程若发生火灾,高温烟气会迅速蔓延,人员不易疏散,危害极大。针对某防护工程的防排烟系统采用性能化设计,通过数值模拟,比较排烟口布置在管道侧面侧向排烟和排烟口布置在管道底部底面排烟2种方式的排烟效果。结果表明,排烟口开在管道侧面侧向排烟的方式排烟效果更好,该方式更有利于人员疏散。针对侧向排烟系统,研究了排烟量对排烟效果的影响,并对工程排烟系统优化进行了性能化评估。     

测向信息辅助的导频分配策略

多用户大规模多输入多输出（Multiple-Input Multiple-Output,MIMO）系统能够有效提升系统和速率,但是导频资源有限情况下,用户数增加时,非正交导频引起的导频污染会严重降低系统容量。针对导频资源不足引起的干扰问题,提出了用户测向信息辅助的导频分配策略。先介绍了用户到达角估计算法,分析了角度域信道与用户间非正交导频干扰之间的关系;再提出了一种角度域用户分组方法,并对用户导频进行优化,从角度域和导频空间两个维度降低用户间导频干扰,提高了系统和速率;最后,将信道估计归一化均方误差作为性能指标进行比较,以验证算法的有效性。仿真结果表明,该算法在导频资源受限的多用户场景中,能够有效减小用户间导频污染,验证了所提算法的有效性和可靠性。