海上风电场对岸基雷达的效能影响

海上风电场大规模的建设,对雷达的效能影响评估至关重要;从风机电磁回波、扇叶衰减、遮挡区域三个方面进行了仿真评估,结果证明风电场电磁回波提高了虚警概率;方位向遮挡与风机的密度和数量有关,对于低高度(300米以下)雷达影响较大,对于1000米高度以上的雷达影响较小,并提出风电场建设的改进意见。     

几内亚康康省Djese地区找矿潜力分析

Djese地区地处几内亚共和国西非克拉通的早古生代(Birimian)Boualé-Mossi地块内,毗邻西非世界级金产区西吉里金矿综合体(Siguiri Mining Complex),基于在研究区内的勘查实践,通过对研究区域地质背景,物探特征,重点矿化点特征分析,及与区域内相似矿床类比,认为研究区具有优越的成矿地质背景,矿化特征明显,找矿潜力巨大。     

一种改进的DME/DME导航台优化算法

航路飞行阶段的导航台选择是区域导航(RNAV)运行的主要环节。在采用 DME/DME 导航方式的 RNAV 选台过程中，基于最小定位误差标准差的选择方法是一种传统的选台算法。论文首先分析了基于最小定位误差选择算法在航路飞行阶段的 DME 台站选择性能，然后针对这种算法中导航台切换频繁的问题，提出了一种改进的 DME/DME 导航台优选算法，并通过对比两种选台算法在 A593 航路中的选台结果和导航台切换次数，对区域导航性能进行仿真评估。仿真结果表明，导航台优选算法能够自动选出一对具有更高精度的导航台，并且满足 DME/DME 区域导航要求，在一定程度上减少了导航台的频繁切换，提高了定位结果的连续性。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

粗晶热影响区比例对09MnNiDR焊接接头冲击韧性的影响

通过对09MnNiDR低温压力容器用钢埋弧焊焊接接头热影响区不同位置处的冲击吸收能量的测试、冲击断口以及微观组织的观察分析，确定了09MnNiDR焊接接头的组织特征以及最薄弱区域，并深入讨论了最薄弱区域对焊接接头冲击韧性的影响. 结果表明，在?70 ℃时，焊接接头母材、亚临界热影响区、临界热影响区、细晶热影响区平均冲击吸收能量均在270 J以上，表现出良好的韧性. 焊缝的平均冲击吸收能量为139 J. 焊接接头韧性最薄弱区域为粗晶热影响区，当缺口完全位于粗晶热影响区时，冲击吸收能量为20 J，相比于母材冲击韧性损失高达92.7%. 粗晶热影响区的显微组织为粗大的粒状贝氏体、板条贝氏体以及块状铁素体组成的复合组织. 随着缺口尖端前沿粗晶热影响区比例的增加，其分布位置越靠近缺口尖端，试样的冲击吸收能量越小，充分体现出最薄弱区域对冲击韧性的影响.     

云南省澜沧老厂—孟连茶场地区成矿规律及找矿方向探讨

澜沧老厂—孟连茶场地区位于昌宁—孟连多金属成矿带，研究区域成矿规律对找矿突破有着重要指导意义。在综合分析研究地质背景、化探异常、矿产分布等特征的基础上，将该地区划分为老厂、拉巴、孟连矿（化）集区。老厂铅锌矿床是区域上的典型矿床，其在化探异常、矿床空间分布具有明显的低中高温成矿分带的特征。以该矿床分带特征入手，指出老厂矿（化）集区在地表以低温成矿元素为主，而拉巴、孟连矿（化）集区在化探异常、矿化特征均以低中温成矿元素为主，空间上分带特征不明显。该地区化探异常、矿（化）体分布特征，均表明区域上成矿温度、成矿标高由北至南均具从高到低的降低趋势，认为其可能与燕山期岩浆活动的差异性有关，指出老厂外围、拉巴深部是找矿的有利靶区。